第八十七章 證畢
「那麼，將式②代入後進行變換，然後再……」
林曉進行著自己的最後幾步，直到最後，他的眉頭微微一抬，看著自己得出的最終結果。
【當g(x)>f(x)>t(x)(x∈N+)……時，梅森數的第f(x)/pn項是素數.】
至此，林曉的最終成果，完成了。
他成功的預測出了梅森數列的分布，並且精確到了每一項上面，除此之外，他也證明了，存在無窮多個梅森素數，因為x屬於所有正整數集合，而顯然正整數是無窮多個的，那麼梅森素數也就存在無窮多個。
而通過他最終得到這個關係式，如今的人們只要將已知的所有素數代入進去，就能夠輕鬆地判斷，它是否是梅森素數。
當然，這樣說起來看似沒有什麼意義，畢竟我們依然受限於最大的素數，而當前發現的最大素數，也正是所發現的最大梅森素數，於2017年12月26日發現，為2^77232917-1，按照十進位計算的時候，它足足有將近兩千三百多萬位數。
然而道理並不是這樣說的，因為我們仍不能確定，我們所發現的最大梅森素數和第二大梅森素數之間，有沒有一個，甚至是兩個漏網之魚，同理，我們也不能保證第二大梅森素數和第三大梅森素數之間是否也有漏網之魚。
事實上，在過去的時候，數學家們經常發現這樣的漏網之魚，在網際網路梅森素數大搜索（GIMPS）這一數學研究志願項目當中，人們至今所發現的51個梅森素數中，其中有不少中間的梅森素數，都是在發現了一個更大的梅森素數之後才被發現的。
而現在，林曉將這一問題徹底解決了，只要人們有足夠的時間，那麼所有的漏網之魚，都將會被輕鬆地發現，並且，我們也將能夠輕鬆地發現比當前更大的素數，畢竟當前最大梅森素數，是以77232917這個素數作為指數的，而比77232917還要大的素數，人類顯然已經發現了很多個，比如82589933這個素數，如果用它來計算的話，說不定就能讓人類發現一個更加大的素數呢？（2^82589933-1是於2018年12月發現的最大梅森素數。）
「呼~」
放下了手中的筆，林曉的臉上露出了滿意的笑容，總算搞定了啊。
現在是7月12日，距離截稿日期還有三天，這三天時間，他要將這些東西整理到電腦上，然後再翻譯成英文，提交給國家數學家大會那邊。
時間雖然有些緊迫，不過，也都是一些簡單的工作而已，比起解決這個問題來說，要簡單的太多了，畢竟，林曉可是花了將近一個月的時間，才完成了這個問題的。
伸了一個懶腰，林曉喝了一口水。
而這個時候，系統悅耳的聲音也適時響起。
「恭喜宿主確定了梅森素數的分布規律，考慮宿主在研究中的各種表現，獎勵：數學經驗+300，真理點+10，賢者狀態15小時。」
「恭喜宿主的數學等級達到3級！當前經驗值為：246/1000。」
聽到這兩道通知，林曉的目光頓時亮了起來，居然直接加了300點經驗，另外還有10點真理點。
而15個小時的賢者狀態則更加讓他驚喜，這可是能夠直接提升百分之五十大腦開發度的好東西，上次體驗了一次後，他已經體會到了那種如同理解了世界般的感覺，而現在他的大腦開發度更高了，到時候提高的不就更多？
林曉忽然想起了這件事情。
系統也恰好做出了回應：「數學提升至三級，獎勵大腦開發度0.4%。」
居然有0.4%？
聽到這個數字，林曉就感到了十分的驚喜，0.4%，相當於他現在大腦開發度的13%了！
真不愧是3級，就是給力啊！
心中正驚喜著，林曉便猛然感到了大腦沉重了一下，有種暈乎乎的感覺。
這是大腦開發度提升較大的時候所產生的的一種副作用，而如果提升程度低的話，像上次只提升了0.05%，林曉就會感覺大腦有點清涼。
不過這些都不是什麼大問題，林曉緩了一會兒後，就感覺到大腦開始清明了起來，仿佛進入了一種真·賢者狀態中。
當然他大腦中閃過的不是哲學終極三問，而是各種數學問題。
現在的他，對數學的領悟程度也提高了相當大的程度，要是以現在的程度去研究之前的工作，他估計自己要不了十天半個月就能搞定了，而不是像之前那樣，花了二十多天才搞定。
感慨了一下如今的狀態，而後林曉便開始整理起自己的結果，將它們都輸入到電腦上面。
不過，在整理的過程中，得益於大腦開發度和數學等級的提升，他觀察了一下最後的結論，眉頭忽然一挑，腦海中想到了什麼。
隨後他拿出筆又在草稿紙上算了一下，很快，他又得到了一個新的推論。
【當2^2^(x+1)>p>2^2^x時，Mp=2^(x+1)-1，（x∈N+）】
寫到這裡，他在後面，寫上了『周氏猜測』四個字，隨後又寫上了兩個字。
【證畢。】
這一個以華國人姓名冠名的猜想，就此，也在他的手上完成了證明，從此，它也將會被稱為周氏定理。
雖然它是基於林曉的精準預測下被驗證出來的，這個定理已經被林曉的成果覆蓋了過去。
但這也是華國數學界的前輩在數學領域上的努力，它雖然不如林曉給出的分布公式更加完美，但是至少也比其他外國數學家們預測出的梅森素數分布式要精準許多。
從某種方面來說，這也意味著從現在開始，有兩位屬於華國的數學家，在梅森素數這一領域上，領先了外國數學界不知道多少人。
林曉進行著自己的最後幾步，直到最後，他的眉頭微微一抬，看著自己得出的最終結果。
【當g(x)>f(x)>t(x)(x∈N+)……時，梅森數的第f(x)/pn項是素數.】
至此，林曉的最終成果，完成了。
他成功的預測出了梅森數列的分布，並且精確到了每一項上面，除此之外，他也證明了，存在無窮多個梅森素數，因為x屬於所有正整數集合，而顯然正整數是無窮多個的，那麼梅森素數也就存在無窮多個。
而通過他最終得到這個關係式，如今的人們只要將已知的所有素數代入進去，就能夠輕鬆地判斷，它是否是梅森素數。
當然，這樣說起來看似沒有什麼意義，畢竟我們依然受限於最大的素數，而當前發現的最大素數，也正是所發現的最大梅森素數，於2017年12月26日發現，為2^77232917-1，按照十進位計算的時候，它足足有將近兩千三百多萬位數。
然而道理並不是這樣說的，因為我們仍不能確定，我們所發現的最大梅森素數和第二大梅森素數之間，有沒有一個，甚至是兩個漏網之魚，同理，我們也不能保證第二大梅森素數和第三大梅森素數之間是否也有漏網之魚。
事實上，在過去的時候，數學家們經常發現這樣的漏網之魚，在網際網路梅森素數大搜索（GIMPS）這一數學研究志願項目當中，人們至今所發現的51個梅森素數中，其中有不少中間的梅森素數，都是在發現了一個更大的梅森素數之後才被發現的。
而現在，林曉將這一問題徹底解決了，只要人們有足夠的時間，那麼所有的漏網之魚，都將會被輕鬆地發現，並且，我們也將能夠輕鬆地發現比當前更大的素數，畢竟當前最大梅森素數，是以77232917這個素數作為指數的，而比77232917還要大的素數，人類顯然已經發現了很多個，比如82589933這個素數，如果用它來計算的話，說不定就能讓人類發現一個更加大的素數呢？（2^82589933-1是於2018年12月發現的最大梅森素數。）
「呼~」
放下了手中的筆，林曉的臉上露出了滿意的笑容，總算搞定了啊。
現在是7月12日，距離截稿日期還有三天，這三天時間，他要將這些東西整理到電腦上，然後再翻譯成英文，提交給國家數學家大會那邊。
時間雖然有些緊迫，不過，也都是一些簡單的工作而已，比起解決這個問題來說，要簡單的太多了，畢竟，林曉可是花了將近一個月的時間，才完成了這個問題的。
伸了一個懶腰，林曉喝了一口水。
而這個時候，系統悅耳的聲音也適時響起。
「恭喜宿主確定了梅森素數的分布規律，考慮宿主在研究中的各種表現，獎勵：數學經驗+300，真理點+10，賢者狀態15小時。」
「恭喜宿主的數學等級達到3級！當前經驗值為：246/1000。」
聽到這兩道通知，林曉的目光頓時亮了起來，居然直接加了300點經驗，另外還有10點真理點。
而15個小時的賢者狀態則更加讓他驚喜，這可是能夠直接提升百分之五十大腦開發度的好東西，上次體驗了一次後，他已經體會到了那種如同理解了世界般的感覺，而現在他的大腦開發度更高了，到時候提高的不就更多？
林曉忽然想起了這件事情。
系統也恰好做出了回應：「數學提升至三級，獎勵大腦開發度0.4%。」
居然有0.4%？
聽到這個數字，林曉就感到了十分的驚喜，0.4%，相當於他現在大腦開發度的13%了！
真不愧是3級，就是給力啊！
心中正驚喜著，林曉便猛然感到了大腦沉重了一下，有種暈乎乎的感覺。
這是大腦開發度提升較大的時候所產生的的一種副作用，而如果提升程度低的話，像上次只提升了0.05%，林曉就會感覺大腦有點清涼。
不過這些都不是什麼大問題，林曉緩了一會兒後，就感覺到大腦開始清明了起來，仿佛進入了一種真·賢者狀態中。
當然他大腦中閃過的不是哲學終極三問，而是各種數學問題。
現在的他，對數學的領悟程度也提高了相當大的程度，要是以現在的程度去研究之前的工作，他估計自己要不了十天半個月就能搞定了，而不是像之前那樣，花了二十多天才搞定。
感慨了一下如今的狀態，而後林曉便開始整理起自己的結果，將它們都輸入到電腦上面。
不過，在整理的過程中，得益於大腦開發度和數學等級的提升，他觀察了一下最後的結論，眉頭忽然一挑，腦海中想到了什麼。
隨後他拿出筆又在草稿紙上算了一下，很快，他又得到了一個新的推論。
【當2^2^(x+1)>p>2^2^x時，Mp=2^(x+1)-1，（x∈N+）】
寫到這裡，他在後面，寫上了『周氏猜測』四個字，隨後又寫上了兩個字。
【證畢。】
這一個以華國人姓名冠名的猜想，就此，也在他的手上完成了證明，從此，它也將會被稱為周氏定理。
雖然它是基於林曉的精準預測下被驗證出來的，這個定理已經被林曉的成果覆蓋了過去。
但這也是華國數學界的前輩在數學領域上的努力，它雖然不如林曉給出的分布公式更加完美，但是至少也比其他外國數學家們預測出的梅森素數分布式要精準許多。
從某種方面來說，這也意味著從現在開始，有兩位屬於華國的數學家，在梅森素數這一領域上，領先了外國數學界不知道多少人。