杨依依笑着说：“看你那么专注的事，我怎么忍心打断你呢？”

杨依依心有所，扭看向陈舟。

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

在第m次冰雹猜想运算一栏，其中的规律是利用运算路线类似而得到的。

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

【设奇数a（＞56）经过m次的冰雹猜想运算后，其形式为a（m）=3^m/2^（b1 b2 b3 …… bm）a 3^（m-1）/2^（b1 b2 b3 …… bm） 3^（m-2）/2^（b2 b3 …… bm） …… 3/2^（bm-1 bm） 1/2^bm】

她冲陈舟微微一笑，轻声说：“走吧，吃完饭，再回来？”

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

已经下午3。

有了前期的铺垫，陈舟在求证“第n级中‘符合条件a＞a（m）’奇数的计算方法”时，不是思路上，还是计算上，都轻松了许多。

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

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

尤其是陈舟对特1和特2的运用，可以说是撑起了整个求证的过程。

详细罗列了第一次运算，第二次运算，直到第m次运算的首项系数经运算后的奇数个数。

【当上式中首项系数3^m/2^（b1 b2 b3 …… bm）中分母的幂指数第一次现b1 b2 b3 …… bm≥2m时……】

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

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

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

看了一旁的杨依依，正埋看着教材。

这一步倒是没那么费脑细胞。

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

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

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

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

公式化完成后，便是对结论的证明了。

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

把这分内容的证明完成，外面的天已经暗了下来。

等到陈舟再次放下笔，准备伸懒腰时，他才发现不知不觉已经晚上七了。

本章已阅读完毕(请击下一章继续阅读!)

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

陈舟：“是不是等了我很久？怎么不喊我？”

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

【……因此，可以确定，奇数a是能够通过若次冰雹猜想运算，而成为一个小于它自的奇数，简称a，符合条件“a＞a（m）”。】

再结合数字金字塔的内容，陈舟又整理来一张关于“第n级中奇数连续行冰雹猜想运算时，每次得到的‘符合条件a＞a（m）’的奇数个数”的表格。