数学百科
在数学史上，费马定理通常指代费马大定理（Fermat's Last Theorem），也被称为费马最后定理。其核心内容简洁而深刻：
当整数 n > 2 时，方程 an + bn = cn 没有正整数解。
这意味着，虽然对于 n=2（即勾股定理 a2 + b2 = c2）存在无穷多组正整数解（如 3, 4, 5），但一旦指数 n 大于 2，就再也找不到三个正整数 a, b, c 能满足这个等式。费马在1637年提出这一猜想时，声称他在页边空白处写下了一个“真正奇妙的证明”，但由于空间有限，空白处写不下。这一宣言引发了数学界长达358年的追寻。
许多网民在搜索“费马定理的内容是什么”时，往往混淆了费马大定理、费马小定理以及费马原理。本文将全面解析费马定理的核心内容，并拓展介绍相关的数学概念、历史背景及证明过程，帮助您构建完整的知识体系。
为了更清晰地理解费马定理的内容是什么，我们通过以下三个维度进行详细拆解：
费马大定理是数论领域最著名的未解之谜之一。其数学表达式为：
| 指数 n | 方程形式 | 是否有正整数解 | 备注 |
|---|---|---|---|
| n = 1 | a + b = c | 有 | 无穷多组解，如 1+2=3 |
| n = 2 | a2 + b2 = c2 | 有 | 勾股数，如 32+42=52 |
| n = 3 | a3 + b3 = c3 | 无 | 欧拉证明了此情况 |
| n = 4 | a4 + b4 = c4 | 无 | 费马本人用无穷递降法证明 |
| n > 2 | an + bn = cn | 无 | 怀尔斯最终证明 |
对于费马大定理，数学家们将其分为几个关键步骤进行攻克：
许多用户在搜索“费马定理”时，实际上想找的是费马小定理。这是数论中的一个基础且重要的定理，广泛应用于密码学（如RSA算法）中。
内容描述：如果 p 是一个质数，a 是一个整数，且 a 不被 p 整除，那么：
ap-1 ≡ 1 (mod p)
通俗解释：这意味着 a 的 (p-1) 次方除以 p 的余数是 1。或者等价地，ap ≡ a (mod p)，即 a 的 p 次方除以 p 的余数等于 a 本身。
示例：取 p=5, a=2。25-1 = 24 = 16。16 除以 5 余 1。符合定理。
除了数论中的定理，费马在几何和物理学中也有重要贡献：
理解费马定理的内容是什么，必须回顾其波澜壮阔的证明历史。这是一部跨越三个半世纪的数学史诗。
法国律师、业余数学家皮埃尔·德·费马在阅读丢番图的《算术》拉丁译本时，在页边空白处写下了：“将立方数分为两个立方之和，将四次方数分为两个四次方之和，或者 generally，将任何高于二次的幂分为两个同次幂之和，这是不可能做到的。我确信已发现了一种美妙的证法，可惜这里的空白太小，写不下。” 这就是费马大定理的起源。
瑞士数学家莱昂哈德·欧拉证明了 n=3 的情况。他引入了复数域 Z[√-3] 中的整数概念，并使用了无穷递降法。这是第一次重大进展。
法国数学家狄利克雷和德国数学家勒让德独立证明了 n=5 的情况。他们改进了欧拉的方法，处理了更复杂的代数数域。
法国数学家拉梅证明了 n=7 的情况。然而，随着指数 n 的增加，直接计算变得极其困难，数学家们开始寻找更通用的方法。
德国数学家恩斯特·库默尔发现拉梅的证明存在漏洞。他引入了“理想数”（Ideal Numbers）的概念，这是后来抽象代数中“理想”概念的雏形。他证明了对于所有“正则素数”，费马大定理成立。这涵盖了 n 从 3 到 100 的所有情况，除了 37, 59, 67 等少数几个“异常素数”。
德国商人赫尔曼·普罗布斯特设立奖金，奖励第一个证明或证伪费马大定理的人。这一奖金激励了无数数学家投身于此。
德国数学家格尔德·法尔廷斯证明了莫德尔猜想，这为证明费马大定理提供了关键线索。同年，肯·里贝特证明了谷山-志村猜想的一个特例，表明如果谷山-志村猜想成立，则费马大定理必然成立。
英国数学家安德鲁·怀尔斯在经历了7年的秘密研究后，宣布证明了谷山-志村猜想对于半稳定椭圆曲线成立。这一结果直接蕴含了费马大定理的证明。1995年，经过同行评审，证明正式发表在《数学年刊》上。
由于名称相似，网民在搜索“费马定理的内容是什么”时，经常混淆以下三个概念。下表为您清晰辨析：
| 名称 | 所属领域 | 核心内容 | 应用场景 |
|---|---|---|---|
| 费马大定理 | 数论 | an + bn = cn (n>2) 无正整数解 | 纯数学研究，数学史 |
| 费马小定理 | 数论/代数 | ap-1 ≡ 1 (mod p)，p为质数 | 密码学(RSA)、素性测试 |
| 费马原理 | 光学/物理 | 光沿耗时最短的路径传播 | 几何光学、透镜设计 |
| 费马点 | 几何 | 三角形内到三顶点距离之和最小的点 | 优化问题、几何构造 |
如果您关注的是方程无解的问题，请查阅费马大定理；如果您关注的是模运算性质，请查阅费马小定理。
费马大定理的证明本身虽然是一个孤立的结论，但其证明过程中发展出的数学工具和理论，对现代数学产生了深远影响：
库默尔引入的“理想数”概念，催生了抽象代数中的“理想”理论，成为现代代数数论的基石。没有这些工具，现代数论将无法发展。
怀尔斯的证明依赖于谷山-志村猜想，该猜想建立了椭圆曲线与模形式之间的深刻联系。这不仅是数论的突破，也推动了算术几何的发展。
证明过程展示了不同数学分支（如代数几何、数论、复分析）之间的内在联系，促进了数学的整体化和统一化进程。
通常所说的“费马定理”指的是费马大定理。其内容是：当整数 n > 2 时，方程 an + bn = cn 没有正整数解。即找不到三个正整数 a, b, c 满足该等式。
不是一回事。费马大定理涉及高次幂方程无解问题；而费马小定理是数论中关于模运算的基本定理，内容为：若 p 是质数，a 是不被 p 整除的整数，则 ap-1 ≡ 1 (mod p)。
费马大定理由英国数学家安德鲁·怀尔斯（Andrew Wiles）于1994年证明，1995年正式发表。费马本人只证明了 n=4 的情况，并声称有“奇妙的证明”，但现代数学界认为他可能并未完成完整证明。
因为该问题超出了初等数论的范围，需要借助现代数学的深奥工具，如椭圆曲线、模形式、伽罗瓦表示等。这些理论在费马时代尚未诞生，直到20世纪末才由数学家们发展完善。
费马原理（最短时间原理）指出：光在两点间传播时，总是选择耗时最短的路径。这一定律可以推导出光的反射定律和折射定律，是几何光学的基础。
“费马定理的内容是什么”这一问题，核心答案指向费马大定理：an + bn = cn (n>2) 无正整数解。这一简洁的陈述背后，隐藏着数学史上最深刻的证明历程之一。从费马的页边空白到怀尔斯的最终证明，跨越358年的探索不仅解决了一个古老猜想，更推动了整个数学领域的发展。
同时，我们需注意区分费马小定理、费马原理等概念，避免混淆。希望本文能帮助您全面理解费马定理及其周边知识。