今没人能证明它的成立，最终成为了一个世纪难题。

    但现在，明夏把它证明出来了。

    因为之前参加“成邱宇数学奖”，明夏已经有了写论文的经验，这次的草稿便打得比之前顺利许多。

    标题起得很简单直白，就是《周氏猜测的证明》。

    摘要：周海中于1992年在《梅森素数的分布规律》一文中提出的猜测，被国际上命名为“周氏猜测”：当2^（2^n）<2^（2^（n+1））时，p有2^（n+1）－1个是素数。本文证明这个猜测是肯定的。并据此作出推论：当p<2^（2^（n+1））时，p有2^（n+2）－n－2个是素数。

    关键词：周氏猜测；梅森素数；证明；

    引用文献：梅森素数的分布规律[j].周海中.逸仙大学学报（自然科学版）.1992（04）

    没有参考文献，引用文献也只此一篇。

    因为，全部的证明，都是明夏一人思考的成果。

    第47章

    还记得去年国庆的时候, 明夏还被班上的任课老师们紧紧盯着，作业量是同班同学的好几倍。

    但到了寒假, 她的作业量反倒成了最少的。因为数学和英语老师都说了，她如果太忙的话，可以挑着自己觉得有用的题目去写, 就算干脆什么作业都不写也问题不大，只要保证成绩还是维持现在这样, 不掉下去, 就什么都好说。

    语文老师也对明夏现在的成绩很满意了, 知道她比较喜欢古代文学, 便给她开了一个书单, 都是比较有意思的讲古代历史或者介绍古代文学的书，让她可以挑感兴趣的看。

    于是, 寒假的明夏，便进入了自己最喜欢的舒适学习模式。

    白天的时候, 她会早起晨跑, 回家吃明母准备的各式早餐粥, 再捧着自己喜欢的书或者相关学术类期刊、杂志去阅读。

    在阅读内容的选择方面，出于爱好偏向, 明夏依旧是历史类为主，数学、英语为辅。又因为知道了大学毕业除了英语四级, 还有计算机一级的要求, 她便也顺带着还会看看计算机方面的书，不只是浮于表面的那种, 还会深入了解一下编程相关。

    在明夏的书架上，有好几本类似《语言详解第五版》的书，加之她英语不错，偶尔还会看一些国外的原版英文书，比如《puter systes:a prgraer\s perspetive 》（深入理解计算机系统），用作对知识的拓展。

    的确，学校对学生的毕业要求只是计算机一级，当然，大多数学生都会把计算机二级也拿到手，但明夏看过题目，觉得即便是计算机三级也没什么挑战xing，她对自己的要求不能这么低。

    如果考计算机四级，那个难度和全国软考的初级水平差不多，含金量却不高，反倒不如直接去考后者，那就得多看一些相关的专业书。

    于是，白天，明夏就窝在房间里，吹着空调，吃着清甜的水果，偶尔还有榛子芝士条这种小甜品作为下午茶，手中捧着自己感兴趣的书，等到吃过晚饭，才打开电脑，放着或舒缓或欢快的音乐，坐在桌旁写周氏猜测的证明论文。

    之前，和顾教授讨论时，因为要细细地分析给他听，回答他提出来的问题，再将他觉得可能是bug的地方反驳回去，对周氏猜测的具体证明方法，明夏记得十分清晰，思路流畅，下笔的时候便也很迅速。

    周氏猜测的内容很端，据此提出的推论也短，甚至如果拿到不懂的人面前，可能对方还会说一句：这不就是高中数学题？或者是本科的高数？

    别提让内行人听得多觉得窝火。

    这样一个经典的世纪难题，怎么可能是普通在读高中生或者大学生就能做得出来的题目？别开玩笑了好吧！

    上次写论文，那些难打的数学符号搞得明夏十分暴躁，这次，她学聪明了，写论文的正文之前单独建立了一个txt文本，把论文里需要反复用到的那些式子事先打好，放在里面，需要的时候，直接复制粘贴到正文就行。

    方便多了。

    要是还和之前那样，死心眼地打字符，那等这篇注定要上万字的证明论文写完了，明夏可能也差不多要抓狂了。

    *

    明