圖書館。
楊依依依舊在查閱著力學課題的相關文獻資料。
據楊依依自己說,她們的這個課題正在加快進度,準備在這個月內結題。
楊依依身旁的陳舟,正埋著頭,研究著冰雹猜想的問題。
在將冰雹猜想問題進行公式化後,陳舟正在進行相關的範例研究。
【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,.....】