今天看到了费马大定理，初中生都知道的a^2 + b^2 = c^2(本原勾股数组有无数正整数解），费尔马推广一下，后来欧拉证明n=3，没有整数解，后来狄利克和勒让德证明5次方程无解。。。。。。，三百多年后，天才数学家怀尔斯在多人的基础上，运用现代数论与代数几何中许多深刻的结果与方法，用非常复杂的证明过程终结了费马大定理。

说白了就是：当n>=3, a^n + b^n = c^n 没有正整数解。（费马大定理）

下面是维基百科的内容，最后附上怀尔斯一百多页的证明过程（反正我是不会去看也看不懂）：

费马大定理 ，也称 费马最后定理 （ 法语 ： Le dernier théorème de Fermat ），其概要为：

当 整数 时，关于 , , 的 不定方程

的整数解都是 平凡解 ，即

当n是 偶数 时： 或

当n是 奇数 时： , 或

以上陈述由 17世纪 法国 数学家 费马 提出，一直被称为“费马猜想”，直到 英国 数学家 安德鲁·怀尔斯 （Andrew John Wiles）及其学生 理查·泰勒 （Richard Taylor）于1995年将他们的证明出版后，才称为“费马大定理”。这个猜想最初出现费马的《 页边笔记 》中。尽管费马同时表明他已找到一个绝妙的证明而页边没有足够的空位写下，但仍然经过数学家们三个多世纪的努力，猜想才变成了定理。在冲击这个 数论 世纪难题 的过程中，无论是不完全的还是最后完整的证明，都给 数学界 带来很大的影响；很多的数学结果、甚至数学分支在这个过程中诞生了，包括 代数几何 中的 椭圆曲线 和 模形式 ，以及 伽罗瓦理论 和 赫克代数 等。这也令人怀疑当初费马是否真的找到了正确证明。而安德鲁·怀尔斯由于成功证明此定理，获得了2005年度 邵逸夫奖 。

费马大定理最终被天才数学家怀尔斯解决,以本人的智商看不懂，贴一下他的简介：

安德鲁·约翰·怀尔斯 爵士， KBE ， FRS （ Sir Andrew John Wiles ，1953年4月11日 － ， 英语 发音 [ˈændɹuː ʤɒn waɪlz] ）， 英国 数学家 ，居于 美国 。他于 1979年 在 剑桥大学 获博士。 安德鲁·怀尔斯的父亲是 神学家 莫里斯·怀尔斯 牧师（Rev. Prof. Maurice Wiles）。

费马最后定理证明过程

1994年 他证明出困扰数学家三百多年的 费马最后定理 ，是数学上的重大突破。 理查·泰勒 是他过程中的助手。

在这之前，怀尔斯已在数论有出色工作。与 约翰·科茨 （John Coates）合作，在有名的 贝赫和斯维讷通-戴尔猜想 取得初步进展。他也对 岩泽主猜想 作了主要工作。他一直为 普林斯顿大学 教授。

费马最后定理指出，对大于2的正整数 n ，以下 不定方程 没有正整数解：

维尔斯儿时看 埃里克·坦普尔·贝尔 （Eric Temple Bell）的书《最后问题》（The Last Problem）读到了费马最后定理，启发了他解决猜想的心。他的绵长解题之旅始于 1985年 ，其时 肯·里贝 （Ken Ribet）从 让-皮埃尔·塞尔 和 格哈德·弗赖 （Gerhard Frey）获得灵感，证明出 谷山志村猜想 可以推导出费马最后定理。谷山─志村─韦伊猜想指出，所有 椭圆曲线 都有 模形式 的参数表示。这猜想虽不及费马最后定理有名，却因为触到了 数论 的核心故更为重要，然而没有人能证明它。怀尔斯秘密地工作，只与普林斯顿大学另一位数学教授 尼古拉斯·卡茨 （Nicholas Katz）通信，分享想法和进展。他终于证明出这猜想的特例，从此解决了费马最后猜想。他的证明匠心独运，创造出许多新概念。

怀尔斯的证明以非凡的戏剧性来公开。 1993年 6月他在牛顿研究所安排了三场演讲，不预先公开他的讲题。但听众和大众发现演讲的最终目的而引起哄动，人群挤满了第三场演讲的讲堂。

此后几个月，证明的文稿在少数数学家之间传阅，而公众都等待着验证结果。证明的第一版本依赖于构造一个物件，称为 欧拉系统 ，可是这方面出了问题。同行评审发现了在精细复杂的数学中出现了错误。差不多一年过去，怀尔斯的证明看来像其他许多证明般有致命伤，虽然他作了很多重要发现，但最终达不到目的。怀尔斯要放弃时，决定作最后一试，与他的前博士生理察·泰勒合作解决证明中最后的问题。最后他采用了原本第一版本里不采用的方法，并获得突破，从而证明了费马最后定理。 他评论道：

“…很突然地，完全没料到我会得到这般难以置信的启示。这是我工作生涯最重要一刻。将来的工作我也不再如此看重……这是难以言喻的美丽，这样的简洁优美，我呆呆看着它有二十分钟，然后一整天在系里踱步，时常回到我的台子要看它还在──它还在。”

怀尔斯的证明的最终定稿也因此与原先不同。这证明刊登在 1995年 141期的《 数学纪事 》（Annals of Mathematics）第443至551页。紧接论文后面还有另一份他与泰勒合著的补充论文，题为〈某些 赫克代数 的环论性质〉(Ring-theoretic properties of certain Hecke algebras)，刊在第553至572页。

怀尔斯于 1995年 获得 肖克奖 ， 1996年 获得 皇家奖章 、 沃尔夫奖 、 柯尔奖 ， 1998年 获 菲尔兹奖 委员会主席尤里·马宁颁发第一个 国际数学联盟 特别奖（获颁特别奖而非菲尔兹奖的原因是他当年已经超过菲尔兹奖的获奖年龄上限40岁）， 2005年 获得 邵逸夫奖 。

最后附上关于费马大定理的英文证明：

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.169.9076&rep=rep1&type=pdf

Modular elliptic curves and Fermat's Last Theorem" - Annals of Mathematics, 1995. （美国宾州州立大学 CiteSeerX 有提供其论文电子档下载）