【费马大定理是在哪一年证明的】费马大定理是数学史上一个著名的未解难题，由17世纪法国数学家皮埃尔·德·费马提出。他曾在《算术》一书的页边写下：“我确信已发现一种美妙的证法，可惜这里空白太小，写不下。”然而，这一猜想在之后的300多年里始终未能被证明，直到20世纪末才最终被解决。
以下是对“费马大定理是在哪一年证明的”这一问题的总结与信息整理：
一、费马大定理简介
费马大定理（Fermat's Last Theorem）的内容为：对于任何大于2的整数n，方程 $x^n + y^n = z^n$ 没有正整数解。这个命题看似简单，但其证明却极其复杂。
二、关键时间线
| 时间 | 事件 |
| 1637 | 费马在阅读《算术》时提出该猜想，并写下“我已发现一种美妙的证法，可惜这里空白太小，写不下”。 |
| 19世纪 | 数学家们尝试证明该定理，但均未成功。尤其是针对n=3、4、5等小数值进行了大量研究。 |
| 1950年代 | 日本数学家谷山丰和志村五郎提出“谷山-志村猜想”，为后续证明奠定了基础。 |
| 1994年 | 英国数学家安德鲁·怀尔斯（Andrew Wiles）发表论文，成功证明了费马大定理。 |
三、怀尔斯的贡献
安德鲁·怀尔斯在1994年通过将费马大定理与模形式和椭圆曲线联系起来，利用了谷山-志村猜想的部分结论，最终完成了对费马大定理的证明。他的工作不仅解决了这个困扰数学界350多年的难题，也推动了数论的发展。
四、结论
费马大定理是在1994年被证明的。
这一年的突破性成果由英国数学家安德鲁·怀尔斯完成，标志着数学史上的一个重要里程碑。
如需进一步了解怀尔斯的证明过程或相关数学理论，可参考其发表于1995年的论文《Modular elliptic curves and Fermat’s Last Theorem》。
