我只想当一个安静的学霸 第282节

沈奇之所以敢把沃什猜想证明的打印稿拿过来，是因为他在今天早上已将这篇论文上传到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金牌时，颁奖人正是安德鲁-怀尔斯教授。

几年过去了，怀尔斯教授依旧在牛津任教。

而沈奇来到了怀尔斯教授曾经战斗过的普林斯顿，曾经办公过的路德大厅。

在这里，沈奇从事着怀尔斯当年从事过的事情，并且看上去已经大功告成。

217章 服了

形如aX^4-bY^2=1的丢番图方程至多只有两组正整数解。

上面这句话是美国数学家沃什未加证明的猜想。

有些数学系的学生会抱怨，诸如哥德巴赫、黎曼、费马、卡塔兰、沃什这些坏蛋好讨厌的，他们不负责不加证明的提出猜想，害的我们挂科。

是啊，他们就是这么讨厌，每个人都可以这么讨厌，数学是公平的，任何学过数学的人均有权利大胆的提出猜测。

洞察力让人的感知变得敏锐，敢于提出猜想的数学家一定具备极高的洞察力，他们不需要证明，他们只需预知。

逻辑推导力负责验证，具备超强逻辑推导力的数学家扮演裁判的角色，他们完成证明，或者否定猜测。

在21世纪的今天，提出具有价值的合理猜想越来越困难，因为数学前辈们耗时几千年把该幻想的事情几乎幻想完了。

接下来的工作大部分是验证，证明一个悬而未决的著名猜想，亦是一件了不得的事情。