第七十章 证明周氏猜想！
在老唐那里耽搁了一会儿，陆舟从阶梯教室里刚一出来，立刻被一群大一小学妹们给围住了。 好吧，其实旁边还是有一些小学弟的，但是看到这么多女生，脸皮薄一点也不好意思挤上去了。 “学长学长，你是怎么学好高数的呀？我感觉高数好难啊，有没有什么学习经验可以教教我吗？” “师兄师兄，听说咱们学校国一有保研加分政策？是不是呀？还是说必须拿到高教社杯……” “大佬，您明年还参赛吗？还缺队友吗？我会写论文的！高中辩论赛我拿过最佳辩手！奥数一等奖！” “学霸哥哥，有微信号吗？可以加下我吗~” 面对这连珠炮一般的问题，陆舟一脸懵逼。 虽然我知道我很帅，但你们也没必要这么热情吧。 怪不好意思的…… 好不容易才摆脱了学弟学妹们的纠缠，背着电脑包的陆舟向图书馆的方向走去。 陈玉珊这几天在复习政.治，主要都是背，便没来图书馆。 正好，陆舟这两天也没空和她讲题。 虽说系统将证明方法印在了他的脑海里，但想要将那足以写满三四页A4纸的论证过程整理出来，还是要花不少功夫的。 最基本的，要想让别人能看懂自己的证明过程，至少得先由自己将其消化。 最后写在纸上的可能不只是系统给出的三四页纸那么简单，篇幅也许翻上一倍都说不定。 而且，数论不是老唐的研究方向，这次没有人给他的论文把关。想要一次过稿的话，就必须得拿出一百二十分的专注，将系统给出的证明过程中每一个模糊的细节都还原出来，让学术编辑找不到毛病可挑！ 【关于梅森素数分布规律的讨论以及周氏猜测的证明】 【摘要：本文针对梅森素数分布规律进行研究，证明了2^（2^n）＜P＜2^（2^（n 1））时，MP有2^（n 1）-1个是素数成立。并以此为论据，证明了当P<2^（2^（n 1））时，Mp有2^（n 2）-n-2个是素数这一推论成立。】 正文部分先打个空格，陆舟直接跳到了引用文献的位置，迅速敲下了一行文字。 【引用文献：梅森素数的分布规律[J].周海中.逸仙大学学报(自然科学版).1992(04)】 需要引用的文献，仅此一篇而已。 二十年来，无数数学爱好者和数论的研究者，都对此定理进行过反复求证，然而无一成功。甚至就连做出这个猜想的周先生本人，钻研了这么多年，也无法对这条猜想给出一个合适的证明。 而数论的魅力正在这里，苹果就挂在每一个人的头顶，无论是数学家还是数学爱好者，都能够看到那诱人的嫣红。只等待一个高个子走来，踮起脚尖，将它采摘。 双手离开了键盘，陆舟拿起纸笔。 进入状态的他，完全忘却了外物，甚至忘记了自我。 世间唯一纸一笔。 无限的素数在他的笔尖之下被无限放大，在一行行表达式中又被无限的收束。交错的数字与符号，汇成了一道道咒语，编织着描述宇宙真理的魔法。 时间一分一秒地过去。 一张张平铺在桌面上的草稿纸，渐渐铺满了陆舟面前的这张桌子。 中午，饭点。 旁边考研的哥们儿伸了个懒腰，正准备起身去食堂吃饭，忽然注意到了陆舟平铺在桌上的那一张张草稿纸，和纸上那一行行算式，瞬间一脸懵逼了。 什么题这么牛逼？ 算了这么多张草稿纸都没算完？ 看模样挺年轻，像是个本科生，可是本科阶段有这么难的数学题吗？ 凑过去看了眼，他大概能看明白是数论的问题，然而再往下看，就不太懂了。一方面是陆舟打草稿的笔迹实在是龙飞凤舞，另一方面是他不是这个研究方向，对数论这方面懂一点，但只知道些皮毛。 就在他怀着满腔的好奇，准备问问这人在证明什么东西的时候，忽然注意到了那台笔记本电脑上，屏幕正中央的文档标题—— 周氏猜想的证明？！ 好奇心瞬间没了。 哦，原来是个疯子。 “又一个学数学学傻了的。” 在心里吐槽了一句，那考研的哥们儿二话不说，拎起背包转身就走了。 虽然他不是这个研究方向，但这不意味着他对这个方向一无所知。 二十年来，全世界的数学家，只要是研究数论这一方向的，或多或少对梅森素数、孪生素数、费马素数这些特殊素数都有过研究，毕竟这是通往世纪难题的关键钥匙。而只要研究到了梅森素数，基本上都尝试过对周氏猜想的证明。 然而有一个人成功过没？ 别说摘苹果了，连个搭梯子、搬凳子的人都没！ 这要是让你一个本科生证出来，那才叫见了鬼！ 完全沉浸在那一行行算式中的陆舟，自然不可能注意到身后某个路人甲的心理活动。别说是这点风吹草动了，就连时间的流逝、腹中的饥饿，都在那一行行算式中湮没了。 不知道是从什么时候开始，他已经习惯这种不健康的学习方式了…… 当陆舟写下最后一行算式的时候，窗外的天空已经完全暗下来了。 长出了一口气，他靠在了椅子上，感觉整个人都虚脱了。 一方面是累的。 另一方面是饿的。 “居然把吃饭这么重要的事儿给忘了……看来我这是真的修仙修到辟谷了。” 这篇论文的难度，比先前那篇《线性算子和线性泛函的最优反演理论》的难度要大多了，学术价值也完全不在一个量级上。不过好在核心的工作已经完成了，剩下的工作就是将这些草稿整理到A4纸上，再输入到电脑中，完成整篇论文了。 揉了揉肚子，陆舟正准备站起身来，将桌上的草稿纸收起。 然而就在这时，他忽然被放在角落的一张草稿纸上，列出的一行数字吸引了注意力。 “咦？” 轻咦一声，陆舟拿起笔，在草稿纸上圈出了几个数字，然后将他们重新排列组合。 经过排列后的两组数据，正好都是孪生素数。 陆舟皱紧眉头，笔尖在草稿纸上点了点。 写下了两行算式。 但很快又将其划掉。 著名的波利尼亚克猜想，对所有自然数k，有无穷多个素数对（p，p 2k）。而当k=1的情况，便是孪生素数猜想。而梅森素数分布规律的研究，从某种意义上，也为解决孪生素数无限性问题，提供了一条思路。 就在刚才还原周氏猜想证明的一瞬间，他隐约中好像发现了什么。 捏了捏眉心，陆舟感觉有些头疼。 不行，完全没有思路…… 那一瞬间的灵感，转瞬即逝，错过了机会，想要抓住就很难了。 MMP！ 这数论果然不是一般人玩的。 “系统，给你主子一点灵感。” 陆舟在心中默默喊了声，然而系统并没有任何回应。 好吧。 看来解题思路这种方向性的问题，同样不在系统的解答范围之内。 “同学，要闭馆了。” 从沉思中清醒了过来，这时陆舟才发现，图书管理员阿姨正站在桌子旁边。回头看了眼馆内，整个图书馆里还没走的学生，似乎就只剩下自己一个。 “啊，不好意思啊，我这就收拾东西。”陆舟歉意地笑了笑，伸手去收拾桌子上的草稿。 再继续撑下去他也快扛不住了。 还是先去外面吃点东西好了。