费马定理是谁证明？核心答案
在数学史上，费马定理（通常指费马大定理，Fermat's Last Theorem）是一个困扰了人类长达三个半世纪的难题。对于“费马定理是谁证明”这个问题，最准确的答案是：英国数学家安德鲁·怀尔斯（Andrew Wiles）。
虽然费马本人（Pierre de Fermat）在1637年就提出了这个猜想，并声称自己找到了证明，但他并未留下任何记录。直到1994年，怀尔斯经过多年的秘密研究，终于给出了完整的证明。这一成就被誉为20世纪数学最伟大的里程碑之一。
📜 定理名称
费马大定理 (Fermat's Last Theorem)
👤 提出者
皮埃尔·德·费马 (1637年)
🏆 证明者
安德鲁·怀尔斯 (1994年)
⏳ 耗时
357年 (从提出到证明)
什么是费马大定理？费马是谁？
1. 定理的数学表达
费马大定理的内容非常简洁，但其内涵极深。它指出：
也就是说，你不能找到三个正整数 x, y, z，使得它们的高于2次的幂之和相等。例如，当 n=2 时，勾股定理告诉我们存在解（如 3²+4²=5²），但当 n=3, 4, 5... 时，就不存在这样的整数解了。
2. 皮埃尔·德·费马：业余数学家之王
费马定理是谁证明之前，我们需要了解提出者皮埃尔·德·费马（1601-1665）。他是一位法国律师，数学只是他的业余爱好，但这并不妨碍他在数论领域取得卓越成就。费马几乎单枪匹马地开创了现代数论。
费马大定理的起源源于他对丢番图《算术》一书的批注。在1637年，他在阅读该书第II卷第8命题时，在书页边缘写下了那句著名的话：“我确信已发现了一种美妙的证法，可惜这里的空白处太小，写不下。”
3. 为什么这个定理如此重要？
费马大定理之所以成为数学界的“圣杯”，是因为：
- 简洁性与深刻性的矛盾：陈述极其简单，小学生都能看懂，但证明却需要极高深的数学工具。
- 推动数学发展：为了证明它，数学家们发展出了代数数论、椭圆曲线、模形式等大量现代数学分支。
- 人类智慧的挑战：它代表了人类智力在漫长历史中不断攀登高峰的过程。
安德鲁·怀尔斯：孤独的攀登者
回到核心问题：费马定理是谁证明？答案指向了安德鲁·怀尔斯（Andrew Wiles）。
1. 怀尔斯的早年经历
安德鲁·怀尔斯1953年出生于英国伯明翰。他从小就对数学充满热情，10岁时就在图书馆发现了一本关于费马大定理的书，并立志要证明它。这成为他一生的梦想。
怀尔斯在牛津大学获得博士学位，随后在普林斯顿大学任教。他在椭圆曲线和模形式领域已经是世界级的专家，这为他后来证明费马大定理奠定了基础。
2. 谷山-志村猜想：关键桥梁
怀尔斯并没有直接去攻击费马大定理，而是转向了一个更宏大的目标：谷山-志村猜想（Taniyama-Shimura Conjecture）。该猜想认为所有的椭圆曲线都是模形式的。如果这个猜想成立，那么费马大定理就会被自动证明。
1986年，肯·里贝特（Ken Ribet）证明了“谷山-志村猜想”的弱形式可以推出费马大定理。怀尔斯意识到，只要证明谷山-志村猜想的半稳定情形，就能一举解决费马大定理。于是，他开始了长达七年的秘密研究。
3. 证明的发表与争议
1993年6月，怀尔斯在剑桥大学的伊萨克·牛顿研究所举行了为期九天的系列讲座，正式宣布证明了费马大定理。这一消息震惊了世界。
然而，在随后的同行评审过程中，审稿人尼克·卡茨（Nick Katz）发现了一个关键漏洞。怀尔斯和一位博士后试图修复这个漏洞，但未能成功。在截止日期的最后几天，怀尔斯的学生理查德·泰勒（Richard Taylor）帮助他找到了一个替代方案，利用埃尔德什-赛尔伯格素数定理填补了漏洞。1995年，怀尔斯和泰勒联合发表了完整证明。
费马大定理证明历程时间轴
了解费马定理是谁证明，也需要了解这段波澜壮阔的历史。以下是关键时间节点：
费马提出猜想：皮埃尔·德·费马在《算术》书页边缘写下费马大定理的猜想，并声称有证明。
欧拉证明n=3：莱昂哈德·欧拉（Leonhard Euler）首次证明了n=3的情况，这是第一个重大突破。
狄利克雷与勒让德：彼得·古斯塔夫·勒热纳·狄利克雷和阿德里安-马里·勒让德独立证明了n=4和n=5的情况。
库默尔的介入：恩斯特·库默尔（Ernst Kummer）引入了“理想数”概念，证明了大部分素数指数的情况。他证明了费马大定理对许多指数成立，但无法覆盖所有情况。
里贝特定理：肯·里贝特证明了谷山-志村猜想可以推出费马大定理，为怀尔斯指明了方向。
怀尔斯宣布证明：安德鲁·怀尔斯在剑桥宣布证明了费马大定理，引起全球轰动。
正式发表：经过一年的修正，怀尔斯和泰勒在《数学年刊》上发表完整证明，费马大定理正式成为定理。
关于费马定理的常见问题解答 (FAQ)
以下是网友在搜索“费马定理是谁证明”时最常问到的问题：
费马大定理是由英国数学家安德鲁·怀尔斯（Andrew Wiles）在1994年最终证明的，并于1995年正式发表。他因此获得了1998年的国际数学联盟特别奖和2016年的阿贝尔奖。
费马大定理（Fermat's Last Theorem）是关于高次方程无整数解的猜想，直到1994年才被证明。费马小定理（Fermat's Little Theorem）是数论中的一个基本定理，描述素数与整数幂的关系，早在17世纪就由费马提出并证明（或由其后继者完善），在现代密码学中广泛应用。两者内容完全不同。
绝大多数数学家认为，费马没有留下正确的证明。费马大定理的证明需要20世纪的数学工具（如椭圆曲线和模形式），这些在17世纪尚未发展出来。费马可能犯了一个错误，或者他的“证明”只适用于某些特殊情况，而他误以为它适用于所有情况。
怀尔斯之所以能证明，是因为他将费马大定理与谷山-志村猜想联系起来。他证明了谷山-志村猜想的半稳定情形，从而间接证明了费马大定理。这需要极高的数学造诣和对现代数论、代数几何的深刻理解。
虽然费马大定理本身是一个纯数学问题，但其证明过程中发展出的数学工具（如椭圆曲线）在密码学（如HTTPS加密）、计算机科学等领域有实际应用。此外，怀尔斯的故事激励了无数人追求知识、坚持不懈，展现了人类智慧的伟大。
回顾历史，费马定理是谁证明这个问题的答案——安德鲁·怀尔斯——不仅仅是一个名字，更象征着人类智慧在漫长岁月中的积累与突破。从费马在书页边缘的神秘批注，到怀尔斯在剑桥的辉煌演讲，这段357年的旅程不仅是数学史的篇章，更是人类探索真理精神的见证。
费马大定理的证明不仅解决了一个古老的谜题，更开启了现代数学的新纪元。它告诉我们，即使是最深奥的数学问题，也终将在人类的不懈努力下找到答案。