圖書館。
楊依依依舊在查閱著力學課題的相關文獻資料。
據楊依依自己說，她們的這個課題正在加快進度，準備在這個月內結題。
楊依依身旁的陳舟，正埋著頭，研究著冰雹猜想的問題。
在將冰雹猜想問題進行公式化后，陳舟正在進行相關的范例研究。
【X1=1，代入公式：X2=(3×1+1)/2^2=1，結束。】
【X1=3，代入公式：X2=(3×3+1)/2=5；X3=(3×5+1)/2^4=1，結束。】
【……】
陳舟希望通過代入的實例找到一些規律。
但這顯然比他想象的要難得多。
陳舟看著自己寫下的內容，眉頭微微皺起，心中想著：“經過Xn+1=(3Xn+1)/2^m的迭代，直到(3Xn+1)/2^m=1公式的成立，這其中必有兩個結論……”
陳舟邊思考，邊在草稿紙上寫下：
【1、任何一個Xi進入迭代以后，都不會回到Xi，也就是不會發生數字循環。如果發生循環，這就是反例，也就說明冰雹猜想被證偽。】
【2、Xi進入迭代以后，數值不會發散，即是數值不會越來越大，直至無窮，而是在一個有限的范圍內更替。】
陳舟看著自己寫下的兩條結論，并沒有多少欣喜的感覺，反而為如何證明它們犯了愁。
不得不說，通過這幾天的研究，他發現了一個事實。
那就是這玩意，真特么的難，比讓他解一千道吳西平出的超綱題都難……
當然，這也只是陳舟在心里的吐槽。
相比于解一千道吳西平出的超綱題，他還是更愿意把時間花費在冰雹猜想的研究上。
陳舟記得冰雹猜想在2009時，已經被驗證到5×2^60的自然數，沒有一例反例。
這種情況下，冰雹猜想大概率是正確的。
想到這，陳舟翻開錯題集，認真的看了起來。
錯題上是這幾天積累的錯誤方向。
有時候，錯誤就是指路明燈。
關鍵就在于你能不能從錯誤中反省自己，從而找到正確的路。
陳舟認認真真的看完了后，他又開始了另外一種方法的嘗試。
雖然這種方法，從一開始就被他認為是不大可能行得通的。
但多嘗試，總歸是沒錯的。
停滯不前，才更可怕。
重新拿出一張草稿紙，陳舟在換了根新筆芯后，開始寫到：
【從n=1開始，代入Xn+1=(3Xn+1)/2^m，可以得到X2=(3X1+1)/2^m。】
【如果令X2=1，那X1=5，21，85，341，1365，5461，21845，.....】
【同理，n=2的時候，可以得到X3=(3X2+1)/2^m2，再把X2=(3X1+1)/2^m1代入的話，也就是X3=[3×(3X1+1)/2^m1+1]/2^m2=(9X1+3+2^m1)/2^(m1+m2)。】
【再同樣令X3=1，那X1=3，13，53，113，227，909，.....】
【上述值，是將X3的等式反推，利用X1=[((2^(m2-1))/3×2^m1)-1]/3得到的結果。】
【同理，利用X4、X5等等不斷代入的等式，進行反推……】
陳舟就這樣從X2開始，手中的筆不斷的書寫下去，直到把Xn的等式寫出來，再進行反推。
沒急著把X1的反推式寫出來，陳舟就微微搖了搖頭。
前面的X2、X3、X4這些，都很容易證明。
但是順著這個方向，把n擴展到任意數的時候。
反而會發生一個倒錯問題。
因為利用Xn的公式，將X1倒推出來后，X1會出問題。
是個很大的問題。