美国数学家沃什曾提出过一个猜想：设a，b为正整数，则方程ax^4-by^2=1至多只有两组正整数解（x，y）。

哥德巴赫也好，费马也罢，玩数论的人都爱提猜想。

更可气的是，哥德巴赫和费马还是业余数学家。

沃什是职业数学家，他提出的丢番图方程猜想，证明难度要小于哥德巴赫猜想和费马的一系列猜想。

半年前，沈奇偶然翻阅一本英文数学期刊，发现了一篇有意思的论文，这篇论文的作者是一位德国女博士。

德国波恩大学的数学系女博士在她的博士论文中使用p-adic方法，通过非常复杂的技术，得到了如下形式的不定方程ax^2-by^4=c，c∈{1，2，±4}

的解的个数之精确上界。

德国女博士的研究成果很接近沃什猜想的证明了。

然后沈奇去跑步，产生了一个灵感。

结合德国女博士的成果及thue-siegel方法，做出一个有效代数逼近，是否可以完全证明沃什猜想？

沈奇将这个数学灵感告诉了欧叶，虽然他懂数论，但他没那么多精力。

《关于丢番图方程沃什猜想的证明》这篇论文由沈奇开头，欧叶完成了50%内容的起草，与此同时，欧叶还要做sos项目。

然后欧叶病倒了，回家养病已有两月。

剩下的50%工作，沈奇决定尽快完成，他将和欧叶联合署名这篇数论方向的论文。

写论文的日子过的很快，一转眼半个月过去了，进度顺利。

这段时间沈奇又参加了几门物理专业的考试，满分满分，全是满分。

“你怎么研究起了数论，说好的数学物理呢？”孙二雄走进sos办公室。

“为了一个值得的人。”沈奇保tex文档，寒假前的工作到此为止，他明天回家过年。

“瞧你这小样，是为了爱情吧？”孙二雄果然老司机，眼睛真毒。

“爱情是什么，能吃吗？”沈奇笑道。

“装，继续装。”孙二雄不再纠结年轻人爱情的话题，他将两本《数学导报》的样刊往桌面上一拍，满面红光：“大功告成，今晚咱爷俩出去喝一壶，庆祝庆祝。”