爱尚小说网

第二百零四章 一鼓作气（第2页）

【把3^2·2看作是a，3a2（1）＋1看作是任意整数b……】

转换完毕，陈舟的思路愈加清晰了。

他瞥了一眼为了证明特性1所写下的两个数论结论，在证明特性2的过程中，同样需要用到。

运用这两个数论结论，陈舟很容易的就推知了，“在上式中，任意相邻2^r（这里0≤r≤2^（n－3））项中都有一项能被2^（r＋1）整除”这一结论。

由此，陈舟完成了特性2证明的第一步。

这也是最为重要的一步。

有了第一步的铺垫，在之后一步一步证明到一般形式，就容易的多了。

思路不断，稳如老狗。

手中的笔，不断在草稿纸上，把脑海中的思考，一一变为现实。

这是一种极为酣畅的感觉。

【……据此即可推知特性2的一般形式正确。】

到这，陈舟算是把前期证明冰雹猜想的准备工作全部完成了。

而这些结论，全是利用数字金字塔得来的。

陈舟放下笔，看了眼时间，已经下午3点。

“没想到，看着简单，思路也很顺畅的两个特性的证明，居然花了我这么多时间……”

喃喃自语了一声，陈舟不再多想，收敛思绪，把先前的草稿纸整理了一下，拿在手中捋了一遍。

这是陈舟为了把思路理得更清楚一些。

因为由数字金字塔引发的证明思路，是在军训时发生的，这其中可能有一些细节的地方，陈舟没有考虑到。

所以，理一理思路，是很有必要的。

而且，面对世界级的难题，陈舟觉得再小心谨慎一些，也不为过。

这也是他为什么会被人夸计算极其严谨的原因。

放下草稿纸，再拿出一张新的草稿纸。

陈舟再次进入对冰雹猜想的证明世界之中。

首先，陈舟需要进行公式化的转换。