费马大定理
- 格式:doc
- 大小:141.82 KB
- 文档页数:20
费马大定理,又被称为费马猜想或费马最后定理,是数学史上的一道备受关注的谜题。
这个猜想得名于17世纪的法国数学家皮埃尔·费马。
尽管费马本人无论是在他留下的笔记中,还是在他与数学家们的通信中都只是提出了这个猜想并没有给出具体的证明,但其因其非凡的魅力而一直吸引着数学家们几个世纪以来。
费马大定理的陈述是这样的:对于任意大于2的自然数n,方程x^n +y^n = z^n没有整数解。
值得注意的是,当n=2时,这个方程有无数个整数解,被称为勾股数。
但费马大定理要求的是当n大于2时,这个方程没有整数解。
整个数学界对费马大定理进行了难以计数的尝试,数学家们出尽了各种方法和思路,试图找到一个证明。
但直到1994年,英国数学家安德鲁·怀尔斯以及他所采用的新的数学工具,才让费马大定理的证明终于问世。
怀尔斯的证明涉及一种数学分支称为“模形式”。
这种理论最早由德国数学家戴德金在19世纪开创,但怀尔斯基于广义模形式的进一步发展,成功地将其运用在费马大定理的证明中。
怀尔斯的证明非常复杂且晦涩难懂。
他的方法涉及到了代数几何和数论等多个数学分支的知识,需要大量高度抽象的数学技巧。
尽管如此,他的证明还是被众多数学家认可,并且已经被广泛证实。
费马大定理的证明不仅仅是一个单纯的数学成就,更象征着人类的智慧和数学的力量。
它揭示了数学世界中一个最基本的普遍真理,对于数学的发展和应用具有极其重要的意义。
除了怀尔斯的证明,费马大定理还有其他相对简单但是对大多数人更容易理解的证明。
其中一种方法是靠近没有严格性的范围,采用概率统计的方法来推导出费马大定理的证明。
费马大定理虽然令无数数学家斩获一代又一代,但对于大多数人来说,这个问题本身可能并没有实际应用,没有直接的经济效益。
但这个问题本身所需要的思维方式和数学技巧,对人类的思维乃至整个数学科学的发展具有重要的推动作用。
总之,费马大定理作为数学史上的一个谜题,激发了数学家们几个世纪以来的好奇心和求知欲望。
费马大定理是指对于任何大于2的整数n,不存在整数x、y和z,使得x^n + y^n = z^n。
费马在1637年提出了这个定理,但直到1994年才被英国数学家安德鲁·怀尔斯证明。
当n=4时,费马大定理变为:不存在整数x、y和z,使得x^4 + y^4 = z^4。
以下是费马大定理n=4的证明:第一步,假设存在整数x、y和z,使得x^4 + y^4 = z^4。
第二步,根据费马小定理,如果p是素数且p|x,则p^2|x^2。
由于x^4是平方数,所以如果p|x^4,则p^2|x^4。
第三步,由于x^4 + y^4是平方数,根据费马小定理,如果p 是素数且p|x^4 + y^4,则p^2|x^4 + y^4。
第四步,由于x^4 + y^4 = z^4,我们可以得到z^2|x^4 + y^4。
根据第三步,z^2|x^4和z^2|y^4。
第五步,由于z是整数,z的平方根也是整数。
设z的平方根为s,则s|x^2和s|y^2。
第六步,由于x和y都是整数,x/s和y/s也是整数。
因此,(x/s)^2 + (y/s)^2 = z/s)^2。
第七步,根据第五步和第六步的结论,我们可以得到(x/s)^2和(y/s)^2都是整数。
这意味着x/s和y/s都是整数或半整数。
第八步,如果x/s和y/s都是整数或半整数,那么z/s必须是整数或半整数。
但是z是整数,所以z/s必须是整数。
这意味着z 必须是s的倍数。
第九步,由于z是任意整数,所以z必须是某个素数的平方根的倍数。
但是素数的平方根不是整数(除了1),所以这与我们的假设矛盾。
综上所述,不存在整数x、y和z,使得x^4 + y^4 = z^4。
因此,费马大定理n=4成立。
1 费马大定理费马大定理:(1)当整数n > 2时,关于x, y, z的不定方程x^n + y^n = z^n.((x , y) = (x , z) = (y , z) = 1[n是一个奇素数]x>0,y>0,z>0,且xyz≠0)无整数解。
这个定理,本来又称费马最后定理,由17世纪法国数学家费马提出,而当时人们称之为“定理”,并不是真的相信费马已经证明了它。
虽然费马宣称他已找到一个绝妙证明,但经过三个半世纪的努力,这个世纪数论难题才由普林斯顿大学英国数学家安德鲁·怀尔斯和他的学生理查·泰勒于1995年成功证明。
证明利用了很多新的数学,包括代数几何中的椭圆曲线和模形式,以及伽罗华理论和Hecke代数等,令人怀疑费马是否真的找到了正确证明。
而安德鲁·怀尔斯(Andrew Wiles)由于成功证明此定理,获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。
(2)证明方法五十年代日本数学家谷山丰首先提出一个有关椭圆曲线的猜想,后来由另一位数学家志村五郎加以发扬光大,当时没有人认为这个猜想与费马定理有任何关联。
在八十年代德国数学家佛列将谷山丰的猜想与费马定理联系在一起,而安德鲁·怀尔斯所做的正是根据这个关联论证出一种形式的谷山丰猜想是正确的,进而推出费马最后定理也是正确的。
这个结论由威利斯在1993年的6月21日於美国剑桥大学牛顿数学研究所的研讨会正式发表,这个报告马上震惊整个数学界,就是数学门墙外的社会大众也寄以无限的关注。
不过怀尔斯的证明马上被检验出有少许的瑕疵,于是怀尔斯与他的学生又花了十四个月的时间再加以修正。
1994年9月19日他们终於交出完整无瑕的解答,数学界的梦魇终於结束。
1997年6月,怀尔斯在德国哥庭根大学领取了佛尔夫斯克尔奖。
当年的十万马克约为两百万美金,不过怀尔斯领到时,只值五万美金左右,但安德鲁·怀尔斯已经名列青史,永垂不朽了。
费马大定理的证明与应用费马大定理,即费马最后定理,是一道由法国数学家费尔马于1637年提出,并在他逝世后的358年才由英国数学家安德鲁·怀尔斯证明的数论问题。
费马大定理表述为:对于任何大于2的正整数n,方程x^n+y^n=z^n在正整数域内没有整数解。
在整个证明过程中,怀尔斯基于现代代数几何中的椭圆曲线理论,具体采用了椭圆曲线的特殊形式以及费尔马数的性质来推导证明费马大定理。
首先,怀尔斯假设费马大定理不成立,即存在一组解(x,y,z)使得x^n+y^n=z^n成立。
然后,他考虑了椭圆曲线y^2=x(x-z^n)(x+z^n)的性质,并使用了射影无穷点概念,将平面曲线扩展至射影平面上。
接着,怀尔斯分别考虑了两个辅助椭圆曲线y^2=x(x-z^n)(x+2z^n)和y^2=x^3-z^n^2,通过分析它们的有理点和无理点的性质,在上述射影平面上构建了一个无限递降的序列。
基于无限递降的性质,怀尔斯得出了一个矛盾,说明了费马大定理的成立,从而完成了证明。
费马大定理的证明具有极高的难度和复杂性,包含了大量高级数学知识和技巧,证明过程中需要运用代数几何、椭圆曲线、无穷递降等多个数学分支的理论。
因此,费马大定理的证明一直是数论领域中备受关注和研究的问题之一,也是代数数论与几何数论中的一大突破。
费马大定理虽然在它提出后的几个世纪里一直没有得到证明,但它的重要性和影响力是无法忽视的。
首先,费马大定理是数论中非常有名的问题之一,它的证明不仅仅解决了费马大定理本身的问题,还借助了椭圆曲线和代数几何的深入研究推动了数学领域其他相关问题的研究。
其次,费马大定理的证明方法和思想在数学研究中具有很高的价值和启发性,对于数论、代数几何等学科的发展都产生了积极的影响。
此外,费马大定理的证明过程中的一些技巧和方法也为解决其他难题提供了思路和路径,是现代数学发展中的重要贡献之一最后,费马大定理的证明有助于拓展人类对数学的认识和理解,展示了数学的深刻内涵和无限魅力。
费马大定理pdf
费马大定理是一个20世纪最重要的数学定理之一,由意大利数
学家费西亚·费马发现并证明的。
这条定理表明,当n是大于2的素
数时,任何一个大于1的整数都可以以2的幂次来表示。
费马大定理可以这样表述,让n表示一个大于2的素数,让a表
示一个不超过n的正整数,那么,如果a和n互素,那么满足条件:
a^(n - 1) mod n = 1。
这里,mod表示取余,也就是取立方求余,如
果是mod n,就是在n上取立方求余。
费马大定理成为20世纪的关键定理之一,因为它帮助数学家们
理解什么是计算模算法,从而帮助椭圆曲线加密学发展,有助于计算
机科学领域的进一步发展。
由于费马大定理的重要性,它在 21 世纪也得到了进一步的发展
与应用。
它可以用于判断一个整数是否是素数,还可以用于设计密码
学中安全性更高的计算模型,提高安全性,减少信息被窃取的可能性。
总之,费马大定理是一条基础且十分重要的数学定理,它不仅用
途广泛,而且影响也深远,因此它所发挥的作用也十分重要。
关于费马大定理费马在数论方面的有几个猜想,除了他关于素数的猜想,费马大定理是费马的所有猜想中最困难、最有影响的一个,从1637年提出直到1994年有怀尔斯(A.Wiles )解决,整整经历了357年,费马大定理的证明是20世纪诸多重大数学成就之一。
1. 什么是费马大定理?费马大定理又称费马最后一个定理(Fermat ’ Last Theorem ),简记成FLT ,据说是由于到19世纪初期,除了这个定理以外,费马的所有其他猜想均以被解决而得名。
1637年费马在阅读古希腊数学家丢番图著的《算术》的拉丁文译本中第二卷第八个命题:“把一个平方数写成两个平方数之和”时,在书的填白处写道:“相反,不能把一个立方数写成两个立方数之和,也不能把一个四次方表成两个四次方之和,一般地,每个幂次大于2的方幂数均不能表成两个同样方幂次之和,我对此已经找到了一个真正奇妙的证明,但空白的地方太小写不下。
”这就是数学史上著名的费马大定理,用现代术语可表述如下:对每个正整数3≥n ,方程n n n z y x =+均没有正整数解),,(z y x 使得0≠xyz 。
对于2=n 的情况,早在三千多年前,即公元前1100年,我国西周的商高就提出了“勾3股4弦5”的结论,在几何上讲,这是勾股定理的特例,从代数角度看,就是方程222z y x =+有一组整数解)5,4,3(。
费马大定理一提出就立即引起了数学界的兴趣,特别是数学家们都在寻找他说的“奇妙证明”。
多数数学家对此说持怀疑态度。
至少可以说,方程n n n z y x =+对于费马并不是典型的,他所研究的绝大多数方程的指数均小于等于4。
此外,他在与朋友的通信中只叙述了3=n 的情形。
对4=n 时,他采用无穷下降(推)的技巧给出了证明。
虽然后人一直未找到他的证明细节,但对此却确信无疑,因为这可由费马的另一个定理推出。
这个定理是:“三边为整数的直角三角形的面积不能为平方数”。
而后者的证明,费马写在空白处。
费马最后的定理费马大定理,又被称为“费马最后的定理”,由17世纪法国数学家皮耶·德·费玛提出。
它断言当整数n >2时,关于x, y, z的方程x^n + y^n = z^n 没有正整数解。
德国佛尔夫斯克曾宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人,吸引了不少人尝试并递交他们的“证明”。
被提出后,经历多人猜想辩证,历经三百多年的历史,最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。
大约1637年左右,法国学者费马在阅读丢番图(Diophatus)《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。
关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。
”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。
数学家们的有关工作丰富了数论的内容,推动了数论的发展。
证明完成定理到了最后攻关阶段,并且这刚好是他的研究领域,他开始放弃所有其它活动,精心疏理有关领域的基本理论,为此准备了一年半时间把椭圆曲线与模形式通过伽罗瓦表示方法“排队”。
接下来的要将二种“排队”序列对应配对,这一步他二年无进展。
此时他读博时学的岩泽理论一度取得实效,到1991年他之前的导师科茨告诉他有位叫弗莱切的学生用苏联数学家科利瓦金的方法研究椭圆曲线,这一方法使其工作有重大进展。
1993年6月在剑桥牛顿学院要举行一个名为“L函数和算术”的学术会议,组织者之一正是怀尔斯的博士导师科茨,于是在1993年6月21日到23日怀尔斯被特许在该学术会上以“模形式、椭圆曲线与伽罗瓦表示”为题,分三次作了演讲。
费马最后的定理费马大定理,又被称为“费马最后的定理”,由17世纪法国数学家皮耶·德·费玛提出。
它断言当整数n >2时,关于x, y, z的方程x^n + y^n = z^n 没有正整数解。
德国佛尔夫斯克曾宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人,吸引了不少人尝试并递交他们的“证明”。
被提出后,经历多人猜想辩证,历经三百多年的历史,最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。
大约1637年左右,法国学者费马在阅读丢番图(Diophatus)《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。
关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。
”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。
数学家们的有关工作丰富了数论的内容,推动了数论的发展。
证明完成定理到了最后攻关阶段,并且这刚好是他的研究领域,他开始放弃所有其它活动,精心疏理有关领域的基本理论,为此准备了一年半时间把椭圆曲线与模形式通过伽罗瓦表示方法“排队”。
接下来的要将二种“排队”序列对应配对,这一步他二年无进展。
此时他读博时学的岩泽理论一度取得实效,到1991年他之前的导师科茨告诉他有位叫弗莱切的学生用苏联数学家科利瓦金的方法研究椭圆曲线,这一方法使其工作有重大进展。
1993年6月在剑桥牛顿学院要举行一个名为“L函数和算术”的学术会议,组织者之一正是怀尔斯的博士导师科茨,于是在1993年6月21日到23日怀尔斯被特许在该学术会上以“模形式、椭圆曲线与伽罗瓦表示”为题,分三次作了演讲。
费马大定理(Fermat's last theorem)现代表述为:当n>2时,方程xn+yn=zn没有正整数解。
费马大定理的提出涉及到两位相隔1400年的数学家,一位是古希腊的丢番图,一位是法国的费马。
丢番图活动于公元250年左右,他以著作《算术》闻名于世,不定方程研究是他的主要成就之一。
他求解了他这样表述的不定方程(《算术》第2卷第8题):将一个已知的平方数分为两个平方数。
(1)现在人们常把这一表述视为求出不定方程x2+y2=z2 (2)的正整数解。
因而,现在一般地,对于整系数的不定方程,如果只要求整数解,就把这类方程称为丢番图方程。
有时把不定方程称为丢番图方程。
关于二次不定方程(1)的求解问题解决后,一个自然的想法是问未知数指数增大时会怎么样。
费马提出了这一数学问题。
费马生前很少发表作品,一些数学成果常写在他给朋友的信中,有的见解就写在所读的书页的空白处。
他去世后,才由后人收集整理出版。
1637年前后,费马在读巴歇校订注释的丢番图的《算术》第2卷第8题,即前引表述(1)时,在书的空白处写道:“另一方面,将一个立方数分成两个立方数,一个四次幂分为两个四次幂,或者一般地将一个高于二次的幂分为两个同次的幂,这是不可能的。
关于此,我已发现一种美妙的证法,可惜这里空白的地方太小,写不下。
” (3)费马去世后,人们在整理他的遗物时发现了这一段话,却没有找到证明,这更引起了数学界的兴趣。
后来,表述(3)被理解为:当整数n>2时,方程xn+yn=zn (4)没有正整数解。
欧拉、勒让德、高斯等大数学家都试证过这一命题,但都没有证明出来,问题表述的简单和证明的困难,吸引了更多的人投入证明工作。
这一命题就被称为费马猜想,又叫做费马问题,但更多地被叫做“费马最后定理”,在我国,则一般称之为费马大定理。
“费马最后定理”的来历可能是:费马一生提出过许多数论命题,后来经过数学界的不懈努力,到1840年前后,除了一个被反驳以外,大多数都被证明,只剩下这个费马猜想没有被证明,因此称之为“最后定理”。
费马大定理目录[隐藏]原理简介理论发展理论发展证明方法应用实例费马大定理Fermas last theorem[编辑本段]原理简介费马大定理:当整数n > 2时,关于x, y, z的不定方程x^n + y^n = z^n.((x , y) = (x , z) = (y , z) = 1[n是一个奇素数]x>0,y>0,z>0)无整数解。
这个定理,本来又称费马最后定理,由17世纪法国数学家费马提出,而当时人们称之为“定理”,并不是真的相信费马已经证明了它。
虽然费马宣称他已找到一个绝妙证明,但经过三个半世纪的努力,这个世纪数论难题才由普林斯顿大学英国数学家安德鲁·怀尔斯和他的学生理查·泰勒于1995年成功证明。
证明利用了很多新的数学,包括代数几何中的椭圆曲线和模形式,以及伽罗华理论和Hecke代数等,令人怀疑费马是否真的找到了正确证明。
而安德鲁·怀尔斯(Andrew Wiles)由于成功证明此定理,获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。
[编辑本段]理论发展1637年,费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。
关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。
”(拉丁文原文: "Cui us rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。
数学家们的有关工作丰富了数论的内容,推动了数论的发展。
对很多不同的n,费马定理早被证明了。
但数学家对一般情况在首二百年内仍一筹莫展。
高斯对费马大定理的评价
一、费马大定理的背景及内容
费马大定理,又称费马最后定理,是法国数学家皮埃尔·德·费马于1637年提出的一个著名数学猜想。
该定理的内容是:对于任何大于2的整数n,方程x^n + y^n = z^n 不存在正整数解。
二、高斯对费马大定理的评价
作为数学史上的一位杰出人物,高斯(Carl Friedrich Gauss)对费马大定理的评价是非常高的。
他认为费马大定理是一个极具挑战性的问题,并提出了一些有关该问题的研究思路。
然而,高斯并没有在其一生中证明费马大定理。
三、费马大定理的影响及意义
费马大定理的提出,激发了无数数学家对其进行研究。
在长达300多年的历史中,费马大定理成为数学史上最著名的未解问题之一。
它的影响不仅在于激发了数学家们对于数论、几何、代数等领域的研究热情,更在于推动了许多数学方法的创新发展。
终于在1994年,英国数学家安德鲁·怀尔斯(Andrew Wiles)成功证明了费马大定理。
这一成果不仅标志着一个数学史上悬而未决的难题得到解决,还揭示了许多数学理论之间的深刻联系。
四、结论
费马大定理的证明,为数学家们提供了一个宝贵的启示:在数学研究中,不畏艰难,勇于挑战,往往能取得突破性的成果。
同时,费马大定理的证明也彰显了数学家们严谨治学、追求真理的精神。
如何证明费马大定理?在数学领域中,费马大定理被认为是数学中的神话之一。
这个问题自17世纪以来一直困扰着许多数学家,包括欧拉、高斯、黎曼等数学家。
直到20世纪,数学家凯西证明了这个问题,为数学界带来了新的突破。
那么,如何证明费马大定理呢?接下来,本文将为读者介绍证明费马大定理的过程和其中的数学知识点。
一、费马大定理是什么?费马大定理是指对于任何大于2的正整数n,不存在三个正整数a、b、c,使得a^n + b^n = c^n 成立。
费马大定理在数学上有着重要的意义,因为它涉及到了数学中的很多基本概念和理论,如模运算、同余数、尺规作图等。
可见,证明费马大定理并不是一个易如反掌的事情。
二、费马大定理的证明历程费马大定理的证明历程可谓是经历了数百年的漫长道路。
其中,最为著名的就是安德鲁-怀尔斯的证明。
怀尔斯的证明基于群论和数学分析,建立了整个证明过程的基础。
直到1994年,安德鲁-怀尔斯在使用计算机证明后,终于证明了费马大定理。
三、关于费马大定理证明的思考费马大定理的证明之所以困难,是因为它牵涉到了数学中的很多基础概念和理论。
因此,在解决这个问题时,我们只能从各个角度进行思考,运用不同的数学知识去解决这个问题。
这就需要我们在数学领域中,不断探索、不断创新,才能激发出数学的强大能力。
因此,学习数学不仅需要理论知识的积累,更需要真正理解和思考。
四、结语费马大定理作为数学领域中的一个经典问题,一直吸引着数学家们的关注。
通过本文的介绍,相信大家对于费马大定理有了更深入的认识,并了解了证明这一难题的历程。
我们相信,在不断学习和思考的过程中,我们可以探索出更多未知的数学领域,进而推动数学的发展进程。
费马大定理费马费马大定理:当整数n > 2时,关于x, y, z的不定方程 x^n + y^n = z^n. 无正整数解。
目录原理简介理论发展理论发展证明方法应用实例原理简介理论发展理论发展证明方法应用实例展开原理简介费马大定理这个定理,本来又称费马最后的定理,由17世纪法国数学家费马提出,而当时人们称之为“定理”,并不是真的相信费马已经证明了它。
虽然费马宣称他已找到一个绝妙证明,但经过三个半世纪的努力,这个世纪数论难题才由普林斯顿大学英国数学家安德鲁·怀尔斯和他的学生理查·泰勒于1995年成功证明。
证明利用了很多新的数学,包括代数几何中的椭圆曲线和模形式,以及伽罗华理论和Hecke代数等,令人怀疑费马是否真的找到了正确证明。
而安德鲁·怀尔斯(Andrew Wiles)由于成功证明此定理,获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。
理论发展发现费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。
关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。
”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。
数学家们的有关工作丰富了数论的内容,推动了数论的发展。
对很多不同的n,费马定理早被证明了。
但数学家对一般情况在首二百年内仍对费马大定理一筹莫展。
奖励德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人,吸引了不少人尝试并递交他们的“证明”。
在一战之后,马克大幅贬值,该定理的魅力也大大地下降。
莫德尔猜想1983年,联邦德国数学家伐尔廷斯证明了莫德尔猜想,从而翻开了费马大定理研究的新篇章.获得1982年菲尔兹奖伐尔廷斯于1954年7月28日生于联邦德国的杰尔森柯琛,并在那里渡过了学生时代,而后就学于内斯涛德教授门下学习数学.1978年获得博士学位.他作过研究员、助教,现在是乌珀塔尔的教授.他在数学上的兴趣开始于交换代数,以后转向代数几何.1922年,英国数学家莫德尔提出一个著名猜想,人们叫做莫德尔猜想.按其最初形式,这个猜想是说,任一不可约、有理系数的二元多项式,当它的“亏格”大于或等于2时,最多只有有限个解.记这个多项式为f(x,y),猜想便表示:最多存在有限对数偶xi,yi∈Q,使得f(xi,yi)=0.后来,人们把猜想扩充到定义在任意数域上的多项式,并且随着抽象代数几何的出现,又重新用代数曲线来叙述这个猜想了.因此,伐尔廷斯实际上证明的是:任意定义在数域K上,亏格大于或等于2的代数曲线最多只有有限个K一点.数学家对这个猜想给出各种评论,总的看来是消极的.1979年利奔波姆说:“可以有充分理由认为,莫德尔猜想的获证似乎还是遥远的事.”对于“猜想”,1980年威尔批评说:“数学家常常自言自语道:要是某某东西成立的话,‘这就太棒了’(或者‘这就太顺利了’).有时不用费多少事就能够证实他的推测,有时则很快否定了它.但是,如果经过一段时间的努力还是不能证实他的预测,那么他就要说到‘猜想’这个词,既便这个东西对他来说毫无重要性可言.绝大多数情形都是没有经过深思熟虑的。
”因此,对莫德尔猜想,他指出:我们稍许来看一下“莫德尔猜想”.它所涉及的是一个算术家几乎不会不提出的问题;因而人们得不到对这个问题应该去押对还是押错的任何严肃的启示.然而,时隔不久,1983年伐尔廷斯证明了莫德尔猜想,人们对它有了全新的看法.在伐尔廷斯的文章里,还同时解决了另外两个重要猜想,即台特和沙伐尔维奇猜想,它们同莫德尔猜想具有同等重大意义.这里主要解释一下莫德尔猜想,至于证明就不多讲了.所谓代数曲线,粗略一点说,就是在包含K的任意域中,f(x,y)=0的全部解的集合.令F(x,y,z)为d次齐次多项式,其中d为f(x,y)的次数,并使F(x,y,1)=f(x,y),那么f(x,y)的亏格g为g≥(d-1)(d-2)/2当f(x,y)没有奇点时取等号.费马多项式x^n+y^n-1没有奇点,其亏格为(n-1)(n-2)/2.当n≥4时,费马多项式满足猜想的条件.因此,xn+yn=zn最多只有有限多个整数解.为什么猜想中除去了f(x,y)的亏格为0或1的情形,即除去了f(x,y)的次数d小于或等于3的情形呢?我们说明它的理由.d=1时,f(x,y)=ax+by+c显然有无穷多个解.d=2时,f(x,y)可能没有解,例如f(x,y)=x2+y2+1;但是如果它有一个解,那么必定有无穷多个解.我们从几何上来论证这一点.设P是f(x,y)解集合中的一点,令l表示一条不经过点P的直线(见上图).对l上坐标在域K中的点Q,直线PQ通常总与解集合交于另一点R.当Q在l上取遍无穷多个K—点时,点R的集合就是f(x,y)的K—解的无穷集合.例如把这种方法用于x2+y2-1,给出了熟知的参数化解:当F(X,Y,Z)为三次非奇异(即无奇点)曲线时,其解集合是一个所谓椭圆曲线.我们可用几何方法做出一个解的无穷集.但是,对于次数大于或等于4的非奇异曲线F,这种几何方法是不存在的.虽然如此,却存在称为阿贝尔簇的高维代数簇.研究这些阿贝尔簇构成了伐尔廷斯证明的核心.伐尔廷斯在证明莫德尔猜想时,使用了沙伐尔维奇猜想、雅可比簇、高、同源和台特猜想等大量代数几何知识.莫德尔猜想有着广泛的应用.比如,在伐尔廷斯以前,人们不知道,对于任意的非零整数a,方程y2=x5+a在Q中只有有限个有限组互质1983年,en:Gerd Faltings证明了Mordell猜测,从而得出当n > 2时(n为整数),只存在有限组互质的a,b,c使得a^n + b^n = c*n。
Gerhard Frey1986年,Gerhard Frey 提出了“ ε-猜想”:若存在a,b,c使得a^n + b^n = c^n,即如果费马大定理是错的,则椭圆曲线y^2 = x(x - a^n)(x + b^n) 会是谷山-志村猜想的一个反例。
Frey的猜想随即被Kenneth Ribet 证实。
此猜想显示了费马大定理与椭圆曲线及模形式的密切关系。
怀尔斯和泰勒1995年,怀尔斯和泰勒在一特例范围内证明了谷山-志村猜想,Frey的椭圆曲线刚好在这一特例范围内,从而证明了费马大定理。
怀尔斯怀尔斯证明费马大定理的过程亦甚具戏剧性。
他用了七年时间,在不为人知的情况下,得出了证明的大部分;然后于1993年6月在一个学术会议上宣布了他的证明,并瞬即成为世界头条。
但在审批证明的过程中,专家发现了一个极严重的错误。
怀尔斯和泰勒然后用了近一年时间尝试补救,终在1994年9月以一个之前怀尔斯抛弃过的方法得到成功,这部份的证明与岩泽理论有关。
他们的证明刊在1995年的数学年刊(en:Annals of Mathematics)之上。
n=3欧拉证明了n=3的情形,用的是唯一因子分解定理。
n=4费马自己证明了n=4的情形。
n=51825年,狄利克雷和勒让德证明了n=5的情形,用的是欧拉所用方法的延伸,但避开了唯一因子分解定理。
n=71839年,法国数学家拉梅证明了n=7的情形,他的证明使用了跟7本身结合的很紧密的巧妙工具,只是难以推广到n=11的情形;于是,他又在1847年提出了“分圆整数”法来证明,但没有成功。
对于所有小于100的素指数n库默尔在1844年提出了“理想数”概念,他证明了:对于所有小于100的素指数n,费马大定理成立,此一研究告一阶段。
谷山——志村猜想1955年,日本数学家谷山丰首先猜测椭圆曲线于另一类数学家们了解更多的曲线——模曲线之间存在着某种联系;谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山——志村猜想”,这个猜想说明了:有理数域上的椭圆曲线都是模曲线。
这个很抽象的猜想使一些学者搞不明白,但它又使“费马大定理”的证明向前迈进了一步。
谷山——志村猜想和费马大定理之间的关系1985年,德国数学家弗雷指出了谷山——志村猜想”和费马大定理之间的关系;他提出了一个命题:假定“费马大定理”不成立,即存在一组非零整数A,B,C,使得A的n次方+B的n次方=C的n次方(n>2),那么用这组数构造出的形如y的平方=x(x+A的n次方)乘以(x-B的n次方)的椭圆曲线,不可能是模曲线。
尽管他努力了,但他的命题和“谷山——志村猜想”矛盾,如果能同时证明这两个命题,根据反证法就可以知道“费马大定理”不成立,这一假定是错误的,从而就证明了“费马大定理”。
但当时他没有严格证明他的命题。
弗雷命题1986年,美国数学家里贝特证明了弗雷命题,于是希望便集中于“谷山——志村猜想”。
谷山——志村猜想”成立1993年6月,英国数学家维尔斯证明了:对有理数域上的一大类椭圆曲线,“谷山——志村猜想”成立。
由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线,也就表明了他最终证明了“费马大定理”;但专家对他的证明审察发现有漏洞,于是,维尔斯又经过了一年多的拼搏,于1994年9月彻底圆满证明了“费马大定理” 。
n<1,000,000至1991年对费马大定理指数n<1,000,000费马大定理已被证明, 但对指数n>1,000,000没有被证明. 已成为世界数学难题。
理论发展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多年时间,创立了理想数理论,为代数数论奠下基础;库麦尔证明当n<100时除37、59、67三数外费马大定理均成立。
为推进费马大定理的证明,布鲁塞尔和巴黎科学院数次设奖。
1908年德国数学家佛尔夫斯克尔临终在哥廷根皇家科学会悬赏10万马克,并充分考虑到证明的艰巨性,将期限定为100年。
数学迷们对此趋之若鹜,纷纷把“证明”寄给数学家,期望凭短短几页初等变换夺取桂冠。
德国数学家兰道印制了一批明信片由学生填写:“亲爱的先生或女士:您对费马大定理的证明已经收到,现予退回,第一个错误出现在第_页第_行。