按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
生，沃什猜想从今天开始将变为沃什定理，而这个新定理的证明人是沈奇。”
“哇喔！”乔纳斯鼓掌，为沈奇捧场。
实际上乔纳斯昨晚已知道这个结果，他就是想鼓掌而已。
玛丽菊花一紧，她故意绷着脸，面如冰霜不苟一笑，其实是在遮掩内心的紧张与不安。
“那么沈奇，可以欣赏一下你的作品吗？”穆勒问到。
“当然。”沈奇将《丢番图方程沃什猜想的证明》打印稿递给穆勒，然后笑着瞅了眼玛丽。
玛丽的菊花又一紧，她装作无所谓的样子喝咖啡，但内心中对沈奇的论文打印稿充满窥探欲。
这篇论文是沈奇送给欧叶的礼物，历经波折和狙击，在普林斯顿的某个美丽夜晚，沈奇终于功德圆满。
曾经的那位狙击手正是玛丽。
沈奇之所以敢把沃什猜想证明的打印稿拿过来，是因为他在今天早上已将这篇论文上传到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世纪的今天，提出具有价值的合理猜想越来越困难，因为数学前辈们耗时几千年把该幻想的事情几乎幻想完了。
接下来的工作大部分是验证，证明一个悬而未决的著名猜想，亦是一件了不得的事情。
“在《丢番图方程沃什猜想的证明》这个案例中，沈奇你体现出了极强的逻辑推导能力，没问题，投稿吧。投去《美国数学会杂志》或者《数学年刊》，为什么不呢？”穆勒看完沈奇的论文，说到。
《美国数学会杂志》、《数学年刊》都是美国人办的数学期刊，它们和瑞典人办的《数学学报》、德国人办的《数学发明》，并称为国际四大数学期刊。
“好的，等会儿就投稿。”沈奇原本打算将这篇论文投去《美国数学汇刊》或者《太平洋数学杂志》这种美国一流、国际次一流的数学期刊，既然穆勒教授鼓励他往国际四大期刊投稿，那就这么干吧。
“共同第一作者是Oh……Yeah？”穆勒教授尝试性的发音。
“是的，欧~~叶，我的女朋友。”沈奇纠正穆勒的发音。
“她是中国人？”
“中国人。”
“奇怪的发音，有趣的名字。”穆勒审完了沈奇的论文，将论文递给玛丽：“玛丽，你专攻数论，你看看吧。”
接过沈奇论文，玛丽的表情精彩极了，信以为真却保持质疑，咬牙切齿又极力克制，想要推翻然而目标无懈可击，只能咬碎了牙往肚子里吞。
没人比玛丽更熟悉沈奇的这篇论文。
仅就这篇丢番图方程沃什猜想证明的论文而言，玛丽可能比欧叶更加了解论文作者沈奇。
最了解你的人往往不是你的太太，而是你的死敌。
在这篇论文中，沈奇用到了图厄·西格尔关于二项式函数的帕德逼近方法，从而精确求解图厄方程及图厄不等式。
这种超几何方法的有效代数逼近，在沈奇手中运用的无比娴熟，比他年初的时候更精纯。
沈奇玩逼近的手法对于玛丽来说太熟悉了，她在博士毕业论文中引用过沈奇这种手法产生的结论。
他，又变强了……玛丽呼吸变的急促，胸口猛烈起伏，�