今沒人能證明它的成立，最終成為了一個世紀難題。

    但現在，明夏把它證明出來了。

    因為之前參加“成邱宇數學獎”，明夏已經有了寫論文的經驗，這次的草稿便打得比之前順利許多。

    標題起得很簡單直白，就是《周氏猜測的證明》。

    摘要：周海中于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文本，把論文里需要反復用到的那些式子事先打好，放在里面，需要的時候，直接復制粘貼到正文就行。

    方便多了。

    要是還和之前那樣，死心眼地打字符，那等這篇注定要上萬字的證明論文寫完了，明夏可能也差不多要抓狂了。

    *

    明