跨越三百五十年的数学长征，从一页边笔记到世纪证明，探索人类智慧最辉煌的篇章之一。
在数学的浩瀚星空中，费马大定理（Fermat's Last Theorem）无疑是最耀眼、最神秘的星辰之一。它看似简单，却困扰了世界上最聪明的头脑长达三个半世纪。这个定理的核心内容可以用一个简洁的数学方程来表达：
费马大定理断言：对于方程 xn + yn = zn，当整数 n > 2 时，不存在任何正整数解 x, y, z。换句话说，你找不到三个正整数，使得它们各自的n次幂（n大于2）之和相等。
这个定理的非凡之处在于其“形式简单”与“证明极难”之间的巨大反差。对于n=2的情况，即勾股定理 x2 + y2 = z2，我们有无穷多组整数解，例如 (3, 4, 5) 或 (5, 12, 13)。然而，一旦指数n增加到3或更高，所有的整数解瞬间消失。这种从“存在”到“绝对不存在”的突变，揭示了数论中深不可测的规律。
法国律师兼业余数学家皮埃尔·德·费马（Pierre de Fermat）在阅读丢番图的《算术》时，在书页空白处写下了这个猜想，并注释说他发现了一个“真正奇妙的证明”，但空白太小写不下。
费马本人只证明了n=4的情况。对于一般的n，数学家们发现简单的代数方法完全失效。它迫使后人发展出代数数论、理想数论等全新的数学分支。
经过358年的探索，英国数学家安德鲁·怀尔斯（Andrew Wiles）最终完成了证明，将其刊登在《数学年刊》上，标志着这一古老谜题的终结。
费马大定理的证明史，实际上就是一部近代数学的发展史。每一个试图攻克它的数学家，都在过程中创造了新的数学工具。
皮埃尔·德·费马在《算术》一书的页边写下猜想。虽然他没有给出证明，但他声称有一个“绝妙的证明”，这成为了数学史上最著名的挑战。
莱昂哈德·欧拉（Leonhard Euler）首次证明了当n=3时，费马大定理成立。他使用了“无穷递降法”，这是解决此类问题的有力工具。
阿德里安-马里·勒让德（Adrien-Marie Legendre）和约翰·彼得·古斯塔夫·勒热纳·狄利克雷（Dirichlet）分别独立证明了n=5的情况。
加布里埃尔·拉梅（Gabriel Lamé）证明了n=7的情况。然而，随着n的增加，直接证明变得越来越不可能，数学家们意识到需要更深刻的理论。
恩斯特·库默尔（Ernst Kummer）引入了“理想数”的概念，证明了对于所有“正则素数”，费马大定理成立。这涵盖了前100个素数中的大部分，但仍有例外。
肯·里贝特（Ken Ribet）证明了如果谷山-志村猜想成立，那么费马大定理也成立。这将费马大定理的证明转化为椭圆曲线与模形式的研究问题。
安德鲁·怀尔斯在排除所有干扰后，完成了对谷山-志村猜想半稳定情形的证明，从而一举攻克了费马大定理。
费马大定理的解决并非一人之功，而是无数数学家接力赛的结果。以下是几位最具决定性的人物。
17世纪的法国律师，业余数学家的巅峰。他对数论有着非凡的直觉。虽然他的“页边证明”可能并不存在或极其简陋，但他的猜想激发了后世几个世纪的数学研究。
18世纪最伟大的数学家之一。他不仅证明了n=3的情况，还发展了复数分析和数论的基础工具，为后来的研究奠定了基石。
19世纪中叶的数学家。他发现了费马大定理证明中的代数障碍，并创造性地引入了“理想数”，这后来发展为代数数论中的理想理论，是现代抽象代数的核心概念之一。
20世纪的英国数学家。他从小痴迷于费马大定理，花费七年时间秘密研究，最终在1993年宣布证明。尽管初期证明存在漏洞，但他与他的学生理查德·泰勒合作修复了漏洞，于1995年正式发表。
怀尔斯的证明极其深奥，涉及现代数学最抽象的领域。为了帮助读者理解其核心逻辑，我们将其简化为几个关键步骤。
怀尔斯的证明起点并非直接处理费马方程 xn + yn = zn，而是通过一种称为“弗雷曲线”（Freys Curve）的椭圆曲线进行转换。1984年，格哈德·弗雷（Gerhard Frey）指出，如果费马大定理不成立，即存在一组非零整数解 x, y, z 满足方程，那么可以构造出一个特殊的椭圆曲线：
y2 = x(x - an)(x + bn)
这条曲线具有非常奇怪的性质，它被称为“弗雷曲线”。弗雷猜想，这条曲线太“非自然”了，它不可能是一个“模形式”（Modular Form）。如果这个猜想成立，那么费马大定理就成立了，因为这样的曲线不存在。
这个猜想（现称为谷山-志村猜想）断言：每一条定义在有理数域上的椭圆曲线都是“模”的（Modular）。也就是说，每一条椭圆曲线都对应着一个模形式。这是一个极其深刻的猜想，它将数论中两个看似无关的领域——椭圆曲线和模形式——联系在了一起。
在怀尔斯之前，这个猜想只对少数特殊情况得到证明。如果谷山-志村猜想对“半稳定”椭圆曲线成立，那么弗雷曲线就不可能存在（因为它不是模的），从而费马大定理得证。
1986年，肯·里贝特（Ken Ribet）证明了弗雷的猜想。他证明了：如果谷山-志村猜想对半稳定椭圆曲线成立，那么费马大定理必然成立。这被称为“ε猜想”（epsilon conjecture）的证明。这一发现将费马大定理的证明问题，直接转化为谷山-志村猜想的证明问题，为怀尔斯指明了方向。
安德鲁·怀尔斯选择了证明谷山-志村猜想的一部分：即所有半稳定椭圆曲线都是模的。他使用了伊万·费马-朗兰兹纲领（Iwasawa Theory）和伽罗瓦表示论等前沿工具。经过七年的秘密工作，他在1993年6月的剑桥讲座上宣布完成了证明。
然而，审稿人发现了一个细微的漏洞。怀尔斯与他的学生理查德·泰勒（Richard Taylor）共同努力，在1994年9月修复了漏洞，将证明正式发表在《数学年刊》上。至此，费马大定理被彻底证明。
费马大定理指出：当整数n > 2时，方程 x^n + y^n = z^n 没有正整数解。也就是说，找不到三个正整数x, y, z，使得它们各自的n次幂之和相等。
之所以称为“大”定理，并非因为其内容复杂，而是因为它涉及的数学深度和证明过程的宏大。费马本人声称他有一个“绝妙的证明”，但页边空间太小写不下，这暗示了该问题远超当时的数学工具所能解决的范围，最终导致了现代数学多个分支的发展。
怀尔斯并没有直接证明费马大定理，而是通过证明“半稳定椭圆曲线的谷山-志村猜想”来实现的。1986年，肯·里贝特证明了如果谷山-志村猜想成立，那么费马大定理也成立。怀尔斯花费七年时间秘密研究，最终在1993年宣布证明了该猜想的部分情形，从而解决了费马大定理。
费马大定理的证明促进了数论、代数几何和模形式等领域的巨大发展。怀尔斯的证明引入了椭圆曲线和模形式之间的深刻联系（Taniyama-Shimura-Weil猜想），这一联系成为现代算术几何的核心，并影响了后续如朗兰兹纲领等重大数学理论的发展。
现代数学家普遍认为，费马并没有一个完整的、适用于所有n>2的证明。他可能只证明了n=4的情况，或者他的“证明”存在错误。费马大定理的证明需要20世纪才发展起来的数学工具，这在17世纪是不可能实现的。