第178章 入围（二合一）（1 / 8）

图书馆。

杨依依依旧在查阅着力学课题的相关文献资料。

据杨依依自己说，她们的这个课题正在加快进度，准备在这个月内结题。

杨依依身旁的陈舟，正埋着头，研究着冰雹猜想的问题。

在将冰雹猜想问题进行公式化后，陈舟正在进行相关的范例研究。

【x1=1，代入公式：x2=(3x1+1)/2^2=1，结束。】

【x1=3，代入公式：x2=(3x3+1)/2=5；x3=(3x5+1)/2^4=1，结束。】

【……】

陈舟希望通过代入的实例找到一些规律。

但这显然比他想象的要难得多。

陈舟看着自己写下的内容，眉头微微皱起，心中想着：“经过xn+1=(3xn+1)/2^m的迭代，直到(3xn+1)/2^m=1公式的成立，这其中必有两个结论……”

陈舟边思考，边在草稿纸上写下：

【1、任何一个xi进入迭代以后，都不会回到xi，也就是不会发生数字循环。如果发生循环，这就是反例，也就说明冰雹猜想被证伪。】

【2、xi进入迭代以后，数值不会发散，即是数值不会越来越大，直至无穷，而是在一个有限的范围内更替。】

陈舟看着自己写下的两条结论，并没有多少欣喜的感觉，反而为如何证明它们犯了愁。

不得不说，通过这几天的研究，他发现了一个事实。

那就是这玩意，真特么的难，比让他解一千道吴西平出的超纲题都难……

当然，这也只是陈舟在心里的吐槽。

相比于解一千道吴西平出的超纲题，他还是更愿意把时间花费在冰雹猜想的研究上。

陈舟记得冰雹猜想在2009时，已经被验证到5x2^60的自然数，没有一例反例。

这种情况下，冰雹猜想大概率是正确的。