第二百零七章 這就證明出來了？

看著眼前寫下的結論，陳舟有一瞬間的恍惚。

隨即，他拿出錯題集，神情激動的翻到了最新的一頁。

這上面，關於由數字金字塔引發的冰雹猜想研究的錯誤記錄，全部消失了。

而原本厚厚的，陳舟所積累的錯誤記錄，大部分也消失了。

“這就證明出來了？”

陳舟已經竭力克制自己的情緒了，但雙手忍不住的還是顫抖著。

這可是世界級的難題啊！

陳舟怎麽能不激動？！

和先前的Clifford分析那個課題相比，冰雹猜想的研究難度，含金量，學術價值，都要大得多。

兩者完全不是一個量級的東西。

又看了一眼，堆疊在桌子上的草稿紙，陳舟一瞬間被成就感填滿了。

這個既屬於抽象代數領域，又屬於數論領域的冰雹猜想。

就這樣，在燕大的圖書館，被他一個本科生，證明了出來。

察覺到身旁陳舟的異樣，楊依依微微轉頭看了一眼陳舟，隨後又將目光移向陳舟面前的草稿紙。

“……冰雹猜想的結論是正確的……”楊依依在心裏默念了一遍草稿紙上的內容。

有那麽一瞬間，她沒有反應過來。

但馬上，她再次看向陳舟：“你證明出來了？”

陳舟看向身旁的女伴，重重的點了點頭：“搞定了！”

得到陳舟肯定的回答，楊依依雖然已經做了一些心裏準備，但還是被驚訝到了。

這可是貨真價實的世界級難題。

她雖然沒有研究過，但不代表她不了解。

畢竟，陳舟每天都是冰雹猜想冰雹猜想的和她說，她想不知道都難。

也是因為陳舟的研究，楊依依去查過冰雹猜想的資料。

冰雹猜想也被稱為奇偶歸一猜想、角谷猜想、3n＋1猜想、考拉茲猜想等名字。

從它被提出後，就有無數的數學家試圖解決它。

但最終都失敗了。

以至於，冰雹猜想在被著名學者蓋伊作為世界難題介紹時，是分在了“不要試圖去解決這些問題”一類的。

而且，不止一位數學家贊成這個看法。

其中就包括著名的華人數學家陶哲軒，他就在博客裏寫到：“不太可能被當前的技術證明。”

甚至就連大數學家厄希特，都認為冰雹猜想是“數學還沒有成熟到足以解決這樣的問題”。

除此之外，更有人提議把冰雹猜想作為下一個費馬問題。

要知道費馬猜想，從提出到被證明，可是整整經歷了三百多年的歷史。

這三百多年間，無論是數學大神歐拉，還是其他數不清的數學家們前赴後繼，卻始終沒有證明費馬猜想。

直到1995年，才被英國數學家懷爾斯證明。

但冰雹猜想的提出是在1937年，到今天也才過了不到一百年的時間。

要是按費馬問題的歷史時間算，也就是說，冰雹猜想需要到23世紀才能被解決。

可現在，冰雹猜想的證明結果，就在楊依依的眼前！

而完成冰雹猜想證明的人，就在她的身邊！

她見證了歷史！

雖然冰雹猜想的證明過程還躺在草稿紙上，她也無法確定這證明過程是否真的正確，但是她相信陳舟。

楊依依目光灼熱的看著陳舟，她覺得這時的陳舟，真的越來越帥了！

陳舟伸了個懶腰，這幾天，沒日沒夜的，每天奮戰十好幾個小時，真的是累啊。

還好這次的方向是正確的，也收獲了他想要的結果。

更為關鍵的是那靈光一閃。

陳舟覺得自己是不是應該請客，出去搓一頓呢？

當然，在此之前，他肯定是得把論文先整理出來的。

陳舟看了眼時間，離閉館還有十分鐘。

還能為論文打個開頭。

於是，陳舟打開電腦，開始寫論文了。

和Clifford分析這篇論文不同，這次的冰雹猜想的論文，陳舟必須拿出百分百的專注度。

把證明過程中的每一個細節，都盡可能的描繪清楚。

充分發揮他計算嚴謹、邏輯縝密、思路清晰的特點。

【關於冰雹猜想運算特性的研究和冰雹猜想的證明】

【摘要：本文把全體正整數放入一個數字金字塔中，從研究全體正整數在進行冰雹猜想運算時的特性入手，通過證明r=1→∞∑ar，1=1的成立，從而證明全體奇數都可通過有限次冰雹猜想運算歸於1。並以此進行等價轉換，證明了冰雹猜想的成立。】

然後就是正文部分。

關於正文，陳舟倒沒著急。

而是把整個證明過程進行了分割。

分別為數字金字塔、數論的兩個引理、冰雹猜想運算的特性等等。

由此，所有的小部分，再組成一篇完整的論文。