费马猜想的证明过程（难倒世人三百年）

1994年 英国

费马大定理的证明牵涉不同范畴的数学学问，曾连续三百多年都没有取得明显进展

1637年，法国数学家皮埃尔·德·费马在阅读丢番图所作《算术》的拉丁文译本时曾做过一个猜想：整数n >2时，关于 x、 y、z的方程 x^n + y^n = z^n 没有正整数解。此即“费马猜想”，这一猜想被证明后，改称为“费马大定理”或“费马最后的 定理”。对此，费马注释说自己已找到一个绝妙的证明方式，但书边没有足够的空位写下

皮埃尔·德·费马

由于费马没有留下证明过程，且这一猜想看似简单但极难推证，因此激发了众多数学家的研究热情，但连续三百多年这一 证明方法都没有取得明显进展。

谷山丰

1955年，日本数学家谷山丰提出一个猜想：有理数域上所有椭圆曲线可以从一类特殊曲线(模曲线)通过某种变换得到。这 个猜想后来经韦伊、志村五郎加以完善，成为谷山—韦伊—志村猜想。1985年，德国数学家弗雷指出：如果费马大定理不 成立，谷山猜想也不成立。随后德国数学家佩尔提出佩尔猜想，补足了弗雷观点的缺陷。

至此，如果谷山猜想和佩尔猜想都被证明，费马大定理则不证自明。

1993年6月，英国数学家、美国普林斯顿大学教授安德鲁·怀尔斯在剑桥大学牛顿数学研究所举行 了一系列代数几何学术讲演。在6月最后一次讲演时，怀尔斯证明了谷山猜想。由此，困扰数学 界三个半世纪的费马大定理终于被证明了。

安德鲁·怀尔斯

但怀尔斯的报告送交相关机构审查时被发现其证明仍有漏洞，直到1994年怀尔斯才补完了全部漏 洞，并通过了权威部门的严格审查。

1995年，美国《数学年刊》登载了怀尔斯与他的学生合作的一篇旨在补上漏洞的论文，以及与他 本人所作另一篇关于费马大定理的论文，问题最终圆满解决。