从1637年的一个边缘笔记，到1995年的世纪辉煌。探索人类智力史上最漫长的追逐战，解析费马大定理是如何被安德鲁·怀尔斯最终证明的。
这部数学史诗跨越了三个世纪，凝聚了无数数学家的智慧。
法国律师兼数学家皮埃尔·德·费马在阅读丢番图的《算术》时，在书页空白处写下了著名的批注：“将一个立方数分成两个立方数之和，将一个四次方数分成两个四次方数之和，或者一般地将一个高于二次的幂分成两个同次幂之和，都是不可能的。”他声称已发现“真正奇妙的证明”，但页边太小写不下。
莱昂哈德·欧拉证明了 n=3 的情况。尽管他的证明后来被发现有漏洞，但经过柯西等人的修正，最终确立了 n=3 时的不可解性。随后，约瑟夫·路易斯·拉格朗日和卡尔·弗里德里希·高斯也分别研究了 n=4 和 n=8 的情况。
皮埃尔-西蒙·拉普拉斯的学生阿德里安-马里·勒让德和狄利克雷独立证明了 n=5 的情况。这一时期，数学家们开始尝试使用无穷递降法来处理特定指数。
恩斯特·库默尔引入了理想数的概念，解决了费马在代数整数环中唯一分解定理失效的问题。他证明了对于所有正则素数，费马大定理成立。这涵盖了前100个素数中的大部分，是当时最大的进展。
德国数学家格哈德·弗雷提出：如果费马大定理不成立，那么存在一个特殊的椭圆曲线（现称弗雷曲线），它不具有模性。这一发现将费马大定理与谷山-志村猜想联系起来。
经过七年秘密研究，安德鲁·怀尔斯在《数学年刊》上发表了《模椭圆曲线与费马大定理》，正式证明了谷山-志村猜想的半稳定情形，从而一劳永逸地证明了费马大定理。
要理解费马大定理的证明方法，我们不能直接去解方程，而是需要借助现代代数几何的强大工具。以下是证明的核心步骤解析：
我们采用反证法。假设费马大定理不成立，即存在一个整数 n > 2，以及三个非零整数 x, y, z，满足方程：
| 方程 | 条件 | 意义 |
|---|---|---|
| xn + yn = zn | n > 2, xyz ≠ 0 | 存在非平凡整数解 |
我们的目标是推导出一个矛盾。根据之前的研究，我们只需考虑 n 为素数的情况（因为任何合数都可以分解为素数的幂）。此外，我们可以假设 n ≥ 5（因为 n=3,4 已被证明）。
1984年，格哈德·弗雷做出了一个惊人的构想。他利用假设存在的解 (x, y, z, n) 构造了一条特殊的椭圆曲线，方程如下：
| 曲线方程 | y2 = x(x - an)(x + bn) |
|---|---|
| 其中 | a = x, b = y, c = z |
这条曲线被称为弗雷曲线。弗雷指出，如果费马大定理不成立，那么这条曲线具有非常奇特的性质：它的“导子”（Conductor）非常小，且其伽罗瓦表示具有高度非典型的性质。简而言之，它是一条“病态”的椭圆曲线。
这是证明的关键桥梁。谷山-志村猜想断言：每一条定义在有理数域上的椭圆曲线都是模形式（Modular Form）。
1986年，美国数学家肯尼斯·里贝特（Kenneth Ribet）证明了弗雷的猜想：如果谷山-志村猜想成立，那么弗雷曲线就不可能是模形式。然而，弗雷曲线又是基于假设存在的费马解构造出来的。
这就形成了一个逻辑闭环：
因此，只要证明谷山-志村猜想的半稳定情形，费马大定理就得证。
安德鲁·怀尔斯在剑桥大学伊曼纽尔学院的一个秘密办公室里，花费了七年时间研究椭圆曲线和模形式。他并没有直接证明整个谷山-志村猜想，而是专注于半稳定椭圆曲线这一特定类别。
1993年，怀尔斯宣布证明了半稳定椭圆曲线的谷山-志村猜想。然而，在审稿过程中，评审员发现了一个关于伽罗瓦上同调的小漏洞。怀尔斯与他的学生理查德·泰勒（Richard Taylor）合作，在1994年9月利用伊万斯方法（Iwasawa Theory）的修正技巧，成功填补了这个漏洞。
1995年，两篇论文正式发表，标志着费马大定理终于被证明。这是一个从“椭圆曲线”到“模形式”的深刻对应关系的胜利。
费马大定理的证明之所以如此困难，是因为它连接了数论中两个看似毫不相关的领域。以下是理解证明方法必须了解的几个核心概念：
形式为 y2 = x3 + ax + b 的曲线。它们不仅是几何对象，更构成了一个阿贝尔群。在证明中，弗雷曲线就是利用费马解构造出的一个特殊椭圆曲线。椭圆曲线的算术性质（如点的个数）与模形式紧密相关。
复平面上的特殊复变函数，具有极高的对称性。模形式是解析对象。谷山-志村猜想的核心就是断言：代数几何对象（椭圆曲线）与分析对象（模形式）是一一对应的。这种对应被称为模ularity。
为了研究椭圆曲线的算术性质，数学家将其转化为伽罗瓦群的表示。怀尔斯的证明大量使用了伽罗瓦上同调技术，特别是通过研究这些表示的变形（Deformation Theory）来建立模性。
由库默尔引入，用于解决代数整数环中唯一分解失效的问题。虽然怀尔斯的证明未直接使用理想数，但库默尔的工作为后续代数数论的发展奠定了基础，是通往现代证明的重要阶梯。
费马大定理的最终证明主要依赖于20世纪数学的两大支柱：椭圆曲线（Elliptic Curves）和模形式（Modular Forms）。安德鲁·怀尔斯证明了谷山-志村猜想的一个特例（半稳定椭圆曲线的模性），从而证明了费马大定理。此外，伽罗瓦表示和伊万斯理论也是关键的技术手段。
目前数学界普遍认为，费马并没有给出一个通用的证明方法。他在书页边缘留下的“我有一个绝妙的证明，但页边太窄写不下”更可能是一个未完成的思路或错误。直到350多年后，怀尔斯才给出了严谨的证明。费马可能只证明了 n=4 的情况。
费马大定理可以看作是勾股定理的推广。勾股定理研究的是 x2 + y2 = z2 的整数解，而费马大定理探讨的是 xn + yn = zn 在 n>2 时是否存在整数解。对于 n=2，存在无限多组整数解（即勾股数），但对于 n>2，则不存在非零整数解。
怀尔斯在1993年首次宣布证明后，审稿人发现了一个关于伽罗瓦上同调的小漏洞。怀尔斯与他的学生理查德·泰勒合作，在接下来的一年中尝试了多种方法修复。最终，他们利用伊万斯理论（Iwasawa Theory）结合塞尔猜想（Serre's Conjecture）的相关结果，成功填补了漏洞。这一过程充满了不确定性和压力。
谷山-志村猜想（现称模性定理）断言：每一条定义在有理数域上的椭圆曲线都是模形式。这意味着代数几何对象与分析对象之间存在深刻的对应关系。怀尔斯证明了该猜想的半稳定情形，足以推出费马大定理。2001年，博赫纳-康托罗维奇-泰勒等人完成了整个猜想的证明。