358年的数学长征，从书页边缘的注脚到现代数论的巅峰
费马最后的定理（Fermat's Last Theorem），又称费马大定理，是数学史上最具传奇色彩的问题之一。它不仅仅是一个关于方程无解的陈述，更是一部跨越三个半世纪的数学进化史。这个故事的起点，要追溯到17世纪法国律师兼数学家皮埃尔·德·费马（Pierre de Fermat）。
1621年，法国学者克莱尔帕克（Claude Gaspard Bachet de Méziriac）出版了丢番图（Diophantus）的《算术》法文译本。费马在阅读此书时，在第2卷第8命题旁，写下了那句闻名遐迩的注脚：
“将立方数分成两个立方数，将四次方分成两个四次方，或者一般而言，将高于2次的幂分成两个同次幂，这是不可能做到的。我已经发现了一个美妙的证明，但书页太窄，写不下。”
费马所说的“高于2次的幂”，即方程 xn + yn = zn，其中 n 是大于2的整数。费马声称他找到了一个“美妙的证明”，但遗憾的是，后世数学家从未在费马的手稿或信件中找到过这个证明。事实上，现代数学界普遍认为费马当时并没有真正的证明，或者至少不是一个通用的证明，因为该定理的最终证明需要用到20世纪才发展起来的数学工具。
这个简短的注脚引发了数学界长达358年的探索。从欧拉到高斯，再到19世纪的数学家们，无数顶尖大脑试图解开这个谜题，却屡屡碰壁。它成为了数学界的一座圣杯，象征着人类理性思维的极限挑战。
要理解费马最后的定理，首先需要回顾勾股定理（毕达哥拉斯定理）。我们知道，对于 n=2，方程 x2 + y2 = z2 拥有无穷多组正整数解，例如 (3, 4, 5)、(5, 12, 13) 等。这些解构成了勾股数，在几何上对应直角三角形的边长。
费马的断言是：一旦指数 n 大于 2，就不存在任何一组正整数 (x, y, z) 能满足方程 xn + yn = zn。
| 指数 n | 方程形式 | 是否有正整数解 | 备注 |
|---|---|---|---|
| n = 1 | x + y = z | 有无穷多组 | 显然成立，如 1+2=3 |
| n = 2 | x² + y² = z² | 有无穷多组 | 勾股数，如 3²+4²=5² |
| n = 3 | x³ + y³ = z³ | 无 | 欧拉曾证明此特例 |
| n = 4 | x⁴ + y⁴ = z⁴ | 无 | 费马本人通过无穷递降法证明 |
| n > 2 | xⁿ + yⁿ = zⁿ | 无 | 费马最后的定理（1995年证实） |
为什么 n>2 时没有解？直观上，随着指数增加，数值的差距会迅速拉大。例如，23=8, 33=27, 43=64。在8和27之间，没有两个立方数之和等于另一个立方数。虽然直观上似乎合理，但数学证明需要严密的逻辑。
费马证明了 n=4 的情况。后来，欧拉（Euler）证明了 n=3 的情况。19世纪，狄利克雷（Dirichlet）和勒让德（Legendre）证明了 n=5 的情况。随后，拉梅（Lamé）、刘维尔（Liouville）和库默尔（Kummer）等人逐步推进。库默尔引入了“理想数”的概念，证明了对于所有“正则素数” n，定理成立。这涵盖了小于100的所有素数中的大部分，但仍未解决所有情况。
20世纪的数学家们意识到，直接攻击费马最后的定理可能行不通，需要寻找更深层的数学结构。转折点出现在1980年代。
德国数学家格哈德·弗雷（Gerhard Frey）发现，如果费马最后的定理不成立，即存在 xn + yn = zn 的解，那么可以构造出一条特殊的椭圆曲线，称为“弗雷曲线”：y² = x(x - an)(x + bn)。这条曲线具有非常奇怪的性质。
美国数学家肯·里贝特（Ken Ribet）证明了弗雷的猜想：如果谷山-志村猜想（Taniyama-Shimura Conjecture）成立，那么弗雷曲线就不可能存在，从而费马最后的定理就得证。这就将费马问题转化为了椭圆曲线模形式的问题。
英国数学家安德鲁·怀尔斯（Andrew Wiles）意识到这是证明他童年梦想的机会。他开始了长达七年的秘密研究，闭门谢客，与他的学生理查德·泰勒（Richard Taylor）合作，致力于证明半稳定椭圆曲线的谷山-志村猜想。
怀尔斯在剑桥大学牛顿数学研究所举行了为期三天的系列讲座。在最后一天的讲座中，他宣布证明了谷山-志村猜想的一部分，从而间接证明了费马最后的定理。全场沸腾，媒体头条铺天盖地。
在审稿过程中，怀尔斯和一位审查者发现了一个关键错误，涉及伊万斯猜想（Iwasawa Theory）的应用。怀尔斯试图修复，但一度陷入困境。在即将放弃的前夕，他与泰勒合作，引入了另一种方法（Kolyvagin-Rogawsky 系统），成功修补了漏洞。
修正后的证明发表在《数学年刊》（Annals of Mathematics）上。两篇论文分别题为“模椭圆曲线与费马大定理”和“环论与形变”。费马最后的定理终于被证明，结束了358年的悬案。
怀尔斯的证明之所以如此艰深，是因为它连接了数学中两个看似无关的领域：椭圆曲线和模形式。以下是通过选项卡展开的详细解析：
椭圆曲线并非几何意义上的椭圆，而是一类由三次方程定义的代数曲线。其标准形式为：y² = x³ + ax + b。
椭圆曲线在数论中扮演着核心角色。它们的点集构成一个阿贝尔群，具有丰富的代数结构。在费马最后的定理的证明中，椭圆曲线的“半稳定性”和“表示”（Representation）是关键概念。怀尔斯研究的是椭圆曲线在有理数域上的性质，特别是它们与伽罗瓦表示的联系。
例如，弗雷构造的曲线 y² = x(x - an)(x + bn) 就是一个椭圆曲线。如果费马定理不成立，这个曲线将具有极其异常的算术性质，使得它不可能属于任何已知的椭圆曲线类别。
模形式是复平面上半平面上的解析函数，满足特定的对称性和变换性质。它们看起来非常抽象，但在数论中却有着惊人的应用。
模形式可以被看作是复分析中的“正弦波”的无限维推广。它们与整数序列紧密相关，例如通过傅里叶展开 q-展开式，模形式的系数可以编码大量的数论信息。
在怀尔斯的证明中，模形式提供了一种“桥梁”。谷山-志村猜想断言，每一条有理数域上的椭圆曲线都对应着一个模形式。这意味着椭圆曲线的算术性质可以通过模形式的分析性质来研究。
20世纪50年代，日本数学家谷山丰（Yutaka Taniyama）和志村五郎（Goro Shimura）提出猜想：每一条定义在有理数域上的椭圆曲线都是模的（modular）。
这个猜想将椭圆曲线和模形式这两个截然不同的领域统一起来。里贝特证明了这个猜想的特例足以否定弗雷曲线的存在。因此，证明费马最后的定理等价于证明半稳定椭圆曲线的谷山-志村猜想。
怀尔斯并没有证明全部的谷山-志村猜想，但他证明了足够多的特例（半稳定椭圆曲线），这正是证明费马定理所需的。这一成就不仅解决了费马难题，更极大地推动了现代数论的发展，确立了朗兰兹纲领（Langlands Program）的核心地位。
勾股定理是 n=2 时的特殊情况，存在无穷多组整数解。费马最后的定理则断言，当指数 n > 2 时，不存在任何正整数解。可以说，费马定理是勾股定理在更高次幂下的“无解”版本。
怀尔斯的证明不仅解决了一个古老的难题，更重要的是，它证明了谷山-志村猜想的一个关键特例。这建立了椭圆曲线和模形式之间的深刻联系，为朗兰兹纲领提供了强有力的支持，并开启了数学研究的新方向。
几乎不可能。怀尔斯的证明涉及高度抽象的现代数学工具，包括代数几何、数论、表示论等。它需要多年的专业训练才能理解。即使是数学专业的研究生，也需要花费数年时间才能掌握其中的细节。
不一样。费马小定理是一个关于模运算的基本定理，形式简单，应用广泛。费马最后的定理是一个关于高次幂方程无解的猜想，证明极其复杂。两者都是费马提出的，但内容和难度截然不同。