《四个大定理教材》由会员分享，可在线阅读，更多相关《四个大定理教材（48页珍藏版）》请在金锄头文库上搜索。
1、费马大定理：当整数n 2时，关于x, y, z的不定方程xn + yn = zn.的整数解都是平凡解，即当n是偶数时：(0,m,m)或(m,0,m)(补充：(0，0，0)是其中一个特殊解2008年由赵浩杰提出)当n是奇数时：(0,m,m)或(m,0,m)或(m,-m,0)这个定理，本来又称费马最后定理，由17世纪法国数学家费马提出，而当时人们称之为“定理”，并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝妙证明，但经过三个半世纪的努力，这个世纪数论难题才由普林斯顿大学英国数学家安德鲁怀尔斯和他的学生理查泰勒于1995年成功证明。证明利用了很多新的数学，包括代数几何中的椭圆曲线和模形式
2、，以及伽罗华理论和Hecke代数等，令人怀疑费马是否真的找到了正确证明。而安德鲁怀尔斯 (Andrew Wiles)由于成功证明此定理，获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。研究历史1637年，费马在阅读丢番图算术拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”(拉丁文原文: Cuius rei demonstrationem mirabilem sane detexi. H
3、anc marginis exiguitas non caperet.)毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。对很多不同的n，费马定理早被证明了。但数学家对一般情况在首二百年内仍一筹莫展。1908年，德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。在一战之后，马克大幅贬值，该定理的魅力也大大地下降。1983年，en:Gerd Faltings证明了Mordell猜测，从而得出当n 2时(n为整数)，只存在有限组互质的
4、a,b,c使得an + bn = c*n。1986年，Gerhard Frey 提出了“ -猜想”：若存在a,b,c使得an + bn = cn，即如果费马大定理是错的，则椭圆曲线y2 = x(x - an)(x + bn) 会是谷山-志村猜想的一个反例。Frey的猜想随即被Kenneth Ribet证实。此猜想显示了费马大定理与椭圆曲线及模形式的密切关系。1995年，怀尔斯和泰勒在一特例范围内证明了谷山-志村猜想，Frey的椭圆曲线刚好在这一特例范围内，从而证明了费马大定理。怀尔斯证明费马大定理的过程亦甚具戏剧性。他用了七年时间，在不为人知的情况下，得出了证明的大部分;然后于1993年6月在
5、一个学术会议上宣布了他的证明，并瞬即成为世界头条。但在审批证明的过程中，专家发现了一个极严重的错误。怀尔斯和泰勒然后用了近一年时间尝试补救，终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功，这部份的证明与岩泽理论有关。他们的证明刊在1995年的数学年刊(en:Annals of Mathematics)之上。1：欧拉证明了n=3的情形，用的是唯一因子分解定理。2：费马自己证明了n=4的情形。3：1825年，狄利克雷和勒让德证明了n=5的情形，用的是欧拉所用方法的延伸，但避开了唯一因子分解定理。4：1839年，法国数学家拉梅证明了n=7的情形，他的证明使用了跟7本身结合的很紧密的巧秒工具，
6、只是难以推广到n=11的情形;于是，他又在1847年提出了“分圆整数”法来证明，但没有成功。5：库默尔在1844年提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立，此一研究告一阶段。6：勒贝格提交了一个证明，但因有漏洞，被否决。7：希尔伯特也研究过，但没进展。8：1983年，德国数学家法尔廷斯证明了一条重要的猜想莫代尔猜想x的平方+y的平方=1这样的方程至多有有限个有理数解，他由于这一贡献，获得了菲尔兹奖。9：1955年，日本数学家谷山丰首先猜测椭圆曲线于另一类数学家们了解更多的曲线模曲线之间存在着某种联系;谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山
7、志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。10：1985年，德国数学家弗雷指出了“谷山志村猜想”和“费马大定理”之间的关系;他提出了一个命题：假定“费马大定理”不成立，即存在一组非零整数A,B,C,使得A的n次方+B的n次方=C的n次方(n2),那么用这组数构造出的形如y的平方=x(x+A的n次方)乘以(x-B的 n次方)的椭圆曲线，不可能是模曲线。尽管他努力了，但他的命题和“谷山志村猜想”矛盾，如果能同时证明这两个命题，根据反证法就可以知道“费马大定理”不成立，这一假定是错误的，从而就证明了“费
8、马大定理”。但当时他没有严格证明他的命题。11：1986年，美国数学家里贝特证明了弗雷命题，于是希望便集中于“谷山志村猜想”。12：1993年6月，英国数学家维尔斯证明了：对有理数域上的一大类椭圆曲线，“谷山志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”;但专家对他的证明审察发现有漏洞，于是，维尔斯又经过了一年多的拼搏，于1994年9月彻底圆满证明了“费马大定理”13：蒋春暄先生在1992年就已经发表了证明费马最后定理的文章(潜科学杂志，1992 年2月)，可是在中国，没有人承认这个成果，当然更说不上得到国际的承认。然而，在过
9、去了17年之后的今年(2009)6月初，蒋春暄先生获得了意大利特莱肖伽利略科学院2009年度金奖，获奖的原因之一即他于1992年对于费马最后定理的证明。证明过程1676年数学家根据费马的少量提示用无穷递降法证明n=4。1678年和1738年德国数学家莱布尼兹和瑞士数学家欧拉也各自证明n=4。1770 年欧拉证明n=3。1823年和1825年法国数学家勒让德和德国数学家狄利克雷先后证明n =5。1832年狄利克雷试图证明n=7，却只证明了n=14。1839年法国数学家拉梅证明了n=7，随后得到法国数学家勒贝格的简化19世纪贡献最大的是德国数学家库麦尔，他从1844年起花费20多年时间，创立了理想
10、数理论，为代数数论奠下基础;库麦尔证明当n100时除37、59、67三数外费马大定理均成立。为推进费马大定理的证明，布鲁塞尔和巴黎科学院数次设奖。1908年德国数学家佛尔夫斯克尔临终在哥廷根皇家科学会悬赏10万马克，并充分考虑到证明的艰巨性，将期限定为100年。数学迷们对此趋之若鹜，纷纷把“证明”寄给数学家，期望凭短短几页初等变换夺取桂冠。德国数学家兰道印制了一批明信片由学生填写：“亲爱的先生或女士：您对费马大定理的证明已经收到，现予退回，第一个错误出现在第_页第_行。” 在解决问题的过程中，数学家们不但利用了广博精深的数学知识，还创造了许多新理论新方法，对数学发展的贡献难以估量。1900年，
11、希尔伯特提出尚未解决的 23个问题时虽未将费马大定理列入，却把它作为一个在解决中不断产生新理论新方法的典型例证。据说希尔伯特还宣称自己能够证明，但他认为问题一旦解决，有益的副产品将不再产生。“我应更加注意，不要杀掉这只经常为我们生出金蛋的母鸡。” 数学家就是这样缓慢而执着地向前迈进，直至1955年证明n4002。大型计算机的出现推进了证明速度，1976年德国数学家瓦格斯塔夫证明 n125000，1985年美国数学家罗瑟证明n 2时，不定方程xn + yn = zn 没有xyz0的整数解。为了证明这个结果，只需证明方程x4 + y4 = z4 ，(x , y) = 1和方程xp + yp = z
12、p ，(x , y) = (x , z) = (y , z) = 1p是一个奇素数均无xyz0的整数解。n = 4的情形已由莱布尼茨和欧拉解决。费马本人证明了p = 3的情，但证明不完全。勒让德1823和狄利克雷1825证明了p = 5的情形。1839年，拉梅证明了p = 7的情形。1847年，德国数学家库默尔对费马猜想作出了突破性的工作。他创立了理想数论，这使得他证明了当p 100时，除了p = 37，59，67这三个数以外，费马猜想都成立。后来他又进行深入研究，证明了对于上述三个数费马猜想也成立。在近代数学家中，范迪维尔对费马猜想作出重要贡献。他从本世纪20年代开始研究费马猜想，首先发现并改正了库默尔证明中的缺陷。在以后的30余年内，他进行了大量的工作，得到了使费马猜想成立一些充分条件。他和另外两位数学家共同证明了当
