费马大定理（Fermat's Last Theorem），又称“费马最后的定理”，是数学史上著名的未解之谜之一。其核心表述极为简洁：当整数 n > 2 时，关于 x, y, z 的方程 x^n + y^n = z^n 没有正整数解。
尽管表述简单，但其证明条件却极其苛刻且深奥。它并非一个孤立的代数问题，而是深刻联系了数论、代数几何、模形式和椭圆曲线等多个数学分支。直到1995年，英国数学家安德鲁·怀尔斯（Andrew Wiles）才最终完成了这一宏大证明。
法国律师兼数学家皮埃尔·德·费马在阅读丢番图的《算术》拉丁译本时，在页边空白处写道：“将一个立方数分为两个立方数之和，将一个四次幂分为两个四次幂之和，或者一般地将一个高于二次的幂分为两个同次幂之和，这是不可能的。”他补充道：“我确信已发现了一种美妙的证法，可惜这里的空白处太小，写不下。”
莱昂哈德·欧拉证明了 n=3 的情况。他引入了复数域的概念，尽管当时对复数的理解尚不完善，但这一工作为后续研究奠定了基础。
勒让德和狄利克雷独立证明了 n=5 的情况。这一时期，数学家们开始尝试针对特定指数进行证明，但缺乏统一框架。
恩斯特·库默尔引入了“理想数”的概念，修正了唯一分解定理在一般数域中的失效问题。他证明了对于所有正则素数，费马大定理成立。这涵盖了大部分指数，但非正则素数的情况依然悬而未决。
格哈德·弗雷发现，如果费马大定理不成立，即存在一组解，那么可以构造出一个特殊的椭圆曲线（弗雷曲线），这条曲线将违背谷山-志村猜想（Taniyama-Shimura Conjecture）。
肯·里贝特（Ken Ribet）证明了弗雷的猜想，即“ε-猜想”。他确认了谷山-志村猜想成立则费马大定理必然成立。这将证明费马大定理的条件简化为证明谷山-志村猜想的一个特例。
安德鲁·怀尔斯在秘密研究7年后，于1993年宣布证明。但在审查中发现了一个漏洞。经过一年多的努力，他与他的学生理查德·泰勒合作，修正了漏洞，最终在1995年发表了完整证明。
费马大定理的证明条件并非单一的公式，而是一套严密的逻辑推导体系。理解这一过程，需要进入现代数学的深层结构。以下是证明的核心逻辑步骤：
假设费马大定理不成立，即存在整数 n > 2 和正整数 x, y, z 满足 x^n + y^n = z^n。
为了简化问题，数学家们可以将 n 分解。如果 n 有一个奇素数因子 p，那么我们可以将方程转化为 x^p + y^p = z^p 的形式。因此，只需证明当 n 为奇素数 p 时，方程无解，即可涵盖所有 n > 2 的情况。
1984年，德国数学家格哈德·弗雷提出，对于任何可能的费马方程解 (a, b, c) 和指数 p，可以构造一条椭圆曲线，称为弗雷曲线（Frey Curve）：
| 曲线方程 | 参数说明 | 性质 |
|---|---|---|
| y² = x(x - a^p)(x + b^p) | a^p + b^p = c^p | 半稳定椭圆曲线 |
| 判别式 Δ | Δ = (abc)^(2p) / 2^8 | 具有极小的导子 |
这条曲线的奇特之处在于，如果费马方程有解，这条曲线将具有非常“奇怪”的算术性质，特别是它的导子（conductor）非常小，且其表示（representation）具有特殊的伽罗瓦性质。
肯·里贝特证明了，如果谷山-志村猜想对于所有半稳定椭圆曲线成立，那么弗雷曲线必须是模的（modular）。然而，根据弗雷曲线的构造性质，它不可能是模的。这就产生了矛盾。
因此，逻辑链条如下：
怀尔斯的工作核心在于证明谷山-志村猜想的一个关键特例：所有半稳定椭圆曲线都是模的。他使用了模性提升定理（Modularity Lifting Theorem）。
怀尔斯证明了，如果一条椭圆曲线的伽罗瓦表示在某个点“模 p”是模的，那么在满足一定条件下，该曲线本身也是模的。他通过构造一个假想的“希尔伯特模形式”，并利用伊万斯-里贝特-泰勒的方法，成功地将弗雷曲线排除在模形式之外，从而完成了证明。
关键突破点： 怀尔斯证明了Iwasawa理论中的一个关键假设（Main Conjecture），这是连接椭圆曲线伽罗瓦表示与模形式的桥梁。
费马大定理的证明条件涉及多个高深数学领域。以下是网民常问的几个核心概念解析：
椭圆曲线是形式为 y² = x³ + ax + b 的方程定义的曲线。它们不仅是几何对象，更构成了阿贝尔群。在费马大定理证明中，椭圆曲线是连接代数方程与模形式的媒介。弗雷曲线就是利用椭圆曲线的性质来导出矛盾。
模形式是复平面上的特殊函数，具有极高的对称性。谷山-志村猜想断言，每个有理数域上的椭圆曲线都对应一个模形式。这种对应关系（模性）是怀尔斯证明的核心。模形式提供了处理椭圆曲线算术性质的强大工具。
伽罗瓦表示将域扩张的对称性（伽罗瓦群）映射为线性空间的自同构群。在证明中，怀尔斯研究了椭圆曲线的 l-进伽罗瓦表示。通过比较不同表示的模 p 约化，他证明了表示的模性，从而确立了椭圆的模性。
库默尔引入理想数以恢复唯一分解定理。费马大定理的证明条件中，正则素数的概念与类数有关。如果类数不被素数 p 整除，则该素数为正则素数。怀尔斯的证明虽然不直接依赖类数，但继承了库默尔处理数域算术性质的思想体系。
“模性”（Modularity）是指椭圆曲线的算术性质与模形式的分析性质之间存在一一对应关系。简单来说，每个有理数域上的椭圆曲线都可以关联到一个模形式。这种关联允许数学家利用模形式的强大工具（如傅里叶级数）来解决椭圆曲线的整数解问题。怀尔斯证明了所有半稳定椭圆曲线都是模的，从而切断了弗雷曲线存在的可能性。
17世纪的数学主要关注代数方程的根和初等几何。证明费马大定理需要深入理解数域的算术结构、椭圆曲线的几何性质以及模形式的解析理论。这些概念直到19世纪和20世纪才由高斯、黎曼、魏尔斯特拉斯、库默尔、谷山、志村等人逐步建立起来。没有这些现代数学工具，费马大定理的证明是无从下手的。
怀尔斯的完整证明发表在1995年的《数学Annalen》上，长达100多页。此外，还有泰勒和里贝特的配套论文。整个证明体系极其复杂，涉及代数几何、数论、表示论等多个高级领域。目前，只有极少数顶尖数学家能够完全掌握其细节。它被认为是20世纪数学最伟大的成就之一，但也因其高门槛而难以被大众普及。
虽然费马大定理本身是一个纯数学问题，但其证明过程中发展出的数学工具（如椭圆曲线密码学、模形式在弦理论中的应用）对现代科技有深远影响。特别是椭圆曲线密码学（ECC），广泛应用于互联网安全、数字货币（如比特币）等领域，其基础正是对椭圆曲线算术性质的深刻理解。
是的。怀尔斯的证明依赖于前人的工作，包括谷山、志村、弗雷、里贝特、库默尔、欧拉等人的贡献。此外，在怀尔斯发现漏洞后，他的学生理查德·泰勒（Richard Taylor）与他合作，引入了新的技术（Iwasawa理论中的欧拉系统）来修复漏洞。因此，最终的证明是怀尔斯和泰勒共同完成的，尽管荣誉主要归于怀尔斯。