第(1/3)頁

    圖書館。

    楊依依依舊在查閱著力學課題的相關文獻資料。

    據楊依依自己說，她們的這個課題正在加快進度，準備在這個月內結題。

    楊依依身旁的陳舟，正埋著頭，研究著冰雹猜想的問題。

    在將冰雹猜想問題進行公式化后，陳舟正在進行相關的范例研究。

    【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會出問題。

    是個很大的問題。

    作為初始值的x1，它內部的2^(m1-1)是包含了未來值部分2^(m(n-1)-1)的。

    屬于無法證明的問題。

    陳舟也就停下了筆，習慣性的拿著筆在草稿紙上點著，不再繼續寫下去。

    這些算式的最終結果，告訴陳舟，他又回到了問題的原點。

    隨手翻了翻錯題集，剛才的所有算式，果然又出現在了錯題集上面。

    得，這條不大可能行得通的路，果然又被堵死了。

    放下筆，陳舟下意識的就想撓撓頭，但立刻終止了這個動作。

    相比于拿著筆，不斷的點著草稿紙，遇到問題就撓頭，可并不是一個好習慣。

    萬一，變得和張中原一樣了，那可就真應了他那句，和他年輕時很像了……

    身旁，楊依依注意到了陳舟的動作，瞥了一眼草稿紙之上密密麻麻的算式。

    她低聲問道：“要不要出去透透氣？”

    陳舟轉頭看著楊依依，微微一笑：“暫時不用。”

    說完，陳舟再次拿起筆，繼續展開對冰雹猜想的攻擊。

    時間，也就這樣在筆尖悄然流逝。
    第(1/3)頁