【费马大定理是在哪一年证明的】费马大定理是数论中一个著名的未解难题，自17世纪提出以来，吸引了无数数学家的关注。经过三百多年的研究与探索，最终在20世纪末由英国数学家安德鲁·怀尔斯（Andrew Wiles）成功证明。以下是关于这一历史事件的总结。
一、费马大定理简介
费马大定理（Fermat's Last Theorem）最初由法国数学家皮埃尔·德·费马（Pierre de Fermat）在1637年提出。他在阅读《算术》一书时，在书边写下：“我确信已发现一种美妙的证法，可惜此处的空白太小，写不下。”然而，他并未留下具体的证明过程。
该定理的内容为：对于任何大于2的整数n，方程 $x^n + y^n = z^n$ 没有正整数解。
二、证明历程简要回顾
- 1637年：费马在书中写下猜想，但未给出证明。
- 18世纪至19世纪：数学家们对特定的n值进行了验证，如n=3、4、5等，但未能找到通解。
- 20世纪初：随着数学工具的发展，研究逐渐深入，但仍无法解决一般情况。
- 1994年：英国数学家安德鲁·怀尔斯利用椭圆曲线和模形式理论，最终完成了费马大定理的证明。
三、关键信息总结表
| 项目 | 内容 |
| 费马大定理提出者 | 皮埃尔·德·费马（Pierre de Fermat） |
| 提出时间 | 1637年 |
| 证明者 | 安德鲁·怀尔斯（Andrew Wiles） |
| 证明时间 | 1994年 |
| 证明方法 | 利用椭圆曲线与模形式理论 |
| 重要性 | 数学史上最具挑战性的问题之一，解决了358年的悬案 |
四、结论
费马大定理的证明不仅是数学史上的一个重要里程碑，也标志着现代数论的发展达到了新的高度。怀尔斯的贡献不仅在于解决了这个长期悬而未决的问题，更在于推动了多个数学领域的进步。因此，费马大定理的证明时间被广泛认为是1994年。