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

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

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

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

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

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

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

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

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

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

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

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

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

    也就是对冰雹猜想的证明，转换为一个更符合他现在证明方式的叙述形式。

    叙述形式的转换，也就转换了冰雹猜想的证明形式。

    当然，这个证明形式，是往陈舟先前的这些准备上，去靠的。

    也因此，陈舟需要先证明“数字金字塔中第n级的所有奇数，都是可通过有限次的冰雹猜想运算后，成为一个比它自身小的奇数（n为任意正整数，n＞56）”，这一结论。

    把结论进行公式化，是证明的必经过程。

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