数学这门学科学到高端层级，有时候难以用数学本身来解释，它甚至跟玄学沾上了一点边。

或者说，玄学原本就是数学的一部分。

第235章 切磋

在已发表的论文中，沈奇使用了n-a，完成了沃什猜想的证明。

假设（x，y）是方程（t+1）x4-ty2=1的一个解，满足y＞1，（x，y）为对应的伴随解，n=√x2+y2t，则对于某个满足t0it以及t02≤t的正整数t0，有（x，y）=t02。

这是证明沃什猜想的核心步骤，定义r0为满足（e237e28）1-r0≤ifqi≤（e237e28）-r0的正整数，沈奇在论文中使用了n-a。

在n-a中，沈奇令r0=1，±b1q≠a1以及2ifqi（e237e28）＜1。

他得到了△=k（±b1q-a1）≠0，从而最终证明方程（t+1）x4-ty2=1不存在两组正整数解（xi，yi）（i=1，2），y2＞y1＞1满足i±√-1（xi-yi√-t）（xi+yi√-t）-x14i＜18。

所以，沃什先生在37年前提出的猜测是正确的。

这个猜测被一位21岁的中国留学生证明。

沈奇因此获得了一些荣誉和奖项，在中国数学界及美国数学界崭露头角。

而吴老刚刚写下的一堆数学符号，代表了n-b，即沃什猜想核心证明步骤的另一种途径。

原来吴老看过我刊登在《美国数学会杂志》上的论文。沈奇心中明了。

实际上沈奇也是前不久才领悟出n-b，这要感谢普林斯顿数学大佬集团的逼问。

但那时基于n-a的论文，沈奇已经公开发表。

n-b对他来说是一种补充而不是刚需，所以沈奇没有立即细化n-b的具体操作方案，心中留了个念想。