第204章 一鼓作气(第 2/4 页)

    这样的话，证明中就会有：

    【……第n级中第一次进行冰雹猜想运算时，仅能被2整除一次的项便为：a2，a4，a6，……，a2r，……，a2^(n-2)。】

    【在这个数列中，其间隔距离为2项，公差为2^2，也就可以把数列写为a2，a2+2^2，a2+2·2^2，……，a2+r·2^2，……，a2+(2^(n-3)-1)·2^2的形式……】

    按照这个思路，陈舟将新形式的数列进行第一次冰雹猜想运算，再进行第二次冰雹猜想运算。

    看着得到的运算结果，陈舟略一思忖，将其进行了转换。

    【把3^2·2看作是a，3a2(1)+1看作是任意整数b……】

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

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

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

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

    这也是最为重要的一步。

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

    思路不断，稳如老狗。

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

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

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

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

    -->>(第 2/4 页)（本章未完，请点击下一页继续阅读）