书架
学霸从改变开始
导航
关灯
护眼
字体:

第204章 一鼓作气

『如果章节错误,点此举报』
第(2/3)页


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

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

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

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

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

  这也是最为重要的一步。

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

  思路不断,稳如老狗。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  也因此,陈舟需要先证明“数字金字塔中第n级

(本章未完,请翻页)