216章 為你寫文，為你靜止，為你做不可能的事
瑪麗尷尬的收回幾頁論文紙，說到：「別裝糊塗了喬納斯，我知道你的真實水平。」
「不，你並不知道。」喬納斯笑了笑。
瑪麗喋喋不休：「除了你的數學水平之外，我還知道……」
「噓。」喬納斯做了個噤聲的手勢，「知道太多，對你並沒有益處不是嗎？」
「怪人。」瑪麗嘀咕了一句，低頭檢查今天的書面報告。
這時沈奇夾著一堆文件，和穆勒教授說說笑笑一起走進辦公室。
「數論，她是那樣的優美，而其中的素數和不定方程，則是最美艷最難以琢磨，卻又無法讓人拒絕的尤物。」穆勒教授說著說著，眼中閃爍光芒。
「沒錯，讓我想起了我的女朋友。」沈奇今天的心情非常愉悅。
「艷福不淺！」穆勒哈哈大笑拍了拍沈奇的肩膀，「改天一定要讓我見見你的女朋友。」
「有機會的。」沈奇說到，「她是數論天才，精通計算，我想穆勒教授並不會介意多收一個女弟子。」
「如果她跟你一樣優秀，我會考慮的。」穆勒在圓桌的固定位置上坐下，鄭重說到：「首先，讓我們慶祝數學界又一個新的定理產生，沃什猜想從今天開始將變為沃什定理，而這個新定理的證明人是沈奇。」
「哇喔！」喬納斯鼓掌，為沈奇捧場。
實際上喬納斯昨晚已知道這個結果，他就是想鼓掌而已。
瑪麗菊花一緊，她故意綳著臉，面如冰霜不苟一笑，其實是在遮掩內心的緊張與不安。
「那麼沈奇，可以欣賞一下你的作品嗎？」穆勒問到。
「當然。」沈奇將《丟番圖方程沃什猜想的證明》列印稿遞給穆勒，然後笑著瞅了眼瑪麗。
瑪麗的菊花又一緊，她裝作無所謂的樣子喝咖啡，但內心中對沈奇的論文列印稿充滿窺探欲。
這篇論文是沈奇送給歐葉的禮物，歷經波折和狙擊，在普林斯頓的某個美麗夜晚，沈奇終於功德圓滿。
曾經的那位狙擊手正是瑪麗。
沈奇之所以敢把沃什猜想證明的列印稿拿過來，是因為他在今天早上已將這篇論文上傳到arVix，全世界都會知道他是這篇論文的原創作者。
昨晚跟喬納斯喝酒時，沈奇口頭告訴了喬納斯這個喜訊。
剛才在路德大廳外面，沈奇遇見了穆勒教授，同樣是口頭告知，沈奇簡要說了說關於沃什猜想證明的核心思路。
穆勒教授精通數學物理、代數幾何、數論、群論四種絕世武藝，他當然對沈奇的這篇數論論文很感興趣。
於是穆勒教授聚精會神地審閱沈奇的正式論文，看看沈奇是否徹底證明了沃什猜想，是否存在漏洞。
形如a1x1^b1+a2x2^b2+……anxn^bn=c的方程稱為丟番圖方程。
這種形式的方程又名不定方程、整係數多項式方程，由希臘數學家丟番圖在公元3世紀提出，是數論最古老的分支之一。
丟番圖是個神秘的人物，或許因為年代久遠，他的傳世數學著作只留下了三本。
數學史上關於丟番圖生平的記載非常少，最出名的應該是丟番圖的墓志銘：
「上帝給予他的童年佔六分之一，又過十二分之一，兩頰生須，再過七分之一，點燃起婚姻的蠟燭。」
「五年之後天賜貴子，可憐遲到之子，享年僅及其父之半，便進入冰冷的墓穴。」
「又過四年，他也走完了人生的旅途。」
丟番圖的墓志銘不知何人所寫，可以肯定的是，這位友人必然懂數學。
丟番圖的墓志銘是道數學題：問丟番圖享年幾許？
「噢，老天，沈奇你使用到了Gap準則和梅林變換，從而非常巧妙的解決了四次方程等價於決定序列{u2k+1}中所有平方數的問題。」穆勒老夫聊發少年狂，越看沈奇的論文越興奮。
「這得感謝喬納斯的美酒。」沈奇幫喬納斯續了一杯咖啡，略表心意：「酒精使我產生數學靈感，當然了，我並不提倡酗酒，享受到位就行了。是的，我享受那種微微朦朧的感覺。」
「在請你喝酒之前，你已完成了沃什猜想的證明，所以我一點兒功勞都沒有，但我依然為你感到高興和驕傲，我的中國數學家，我的數學系夥計。」喬納斯謙虛的說到。
「你錯了喬納斯，我說的是上次和上上次，昨夜之前你請我去了兩次老虎旅館，把我灌得酩酊大醉，第一次是尊尼獲加，第二次是傑克丹尼。」
「你還記得喝的是什麼酒，根本沒醉！」
喬納斯和沈奇有說有笑，穆勒專註的審閱論文，時不時稱讚沈奇幾句。
唯獨瑪麗一人孤零零的形影相弔，臉色難看極了。
丟番圖方程的歷史如此悠久，她簡單卻又複雜，看上去萌萌的挺單純，只不過是對整數的研究而已。
然而這位單純萌萌噠的可人兒呵，如果求解者不懂她的心，她便將你拒之千里之外，冷若冰霜的高傲，不理會你一言一語。
如果你掌握了破解技巧，她便對你從一而終，專一的陪伴一生一世。
沈奇望向窗外，此刻的他非常想念遠在東方的女朋友，單純可愛，外冷內萌，時不時揮動小拳頭，她生氣的樣子最迷人。
歐葉，你還好嗎？
這篇丟番圖方程的論文，就是為你所著。
為此，我不得不證明一個新的數學定理，讓沃什猜想成為沃什定理。
是的，我做到了。
哪怕花費一年多的時間，也值得。
丟番圖方程的主要意義，是討論整係數多項式f（x1，x2……，xn）=0的有理解或整數解，有時也討論多個方程構成的方程組的解數問題。
許多著名的丟番圖方程以及對它們的研究，豐富和推動了數學的發展。
勾股定理對應的就是一個丟番圖方程x^2+y^2=z^2
從數論的角度解釋，勾股方程滿足gcd（x，y，z）=1的正整數解可由一個參數族給出，它是一條典型的虧格為0的曲線，為近現代中小學數學教材的編寫提供了簡潔有力的理論支撐。
丟番圖方程理論上有無窮多個，最著名的那個應該是費馬不加證明的猜測，即當n≥3時，方程x^n+y^n=z^n沒有xyz≠0的整數解。
這個猜想如此之難，以至於許多大佬級別的數學家在殫精竭慮三百多年之後，才最終由懷爾斯先生完成證明，於是「費馬大猜想」變為「費馬大定理」。
懷爾斯對這個丟番圖方程的研究直接導致了代數數論的產生，在數學史上留下了濃墨重彩的一筆。
沈奇在高中階段拿到IMO金牌時，頒獎人正是安德魯-懷爾斯教授。
幾年過去了，懷爾斯教授依舊在牛津任教。
而沈奇來到了懷爾斯教授曾經戰鬥過的普林斯頓，曾經辦公過的路德大廳。
在這裡，沈奇從事著懷爾斯當年從事過的事情，並且看上去已經大功告成。
……
（求月票！今天還在上班，明天至少三更！）