费马大定理，又被称为“费马最后的定理”，由17世纪法国数学家皮耶·德·费马提出。

他断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。

德国人沃尔夫斯凯尔曾宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。费马大定理被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年，英国数学家安德鲁·怀尔斯宣布自己证明了费马大定理。

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

由来

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

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

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

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

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

艰难的探索

起初，数学家们想重新找到费尔马没有写出来的那个“绝妙证法”，著名数学家欧拉用一个只有无理数存在的无理数等式方程公式来作假证明费马大定理，他用素数定理对无理数集合中的无理数解析后得到了这样一个结论，由于无理数集合中无正整数组存在，故无理数方程 x3＋ y3 ＝z3 和 x4 ＋ y4 ＝z4 不可能有正整数解，故费马大定理中当指数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时，无理数方程xn＋ yn＝zn是只有无理数解，不可能有正整数解的。这就算把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”用无理数作假法证明了费马大定理的成立，人们视之为一次重大突破。1857年，他获得巴黎科学院的金质奖章。

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

10万马克奖给谁

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

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

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

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

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

背景

猜想提出

费马在阅读丢番图（Diophatus）《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。”

（拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."）

毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。

对很多不同的n，费马定理早被证明了。其中欧拉证明了n=3的情形，用的是唯一因子分解定理；费马自己证明了n=4的情形。

1825年，狄利克雷和勒让德证明了n=5的情形，用的是欧拉所用方法的延伸，但避开了唯一因子分解定理。

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

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

莫德尔猜想

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

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

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

谷山丰猜想

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

1985年，德国数学家弗雷指出了谷山——志村猜想”和费马大定理之间的关系。他提出了一个命题：假定“费马大定理”不成立，即存在一组非零整数 使得 ，那么用这组数构造出的形如 乘以 的椭圆曲线，不可能是模曲线。

尽管他努力了，但他的命题和“谷山——志村猜想”矛盾，如果能同时证明这两个命题，根据反证法就可以知道“费马大定理”不成立，这一假定是错误的，从而就证明了“费马大定理”。但当时他没有严格证明他的命题。

1986年，美国数学家里贝特证明了弗雷命题，于是希望便集中于“谷山——志村猜想”。

猜想成立

1993年6月，英国数学家安德鲁·怀尔斯宣称证明：对有理数域上的一大类椭圆曲线，“谷山—志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”；但专家对他的证明审察发现有漏洞。怀尔斯不得不努力修复着一个看似简单的漏洞。

怀尔斯和他以前的博士研究生理查德·泰勒用了近一年的时间，用之前一个怀尔斯曾经抛弃过的方法修补了这个漏洞，这部份的证明与岩泽理论有关。这就证明了谷山-志村猜想，从而最终证明了费马大定理。他们的证明刊在1995年的《数学年刊》（Annals of Mathematics）之上。

怀尔斯因此获得1998年国际数学家大会的特别荣誉，一个特殊制作的菲尔兹奖银质奖章。

费马简介

费马（1601～1665）

Fermat，Pierre de

费马是法国数学家，1601年8月17日出生于法国南部图卢兹附近的博蒙·德·洛马涅。他的父亲多米尼克·费马在当地开了一家大皮革商店，拥有相当丰厚的产业，使得费马从小生活在富裕舒适的环境中。

费马的父亲由于富有和经营有道，颇受人们尊敬，并因此获得了地方事务顾问的头衔，但费马小的时候并没有因为家境的富裕而产生多少优越感。费马的母亲名叫克拉莱·德·罗格，出身穿袍贵族。多米尼克的大富与罗格的大贵族构筑了费马极富贵的身价。

费马小时候受教于他的叔叔皮埃尔，受到了良好的启蒙教育，培养了他广泛的兴趣和爱好，对他的性格也产生了重要的影响。直到14岁时，费马才进入博蒙·德·洛马涅公学，毕业后先后在奥尔良大学和图卢兹大学学习法律。

17世纪的法国，男子最讲究的职业是当律师，因此，男子学习法律成为时髦，也使人敬羡。有趣的是，法国为那些有产的而缺少资历的“准律师”尽快成为律师创造了很好的条件。1523年，佛朗期瓦一世组织成立了一个专门鬻卖官爵的机关，公开出售官职。这种官职鬻卖的社会现象一经产生，便应时代的需要而一发不可收拾，且弥留今日。

鬻卖官职，一方面迎合了那些富有者，使其获得官位从而提高社会地位，另一方面也使政府的财政状况得以好转。因此到了17世纪，除宫廷官和军官以外的任何官职都可以买卖了。直到今日，法院的书记官、公证人、传达人等职务，仍没有完全摆脱买卖性质。法国的买官特产，使许多中产阶级从中受惠，费马也不例外。费马尚没有大学毕业，便在博蒙·德·洛马涅买好了“律师”和“参议员”的职位。等到费马毕业返回家乡以后，他便很容易地当上了图卢兹议会的议员，时值1631 年。

尽管费马从步入社会直到去世都没有失去官职，而且逐年得到提升，但是据记载，费马并没有什么政绩，应付官场的能力也极普通，更谈不上什么领导才能。不过，费马并未因此而中断升迁。在费马任了七年地方议会议员之后，升任了调查参议员，这个官职有权对行政当局进行调查和提出质疑。

1642年，有一位权威人士叫勃里斯亚斯，他是最高法院顾问。勃里斯亚斯推荐费马进入了最高刑事法庭和法国大理院主要法庭，这使得费马以后得到了更好的升迁机会。1646年，费马升任议会首席发言人，以后还当过天主教联盟的主席等职。费马的官场生涯没有什么突出政绩值得称道，不过费马从不利用职权向人们勒索、从不受贿、为人敦厚、公开廉明，赢得了人们的信任和称赞。

费马的婚姻使费马跻身于穿袍贵族的行列，费马娶了他的舅表妹露伊丝·德·罗格。原本就为母亲的贵族血统而感骄傲的费马，如今干脆在自己的姓名上加上了贵族姓氏的标志“de”。

费马生有三女二男，除了大女儿克拉莱出嫁之外，四个子女都使费马感到体面。两个女儿当上了牧师，次子当上了菲玛雷斯的副主教。尤其是长子克莱曼特·萨摩尔，他不仅继承了费马的公职，在1665年当上了律师，而且还整理了费马的数学论著。如果不是费马长子积极出版费马的数学论著，很难说费马能对数学产生如此重大的影响，因为大部分论文都是在费马死后，由其长子负责发表的。从这个意义上说，萨摩尔也称得上是费马事业上的继承人。

对费马来说，真正的事业是学术，尤其是数学。费马通晓法语、意大利语、西班牙语、拉丁语和希腊语，而且还颇有研究。语言方面的博学给费马的数学研究提供了语言工具和便利，使他有能力学习和了解阿拉伯和意大利的代数以及古希腊的数学。正是这些，可能为费马在数学上的造诣莫定了良好基础。在数学上，费马不仅可以在数学王国里自由驰骋，而且还可以站在数学天地之外鸟瞰数学。这也不能绝对归于他的数学天赋，与他的博学多才多少也是有关系的。

费马生性内向，谦抑好静，不善推销自己，不善展示自我。因此他生前极少发表自己的论著，连一部完整的??埋名。《数学论集》还是费马去世后由其长子将其笔记、批注及书信整理成书而出版的。我们现在早就认识到时间性对于科学的重要，即使在l7世纪，这个问题也是突出的。费马的数学研究成果不及时发表，得不到传播和发展，并不完全是个人的名誉损失，而是影响了那个时代数学前进的步伐。

费马一生身体健康，只是在1652年的瘟疫中险些丧命。1665年元旦一过，费马开始感到身体有变，因此于1月l0日停职。第三天，费马去世。费马被安葬在卡斯特雷斯公墓，后来改葬在图卢兹的家族墓地中。

费马一生从未受过专门的数学教育，数学研究也不过是业余之爱好。然而，在17世纪的法国还找不到哪位数学家可以与之匹敌：他是解析几何的发明者之一；对于微积分诞生的贡献仅次于牛顿、莱布尼茨，概率论的主要创始人，以及独承17世纪数论天地的人。此外，费马对物理学也有重要贡献。一代数学大才费马堪称是 17世纪法国最伟大的数学家。

17世纪伊始，就预示了一个颇为壮观的数学前景。而事实上，这个世纪也正是数学史上一个辉煌的时代。几何学首先成了这一时代最引入注目的引玉之明珠，由于几何学的新方法—代数方法在几何学上的应用，直接导致了解析几何的诞生；射影几何作为一种崭新的方法开辟了新的领域；由古代的求积问题导致的极微分割方法引入几何学，使几何学产生了新的研究方向，并最终促进了微积分的发明。几何学的重新崛起是与一代勤于思考、富于创造的数学家是分不开的，费马就是其中的一位。

对解析几何的贡献

费马独立于笛卡儿发现了解析几何的基本原理。

1629年以前，费马便着手重写公元前三世纪古希腊几何学家阿波罗尼奥斯失传的《平面轨迹》一书。他用代数方法对阿波罗尼奥斯关于轨迹的一些失传的证明作了补充，对古几何学，尤其是阿波罗尼奥斯圆锥曲线论进行了总结和整理，对曲线作了一般研究。并于1630年用拉丁文撰写了仅有八页的论文《平面与立体轨迹引论》。

费马于1636年与当时的大数学家梅森、罗贝瓦尔开始通信，对自己的数学工作略有言及。但是《平面与立体轨迹引论》的出版是在费马去世14年以后的事，因而1679年以前，很少有人了解到费马的工作，而现在看来，费马的工作却是开创性的。

《平面与立体轨迹引论》》中道出了费马的发现。他指出：“两个未知量决定的—个方程式，对应着一条轨迹，可以描绘出一条直线或曲线。”费马的发现比笛卡尔发现解析几何的基本原理还早七年。费马在书中还对一般直线和圆的方程、以及关于双曲线、椭圆、抛物线进行了讨论。

笛卡儿是从一个轨迹来寻找它的方程的，而费马则是从方程出发来研究轨迹的，这正是解析几何基本原则的两个相反的方面。

在1643年的一封信里，费马也谈到了他的解析几何思想。他谈到了柱面、椭圆抛物面、双叶双曲面和椭球面，指出：含有三个未知量的方程表示一个曲面，并对此做了进一步地研究。

对微积分的贡献

16、17世纪，微积分是继解析几何之后的最璀璨的明珠。人所共知，牛顿和莱布尼茨是微积分的缔造者，并且在其之前，至少有数十位科学家为微积分的发明做了奠基性的工作。但在诸多先驱者当中，费马仍然值得一提，主要原因是他为微积分概念的引出提供了与现代形式最接近的启示，以致于在微积分领域，在牛顿和莱布尼茨之后再加上费马作为创立者，也会得到数学界的认可。

曲线的切线问题和函数的极大、极小值问题是微积分的起源之一。这项工作较为古老，最早可追溯到古希腊时期。阿基米德为求出一条曲线所包任意图形的面积，曾借助于穷竭法。由于穷竭法繁琐笨拙，后来渐渐被人遗忘、直到16世纪才又被重视。由于开普勒在探索行星运动规律时，遇到了如何确定椭圆形面积和椭圆弧长的问题，无穷大和无穷小的概念被引入并代替了繁琐的穷竭法。尽管这种方法并不完善，但却为自卡瓦列里到费马以来的数学家开辟厂一个十分广阔的思考空间。

费马建立了求切线、求极大值和极小值以及定积分方法，对微积分做出了重大贡献。

对概率论的贡献

早在古希腊时期，偶然性与必然性及其关系问题便引起了众多哲学家的兴趣与争论，但是对其有数学的描述和处理却是15世纪以后的事。l6世纪早期，意大利出现了卡尔达诺等数学家研究骰子中的博弈机会，在博弈的点中探求赌金的划分问题。到了17世纪，法国的帕斯卡和费马研究了意大利的帕乔里的著作《摘要》，建立了通信联系，从而建立了概率学的基础。

费马考虑到四次赌博可能的结局有2×2×2×2＝16种，除了一种结局即四次赌博都让对手赢以外，其余情况都是第一个赌徒获胜。费马此时还没有使用概率一词，但他却得出了使第一个赌徒赢得概率是15／16，即有利情形数与所有可能情形数的比。这个条件在组合问题中一般均能满足，例如纸牌游戏，掷银子和从罐子里模球。其实，这项研究为概率的数学模型一概率空间的抽象奠定了博弈基础，尽管这种总结是到了1933年才由柯尔莫戈罗夫作出的。

费马和帕斯卡在相互通信以及著作中建立了概率论的基本原则——数学期望的概念。这是从点的数学问题开始的：在一个被假定有同等技巧的博弈者之间，在一个中断的博弈中，如何确定赌金的划分，已知两个博弈者在中断时的得分及在博弈中获胜所需要的分数。费马这样做出了讨论：一个博弈者A需要4分获胜，博弈者B需要3分获胜的情况，这是费马对此种特殊情况的解。因为显然最多四次就能决定胜负。

一般概率空间的概念，是人们对于概念的直观想法的彻底公理化。从纯数学观点看，有限概率空间似乎显得平淡无奇。但一旦引入了随机变量和数学期望时，它们就成为神奇的世界了。费马的贡献便在于此。

对数论的贡献

17世纪初，欧洲流传着公元三世纪古希腊数学家丢番图所写的《算术》一书。l621年费马在巴黎买到此书，他利用业余时间对书中的不定方程进行了深入研究。费马将不定方程的研究限制在整数范围内，从而开始了数论这门数学分支。

费马在数论领域中的成果是巨大的，其中主要有：

(1)全部素数可分为4n+1和4n+3两种形式。

(2)形如4n+1的素数能够，而且只能够以一种方式表为两个平方数之和。

(3)没有一个形如4n+3的素数，能表示为两个平方数之和。

(4)形如4n+1的素数能够且只能够作为一个直角边为整数的直角三角形的斜边；4n+1的平方是且只能是两个这种直角三角形的斜边；类似地，4n+1的m次方是且只能是m个这种直角三角形的斜边。

(5)边长为有理数的直角三角形的面积不可能是一个平方数。

(6)4n+1形的素数与它的平方都只能以一种方式表达为两个平方数之和；它的3次和4次方都只能以两种表达为两个平方数之和；5次和6次方都只能以3种方式表

对光学的贡献

费马在光学中突出的贡献是提出最小作用原理，也叫最短时间作用原理。这个原理的提出源远流长。早在古希腊时期，欧几里得就提出了光的直线传播定律相反射定律。后由海伦揭示了这两个定律的理论实质——光线取最短路径。经过若干年后，这个定律逐渐被扩展成自然法则，并进而成为一种哲学观念。—个更为一般的“大自然以最短捷的可能途径行动”的结论最终得出来，并影响了费马。费马的高明之处则在于变这种的哲学的观念为科学理论。

费马同时讨论了光在逐点变化的介质中行径时，其路径取极小的曲线的情形。并用最小作用原理解释了一些问题。这给许多数学家以很大的鼓舞。尤其是欧拉，竞用变分法技巧把这个原理用于求函数的极值。这直接导致了拉格朗日的成就，给出了最小作用原理的具体形式：对一个质点而言，其质量、速度和两个固定点之间的距离的乘积之积分是一个极大值和极小值；即对该质点所取的实际路径来说，必须是极大或极小。

费马大定理是否存在初等数学证明的问题

费马在提出费马大定理猜想后曾经说他对这个猜想有一个简单的证明，但由于他阅读的一本书空白处太小，写不下这个证明，因此费马的那个证明没有流传下来。费马的证明如果真的存在，那应该是一个初等数学证明。大数学家欧拉也很想解决费马大定理问题，但他在给出n=3的证明后 ，试图给出一般性的证明即n趋向无穷大的证明时却遭遇失败，这使欧拉这样绝顶聪明的数学天才在费马大定理问题面前也败下阵来。在无奈之下，欧拉只好请他的法国朋友在费马居住过的房间寻找一下费马阅读过的书籍，看看能不能找到费马声称已经解决了费马大定理问题的一点线索，但欧拉的法国朋友一点蛛丝马迹都没有找到，因此费马大定理问题究竟存不存在初等数学证明就成了数学史上的悬案。时间到了1993年，美国普林斯顿大学的数学家怀尔斯声称解决了费马大定理问题，而怀尔斯使用的方法是现代社会才刚刚创立的椭圆曲线理论、模形式等高深莫测的数学知识，据说全世界能掌握这种超前数学知识的人只有屈指可数的五六个人，因此怀尔斯给出的证明当然就不属于大多数人能看懂的初等数学证明了。已故著名数学家陈省身坚决支持怀尔斯，陈大师在《中国的数学》演讲中以怀尔斯的证明为例说费马大定理问题不存在初等证明，寻找初等证明是徒劳的，至此，数学权威已经完全否定了费马大定理问题存在初等数学证明的可能性。不过事物往往不是绝对的，解决问题的方法也绝对不是唯一的，武断的断言往往会得出错误的判断。昆明市富民县永定街道办刘坤就给出了费马大定理的初等证明，也就是大多数数学爱好者都能看懂的证明。

社会评价

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

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

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

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