【费马大定理是在哪一年证明的】费马大定理，又称费马最后定理（Fermat's Last Theorem），是数学史上一个著名且长期未解的难题。它由17世纪法国数学家皮埃尔·德·费马提出，但直到300多年后才被成功证明。这一成就不仅解决了数学界的一个重大问题，也推动了数论和代数几何的发展。
以下是对“费马大定理是在哪一年证明的”这一问题的总结与说明：
一、费马大定理简介
费马大定理的内容是：对于任何大于2的整数n，方程 $ x^n + y^n = z^n $ 没有正整数解。费马在阅读《算术》时，在书边写下这个猜想，并声称自己找到了一种“真正奇妙”的证明方法，但书页太窄，写不下。然而，他并未留下具体的证明过程。
二、费马大定理的证明历程
- 1637年：费马首次提出该猜想。
- 18世纪至19世纪：许多数学家尝试证明，但均未成功。
- 19世纪：数学家如库默尔等人提出了“理想数”等概念，为后续研究打下基础。
- 20世纪中叶：随着椭圆曲线和模形式理论的发展，数学家开始尝试将费马大定理与这些新理论联系起来。
- 1994年：英国数学家安德鲁·怀尔斯（Andrew Wiles）最终完成了对费马大定理的证明。
三、关键人物与事件
| 时间 | 人物 | 事件 |
| 1637 | 费马 | 提出费马大定理，但未给出证明 |
| 19世纪 | 库默尔 | 引入“理想数”，推动研究 |
| 1980年代 | 谷山-志村猜想 | 提出椭圆曲线与模形式之间的联系 |
| 1994 | 安德鲁·怀尔斯 | 完成费马大定理的证明 |
四、结论
费马大定理是在1994年被英国数学家安德鲁·怀尔斯成功证明的。他的证明基于现代数学中的椭圆曲线和模形式理论，这一成果被认为是20世纪数学最重要的成就之一。
总结：
费马大定理的证明历经358年，最终由安德鲁·怀尔斯完成。1994年成为这一数学传奇的终结之年，也标志着人类智慧在探索数学真理道路上的一次重大胜利。
