喃喃自语了一声，陈舟不再多想，收敛思绪，把先前的草稿纸整理了一下，拿在手中捋了一遍。
这是陈舟为了把思路理得更清楚一些。
因为由数字金字塔引发的证明思路，是在军训时发生的，这其中可能有一些细节的地方，陈舟没有考虑到。
所以，理一理思路，是很有必要的。
而且，面对世界级的难题，陈舟觉得再小心谨慎一些，也不为过。
这也是他为什么会被人夸计算极其严谨的原因。
放下草稿纸，再拿出一张新的草稿纸。
陈舟再次进入对冰雹猜想的证明世界之中。
首先，陈舟需要进行公式化的转换。
也就是对冰雹猜想的证明，转换为一个更符合他现在证明方式的叙述形式。
叙述形式的转换，也就转换了冰雹猜想的证明形式。
当然，这个证明形式，是往陈舟先前的这些准备上，去靠的。
也因此，陈舟需要先证明“数字金字塔中第n级的所有奇数，都是可通过有限次的冰雹猜想运算后，成为一个比它自身小的奇数（n为任意正整数，n＞56）”，这一结论。
把结论进行公式化，是证明的必经过程。
【设奇数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】
【当上式中首项系数3^m/2^（b1＋b2＋b3＋……＋bm）中分母的幂指数第一次出现b1＋b2＋b3＋……＋bm≥2m时……】
【……因此，可以确定，奇数a是能够通过若干次冰雹猜想运算，而成为一个小于它自身的奇数，简称a，符合条件“a＞a（m）”。】
公式化完成后，便是对结论的证明了。
这一步倒是没那么费脑细胞。
有了前期的铺垫，陈舟在求证“第n级中‘符合条件a＞a（m）’奇数的计算方法”时，不管是思路上，还是计算上，都轻松了许多。
尤其是陈舟对特性1和特性2的运用，可以说是撑起了整个求证的过程。
再结合数字金字塔的内容，陈舟又整理出来一张关于“第n级中奇数连续进行冰雹猜想运算时，每次得到的‘符合条件a＞a（m）’的奇数个数”的表格。
详细罗列了第一次运算，第二次运算，直到第m次运算的首项系数经运算后的奇数个数。
在第m次冰雹猜想运算一栏，其中的规律是利用运算路线类似而得到的。
把这部分内容的证明完成，外面的天色已经暗了下来。
等到陈舟再次放下笔，准备伸懒腰时，他才发现不知不觉已经晚上七点了。
看了一眼身旁的杨依依，正埋头看着教材。
杨依依心有所感，扭头看向陈舟。
她冲陈舟微微一笑，轻声说道：“走吧，吃完饭，再回来？”
陈舟点点头：“是不是等了我很久？怎么不喊我？”
杨依依笑着说道：“看你那么专注的做事，我怎么忍心打断你呢？”
第二百零五章 待我翻一下错题集
吃饭的时间，陈舟也算是趁机出图书馆透透气了。
从回到燕大开始，他已经在图书馆连续奋战了近8个小时。
除了中午吃午饭时，算是停了会笔。
其余时间，可以说是一刻不停。
但好在，军训时的思考，给了他计算效率的保证。
只要思路不倒，那他就能一直朝着冰雹猜想的腹地推进。
可以说，思路到哪，陈舟的证明就到哪。
现在的他，确实有些累，需要简短的休息一下。
也顺便调整调整，再理一理思路。
两人在食堂各要了份牛肉面，再加根火腿肠。
端着面来到座位后，杨依依好奇的问道：“怎么样？”
陈舟把面咬断，抬起头看了杨依依一眼：“还行吧，目前的进展还算顺利，按照这个思路，这两天就会有结果。”
“哇，真的吗？”杨依依又惊讶又欣喜的问道。
这还是在陈舟开始冰雹猜想的研究之后，她第一次从陈舟的口中听到肯定的答案。
在之前，陈舟要么说，思路可能不太对，要么就是，这玩意压根没法算下去……
然后，她就这么看着陈舟陷入冰雹猜想的研究，却始终无法找到解决的方法。
但是现在，陈舟似乎离目标很近了。
这如何能不让她惊喜？
陈舟微微点头，旋即轻声笑道：“我也没想到，一次军训，会给我提供解决冰雹猜想的思路。”
杨依依满脸疑惑的问道：“军训提供的思路？”
陈舟说道：“军训时，我们7连不是在操场正中联系队列队形的变换吗？”
杨依依点头：“嗯，那会你还站在最前面呢，我一眼就看到你了。”
陈舟笑了笑：“就是那个三角形阵型，你觉得那个阵型像什么？”
“像什么？”杨依依想了想，不就是三角形的阵型吗？三角形像的东西太多了。
比如说，她很喜欢很喜欢的冰淇淋甜筒，也可以说是三角形呀。
想到这，杨依依脱口而出：“像甜筒……”
听到这个答案，陈舟微微一愣，旋即大声笑了起来，这丫头，还真是个吃货。
看着大笑的陈舟，杨依依皱了一下精致的鼻子：“难道不是吗？”
陈舟止住笑声：“是是是，确实也像甜筒。”
闻言，杨依依吐了吐舌头：“一会，能吃一个吗？”
陈舟想了想，说道：“行吧，给你这个吃货买甜筒去。”
陈舟和杨依依的约定是，冰淇淋虽然好吃，但是每天最多吃一个，不能贪吃。
但今天是结束军训返校的日子，可以破个例。
冰淇淋足饭饱之后，陈舟和杨依依再次回到了图书馆。
很难得的是，他们俩的老位置还在。
不需要再辗转去自习室找位置了。
坐下后，陈舟就掏出下午的草稿纸，很快便沉浸其中。
在下午离开前所得到的表格进行分析后，陈舟得到了随着冰雹猜想运算次数增加，n级中符合条件a＞a（m）的奇数占总数的比例。
这个比例是越来越大的。
但是它最终是否会等于1呢？
带着这个疑惑，陈舟思考了一下，便着手写到：
【若用记号Sm表示前m项的奇数比例之和，则当m→∞时，有limm→∞Sm=1】
写完之后，陈舟又标记了一下。
因为这个记号∞并不表示m真的趋向于无限大，而是表示这个数，将趋向于一个待确定的正整数。
关于这个推论的证明，则要依靠表格来进行了。
陈舟便一边看着表格，一边拿着笔，不断写着相关的结论。
表格中，每一横行的比例均可记为数列。
而陈舟便是在求这个数列的通项式。
【……r是行指标，n为数列的元素指标，其通项公式为ar，n=（kr，n－1＋kr－1，n＋1）/2^（2r＋n－2）。这里的kk，c表示ak，c中的分子……】
手中的笔，也随着思路不断的游走在草稿纸上。
只不过，不像先前的笔走龙蛇。
思路到哪，笔便到哪。
随着对冰雹猜想更深入的研究，陈舟的思路，渐渐跟不上笔锋的速度了。
他思考的时间也变得越来越长。
在图书馆待到了闭馆时间，陈舟打消了再接再厉的想法。
有些内容，需要再理清一些。
做到这一步，也需要验证一下了。
回到宿舍后，陈舟把背包放在椅子上，没去动它，而是径直拿了脸盆毛巾，去洗澡了。
洗完澡，陈舟摸摸索索的从背包里拿出了一物，然后翻身上床。
赵琦琦和李礼他们倒还都在看书。
他们三从回到学校，就趴在自己的床上趴了好一会。
相较于军训基地的硬板床，他们还是比较喜欢自己铺的舒适的床铺。
所以，现在的三人正精神着呢。
不过，他们也很自觉的没有打扰陈舟。
从陈舟的表现就能看出来，除了打了个招呼，一下车就跑图书馆。
然后，这都从图书馆回来，还一直魂不守舍的，甚至一句话也没和他们说。
明显就是有很重要的事。
并不知道这三人想法的陈舟，此时正躺在床上，皱眉思考着冰雹猜想的问题。
后续的思路，他正在理顺。
一路上，包括回来到现在，他满脑子都是冰雹猜想，都是研究思路。
这也是他回来之后，没有和李礼三人说话的原因。
过了有一会，只见陈舟原本皱着的眉头缓缓舒展开来，似乎是理顺了其中的奥秘。
他看了一眼从背包里拿出来的物件，想了想，缓缓打了开来。
本来陈舟是打算，要么这个思路走下去，走到底，要么这个思路走不通，走到死。
他才会打开错题集，去验证这走到底的思路是不是真的正确，或者这走不通的思路，究竟错在了哪里。
但是现在，在陈舟理顺思路之后，他已经看到了这个思路的最终结果。
至少以他看来，应该是没什么问题的。
那么，现在先检验一下这一天近12个小时的工作成果，就很有必要了。
要是前面就错了，那后面理顺的思路，也就没必要再继续下去了。
可要是前面的思路、计算、证明、论述等等等等，都没有问题的话。
那冰雹猜想的解决，便近在眼前了。
陈舟的手微微颤抖。
嗯，这错题集最近吃胖了，有点重。
所以，手才会抖的。
终于，陈舟翻到了错题集最新的一页。
陈舟能明显的听到自己的心跳声，声音很大，心跳很快。
他紧张，也激动。
和先前的多次验证不同。
先前的他，都是在试错。
因为有错题集，试错成本很低。
而且，他本身也没什么把握。
但是这次不一样。
他是有把握的。
深呼吸一口气，陈舟缓缓把目光聚集在错题集最新的一页上。
看到上面的内容，陈舟微微一怔。
这……
陈舟只感觉自己的心跳慢了半拍。
但当他看清内容时，整个人陷入了狂喜之中。
第二百零六章 结果
错题集的最新一页确实记录了一些错误的内容。
但错误并不多！
相比于先前那种，大段大段的复制粘贴了陈舟的计算内容。
这次，错题集只记录了陈舟在冰雹猜想研究中的，一小部分错误。
更为关键的是，错题集所记录的这部分错误，产生的时间。
全部是在他思路不顺畅的那段时间！
也就是，陈舟今天沿着数字金字塔，推进课题进度的最后时间。
这也意味着，陈舟的前期思路完全没有问题。
只要把后面的研究思路理清楚，那这条路，是完全可行的！
这如何能不令陈舟陷入狂喜？
忙活了这么久的时间，终于看到了一丝黎明前的曙光呀！
陈舟稍微克制了一下内心的激动，仔细的看了看错题集上所记录的内容。
越是这个时候，越是要更加小心谨慎。
没有到最后一步，没有出结果之前，还是有可能前功尽弃的。
“关于limm→∞Sm=1这部分内容，没有考虑全面？”
陈舟微微皱眉，在脑海里仔细回忆着这部分内容的思考过程。
这部分内容是后续内容的前提，如果没思考全面，那肯定是会影响后续内容的。
错题集唯一的好处是，它会指出所有的错误。
但不好的地方也有，那就是它在指出错误后，并不会给出正确答案。
这就令人很是抓狂。
因为，你所能依靠的还是你自己。
你必须自己找出错误的原因，然后纠正它，使其走向正确的结果。
不过，错题集能有现在的功能，陈舟已经很满足了。
要真是错题集既记录了错误的内容，又给出了正确的答案。
那他也不敢直接照抄答案，然后发表论文。
因为这答案之中，没有一丝内容是他自己的思考。
如果发表在期刊上，他怎么去解释其中的关键部分？
“漏了！”
“如果r=1→∞∑ar，1=1收敛，把它的和记做S1，就会有，嗯……r=1→∞∑ar，2=2S1－1……”
“同理，r=1→∞∑ar，3=3S1－2……”
陈舟想通了之后，瞬间起身，从背包里拿出草稿纸和笔。
开始进行纠错。
陈舟的动作，惹的赵琦琦三人一阵侧目。
这都跑床上睡下了，怎么又爬起来了？
再一看，陈舟已经拿着纸和笔坐到了书桌前，正在奋笔疾书。
三人不自觉的互相看了看，都有些惊讶，好家伙，躺床上躺一会，就把灵感躺出来了？
陈舟自然没有注意到宿舍三兄弟的表情，他现在全部的注意力都在眼前的一方白纸纸上。
“这部分内容的证明，应该是用数学归纳法进行，由点到线，一步一步推广到一般形式……”
这样想着的陈舟，便落了笔。
【因为ar，2=1/2（ar－1，3＋ar，1）（r=1，2，3，……，令a0，3=0）……】
这晚，是陈舟继培养良好生活习惯以来，第一次熬夜。
直到晚上2点左右，他才再次回到床上。
这时的宿舍里，其他三兄弟已经进入了梦乡。
躺在床上，陈舟很快也睡着了。
他的嘴角带着一丝笑意。
这次连续十几个小时的工作，终于不再是白费时间了。
第二天一早，陈舟便醒了过来。
没办法，心里装着事，想睡也睡不着了。
不如抓紧时间，把这个课题搞定。
陈舟今天本来是要去物院报到的，但他现在哪还有其他心思。
趁着吃早饭的时间，陈舟就给杨院长打了个电话。
简答的表达了一下自己的诉求。
在这件事上，杨院长很是爽快的表示，假给你批，多久，你自己填！
就这样陈舟暂时把冰雹猜想之外的事情，暂时全搁置了起来。
一心一意的埋首于冰雹猜想之中。
时间在这时候总是过得飞快。
而陈舟更觉得时间不够用。
他感觉地球这几天跑的太快了。
从天亮到