【如果令x2=1，那x1=5，21，85，341，1365，5461，21845，.....】
【同理，n=2的时候，可以得到x3=(3x2+1)/2^m2，再把x2=(3x1+1)/2^m1代入的话，也就是x3=[3x(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))/3x2^m1)-1]/3得到的结果。】
【同理，利用x4、x5等等不断代入的等式，进行反推……】
陈舟就这样从x2开始，手中的笔不断的书写下去，直到把xn的等式写出来，再进行反推。
没急着把x1的反推式写出来，陈舟就微微摇了摇头。
前面的x2、x3、x4这些，都很容易证明。
但是顺着这个方向，把n扩展到任意数的时候。
反而会发生一个倒错问题。
因为利用xn的公式，将x1倒推出来后，x1会出问题。
是个很大的问题。
作为初始值的x1，它内部的2^(m1-1)是包含了未来值部分2^(-1)的。
属于无法证明的问题。
陈舟也就停下了笔，习惯性的拿着笔在草稿纸上点着，不再继续写下去。
这些算式的最终结果，告诉陈舟，他又回到了问题的原点。
随手翻了翻错题集，刚才的所有算式，果然又出现在了错题集上面。
得，这条不大可能行得通的路，果然又被堵死了。
放下笔，陈舟下意识的就想挠挠头，但立刻终止了这个动作。
相比于拿着笔，不断的点着草稿纸，遇到问题就挠头，可并不是一个好习惯。
万一，变得和张中原一样了，那可就真应了他那句，和他年轻时很像了……
身旁，杨依依注意到了陈舟的动作，瞥了一眼草稿纸之上密密麻麻的算式。
她低声问道：“要不要出去透透气？”
陈舟转头看着杨依依，微微一笑：“暂时不用。”
说完，陈舟再次拿起笔，继续展开对冰雹猜想的攻击。
时间，也就这样在笔尖悄然流逝。
在距离丘赛过去了两周时间时。
4月5日。
清明节。
似乎是为了应景，这天从早晨开始，就一直下着淅淅沥沥的小雨。
陈舟和杨依依不得已，只能取消了晨跑的计划。
<