费马大定理的历史沿革
费马大定理（Fermat's Last Theorem），又称费马大猜想，是数学领域最著名的未解难题之一。其简洁的表述与极深的证明难度形成了鲜明对比，吸引了无数数学家前赴后继。
皮埃尔·德·费马的批注
法国律师兼数学家皮埃尔·德·费马在阅读丢番图的《算术》时，在页边距写下：“将立方数分成两个立方数之和，将四次方分成两个四次方之和，或者一般地将高于二次的幂分成两个同次幂之和，这是不可能做到的。我确信已发现了一种美妙的证法，可惜这里太窄，写不下。”
欧拉的早期突破
莱昂哈德·欧拉证明了 n=3 的情况（即 x³ + y³ = z³ 无正整数解）。随后，欧拉还尝试证明 n=4 的情况，虽然他的证明存在瑕疵，但后来的数学家修正并完善了这一结果，确立了 n=4 的情况成立。
勒让德与狄利克雷
阿德里安-马里·勒让德和彼得·古斯塔夫·勒热纳·狄利克雷独立证明了 n=5 的情况。这一突破引入了新的数论工具，为后续研究开辟了道路。
库默尔的介入
恩斯特·库默尔引入了“理想数”的概念，并证明了对于所有小于100的正则素数 p，费马大定理成立。他建立了费马大定理与代数数论中类数公式的深刻联系。
怀尔斯的最终证明
英国数学家安德鲁·怀尔斯（Andrew Wiles）在经历了多年的秘密研究后，于1993年首次宣布证明，但发现了一个漏洞。经过一年的修正，他与学生理查德·泰勒合作，于1994年彻底解决了这一问题，证明了半稳定椭圆曲线的模性猜想，从而证明了费马大定理。
费马大定理的证明逻辑深度解析
费马大定理的证明并非一蹴而就，而是建立在现代数学多个分支的交汇点上。以下是证明的核心逻辑链条，通过选项卡切换不同阶段。
弗雷曲线与谷山-志村猜想
证明的核心起点是德国数学家格哈德·弗雷（Gerhard Frey）在1984年提出的一个惊人想法。如果费马大定理不成立，即存在 x^n + y^n = z^n 的解（n>2），那么可以构造一个特殊的椭圆曲线，称为弗雷曲线：
y² = x(x - aⁿ)(x + bⁿ)
弗雷指出，这条曲线具有非常奇特的性质，它极不可能是“模”的。而当时的数学家普遍认为谷山-志村猜想（Taniyama-Shimura Conjecture）成立，即所有有理数域上的椭圆曲线都是模的。如果谷山-志村猜想成立，那么弗雷曲线就不可能存在，进而意味着费马大定理成立。
肯·里贝特的突破
1986年，美国数学家肯·里贝特（Ken Ribet）证明了弗雷的猜想。具体来说，他证明了ε猜想（epsilon conjecture），即如果谷山-志村猜想对于半稳定椭圆曲线成立，那么费马大定理就成立。
这一发现将费马大定理的证明问题转化为了一个更具体、更现代的问题：证明半稳定椭圆曲线的谷山-志村猜想。这为安德鲁·怀尔斯提供了明确的目标。
怀尔斯的模性提升
安德鲁·怀尔斯的目标是证明半稳定椭圆曲线的模性。他并没有直接攻击谷山-志村猜想，而是采用了模性提升定理（Modularity Lifting Theorem）的策略。
怀尔斯利用伽罗瓦表示、变形理论以及伊万斯-蒙哥马利恒等式等现代数论工具，构建了一个复杂的证明框架。他证明了在特定条件下，如果一个伽罗瓦表示是模的，那么通过“提升”过程，相关的椭圆曲线也是模的。经过129页的详细推导，怀尔斯最终完成了这一壮举，从而间接证明了费马大定理。
如何通俗理解费马大定理的核心逻辑？
对于非专业读者，理解费马大定理的证明可能感到晦涩。以下是一个简化的步骤指南，帮助你把握其核心思想。
第一步：理解方程的简洁性
费马大定理的方程 x^n + y^n = z^n 看起来非常简单，就像小学算术一样。但正是这种简单性掩盖了其背后的复杂性。当 n=2 时，我们有勾股数（3,4,5）；但当 n≥3 时，正整数解突然消失了。
第二步：引入“弗雷曲线”的桥梁
费马的批注没有给出证明，但现代数学家发现，如果费马大定理不成立，就能构造出一个极其“怪异”的椭圆曲线——弗雷曲线。这条曲线违反了当时数学家们坚信的“谷山-志村猜想”。
第三步：证明谷山-志村猜想
怀尔斯的目标不是直接解方程，而是证明谷山-志村猜想。他证明了所有半稳定椭圆曲线都是模的。既然弗雷曲线不可能是模的，那么弗雷曲线就不存在，进而费马大定理成立。
第四步：接受数学的统一性
费马大定理的证明展示了数学不同分支（代数几何、数论、复分析）之间的深刻联系。它不仅仅是一个方程的解，更是数学统一性的伟大见证。
关于费马定理的常见疑问
费马小定理是数论中的一个基础定理，指出对于任意素数p和任意整数a，a^p ≡ a (mod p)。而费马大定理（又称费马大猜想）是一个关于不定方程 x^n + y^n = z^n 的命题，声称当整数 n > 2 时，方程没有任何正整数解。前者是基础工具，后者是困扰数学界358年的难题，两者难度和证明方法截然不同。
因为安德鲁·怀尔斯在1994年完成的证明，整合了20世纪数学的多个前沿领域，包括椭圆曲线、模形式、伽罗瓦表示等。证明过程长达数百页，涉及极其复杂的现代代数几何和数论工具，是传统初等方法无法企及的深度。
库默尔引入了‘理想数’的概念，并定义了‘正则素数’。他证明了对于所有小于100的正则素数p，费马大定理成立。这是费马大定理研究史上的第一个重大突破，为后来怀尔斯的证明奠定了部分理论基础。
几乎可以肯定，费马并没有留下一个正确的、通用的证明。他可能只证明了 n=4 的情况，或者他的“证明”存在逻辑漏洞，以至于后世数学家无法复现。现代数学界普遍认为，费马大定理的证明所需工具在他那个时代尚未诞生。