费马大定理

《费马大定理》由会员分享，可在线阅读，更多相关《费马大定理（15页珍藏版）》请在金锄头文库上搜索。

1、费马大定理目录隐藏定理简介研究历史证明过稈证明方法费马大定理证明者：安德鲁怀尔斯费马大定理 Fermats last theorem编辑本段定理简介费马大定理：当整数n 2时，关于x, y, z的不定方程xF + yF = zF.的整数解都是平凡解，即当n是偶数时：(0,m,m)或仕m,0,m)(补充：(0，0，0)是其中一个特殊解2008年由赵浩杰提出)当 n 是奇数时：(0,m,m)或(m,0,m)或(m,-m,0)这个定理，本来又称费马最后定理，由17世纪法国数学家费马提出，而当时人们称之为“定理”，并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝 妙证明，但经过三个半世纪的努

2、力，这个世纪数论难题才由普林斯顿大学英国数学家安德鲁怀尔斯和他的学生理查泰勒于1995年成功证明。证明利用了很多新的数学， 包括代数几何中的椭圆曲线和模形式，以及伽罗华理论和 Hecke代数等，令人怀疑 费马是否真的找到了正确证明。而安德鲁怀尔斯(Andrew Wiles)由于成功证明此定 理，获得了 1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。编辑本段研究历史1637 年，费马在阅读丢番图算术拉丁文译本时，曾在第 11 卷第 8 命题旁写 道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者 一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于

3、此，我确信已 发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。 ”(拉丁文原文 : Cui us rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet. )毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许 多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的 发展。对很多不同的n,费马定理早被证明了。但数学家对一般情况在首二百年内仍一 筹莫展。1908 年,德国佛尔夫斯克宣布以 10 万马克作为奖金奖给在他逝世后一百年内, 第一个证明该定理的人,

4、吸引了不少人尝试并递交他们的“证明”。在一战之后,马克大幅贬值,该定理的魅力也大大地下降。1983年，en:Gerd Faitings证明了 Mordell猜测，从而得出当n 2时(n为整 数)，只存在有限组互质的a,b,c使得aAn + bAn = c*n。1986 年，Gerhard Frey 提出了 -猜想：若存在 a,b,c 使得 aAn + bAn = ca n，即如果费马大定理是错的，则椭圆曲线 yA2 = x(x - aAn)(x + bAn)会是谷山- 志村猜想的一个反例。 Frey 的猜想随即被 Kenneth Ribet 证实。此猜想显示了费马 大定理与椭圆曲线及模形式的密

5、切关系。1995 年，怀尔斯和泰勒在一特例范围内证明了谷山 -志村猜想， Frey 的椭圆曲线 刚好在这一特例范围内，从而证明了费马大定理。怀尔斯证明费马大定理的过程亦甚具戏剧性。他用了七年时间，在不为人知的情 况下，得出了证明的大部分； 然后于 1993 年 6月在一个学术会议上宣布了他的证明， 并瞬即成为世界头条。但在审批证明的过程中，专家发现了一个极严重的错误。怀尔 斯和泰勒然后用了近一年时间尝试补救，终在 1994 年 9月以一个之前怀尔斯抛弃过 的方法得到成功，这部份的证明与岩泽理论有关。他们的证明刊在 1995 年的数学年 刊( en:Annals of Mathematics )

6、之上。1：欧拉证明了 n=3 的情形，用的是唯一因子分解定理。2：费马自己证明了 n=4 的情形。3： 1825 年，狄利克雷和勒让德证明了 n=5 的情形，用的是欧拉所用方法的延伸， 但避开了唯一因子分解定理。4： 1839 年，法国数学家拉梅证明了 n=7 的情形，他的证明使用了跟 7本身结合 的很紧密的巧秒工具， 只是难以推广到 n=11 的情形；于是，他又在 1847 年提出了 “分 圆整数”法来证明，但没有成功。5：库默尔在 1844 年提出了 “理想数”概念，他证明了：对于所有小于 100 的素指 数n,费马大定理成立，此一研究告一阶段。6：勒贝格提交了一个证明，但因有漏洞，被否决

7、。7：希尔伯特也研究过，但没进展。8：1983 年，德国数学家法尔廷斯证明了一条重要的猜想 莫代尔猜想 x 的平 方+y的平方=1这样的方程至多有有限个有理数解，他由于这一贡献，获得了菲尔兹 奖。9：1955 年，日本数学家谷山丰首先猜测椭圆曲线于另一类数学家们了解更多的 曲线模曲线之间存在着某种联系； 谷山的猜测后经韦依和志村五郎进一步精确化 而形成了所谓 “谷山志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模 曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理 ”的证明向前迈进了一步。10：1985 年，德国数学家弗雷指出了 “谷山志村猜想”和“费马大定理”之间的 关系；

8、他提出了一个命题 ：假定“费马大定理”不成立，即存在一组非零整数 A,B,C, 使得A的n次方+B的n次方=C的n次方（n2）,那么用这组数构造出的形如y的平 方=x（x+A的n次方）乘以（x-B的n次方）的椭圆曲线，不可能是模曲线。尽管他 努力了，但他的命题和 “谷山志村猜想 ”矛盾，如果能同时证明这两个命题，根据 反证法就可以知道 “费马大定理 ”不成立，这一假定是错误的，从而就证明了 “费马大定 理”。但当时他没有严格证明他的命题。11：1986 年，美国数学家里贝特证明了弗雷命题，于是希望便集中于 “谷山 志村猜想 ”。12：1993 年 6 月，英国数学家维尔斯证明了：对有理数域上的

9、一大类椭圆曲线， “谷山志村猜想 ”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大 类椭圆曲线，也就表明了他最终证明了 “费马大定理”；但专家对他的证明审察发现有 漏洞，于是，维尔斯又经过了一年多的拼搏，于 1994 年9月彻底圆满证明了 “费马大 定理”1 3:蒋春暄先生在 1992 年就已经发表了证明费马最后定理的文章（潜科学杂 志， 1992 年2月），可是在中国，没有人承认这个成果，当然更说不上得到国际的 承认。然而，在过去了 17 年之后的今年（ 2009） 6月初，蒋春暄先生获得了意大利 特莱肖伽利略科学院 2009 年度金奖，获奖的原因之一即他于 1992 年对于费 马

10、最后定理的证明。编辑本段证明过程1676年数学家根据费马的少量提示用 无穷递降法 证明n = 4。1678年和1738年 德国数学家莱布尼兹和瑞士数学家 欧拉也各自证明n = 4。1770年欧拉证明n = 3。1 823年和1825年法国数学家勒让德和德国数学家狄利克雷先后证明n = 5。1832年 狄利克雷试图证明n = 7，却只证明了 n = 14。1839年法国数学家拉梅证明了 n = 7, 随后得到法国数学家勒贝格的简化 19 世纪贡献最大的是德国数学家库麦尔，他 从 1844 年起花费 20 多年时间，创立了理想数理论，为代数数论奠下基础；库麦尔 证明当nV 100时除37、59、6

11、7三数外费马大定理均成立。为推进费马大定理的证明，布鲁塞尔和巴黎科学院数次设奖。1908年德国数学家佛尔夫斯克尔临终在 哥廷根皇家科学会悬赏10万马克，并充分考虑到证明的艰巨性，将期限定为100年。数学迷们对此趋之若鹫，纷纷把“证明”寄给数学家，期望凭短短几页初等变换夺取桂冠。 德国数学家兰道印制了一批明信片由学生填写： “亲爱的先生或女士：您对费马大定 理的证明已经收到，现予退回，第一个错误出现在第页第行。”在解决问题的过程中，数学家们不但利用了广博精深的数学知识，还创造了许多新理论新方法，对数 学发展的贡献难以估量。1900年，希尔伯特提出尚未解决的23个问题时虽未将费马 大定理列入，却把

12、它作为一个在解决中不断产生新理论新方法的典型例证。据说希尔 伯特还宣称自己能够证明，但他认为问题一旦解决，有益的副产品将不再产生。“我应更加注意，不要杀掉这只经常为我们生出金蛋的母鸡。 ” 数学家就是这样缓慢而执 着地向前迈进，直至1955年证明nV4002。大型计算机的出现推进了证明速度，19 76年德国数学家瓦格斯塔夫证明 nV 125000，1985年美国数学家罗瑟证明nV4100 0000。但数学是严谨的科学， n 值再大依然有限，从有限到无穷的距离漫长而遥远。983 年，年仅 29 岁的德国数学家法尔廷斯证明了代数几何中的莫德尔猜想，为此在 第 20 届国际数学家大会上荣获菲尔茨奖；

13、此奖相当于数学界的诺贝尔奖，只授予 40 岁以下的青年数学家。莫德尔猜想有一个直接推论：对于形如xF+yAn=zAn (nn4)的方程至多只有有限多组整数解。这对费马大定理的证明是一个有益的突破。从“有限多组”到“一组没有”还有很大差距，但从无限到有限已前进了一大步。1955 年日本数学家谷山丰提出过一个属于代数几何范畴的谷山猜想，德国数学家弗雷在1985年指出：如果费马大定理不成立，谷山猜想也不成立。随后德国数学家佩尔提出佩尔猜 想，补足了弗雷观点的缺陷。至此，如果谷山猜想和佩尔猜想都被证明，费马大定理 不证自明。事隔一载，美国加利福尼亚大学伯克利分校数学家里比特证明了佩尔猜 想。1993年

14、6月，英国数学家、美国普林斯顿大学教授 安德鲁怀尔斯在剑桥大学 牛顿数学研究所举行了一系列代数几何学术讲演。在6月23日最后一次讲演椭圆曲线、模型式和伽罗瓦表示中，怀尔斯部分证明了谷山猜想。所谓部分证明，是指 怀尔斯证明了谷山猜想对于半稳定的椭圆曲线成立 谢天谢地， 与费马大定理相关 的那条椭圆曲线恰好是半稳定的！这时在座 60 多位知名数学家意识到，困扰数学界 三个半世纪的费马大定理被证明了！这一消息在讲演后不胫而走，许多大学都举行了 游行和狂欢，在芝加哥甚至出动了警察上街维持秩序。但专家对他的证明审察发现有 漏洞，于是，怀尔斯又经过了一年多的拼搏，于 1994 年 9月 20 日上午 11

15、 时彻底圆 满证明了 “费马大定理 ”编辑本段证明方法五十年代日本数学家谷山丰首先提出一个有关椭圆曲线的猜想， 后来由另一位数 学家志村五郎加以发扬光大，当时没有人认为这个猜想与费马定理有任何关联。在八 十年代德国数学家佛列将谷山丰的猜想与费马定理联系在一起，而安德鲁怀尔斯所做的正是根据这个关联论证出一种形式的谷山丰猜想是正确的， 进而推出费马最后定 理也是正确的。这个结论由威利斯在 1993 年的 6月 21 日於美国剑桥大学牛顿数学研究所的研 讨会正式发表，这个报告马上震惊整个数学界，就是数学门墙外的社会大众也寄以无 限的关注。不过怀尔斯的证明马上被检验出有少许的瑕疵，于是怀尔斯与他的学生又 花了十四个月的时间再加以修正。 1994 年 9 月 19 日他们终於交出完整无瑕的解答， 数学界的梦魇终於结束。 1997 年 6 月，怀尔斯在德国哥庭根大学领取了佛尔夫斯克 尔奖。当年的十万马克约为两百万美金，不过怀尔斯领到时，只值五万美金左右，但 安德鲁怀尔斯已经名列青史，永垂不朽了。用不定方程来表示，费马大定理即：当 n 2时，不定方程xAn + yAn = zF 没有xyzMO的整数解。为了证明这个结果，只需证明方程 xA4 + yA4 =乙人4 ，(x , y) = 1 和方程 xAp + yAp = zAp ， (x , y) = (x , z) = (y ,