当整数n大于2时，关于的方程x的n次方+y的n次方等于z的n次方没有正整数解。

方程中还含有四个未知数，x、y、z是固定的未知数，特例论证一般针对的就是幂值n。

瑞士著名的数学家欧拉是第一个针对费马猜想做论证的人，在写给哥德巴赫的信中，他说证明了n=3时的费马猜想，十三年后其证明发表在《代数指南》一书中，方法是“无限下降法”和形如数系的唯一因子分解定理，这一方法也被后人多次引用。

1816年，巴黎科学院把费马猜想简化归结为n是奇素数（除2以外的所有素数）的情况，也就是说，只要能证明n在取值奇素数的情况，就能够证明费马猜想成立。

后来有很多数学家参与费马猜想的证明，并完成了特例‘n=3’、‘n=5’、‘n=7’，乃至于库默尔利用‘理想素数’改变，证明出的‘对于所有小于100的素指数n，费马大定理成立’。

这是十九世纪费马猜想最重大的突破。

往后的一百五十年时间里，费马猜想都没有再继续突破，直到英国数学家怀尔斯宣布证明了费马猜想。

赵奕在国际数学家大会上，以黎曼猜想挂钩怀尔斯证明逻辑的方式，说明怀尔斯证明过程的逻辑错误。

费马猜想至此又成为了未解之谜。

之前赵奕针对费马猜想思考过很久，发现想要像是怀尔斯一样，进行直接的整体证明非常的困难，而针对n进行特例论证，也很难推进到所有素数。

比如，继续向前推进，证明了n=101的情况下，费马猜想是成立。

这确实是一个进步，但进步的幅度非常小。

针对n=101去证明，也只能说明101的情况，而n的取值是无限多的，就无法证明费马猜想。

“如果是做特例论证，分开论证，为什么不选择变量x、y呢？”

“x、y确实是随机数，但也是有可取之处的。”

赵奕对着稿纸上的费马猜想列式，仔细的思考起来，“如果能证明x、y都为奇素数的情况，也许就能推广到所有的数字。”