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

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

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

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

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

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

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

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

    “在《丢番图方程沃什猜想的证明》这个案例中，沈奇你体现出了极强的逻辑推导能力，没问题，投稿吧。投去《美国数学会杂志》或者《数学年刊》，为什么不呢？”穆勒看完沈奇的论文，说到。

    《美国数学会杂志》、《数学年刊》都是美国人办的数学期刊，它们和瑞典人办的《数学学报》、德国人办的《数学发明》，并称为国际四大数学期刊。

    “好的，等会儿就投稿。”沈奇原本打算将这篇论文投去《美国数学汇刊》或者《太平洋数学杂志》这种美国一流、国际次一流的数学期刊，既然穆勒教授鼓励他往国际四大期刊投稿，那就这么干吧。

    “共同第一作者是Oh……Yeah？”穆勒教授尝试性的发音。

    “是的，欧~~叶，我的女朋友。”沈奇纠正穆勒的发音。

    “她是中国人？”

    “中国人。”

    “奇怪的发音，有趣的名字。”穆勒审完了沈奇的论文，将论文递给玛丽：“玛丽，你专攻数论，你看看吧。”

    接过沈奇论文，玛丽的表情精彩极了，信以为真却保持质疑，咬牙切齿又极力克制，想要推翻然而目标无懈可击，只能咬碎了牙往肚子里吞。

    没人比玛丽更熟悉沈奇的这篇论文。

    仅就这篇丢番图方程沃什猜想证明的论文而言，玛丽可能比欧叶更加了解论文作者沈奇。

    最了解你的人往往不是你的太太，而是你的死敌。

    在这篇论文中，沈奇用到了图厄-西格尔关于二项式函数的帕德逼近方法，从而精确求解图厄方程及图厄不等式。

    这种超几何方法的有效代数逼近，在沈奇手中运用的无比娴熟，比他年初的时候更精纯。

    沈奇玩逼近的手法对于玛丽来说太熟悉了，她在博士毕业论文中引用过沈奇这种手法产生的结论。

    他，又变强了……玛丽呼吸变的急促，胸口猛烈起伏，近日睡眠不足导致她气短胸闷。

    然而陌生的是，在帕德逼近结束后，沈奇并未引用玛丽的绝活儿--非零代数整数处理，这让玛丽感到悲哀，痛心，甚至有些失落。

    今年年初的时候，他明明用过我的绝活儿……玛丽恨恨的扫了沈奇一眼，不甘心。

    形势趋于明朗，既然沈奇在图厄-西格尔关于二项式函数的帕德逼近之后，不使用非零代数整数处理，那么他必然会放弃埃维策证法---玛丽的另一手绝活儿。

    惴惴不安的，玛丽翻阅沈奇的论文到最后几页，果不其然，这个中国小子！

    沈奇大胆使用Gap准则结合约化方法，巧妙的过渡到四次方程ζ=aω^v+b/a1ω^v+b1等价于决定序列中的所有平方