【上述值，是將X3的等式反推，利用X1=[((2^(m21/3×2^m11]/3得到的結果。】
【同理，利用X4、X5等等不斷代入的等式，進行反推……】
陳舟就這樣從X2開始，手中的筆不斷的書寫下去，直到把Xn的等式寫出來，再進行反推。
沒急著把X1的反推式寫出來，陳舟就微微搖了搖頭。
前面的X2、X3、X4這些，都很容易證明。
但是順著這個方向，把n擴充套件到任意數的時候。
反而會發生一個倒錯問題。
因為利用Xn的公式，將X1倒推出來後，X1會出問題。
是個很大的問題。
&n11是包含了未來值部分2^(m(n11的。
屬於無法證明的問題。
陳舟也就停下了筆，習慣性的拿著筆在草稿紙上點著，不再繼續寫下去。
這些算式的最終結果，告訴陳舟，他又回到了問題的原點。
隨手翻了翻錯題集，剛才的所有算式，果然又出現在了錯題集上面。
得，這條不大可能行得通的路，果然又被堵死了。
放下筆，陳舟下意識的就想撓撓頭，但立刻終止了這個動作。
相比於拿著筆，不斷的點著草稿紙，遇到問題就撓頭，可並不是一個好習慣。
萬一，變得和張中原一樣了，那可就真應了他那句，和他年輕時很像了……
身旁，楊依依注意到了陳舟的動作，瞥了一眼草稿紙之上密密麻麻的算式。
她低聲問道：“要不要出去透透氣？”
陳舟轉頭看著楊依依，微微一笑：“暫時不用。”
說完，陳舟再次拿起筆，繼續展開對冰雹猜想的攻擊。
時間，也就這樣在筆尖悄然流逝。
在距離丘賽過去了兩週時間時。
4月5日。
清明節。
似乎是為了應景，這天從早晨開始，就一直下著淅淅瀝瀝的小雨。
陳舟和楊依依不得已，只能取消了晨跑的計劃。
不過，兩人倒也沒有貪睡，而是直接起床去吃早餐了。
在食堂吃早餐時，陳舟接到了一個電話。
是丘賽的領隊老師打來的。
他首先恭喜了陳舟成功入圍五個科目的決賽，然後又交代了一些決賽的注意事項。
結束通話電話，陳舟才意識到半個月的時間，就這麼過去了。
而那個在1972年，被普林斯頓大學高等研究院康威教授證明問題的自然概括是演算法不可判定的冰雹猜想。