【费马定理是什么】“费马定理”这一说法在数学界并不准确，通常人们指的是“费马小定理”或“费马大定理（即费马最后定理）”。由于“费马定理”并非一个正式的数学名称，因此在实际使用中容易引起混淆。以下是对这两个常见概念的简要总结。
一、费马小定理
定义：
费马小定理是数论中的一个重要定理，由法国数学家皮埃尔·德·费马提出。其内容为：
> 如果 $ p $ 是一个质数，且 $ a $ 是一个不被 $ p $ 整除的整数，那么 $ a^{p-1} \equiv 1 \mod p $。
应用场景：
- 在密码学中用于模幂运算和公钥加密算法（如RSA）。
- 用于判断一个数是否为质数（虽然不是绝对可靠，但可以作为初步筛选工具）。
二、费马大定理（费马最后定理）
定义：
费马大定理是费马在《算术》一书的页边空白处写下的一条猜想，其内容为：
> 对于任何大于2的整数 $ n $，方程 $ x^n + y^n = z^n $ 没有正整数解。
历史背景：
- 费马声称自己找到了一个“真正奇妙的证明”，但未留下详细过程。
- 该定理在1994年由英国数学家安德鲁·怀尔斯最终证明，历时350多年。
意义：
- 成为数学史上最具挑战性的问题之一。
- 其证明推动了代数几何与模形式等领域的深入发展。
三、对比总结表
| 项目 | 费马小定理 | 费马大定理 |
| 提出者 | 费马 | 费马 |
| 提出时间 | 17世纪 | 17世纪 |
| 内容 | 若 $ p $ 是质数，$ a $ 不被 $ p $ 整除，则 $ a^{p-1} \equiv 1 \mod p $ | 对于 $ n > 2 $，方程 $ x^n + y^n = z^n $ 无正整数解 |
| 证明情况 | 已被证明 | 1994年被证明 |
| 应用领域 | 密码学、数论 | 数论、代数几何 |
| 是否被称为“费马定理” | 是 | 否（通常称为“费马最后定理”） |
四、结论
“费马定理”并不是一个正式的数学术语，通常是指“费马小定理”或“费马大定理”。前者是数论中的基本工具，后者则是历史上著名的数学难题。在实际应用和学术交流中，应明确区分两者，以避免误解。
