第204章 一鼓作气[第1页/共3页]

手中的笔，不竭在草稿纸上，把脑海中的思虑，一一变成实际。

看着获得的运算成果，陈舟略一思忖，将其停止了转换。

而这些结论，满是操纵数字金字塔得来的。

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

转换结束，陈舟的思路更加清楚了。

这也是最为首要的一步。

他需求完整的开释出来。

拿出一张新的草稿纸，笔尖与纸张便开端了密切打仗。

看了一眼身边的杨依依，正埋头看着课本。

以是，理一理思路，是很有需求的。

如许的话，证明中就会有：

关于特性2的证明，陈舟也一样从第一次冰雹猜想运算开端证明。

论述情势的转换，也就转换了冰雹猜想的证明情势。

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

这是一种极其畅快的感受。

把这部分内容的证明完成，内里的天气已经暗了下来。

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

起码，在军训时的各种思虑。

到这，陈舟算是把前期证明冰雹猜想的筹办事情全数完成了。

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

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

这也是他为甚么会被人夸计算极其松散的启事。

这些内容便是陈舟思虑的内容。

【特性2，若对数字金字塔中第n级，停止第一次冰雹猜想运算时，仅能被2整除一次的这2^(n-3)项奇数，持续停止第二次冰雹猜想运算。】

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

起首，陈舟需求停止公式化的转换。

陈舟点点头：“是不是等了我好久？如何不喊我？”

在第m次冰雹猜想运算一栏，此中的规律是操纵运算线路近似而获得的。

【……是以，能够肯定，奇数a是能够通过多少次冰雹猜想运算，而成为一个小于它本身的奇数，简称a，合适前提“a＞a（m）”。】

特别是陈舟对特性1和特性2的应用，能够说是撑起了全部求证的过程。

【……据此便可推知特性2的普通情势精确。】

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

并且，面对天下级的困难，陈舟感觉再谨慎谨慎一些，也不为过。

一样操纵数列的体例停止证明。

但陈舟的笔却并未停下。

有了第一步的铺垫，在以后一步一步证明到普通情势，就轻易的多了。

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

陈舟再次进入对冰雹猜想的证明天下当中。

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

【在这个数列中，其间隔间隔为2项，公差为2^2，也便能够把数列写为a2，a2+2^2，a2+2·2^2，……，a2+r·2^2，……，a2+(2^(n-3)-1)·2^2的情势……】