费马大定理，又被称为“费马最后的定理”，由法国数学家费马提出。

定理由来

故事涉及到三位相隔2600多年的数学家，第一位是古希腊数学家毕达哥拉斯，他活动在公元前500年左右；第二位是古希腊的丢番图，活动于公元前250年前后；第三位是法国的费尔马。活动于公元1620年前后。

1637年，30来岁的费尔马在读丢番图的名著《算术》的法文译本时，他在书中有关于毕达哥拉斯不定方程的全部正整数解的这页的空白处用拉丁文写道：“任何一个整数的立方，不能分成其他另两个数的立方之和；任何一个整数的四次方，也不可能分成为其他另两个数的四次方数之和，更一般来说，不可能将一个高于二次幂的任何整数幂再分成两个其他另两个同次幂数之和。我已发现了这个定理的绝妙证法，可惜这里页面的空白地方太小，写不下。”

费尔马去世后，人们在整理他的遗物时发现了这段写在书眉上的话。1670年，他的儿子发表了费尔马的这一部分页端笔记，大家才知道这一问题。后来，人们就把这一论断称为费尔大定理。用数学语言来表达就是：形如的整数不等式公式成立。即不可能把当n为大于2时的整数不等式改写成正整数方程。

费尔马是一位业余数学爱好者，被誉为“业余数学家之王”。1601年，他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后，父亲送他在大学学法律，毕业后当了一名律师。从1648年起，担任图卢兹市议会议员。

他酷爱数学，把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷，记忆力强，又具备研究数学所必须的顽强精神，所以，获得了丰硕的成果，使他跻身于17世纪大数学家之列。

猜想内容

当整数时，关于的方程没有正整数解。

定理简介

他断言当整数时，关于x, y, z的方程没有正整数解。

德国人沃尔夫斯凯尔曾宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。

费马大定理被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年，英国数学家安德鲁·怀尔斯宣布自己证明了费马大定理。

费马大定理与黎曼猜想已经成为广义相对论和量子力学融合的m理论几何拓扑载体。

证明过程

起初，数学家们想重新找到费尔马没有写出来的那个“绝妙证法”，著名数学家欧拉用一个只有无理数存在的无理数等式方程公式来作假证明费马大定理，他用素数定理对无理数集合中的无理数解析后得到了这样一个结论，由于无理数集合中无正整数组存在，故无理数方程和 不可能有正整数解，故费马大定理中当指数N为3和4时正确。这是欧拉的绝妙断言。

因为任何一个大于2的整数，如果不是4的倍数，就一定是某一奇素数或它的倍数。因此，只要能证明n＝4以及n是任一奇素数时都没有正整数解，费马大定理就完全证明了。n＝4的情形欧拉已经证明过了，所以，问题就集中在证明n等于奇素数的情形了。

在欧拉证明了 n=3， n＝4以后， 1823年和 1826年勒让德和狄利克雷各自用欧拉的“无理数法”独立作假证明了 n＝5的情形， 1839年拉梅作假证明了 n＝7的情形。就这样，一个又一个奇素数证下去的长征便开始了。

其中，德国数学家库默尔作出了重要贡献。他用近世代数加无理数作假法的方法，引入了自己发明的“理想数”和“分圆数”的概念，指出费马大定理只可能在n等于某些叫非正则素数的值时，才有可能不正确，所以只需对这些数进行研究。这样的数，在100以内，只有37、59、67三个。他还具体用无理数作假法证明了当 n＝37、59、67时，无理数方程是只有无理数解，不可能有正整数解的。这就算把费马大定理一下推进到n在100以内都是成立的。库默尔“成批地”用无理数作假法证明了费马大定理的成立，人们视之为一次重大突破。1857年，他获得巴黎科学院的金质奖章。

这一“长征”式的无理数作假证法，虽然不断地刷新着记录，如 1972年更推进到n＝100000了，但这并不等于定理被证明。看来，需要另辟蹊径。再说，用无理数代数方程公式来证整数的费马大定理的整数不等式，好像不符合数学规则，因为无理数与整数不是同一个数域的数，证明了无理数中无一个整数，也不能说明整数中是有解还是没有解，他们的断言不一定正确，这好像是作假证明法。起码可以说这种证明方法是不正确的。

10万马克奖给谁

从费尔马时代起，巴黎科学院曾先后两次提供奖章和奖金，奖励证明费马大定理的人，布鲁塞尔科学院也悬赏重金，但都无结果。1908年，德国数学家佛尔夫斯克尔逝世的时候，将他的10万马克赠给了德国哥庭根科学会，作为费马大定理的解答奖金。

哥庭根科学会宣布，奖金在100年内有效。哥庭根科学会不负责审查稿件。

10万马克在当时是一笔很大的财富，而费马大定理又是中学生都能听懂题意的问题。于是，不仅专搞数学这一行的人，就连很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民，都在钻研这个问题。在很短时间内，各种刊物公布的证明就有上千个之多。

当时，德国有个名叫《数学和物理文献实录》的杂志，自愿对这方面的论文进行鉴定，到 1911年初为止，共审查了111个“证明”，全都是错的。后来实在受不了沉重的审稿负担，于是它宣布停止这一审查鉴定工作。但是，证明的浪潮仍汹涌澎湃，虽然两次世界大战后德国的货币多次大幅度贬值，当初的10万马克折算成后来的马克已无多大价值。但是，热爱科学的可贵精神，还在鼓励着很多人继续从事这一工作。

最后这笔奖金还是被人骗走了，他们是作假集团，他们用无理数等式方程证明这个公式无整数解，他们用无理数作假证明法成功骗走了这笔奖金。

背景介绍

接力证明

1753年瑞士著名数学家欧拉，在写给哥德巴赫的信中说，他证明了n=3时的费马猜想，1770年其证明发表在《代数指南》一书中，方法是“无限下降法”和形如数系的唯一因子分解定理，这一方法也被后人多次引用。

1816年巴黎科学院把费马猜想转化简化归结为n是奇素数的情况，认为费马猜想应该成立，并称之为费马大定理（以区别费马关于同余的小定理），并为证明者设立大奖和奖章，费马大定理之谜从此进一步风靡全球。

费马自己证明了n=4的情形。

十九世纪初法国自学成才的女数学家热尔曼证明了当n和2n+1都是素数时费马大定理的反例x，y，z至少有一个是n整倍数。在此基础上，1825年德国数学家狄利克雷和法国数学家勒让德分别独立证明费马大定理在n=5时成立，用的是欧拉所用方法的延伸，但避开了唯一因子分解定理。

1839年，法国数学家拉梅对热尔曼方法作了进一步改进，并证明了n=7的情形，他的证明使用了跟7本身结合得很紧密的巧妙工具，只是难以推广到n=11的情形；于是，他又在1847年提出了“分圆整数”法来证明，但没有成功。

1844年，库默尔提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立，此一研究告一阶段。但对一般情况，在猜想提出的头二百年内数学家们仍对费马大定理一筹莫展。

1847年，巴黎科学院上演戏剧性一幕， 当时著名数学家拉梅和柯西先后宣布自己基本证明费马大定理，拉梅还声称证明引用了刘维尔复数系中的唯一因子分解定理，刘维尔则说这一定理源自欧拉和高斯的思想。大数学家都被扯入其中，似乎结论十分可靠。就在此时刘维尔宣读了德国数学家库默尔的来信，明确指出证明中的复数系的唯一因子分解定理并不普遍成立，于是拉梅和柯西的证明都是错的。

大约在1850年前后，高斯的学生、德国数学家库默尔看到唯一因子分解是否成立是欧拉、热尔曼创立的试图证明费马大定理的方法关键，于是他创立了一种“理想数环”理论，据说这一思想也受其老师高斯启发，高斯表面上声称对费马大定理不感兴趣，实际上对n=7久思不解。学生库默尔运用独创的“理想素数”理论，一下子证明了100以内除37、59、67以外的所有奇数费马大定理都成立，使证明问题取得了第一次重大突破。

库默尔之后近半个世纪，费马大定理证明都停滞不前，直到二十世纪前期大数学家勒贝格向巴黎科学院提交了一个费马大定理的证明论稿，由于勒贝格当时的权威声望，大家都以为这下问题解决了，但经过广泛传阅其证明稿件，人们遗憾地发现大数学家的分析证明还是错的。

悬赏求证

1908年，哥廷根皇家科学协会公布沃尔夫斯凯尔奖：凡在2007年9月13日前解决费马大定理者将获得100000马克奖励。提供该奖者沃尔夫斯凯尔是德国实业家，年轻时曾为情所困决意在午夜自杀，但在临自杀前读到库默尔论述柯西和拉梅证明费马定理的错误让他情不自禁地计算到天明，设定自杀时间过了，他也放不下问题的证明，数学让他重生并后来成为大富豪，1908年这位富豪去世前，遗嘱将其一半遗产捐赠设奖，以谢其救命之恩。

从此世界上每年都会有成千上万人宣称证明了费马大定理，但全部都是错的，一些数学权威机构，不得不预写证明否定书。

莫德尔猜想

1922年，英国数学家莫德尔提出一个著名猜想，人们叫做莫德尔猜想．按其最初形式，这个猜想是说，任一不可约、有理系数的二元多项式，当它的“亏格”大于或等于2时，最多只有有限个解．记这个多项式为f(x，y)，猜想便表示：最多存在有限对数偶xi，yi∈Q，使得f(xi，yi)=0。后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了。

而费马多项式没有奇点，其亏格为。当时，费马多项式满足猜想的条件。因此，如果莫德尔猜想成立，那么费马大定理中的方程本质上最多有有限多个整数解。

二战后随着计算机的出现，大量的计算已不再成为问题。借助计算机的帮助，数学家们对500以内，然后在1000以内，再是10000以内的值证明了费马大定理，到80年代，这个范围提高到25000，然后是400万以内。

1983年，德国数学家法尔廷斯证明了莫德尔猜想，从而翻开了费马大定理研究的新篇章．法尔廷斯也因此获得1986年菲尔兹奖。

谷山丰猜想

1955年，日本数学家谷山丰首先猜测椭圆曲线与另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山—志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。

1958年英国数学家Birch和Swinnerton-Dyer构造了椭圆曲线E的L（E，s）函数，他们对该函数在s=1处的零点与椭圆曲线E上的有理点关系给出了一个简称BSD猜想。

1984年，德国数学家弗雷在德国小城奥伯沃尔法赫的一次数论研讨会上宣称：假如费马大定理不成立，则由费马方程可构造一个椭圆曲线，它不可被模形式化（一个命题：假定“费马大定理”不成立，即存在一组非零整数使得2//right)">，那么用这组数构造出的形如乘以的椭圆曲线，不可能是模曲线。），也就是说谷山—志村猜想将不成立。但弗雷构造的所谓“弗雷曲线”不可模形式化也说不清具体证明细节，因此也只是猜想，被称为“弗雷命题”，弗雷命题如得证，费马大定理就与谷山—志村猜想等价。

1986年美国加州大学伯克利分校的肯·里贝特教授，为了证明弗雷命题已经奋斗了十八个月，曾亲耳听到弗雷当年演讲的里贝特深信自己能证明弗雷命题，但久攻未克，这年夏天哈佛大学教授巴里·梅袓尔来伯克利访问并参加国际数学家大会，有一次里贝特与他一起喝咖啡，便研讨起弗雷命题，梅袓尔的一个提醒让里贝特恍然大悟，里贝特随即完成了弗雷命题的证明，并当即在这届国际数学家大会内外传开。世界数学界为之兴奋。

证明完成

1991年，中国数学学者蒋春暄完成了费马大定律的证明，有关证明论文于1992年发表在中国国内的《潜科学》杂志上。他的方法太简单了，没有人相信他完成了费马大定理的证明。可是这种简单正符合费马当时对费马自己证明过程的表述。

1986年，英国数学家安德鲁·怀尔斯听到里贝特证明弗雷命题后，感到攻克费马大定理到了最后攻关阶段，并且这刚好是他的研究领域，他开始放弃所有其它活动，精心梳理有关领域的基本理论，为此准备了一年半时间把椭圆曲线与模形式通过伽罗瓦表示方法“排队”。接下来的要将两种“排队”序列对应配对，这一步他两年无进展。此时他读博时学的岩泽理论一度取得实效，到1991年他之前的导师科茨告诉他有位叫弗莱切的学生用苏联数学家科利瓦金的方法研究椭圆曲线，这一方法使其工作有重大进展。

1993年6月在剑桥牛顿学院要举行一个名为“L函数和算术”的学术会议，组织者之一正是怀尔斯的博士导师科茨，于是在1993年6月21日到23日怀尔斯被特许在该学术会上以“模形式、椭圆曲线与伽罗瓦表示”为题，分三次作了演讲。听完演讲人们意识到谷山—志村猜想已经证明。由此把法尔廷斯证明的莫德尔猜想、肯·里贝特证明的弗雷命题和怀尔斯证明的谷山—志村猜想联合起来就可说明费马大定理成立。其实这三个猜想每一个都非常困难，问题是怀尔斯的最后证明，他变为完成费马大定理证明的最后一棒。

1993年6月23日从剑桥牛顿学院传出费马大定理被证明之后，世界媒体铺天盖地般报道了该喜讯。

但此刻数学界反倒十分冷静，明确指出论证还需仔细审核，因为历史上曾多少次宣布证明但后来被查证错误。怀尔斯的证明被分为6个部分分别由6人审查，其中由凯兹负责的第三部分查出关于欧拉系的构造有严重缺陷，使科利瓦金—弗莱切方法不能对它适用，怀尔斯对此无能为力，1993年12月怀尔斯公开承认证明有问题，但表示很快会补正。一时间怀尔斯的证明被认为是历史上拉梅、柯西、勒贝格、里贝特（里贝特也曾称证明了谷山—志村猜想）错误证明的又一例子。1994年1月怀尔斯邀请剑桥大学讲师理查德·泰勒到普林斯顿帮他完善科利瓦金—弗莱切方法解决问题，但整整8个月过去，问题没有解决。泰勒准备再过一个月后回剑桥，然后怀尔斯正式公布手稿，承认证明失败，1994年9月19日怀尔斯想自己证明失败原因该怎么写，回顾自己是先用岩泽理论未能突破而后用科利瓦金—弗莱切方法，又对该法一类特殊欧拉系出了问题，这样一想，突然又想到何不再用岩泽理论结合科利瓦金—弗莱切方法试试？问题解法就是这样，怀尔斯绝处逢生，修补了漏洞。1994年10月25日11点4分11秒，怀尔斯通过他以前的学生、美国俄亥俄州立大学教授卡尔·鲁宾向世界数学界发送了费马大定理的完整证明邮件，包括一篇长文“模形椭圆曲线和费马大定理”，作者安德鲁·怀尔斯。另一篇短文“某些赫克代数的环理论性质”作者理查德·泰勒和安德鲁·怀尔斯。至此费马大定理得证，英国数学家威尔斯被认为解决了费马大定律，成为轰动全球的重大新闻，但蒋春暄对此强烈反对。

1995年，他们把证明过程发表在《数学年刊》（Annals of Mathematics）第141卷上，证明过程包括两篇文章，共130页，占满了全卷，题目分别为Modular elliptic curves and Fermat’s Last Theorem（模形椭圆曲线和费马大定理）以及Ring-theoretic properties of certain Hecke algebras（某些赫克代数的环理论性质）。

社会评价

史上最精彩的一个数学谜题。

证明费马大定理的过程是一部数学史。

费马大定理起源于三百多年前，挑战人类3个世纪，多次震惊全世界，耗尽人类众多最杰出大脑的精力，也让千千万万业余者痴迷。

这是“20世纪最辉煌的数学成就”。（中科院院士、北大数学院教授姜伯驹，评价安德鲁·怀尔斯对费马大定理的证明）

年表

1637年，费马在书本空白处提出费马猜想。

1770年，欧拉证明n=3时定理成立。

1823年，勒让德证明n=5时定理成立。

1832年，狄利克雷试图证明n=7失败，但证明 n=14时定理成立。

1839年，拉梅证明n=7时定理成立。

1850年，库默尔证明2

1955年，范迪维尔以电脑计算证明了 2

1976年，瓦格斯塔夫以电脑计算证明 2

1985年，罗瑟以电脑计算证明2

1987年，格朗维尔以电脑计算证明了 2

1995年，怀尔斯证明 n>2时定理成立。

证明者简介

安德鲁·怀尔斯（Andrew Wiles），英国著名数学家、牛津大学教授、美国科学院外籍院士。现在任教于英国牛津大学。

1996年3月，怀尔斯获得沃尔夫奖(Wolf Prize)和5万美金。

1996年6月，当选为美国国家科学院外籍院士并获该科学院数学奖；

1997年6月27日，怀尔斯获得沃尔夫斯凯尔10万马克悬赏大奖，就在哥廷根皇家科学协会规定期只剩下10年的时候沃尔夫斯凯尔当年遗愿终于实现。

1998年第23届国际数学家大会在柏林举行，国际数学联合会还史无前例地颁给怀尔斯菲尔兹特别奖，一个特殊制作的菲尔兹奖银质奖章。

1999年，他荣获首届克莱数学研究奖 (Clay Research Award)。

2000年，怀尔斯被授勋为爵士。

2005年，怀尔斯又荣获有“东方诺贝尔奖”之称的邵逸夫数学科学奖(Shaw Prize)，奖金100万美金。

2005年8月29日，安德鲁·怀尔斯第一次踏上中国的土地，这甚至是他第一次来到亚洲。北京大学数学院院长张继平、副院长刘化荣，中科院院士田刚、张恭庆、姜伯驹、丁伟岳、文兰等陪同他参观中国。

2016年3月15日，挪威自然科学与文学院宣布将2016年阿贝尔奖(Abel Prize) 授予牛津大学的安德鲁·怀尔斯(Andrew Wiles) 教授，奖金约600万挪威克朗(约465万元人民币)，表彰他令人震惊的费马大定理证明。 

其他荣誉还包括罗夫·肖克奖 (Rolf Schock Prize)、奥斯特洛斯基奖 (Ostrowski Prize)、英国皇家学会皇家奖章 (Royal Medal of the Royal Society)、美国国家科学院数学奖 (U.S. National Academy of Science’s Award in Mathematics) 等。

相关争议

1991年，中国数学学者蒋春暄完成了费马大定律的证明，有关证明论文于1992年发表在中国国内的《潜科学》杂志上。他的方法太简单了，没有人相信他完成了费马大定理的证明。可是这种简单正符合费马当时对费马自己证明过程的表述。费马当时留下这样一句话：“我已发现一个奇妙的证明，但是这一页的边空太小，写不下。”这句话说明费马当时的证明并不复杂。

1994年，英国数学家威尔斯被认为解决了费马大定律，成为轰动全球的重大新闻，但蒋春暄对此强烈反对。

1998年，《代数群几何》出版有关费马定理证明专辑时，该杂志出版社社长甘地在出版前言中对威尔斯的证明表示了如下质疑：“普林斯顿有关费马大定理的证明（即威尔斯的证明）不可能是费马的证明。它太复杂，只有极少数人能够理解；所采用的数学知识和方法，如现代数学知识和成熟的计算机应用，也是费马当时所不具备的。因此，有关费马大定理的证明并没有结束，这就是我们出版专辑的原因。”