安德鲁·怀尔斯

出生： 1953年
头衔： 费马大定理的证明者

解决358年谜题的人

1994年，安德鲁·怀尔斯证明了费马大定理——一个困扰数学家358年的问题。他的证明使用了椭圆曲线和模形式之间的深层联系，标志着20世纪数学最伟大的成就之一。

核心贡献深度解析

费马大定理：最终证明

费马大定理指出：对于 $n > 2$，方程 $x^n + y^n = z^n$ 没有正整数解。

怀尔斯没有直接证明这一点。相反，他证明了谷山-志村-韦伊猜想，这暗示了费马大定理。这种联系是由格哈德·弗雷发现的，并由肯·里贝特证明。

模性定理

怀尔斯（与理查德·泰勒一起）证明了有理数上的每条椭圆曲线都是模的。这意味着：

• 椭圆曲线（数论）与模形式（分析）相关
• 这种联系如此深刻，以至于它暗示了费马大定理
• 证明使用了来自许多领域的技术：代数几何、数论、表示论

七年的秘密

怀尔斯秘密地研究这个问题七年。他几乎不告诉任何人，独自在阁楼里工作。当他终于在1993年宣布他的证明时，这是一个历史性的数学事件。

但有一个问题：他最初的证明有一个漏洞。与理查德·泰勒一起又花了一年的紧张工作才修复它。

戏剧性的宣布

1993年6月，怀尔斯在剑桥做了三次讲座，最后宣布他证明了费马大定理。数学界震惊了。

当发现漏洞时，怀尔斯疯狂地工作了一年。1994年9月，他和泰勒找到了修复方法。修正后的证明于1995年发表。

影响

怀尔斯的证明是现代数学的杰作：

• 数论： 连接了椭圆曲线和模形式
• 代数几何： 推进了该领域的技术
• 数学证明： 展示了深层联系如何解决古老的问题

怀尔斯表明，看似不可能的问题可以通过找到正确的联系来解决。他的工作表明，数学是一个统一的整体——数论、几何和分析都以我们仍在发现的方式相互联系。

费马大定理的证明不仅仅是解决一个古老的谜题——它是关于理解数学本身的深层结构。