一心一意的埋首于冰雹猜想之中。
时间在这时候总是过得飞快。
而陈舟更觉得时间不够用。
他感觉地球这几天跑的太快了。
从天亮到天黑,不过是他一低头一抬头的事。
军训结束后的第四天。
图书馆。
陈舟和杨依依依然在熟悉的老位置。
杨依依正在电脑上编辑着文献资料。
陈舟正在奋笔疾书。
如果仔细点看,能发现陈舟的黑眼圈又冒出来了,而且眼袋也长大了。
这几天,陈舟的所有时间,全部花在了冰雹猜想的研究上。
错题集的正确打开方法,也被陈舟逐渐掌握了。
在他思路不顺畅的时候,他会先思考一两个小时,看能否打开思路。
如果不行,那就翻错题集。
通过错题集上的错误指引,陈舟先纠错,再打开思路。
翻错题集前,思考的那一两个小时,也很好的为翻错题集后,纠错和验证思路所服务。
这种方法,是目前陈舟觉得,最为行之有效的方法了。
随着这段时间的推进,对于冰雹猜想的研究。
陈舟终于来到了最后的部分。
【n=1→∞∑ar+1,n=n=1→∞∑ar,n-ar,1(r=1,2,3……)】
陈舟看了一眼自己写下的内容,思考了一下,便开始证明。
笔尖轻触草稿纸,墨水在纸上勾画出一个个数学符号。
很快,证明完毕。
同时,根据级数收敛的性质,陈舟还确定了“由n=1→∞∑a1,n收敛,保证了以后的级数都收敛”,这一重要的推论。
手中的笔微微停顿了一下,陈舟扫了一眼证明过程,然后再次下笔写到:
【r=1→∞∑a1,n≤1,也就是需要证明r=1→∞∑ar,1收敛,且≤1……】
写完之后,陈舟没有丝毫的停顿,开始证明这个结论。
这个结论的证明,是基于前一个证明过程的。
反复应用前一个证明过程的推论,也就能把这一结论证明了。
【……所以,limr→∞∑r=1,rar,1≤1……】
到这,全部铺垫完成。
只剩最后一步。
陈舟深吸一口气,再缓缓吐出。
这么长时间的研究,终于到了出成果的一刻了。
【……利用反证法,如果r=1→∞∑ar,1=S1<1,那么S1-1<0,进而就会有Sn=r=1→∞∑ar,n=n(S1-1)+1<0,这里当n>1/(1-S1)时成立。】
【这句话,显然是错误的。因为都是正项级数。】
【因此,r=1→∞∑ar,1=1,成立。】
陈舟的手微微颤抖,以至于写在草稿纸上的笔迹,都有些变了形。
但最终,陈舟还是写下了那个结论。
【由此可以推知,冰雹猜想的结论是正确的。也就是,全体正整数都可通过有限次的冰雹猜想运算,而成为1。】
……
第二百零七章 这就证明出来了?
看着眼前写下的结论,陈舟有一瞬间的恍惚。
随即,他拿出错题集,神情激动的翻到了最新的一页。
这上面,关于由数字金字塔引发的冰雹猜想研究的错误记录,全部消失了。
而原本厚厚的,陈舟所积累的错误记录,大部分也消失了。
“这就证明出来了?”
陈舟已经竭力克制自己的情绪了,但双手忍不住的还是颤抖着。
这可是世界级的难题啊!
陈舟怎么能不激动?!
和先前的Clifford分析那个课题相比,冰雹猜想的研究难度,含金量,学术价值,都要大得多。
两者完全不是一个量级的东西。
又看了一眼,堆叠在桌子上的草稿纸,陈舟一瞬间被成就感填满了。
这个既属于抽象代数领域,又属于数论领域的冰雹猜想。
就这样,在燕大的图书馆,被他一个本科生,证明了出来。
察觉到身旁陈舟的异样,杨依依微微转头看了一眼陈舟,随后又将目光移向陈舟面前的草稿纸。
“……冰雹猜想的结论是正确的……”杨依依在心里默念了一遍草稿纸上的内容。
有那么一瞬间,她没有反应过来。
奇!书!网!w!w!w!。!q!i!s!u!w!a!n!g!。!c!c
但马上,她再次看向陈舟:“你证明出来了?”
陈舟看向身旁的女伴,重重的点了点头:“搞定了!”
得到陈舟肯定的回答,杨依依虽然已经做了一些心里准备,但还是被惊讶到了。
这可是货真价实的世界级难题。
她虽然没有研究过,但不代表她不了解。
毕竟,陈舟每天都是冰雹猜想冰雹猜想的和她说,她想不知道都难。
也是因为陈舟的研究,杨依依去查过冰雹猜想的资料。
冰雹猜想也被称为奇偶归一猜想、角谷猜想、3n+1猜想、考拉兹猜想等名字。
从它被提出后,就有无数的数学家试图解决它。
但最终都失败了。
以至于,冰雹猜想在被著名学者盖伊作为世界难题介绍时,是分在了“不要试图去解决这些问题”一类的。
而且,不止一位数学家赞成这个看法。
其中就包括著名的华人数学家陶哲轩,他就在博客里写到:“不太可能被当前的技术证明。”
甚至就连大数学家厄希特,都认为冰雹猜想是“数学还没有成熟到足以解决这样的问题”。
除此之外,更有人提议把冰雹猜想作为下一个费马问题。
要知道费马猜想,从提出到被证明,可是整整经历了三百多年的历史。
这三百多年间,无论是数学大神欧拉,还是其他数不清的数学家们前赴后继,却始终没有证明费马猜想。
直到1995年,才被英国数学家怀尔斯证明。
但冰雹猜想的提出是在1937年,到今天也才过了不到一百年的时间。
要是按费马问题的历史时间算,也就是说,冰雹猜想需要到23世纪才能被解决。
可现在,冰雹猜想的证明结果,就在杨依依的眼前!
而完成冰雹猜想证明的人,就在她的身边!
她见证了历史!
虽然冰雹猜想的证明过程还躺在草稿纸上,她也无法确定这证明过程是否真的正确,但是她相信陈舟。
杨依依目光灼热的看着陈舟,她觉得这时的陈舟,真的越来越帅了!
陈舟伸了个懒腰,这几天,没日没夜的,每天奋战十好几个小时,真的是累啊。
还好这次的方向是正确的,也收获了他想要的结果。
更为关键的是那灵光一闪。
陈舟觉得自己是不是应该请客,出去搓一顿呢?
当然,在此之前,他肯定是得把论文先整理出来的。
陈舟看了眼时间,离闭馆还有十分钟。
还能为论文打个开头。
于是,陈舟打开电脑,开始写论文了。
和Clifford分析这篇论文不同,这次的冰雹猜想的论文,陈舟必须拿出百分百的专注度。
把证明过程中的每一个细节,都尽可能的描绘清楚。
充分发挥他计算严谨、逻辑缜密、思路清晰的特点。
【关于冰雹猜想运算特性的研究和冰雹猜想的证明】
【摘要:本文把全体正整数放入一个数字金字塔中,从研究全体正整数在进行冰雹猜想运算时的特性入手,通过证明r=1→∞∑ar,1=1的成立,从而证明全体奇数都可通过有限次冰雹猜想运算归于1。并以此进行等价转换,证明了冰雹猜想的成立。】
然后就是正文部分。
关于正文,陈舟倒没着急。
而是把整个证明过程进行了分割。
分别为数字金字塔、数论的两个引理、冰雹猜想运算的特性等等。
由此,所有的小部分,再组成一篇完整的论文。
对于小部分内容的填充,陈舟还需要再整理一下。
今天是没时间了,在他做完这些的时候,图书馆已经要闭馆了。
和杨依依走在回宿舍的路上。
陈舟敏锐的发现,这丫头怎么走两步,就偷看自己一下?
难道今天的我,尤为的帅气吗?
陈舟迎上杨依依再一次看过来的目光:“干嘛老看我?”
杨依依索性不再偷看,而是双眼紧盯着陈舟,眼神之中有着异样的神彩:“你好厉害~”
“呃……”陈舟哑然失笑,但心里很是受用。
回到宿舍,和前几天一样,陈舟把背包放在椅子上,就拿着脸盆毛巾去洗澡了。
注意到陈舟动作的赵琦琦三人,互相看了看。
赵琦琦忍不住说道:“陈哥这几天熬夜有点凶啊。”
朱明理点点头:“确实。每次看他一回来就洗澡,还以为要睡觉呢,结果却是,躺床上还没十分钟,就爬了起来,然后就是连续鏖战到半夜。”
李礼也是微微点头:“也不知道他的研究进展如何了,按他现在的节奏,真怕研究没进展呢,人就先倒了……”
闻言,赵琦琦和朱明理同时摇头,他们也不知道陈舟的研究进展的如何了,陈舟一直没说过。
但他们猜测,估计进展不大。
冰雹猜想这可是难倒世界级大数学家的难题。
虽然陈舟很优秀,很出色,还能自己做课题。
但在冰雹猜想上面,他们真的不觉得陈舟能取得什么成果。
而且,陈舟一直以来展现的都是在数学上的努力。
可数学更是一个需要天赋的学科。
尤其是陈舟现在研究的冰雹猜想这种世界级的难题,就更需要天赋了。
并不知道宿舍三兄弟在讨论自己,洗完澡回来的陈舟,和几人打了个招呼,便躺到了床上。
赵琦琦三人不自觉的又互相看了看,似乎都觉得自己料事如神。
就在三人正看着时间,计算着陈舟是不是该爬起来时。
三人身后的陈舟,已经睡着了。
而传来的,是他轻微的鼾声。
第二百零八章 选个期刊,投个稿
熬了这么多天,终于睡了个好觉。
早晨醒来时,陈舟只觉得整个人精神百倍。
再加上人逢喜事精神爽,因此,在洗漱时,看着镜子中的自己,陈舟只觉得这人,似乎越来越帅了呀!
吃了早餐,再次来到图书馆的陈舟,开始按照前一晚分割的小部分,进行论文的填充。
写论文对于陈舟来说,已经算是比较熟悉的东西了。
仔细算来,从和沈靖的合作开始,到UPC的竞赛论文,再到Clifford分析的课题论文,陈舟作为第一作者第二作者,经手的论文已经多达三篇了。
尤其是Clifford分析的课题论文,给陈舟积累了足够的论文写作经验。
只不过,那篇论文还有着吴西平帮忙进行修饰,现在的论文,只能靠他自己了。
倒不是不可以找吴西平帮忙,只是冰雹猜想属于抽象代数和数论这一类,不属于吴西平的研究方向。
所以,与其麻烦他人,不如靠自己。
而且以后的论文多着呢,难道一直麻烦吴西平?
陈舟只怕会牺牲了吴教授的带娃时间……
一天时间,并不够陈舟把论文整理出来。
又是在图书馆待到了闭馆时间。
陈舟和杨依依收拾着各自的资料,准备返回宿舍。
就在陈舟拿着一张草稿纸,准备放在一起时。
他的手挺住了。
草稿纸上的算式吸引了他的目光。
陈舟微微皱眉。
再看了一眼草稿纸的内容,陈舟缓缓坐在了椅子上。
拿起笔,把草稿纸上的数字圈了起来。
随后在旁边又写下了一行算式。
习惯性的拿笔点着草稿纸,陈舟的眉头皱的深了。
草稿纸上,黑色的水笔已经点出来了一个大毛团。
但陈舟仍未思索出头绪。
微微摇头,他拿起笔,把算式划掉了。
然后继续收拾东西。
这时,早已收拾好站在旁边的杨依依,默默瞥了一眼陈舟划掉的算式。
【limn→∞sup(Pn+1-Pn)/(lnPn)2=1】
杨依依只觉得自己看了个一脸懵,这啥玩意?Pn是什么东东?
果然,相对于数学来说,还是物理更有趣一些……
想是这么想,但出了图书馆,和陈舟走到无名湖边时,杨依依还是忍不住问道:“陈舟,你最后写的那行算式是什么?”
“算式?”陈舟想了想,旋即笑着说道,“你看到了?那是克拉梅尔猜想的算式。”
杨依依:“克拉梅尔猜想?”
看了一眼显然不知道这是什么的杨依依,陈舟解释道:“许多数学家认为,最大素数间隔很可能大得多,嗯,大于(logX)2的数量级这种。而(logX)2数量级的素数间隔,是在素数表现得像随机数的集合时会出现的。”
“针对这种素数分布规律的的问题,克拉梅尔就提出了一个猜想,也就是你看到的那个算式。算式里面的Pn,就是指第n个素数。”
顿了顿,陈舟继续说道:“到目前为止,连续素数的间隔究竟有多远,没有人能够给出一个准确的答案。虽然在2014年的时候,陶哲轩教授和另外四位数学家证明了爱多士的猜想,成为76年来有关素数间隔问题的最重大的突破。”
“但爱多士猜想所提出的素数间隔,是远小于克拉梅尔猜想的!”
说到这,陈舟不再继续说下去了。
因为对于杨依依而言,他不需要,也没必要说那么多。
从他和杨依依的相处来看,杨依依是不可能会转到数学专业的研究上来的。
而素数,或者说数论方向的问题,在这种情况下,杨依依几乎是不可能接触到的。
杨依依似懂非懂的看着陈舟,想了想,轻声问道:“那你写下这个算式是因为?”
陈舟脸上露出遗憾的神色:“有那么一瞬间,我觉得抓住了解决克拉梅尔猜想的关键。但是事实证明,是我想太多了。”
闻言,杨依依笑着鼓励道:“可能时间没到吧,等灵感来了,相信你可以抓住的。就像这次的冰雹猜想一样。”
陈舟笑了笑:“希望吧。”
灵感这东西是一瞬间的事情,如果错过了机会,再想找回来,那几乎是不可能的事。
更何况这还是数学,还是数论,这种最需要灵感的方向。
只不过,陈舟也在默默做着计划了。
从克拉梅尔猜想开始,这一