费马大定理
费马大定理：数学史上的谜之猜想
费马大定理，又被称为费马猜想或费马最后定理，是数学史上的一道备受关注的谜题。
这个猜想得名于17世纪的法国数学家皮埃尔·费马。
尽管费马本人无论是在他留下的笔记中，还是在他与数学家们的通信中都只是提出了这个猜想并没有给出具体的证明，但其因其非凡的魅力而一直吸引着数学家们几个世纪以来。
费马大定理的陈述是这样的：对于任意大于2的自然数n，方程x^n +y^n = z^n没有整数解。
值得注意的是，当n=2时，这个方程有无数个整数解，被称为勾股数。
但费马大定理要求的是当n大于2时，这个方程没有整数解。
整个数学界对费马大定理进行了难以计数的尝试，数学家们出尽了各种方法和思路，试图找到一个证明。
但直到1994年，英国数学家安德鲁·怀尔斯以及他所采用的新的数学工具，才让费马大定理的证明终于问世。
怀尔斯的证明涉及一种数学分支称为“模形式”。
这种理论最早由德国数学家戴德金在19世纪开创，但怀尔斯基于广义模形式的进一步发展，成功地将其运用在费马大定理的证明中。
怀尔斯的证明非常复杂且晦涩难懂。
他的方法涉及到了代数几何和数论等多个数学分支的知识，需要大量高度抽象的数学技巧。
尽管如此，他的证明还是被众多数学家认可，并且已经被广泛证实。
费马大定理的证明不仅仅是一个单纯的数学成就，更象征着人类的智慧和数学的力量。
它揭示了数学世界中一个最基本的普遍真理，对于数学的发展和应用具有极其重要的意义。
除了怀尔斯的证明，费马大定理还有其他相对简单但是对大多数人更容易理解的证明。
其中一种方法是靠近没有严格性的范围，采用概率统计的方法来推导出费马大定理的证明。
费马大定理虽然令无数数学家斩获一代又一代，但对于大多数人来说，这个问题本身可能并没有实际应用，没有直接的经济效益。
但这个问题本身所需要的思维方式和数学技巧，对人类的思维乃至整个数学科学的发展具有重要的推动作用。
总之，费马大定理作为数学史上的一个谜题，激发了数学家们几个世纪以来的好奇心和求知欲望。
费马大定理n=4的证明
费马大定理是指对于任何大于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，通过分析它们的有理点和无理点的性质，在上述射影平面上构建了一个无限递降的序列。
基于无限递降的性质，怀尔斯得出了一个矛盾，说明了费马大定理的成立，从而完成了证明。
费马大定理的证明具有极高的难度和复杂性，包含了大量高级数学知识和技巧，证明过程中需要运用代数几何、椭圆曲线、无穷递降等多个数学分支的理论。
因此，费马大定理的证明一直是数论领域中备受关注和研究的问题之一，也是代数数论与几何数论中的一大突破。
费马大定理虽然在它提出后的几个世纪里一直没有得到证明，但它的重要性和影响力是无法忽视的。
首先，费马大定理是数论中非常有名的问题之一，它的证明不仅仅解决了费马大定理本身的问题，还借助了椭圆曲线和代数几何的深入研究推动了数学领域其他相关问题的研究。
其次，费马大定理的证明方法和思想在数学研究中具有很高的价值和启发性，对于数论、代数几何等学科的发展都产生了积极的影响。
此外，费马大定理的证明过程中的一些技巧和方法也为解决其他难题提供了思路和路径，是现代数学发展中的重要贡献之一最后，费马大定理的证明有助于拓展人类对数学的认识和理解，展示了数学的深刻内涵和无限魅力。
费马大定理-一个困惑了世间智者358年的谜
的方法和思路来攻克这个难题。
新技术和方法的出现
代数几何和拓扑学的进展
随着代数几何和拓扑学的不断发展，这些领域的新技术和方法可能会为证明费马大定理提供新的思路和工具。
计算机辅助证明
随着计算机技术的不断发展，计算机在数学证明中的应用也越来越广泛，未来可能会通过计算机辅助证明来攻克 费马大定理。
费马大定理对未来数学的影响和启示
欧拉的努力
欧拉是历史上最早研究费马大定理的 数学家之一，他尝试使用代数方法证 明费马大定理，但最终未能成功。
欧拉在证明过程中发现了一些与费马 大定理相关的性质和定理，这些成果 对后来的研究具有重要的意义。
失败的尝试和数学的发展
许多数学家在费马大定理的证明上失败了，这些失败的尝试推动了数学的发展和 进步。
学等其他学科有着交叉融合的可能性，未来这种交叉融合的趋势将会更Leabharlann 加明显。THANKS
感谢观看
业余数学家，被誉为“业余数学家
之王”。
02
费马在数学领域做出了卓越的贡 献，包括费马小定理和费马大定 理，其中费马大定理尤为著名。
费马定理的提
1637年，费马在阅读古希腊数学家欧几里得的《几何原本》时， 在书的第二卷末尾提出了一个挑战性的问题：是否存在一个整 数幂大于2，使得对于所有整数n，都有(x^n + y^n = z^n)无 解？
01
推动数学的发展
费马大定理是数学史上的一个重要问题，攻克这个难题将会对数学的发
展产生深远的影响。
02
激发数学家的创新精神
费马大定理的挑战性和悬而未决的特性，将继续激发数学家的创新精神，
推动数学的不断进步。
03
促进数学与其他学科的交叉融合
费马大定理—数学史上著名的定理
— 数学史上著名的定理
中文名： 外文名： 费马大定理 Fermat’ s Last Theorem
别 称： 表达式：
费马最后的定理 x n y n z n (n 2时， 无正整数解)
提出者： 皮耶 • 德 • 费马(法国) 提出时间： 1637年左右 证明者： 安德鲁 • 怀尔斯(英国) 证明时间： 1995年彻底证明
历史研究
莫德尔猜想
1922年，英国数学家莫德尔提出一个著名猜想，人们叫 做莫德尔猜想。按其最初形式，这个猜想是说，任一不可约、 有理系数的二元多项式，当它的 “亏格” 大于或等于 2 时，最 多只有有限个解。记这个多项式为f ( x ， y )，猜想便表示：最 多存在有限对数偶 xi ， yi Q ，使得 f ( xi ， yi ) 0。后来，人们 把猜想扩充到定义在任意数域上的多项式，并且随着抽象 代数几何的出现，又重新用代数曲线来叙述这个猜想了。 ( n 1)( n 2) n n 而费马多项式 x y 1没有奇点，其亏格为 。 2 当 n ≥ 4 时，费马多项式满足猜想的条件。因此，如 果莫德尔猜想成立，那么费马大定理中的方程 x n y n z n 本质上最多有有限多个整数解。
历史研究
接力证明
1844年，库默尔提出了 “理想数” 概念，他证明了：对于 所有小于100的素指数 n ，费马大定理成立，此一研究告一阶 段。但对一般情况，在猜想提出的头两百年内数学家们仍对 费马大定理一筹莫展。 1847年，巴黎科学院上演戏剧性一幕，当时著名数学家 拉梅和柯西先后宣布自己基本证明费马大定理，拉梅还声称 证明引用了刘维尔复数系中的唯一因子分解定理，刘维尔 则说这一定理源自欧拉和高斯的思想。大数学家都被扯 入其中，似乎结论十分可靠。就在此时刘维尔宣读了 德国数学家库默尔的来信，明确指出证明中的复数 系的唯一因子分解定理并不普遍成立，于是拉梅 和柯西的证明都是错的。
费马大定理pdf
费马大定理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 时，他采用无穷下降（推）的技巧给出了证明。
虽然后人一直未找到他的证明细节，但对此却确信无疑，因为这可由费马的另一个定理推出。
这个定理是：“三边为整数的直角三角形的面积不能为平方数”。
而后者的证明，费马写在空白处。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
费马大定理费马费马大定理：当整数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年。
数学迷们对此趋之若鹜，纷纷把“证明”寄给数学家，期望凭短短几页初等变换夺取桂冠。
德国数学家兰道印制了一批明信片由学生填写：“亲爱的先生或女士：您对费马大定理的证明已经收到，现予退回，第一个错误出现在第＿页第＿行。