第178章 入围（2/5）

同理，利用X4、X5等等不断代入的等式，进行反推……

陈舟就这样从X2开始，手中的笔不断的书写下去，直到把Xn的等式写出来，再进行反推。

没急着把X1的反推式写出来，陈舟就微微摇了摇头。

前面的X2、X3、X4这些，都很容易证明。

但是顺着这个方向，把n扩展到任意数的时候。

反而会发生一个倒错问题。

因为利用Xn的公式，将X1倒推出来后，X1会出问题。

是个很大的问题。

作为初始值的X1，它内部的2(m11)是包含了未来值部分2(m(n1)1)的。

属于无法证明的问题。

陈舟也就停下了笔，习惯性的拿着笔在草稿纸上点着，不再继续写下去。

这些算式的最终结果，告诉陈舟，他又回到了问题的原点。

随手翻了翻错题集，刚才的所有算式，果然又出现在了错题集上面。

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

放下笔，陈舟下意识的就想挠挠头，但立刻终止了这个动作。

相比于拿着笔，不断的点着草稿纸，遇到问题就挠头，可并不是一个好习惯。

万一，变得和张中原一样了，那可就真应了他那句，和他年轻时很像了……

身旁，杨依依注意到了陈舟的动作，瞥了一眼草稿纸之上密密麻麻的算式。

她低声问道：“要不要出去透透气？”

陈舟转头看着杨依依，微微一笑：“暂时不用。”

说完，陈舟再次拿起笔，继续展开对冰雹猜想的攻击。

时间，也就这样在笔尖悄然流逝。

在距离丘赛过去了两周时间时。

4月5日。

清明节。

似乎是为了应景，这天从早晨开始，就一直下着淅淅沥沥的小雨。

陈舟和杨依依不得已，只能取消了晨跑的计划。

不过，两人倒也没有贪睡，而是直接起床去吃早餐了。

在食堂吃早餐时，陈舟接到了一个电话。

是丘赛的领队老师打来的。

他首先恭喜了陈舟成功入围五个科目的决赛，然后又交代了一些决赛的注意事项。

挂断电话，陈舟才意识到半个月的时间，就这么过去了。

而那个在1972年，被普林斯顿大学高等研究院康威教授证明问题的自然概括是算法不可判定的冰雹猜想。

在1990年，被哈佛大学数学研究所和斯坦福大学高级研究中心的两位教授证明的事实上在算术等级中是不可判定的冰雹猜想。