在数学的浩瀚星空中，费马大定理（Fermat's Last Theorem）与欧拉定理（Euler's Theorem）如同两颗最耀眼的恒星，照亮了数论发展的漫长道路。前者困扰了人类358年，直至20世纪末才被彻底攻克；后者则以其简洁而深刻的形式，构建了现代数学分析的基石。本文将深入探讨这两大定理的历史背景、核心内容、证明逻辑以及它们在现代科学中的深远影响，为您呈现一份详尽的数学知识攻略。
费马大定理最早源于17世纪法国律师兼数学家皮埃尔·德·费马（Pierre de Fermat）。他在阅读古希腊数学家丢番图的《算术》时，在页边写下了一条著名的批注：“将立方数分成两个立方数之和，将四次方数分成两个四次方数之和，或者一般而言，将高于二次的幂分成两个同次幂之和，这是不可能的。”
用现代数学语言表述，即当整数 n > 2 时，关于 x, y, z 的方程 xⁿ + yⁿ = zⁿ 没有正整数解。
费马写下该猜想，并声称已发现“绝妙的证明”，但页边太小写不下。
莱昂哈德·欧拉证明了 n = 3 的情况，这是早期最重要的进展之一。
勒让德和狄利克雷独立证明了 n = 5 的情况。
加布里埃尔·拉梅证明了 n = 7 的情况。
德国商人普罗布斯特设立奖金，悬赏10万马克奖励证明者，吸引了大量关注。
安德鲁·怀尔斯（Andrew Wiles）在康奈尔大学发表最终证明，彻底解决了这一难题。
费马大定理的证明并非一蹴而就，而是建立在无数数学家工作的基础之上。20世纪70年代，德国数学家格尔德·法尔廷斯（Gerd Faltings）的工作为最终突破铺平了道路。然而，真正的转折点来自于肯·里贝特（Ken Ribet）在1984年证明的“ε-猜想”（现称为里贝特定理）。
里贝特定理表明，如果谷山-志村猜想（Taniyama-Shimura Conjecture，现称为模性定理）对于半稳定椭圆曲线成立，那么费马大定理必然成立。这意味着，证明费马大定理的问题被转化为证明椭圆曲线的模性问题。
1993年，英国数学家安德鲁·怀尔斯在剑桥大学伊萨克·牛顿研究所发表了一系列讲座，宣布证明了谷山-志村猜想的一部分，从而间接证明了费马大定理。然而，在审查过程中发现了一个漏洞。怀尔斯在同事理查德·泰勒的帮助下，于1994年修正了证明，最终在1995年正式发表。
怀尔斯证明的关键在于处理半稳定椭圆曲线的模性。这类曲线具有特殊的算术性质，是连接费马方程与模形式的桥梁。
模形式是复平面上的高度对称函数。谷山-志村猜想断言，每个椭圆曲线都对应一个模形式，这种对应关系是证明的核心。
欧拉定理并非单一的一个定理，而是指瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在多个领域发现的众多定理。在网民搜索和数学讨论中，通常指代以下两个核心定理：
这是欧拉定理在数论中的标准形式，也是RSA加密算法的基础。定理指出：如果正整数 a 和 n 互质（即最大公约数为1），那么：
a^φ(n) ≡ 1 (mod n)
其中 φ(n) 是欧拉函数，表示小于或等于 n 的正整数中与 n 互质的数的个数。
设 a = 3, n = 7。3和7互质。
φ(7) = 6（因为1,2,3,4,5,6都与7互质）。
3^6 = 729。
729 ÷ 7 = 104 ... 余 1。
因此，3^6 ≡ 1 (mod 7)，定理得证。
在凸多面体几何中，欧拉定理描述了顶点数（V）、棱数（E）和面数（F）之间的关系：
V - E + F = 2
这个公式适用于所有拓扑等价于球面的多面体。例如，对于一个立方体：
这一发现开启了拓扑学的先河，揭示了图形在连续变形下保持不变的性质。
在复分析中，欧拉公式建立了复指数函数与三角函数之间的联系：
e^(ix) = cos(x) + i·sin(x)
当 x = π 时，我们得到著名的欧拉恒等式：
e^(iπ) + 1 = 0
该恒等式将数学中五个最重要的常数（0, 1, e, i, π）统一在一起，被公认为数学中最美的公式。
虽然费马大定理和欧拉定理看似独立，但它们在数学史上有着深刻的交集。
莱昂哈德·欧拉是第一个证明费马大定理特定情况（n=3）的数学家。他使用了无穷递降法（Method of Infinite Descent），这一方法后来成为数论中的重要工具。欧拉的工作不仅解决了n=3的问题，还引入了复数域（高斯整数）的概念，为后来的数学家提供了新的视角。
欧拉定理中的欧拉函数φ(n)在理解模运算结构方面至关重要。在证明费马大定理的过程中，数学家们需要处理大量的模运算和同余方程，欧拉定理及其推广（如欧拉准则）提供了理论基础。例如，在检查方程 xⁿ + yⁿ = zⁿ 在模 p 下的解时，欧拉定理帮助确定了幂次的周期性。
在怀尔斯的证明中，模形式扮演了核心角色。模形式具有欧拉乘积展开式（Euler Product），这与黎曼ζ函数类似。这种解析性质与欧拉定理中涉及的数论性质有着深刻的内在联系，体现了数论与分析之间的统一。
| 对比维度 | 费马大定理 | 欧拉定理（数论） |
|---|---|---|
| 提出时间 | 1637年 | 1736年 |
| 核心内容 | xⁿ + yⁿ = zⁿ 无正整数解 (n>2) | a^φ(n) ≡ 1 (mod n) |
| 证明难度 | 极难（涉及现代代数几何） | 中等（初等数论可证） |
| 应用领域 | 数论、代数几何 | 密码学（RSA）、数论 |
| 历史意义 | 推动20世纪数学大发展 | 现代数论的基础工具 |
除了定理本身，网民对于费马大定理和欧拉定理背后的故事、误解及相关知识有着浓厚的兴趣。以下是根据网络搜索趋势整理的热点话题。
是的。费马本人通过无穷递降法证明了n=4的情况。这也是为什么费马大定理通常表述为n>2，因为n=4是第一个需要证明的非平凡情况。欧拉随后证明了n=3，使得n=3和n=4都得到解决。
首先，它历史悠久，困扰了人类358年。其次，费马的批注极具挑衅性，激发了无数数学家的挑战欲。最后，其证明过程诞生了许多新的数学分支，如模形式理论和椭圆曲线理论，对现代数学影响深远。
极其有用。在量子力学、电磁学和信号处理中，欧拉公式 e^(ix) = cos(x) + i·sin(x) 是处理波动和振荡的基本工具。它将复杂的三角运算转化为简单的指数运算，极大地简化了物理方程的求解。
对于n=1和n=2，方程 xⁿ + yⁿ = zⁿ 有无穷多组正整数解（如勾股数 3²+4²=5²）。但一旦n≥3，就没有任何正整数解。这是费马大定理的核心结论。
费马大定理的证明是现代数学中最复杂的成就之一，由安德鲁·怀尔斯在1994年完成。它不仅仅是一个简单的代数证明，而是结合了20世纪数学的多个前沿领域，包括代数几何、数论和模形式理论。核心在于证明了半稳定椭圆曲线的Taniyama-Shimura-Weil猜想（即模性猜想），从而间接证明了费马大定理。其逻辑链条跨越了数百年的数学发展，涉及极高的抽象代数技巧。
欧拉定理（a^φ(n) ≡ 1 (mod n)）是RSA公钥加密算法的理论基石。在RSA中，加密和解密过程依赖于模幂运算，而欧拉定理保证了当密文再次进行模幂运算时，能够还原出原始明文。具体来说，私钥的生成和消息的解密都直接应用了欧拉定理的推论，确保了非对称加密的安全性和正确性。
费马在《算术》页边的批注中声称他发现了一个‘绝妙的证明’，但页边太小写不下。然而，现代数学史家普遍认为，费马当时可能并没有一个通用的证明，或者他犯了一个错误。因为费马大定理对于17-18世纪的数学工具来说过于超前，直到20世纪末才被完全证明。费马可能只证明了n=4的情况，并误以为该方法可以推广到所有情况。
欧拉恒等式 e^(iπ) + 1 = 0 将数学中五个最重要的常数——0（加法单位元）、1（乘法单位元）、π（圆周率）、e（自然对数的底）和 i（虚数单位）——通过最基本的运算联系在一起。这种简洁性与深刻性的完美结合，展现了数学内在的统一美，因此被广泛誉为‘数学中最美的公式’。
对于没有高等数学背景的人来说，理解怀尔斯的证明几乎是不可能的。它涉及椭圆曲线、模形式、伽罗瓦表示等高度抽象的概念。然而，理解费马大定理的故事和历史意义是完全可行的。许多科普书籍和纪录片已经很好地讲述了这一过程，强调了其数学之美和人类智慧的力量。
费马大定理和欧拉定理不仅是数学史上的里程碑，更是人类智慧的光辉见证。从费马的页边注到怀尔斯的证明，从欧拉的简单公式到现代密码学的应用，这些定理展现了数学的深邃、简洁与强大。它们提醒我们，数学不仅仅是一堆符号和公式，更是一种探索真理、追求美的语言。
无论您是数学专业的学生，还是对数学感兴趣的爱好者，希望本文能为您提供有价值的信息，激发您对费马大定理和欧拉定理的进一步探索兴趣。数学的世界，永远充满惊喜。