费马大定理.ppt_第1页
费马大定理.ppt_第2页
费马大定理.ppt_第3页
费马大定理.ppt_第4页
费马大定理.ppt_第5页
已阅读5页,还剩4页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、费马定理,费马历史背景,费马(Pierre de Fermat,1601年8月17日出生于法国博蒙德罗马(Beaumont-de-Lomagne)1665年1月12日出生于法国卡斯特),法国律师他的数学费马的父亲是个很富有的皮革商人。 费马出生的房子,现在变成了费马博物馆。 20世纪20年代中期,他进入图卢斯大学后,搬到波尔多居住,在那里开始了第一次正式的数学研究,认识数学家简贝尔格兰德。 他们之间有很多数学交流,即使费马搬到图卢兹也不会改变。 此后,他相继认识了Pierre de Carcavi、马兰梅森、勒内笛卡尔等数学家,有很多书信往来,费马的数学成果大多是在这些书信中产生的。 关于费马

2、定理、费马定理、别名费马的推测,是17世纪的法国数学家费马留给后世的谜。 比戈德巴赫预期的要长,更有名的问题曾经吸引了无数贤者,困惑,难以打倒许多优秀的数学家。 直到358年后的1995年,这个问题才被美国数学家安德鲁威尔斯克服。 费马大定理:整数n 2时,关于x,y,z的不定方程式xn yn=zn .没有正整数解。 根据费马的发现,费马在阅读迪普图拉丁语译本时,在第11卷第8命题旁边,“不可能把一个立方数分成两个立方数之和,或者把一个四次方分成两个四次方之和,或者把高于一个二次方的次方分成两个平方之和关于这个,我确信找到了很棒的证据法,但是遗憾的是这里的空白的地方太小写不了。 ”“这是一个很

3、好的例子。” (拉丁文原文: cuiusreidemonstrationemmirabilemsanedetexi.hancmarginisexiguitasnoncaperet.)费马没有写证明,但其他推测对数学有很大贡献数学家们的关系工作丰富了数论的内容,推动了数论的发展。 对于许多不同的n,费马定理早就被证明了。 但是,数学家对于一般情况在最初的200年内也不能很好地应用费马定理。 在这个过程中,奖励德国的富尔夫斯克以10万马克为奖金奖,在他去世后的100年内,第一次向证明了这个定理的人,发表了很多人尝试提出他们的“证明”。 一战后,马克大幅贬值,这个定理的魅力也大大降低了。莫德尔于19

4、83年由联邦德国数学家巴丁斯证实了莫德尔的推测,揭开费马定理研究的新篇章获得1982年菲尔兹奖的巴丁斯于1954年7月28日出生于联邦德国的杰尔森科亨, 在那里度过学生时代的现在乌帕尔的教授开始带着数学的兴趣交换代数,之后转向代数几何的1922年,英国的数学家模型提出了有名的推测,人们认为模型推测是其第一种形式,该推测是任何不可约、有理系数的二元多项式,其“亏格”在2以上根据预测,在有限对数偶xi,yiQ存在最多,f(xi,yi)=0之后,人们将预测扩展为任意数域中定义的多项式,随着抽象代数几何的出现,用代数曲线重新描述该预测, 巴丁斯实际上证明任意定义在数个域k上的亏格在2以上的代数曲线,最

5、多只有有限的k分数学家对这个预想发表了各种各样的评论,总之消极的1979年的利奔姆说:“我认为模型预想的证据还很远是充分的理由1980年威尔说:“数学家常常自言自语:如果有什么成立这个很棒(或者这个太顺利)的时候可以不费事地证明他的推测,有时也可以否定,但如果经过时间的努力也证明不了他的预测,那么他就推测这个词可以说这对他来说不重要的大部分情况都没有深思熟虑。 ”“这是一个很好的例子。” 因此,关于模型的预想,他说:“稍微看一下模型的预想吧。 那个和算术家几乎不提出的问题有关。 因此,人们对这个问题不能得到任何严肃的启示,但是,在1983年巴丁斯证明了模型的推测,人们对此持有新的看法在巴丁斯的

6、文章中,同时解决了其他两个重要的推测。 但专家发现他的证明审查有漏洞,韦尔又经过一年多的努力,在1994年9月彻底证明了“费马定理”。它们具有与模型预期相同的重要意义,在此主要说明模型预期,但对于证明,称为代数曲线的情况不多,一般而言,在包括k在内的任意领域中,f(x,y,z )是所有解的集合命令f(x,y,z )为d次多项式的亏格g在g(d-1)(d-2)/2f(x,y )没有奇点的情况下取等号的费马多项式xn yn-1没有奇点,其亏格是(n-1)(n-2 ),其理由d=1时,f(x,y)=ax by c明显具有无限的解d=2 但是,几何论述有解,一定有无限多的解。 这是f(x,y )解集合

7、中的一个点,l是不通过点p的直线(参照上图)对l上的坐标表示区域k中的点q,直线PQ始终与解集合相交的y )的k解的无限集合,例如这个方法应用于x2 y2-1 该解集合可以用被称为椭圆曲线的几何方法来制作解的无限集合,但是提供对次数为4以上的情况熟知的残奥仪表解,然而,存在被称为阿贝集群的高维代数集群,这些阿贝集群构成巴尔蒂斯证明的核心巴尔蒂斯, 在证明摩尔廷斯预测时,使用大量代数几何知识的摩尔廷预测如沙巴维奇预测、雅可比集群、高、同源和台特预测等被广泛应用,例如,在巴尔廷斯以前人们不知道的方程式y2=x5 a或q中只有有有限个的有限群互相en 3360绿色故障提升证明了模型的推测,当n 2时

8、(n是整数),有限群的a、b、c证明了存在an bn=c*n,在1986年,绿色故障证明了存在a、b、c 也就是说,如果费马定理错误的话,提出椭圆曲线y2=x(x )的Frey的预测立即被Kenneth Ribet证实了。 该预测显示了费马定理与椭圆曲线及模型形式的密切关系。 编辑本段的病毒和泰勒在1995年,病毒和泰勒在特例范围内谷山志村证明了Frey的椭圆曲线正好在这个特例范围内,证明了费马定理。 威尔斯威尔斯证明费马定理的过程也很戏剧。 他花了七年的时间,在不为人知的情况下,得到了大部分证明,并于1993年6月在学术会议上发表了他的证明,瞬间成为世界第一。 但是,在承认证明的过程中,专家

9、发现了非常严重的错误。 怀尔斯和泰勒在这一年中尝试救济,终于以怀尔斯在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年提出并证明了“

10、分圆整数”法,但没有成功。 对于所有不足100的素指数n -马克,1844年提出了“理想数”的概念,他证明了对于不足100的素指数n -马克,费马定理成立,这项研究报告了一个阶段。谷山志村在1955年,日本的数学家谷山丰首先推测椭圆曲线是其他数学家在更多的曲线模型曲线之间有某种联系。 谷山的推测由韦依和志村五郎进一步精确化,形成了所谓的“谷山志村预想”。 该预测显示了有理数域上的椭圆曲线都是模型曲线。 这种抽象的预想有些学者不明白,但它又使“费马定理”的证明进一步提高了。 谷山志村预测和费马定理的关系1985年,德国的数学家弗雷指出谷山志村预测和费马定理的关系,他假定“费马定理”不成立,即,a的n次方b的n次方=C的n次方(n2)存在于该组的尽管他努力了,但他的命题与“谷山志村猜想”相矛盾,如果能同时证明这两个命题,根据反证法可知“费马定理”不成立,这个假设是错误的,证明了“费马定理”。 但是当时他没有严格证明他的命题。 弗雷命题1986年,美国的数学家贝特证明了弗雷命题,想着重于“

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论