费马定理证明

费马大定理证明

       【法1】

       等轴双曲线方程的通解与费尔玛大定理的证明

       滕锡和

       (河南鲁山 江河中学 邮编：467337)

       摘 要: 由等轴双曲线方程与费尔玛方程的内在联系，寻找到一种费尔玛方程是否有正整数解的充要条件，再由对此条件的否定，证明了费尔玛大定理，并且把费尔玛大定理与勾股定理有机地统一起来。关键词: 完全Q解；可导出Q解；连环解

       中图法分类号：O156.4 文献标识码：A 文章编号： 1 R通解

       本文所用数集：N---自然数集，Q---有理数集，R---实数集。本文讨论不超出R的范围。

       本文中方程xyz及同类方程中的指数n∈N，以后不再说明。引理1 方程

       xyz（n≥2）(1)有N解的充要条件是它有Q解。

       引理2 方程（1）xyz（n≥2）有N解的充要条件是它有既约N解。这样，在以后的讨论中只需讨论Q解及既约N解的情形，可使过程简化。引理3 方程（1）xyz（n≥2）有N解的充要条件是方程

       X-Y1（n≥2）（2）

       有Q解。

       证明 充分性 如果方程（2）（n≥2）有Q解，设（X-Y1为其Q解，则（nnnnnnnnnnnnnnnnwu，）u，v，wN两两互素vvunwnnnnnnn）-＝1，uvw。于是方程（1）xyz（n≥2）

       vv有N解u，v，w。

       必要性 如果方程（1）xyz（n≥2）有N解，设u，v，wu，v，wN两两互素nnn 1 为其N解，则unvnwn，（解（uwn）-n＝1。于是方程（2）Xn-Yn1（n≥2）有Qvvwu。证毕，）vvnnn引理4 如果方程（1）xyz（n≥2）有Q解，那么，只有两类：

       i）完全Q解u，v，wu，v，wQ；

       ii）可导出Q解u，v，wQ，u，v，wQ。

       nnn证明 ：费马定理

       定理及其证明

       费马定理：设f(x)在c的某邻域

       （c,c）内有定义，而且在这个领域上有f(x)f(c)（其中f(c)为局部最大值）或者f(x)f(c)（其中f(c)为局部最小值），当f(x)在c处可导时，则有f'(c)0．

       '证明：因为假设f'(c)存在，由定义可得左导数f-'(x)和右导数f(c)均存在且满足：f-'(c)f'(c)f'(c)

       当xc时，当xc时，f(x)f(c)f(x)f(c)0，所以f'(c)lim0

       xcxcxcf(x)f(c)f(x)f(c)0，所以f'(c)lim0

       xcxcxc所以f(c)0

       以上是对于f(x)f(c)这种情况进行的证明，同理也可证明f(x)f(c)这种情形 罗尔定理：设f(x)在a,b上连续，在a,b上可导，若f(a)f(b)，则必有一点ca,b使得f(c)0．

       证明：分两种情况，若f(x)为常值，结论显然成立．若f(x)不为常值，根据最大、最小值定理（有界闭区间a,b上的连续函数f(x)具有最大值和最小值）可知，f(x)必在a,b内某一点c处达到最大值或最小值，再有费马定理可得，f(c)0．

       拉格朗日中值定理：设f(x)在a,b上连续，在a,b上可导，则一定有一点a,b使

       '''f'()f(b)f(a)．

       ba'证明：分两种情况，若f(x)恒为常数，则f(x)0在a,b上处处成立，则定理结论明显成立．若f(x)在a,b不恒为常数时，由于f(x)在a,b上连续，由闭区间连续函数的性质，f(x)必在a,b上达到其最大值M和最小值m，有一种特殊情况f(a)f(b)时，定理成立，这就是上面所证明过的罗尔定理．考虑一般情形，f(a)f(b)．做辅助函数f(b)f(a)x．由连续函数的性质及导数运算法则，可得(x)在a,b上连babf(a)af(b)a，续，在a,b上可导，且(b)这就是说(x)满足刚刚的特殊情况，baf(b)f(a)''0．即因此在a,b内至少有一点，使得()fbaf(b)f(a)f'．定理得证．

       ba(x)f(x)柯西中值定理：若f(x)和g(x)在a,b上连续，在a,b上可导，且g'(x)0，则一定存在f(b)f(a)f'． a,b使'gbgag'证明：首先能肯定g(a)g(b)，因为如果g(a)g(b)，那么由拉格朗日中值定理，g(x)在a,b内存在零点，因此与假设矛盾． 还是做辅助函数F(x)f(x)f(b)f(a)gxga．由FaFb，再由拉格朗日

       gbga中值定理，可以证明定理成立．

       泰勒中值定理：若f(x)在x0点的某个邻域内有直到n1阶连续导数，那么在此邻域内

       f''02fn0nx...xRnx．其中有fxf0f0x2!n!'fn1n1Rnxx．是介于0与x之间的某个值． n1!f''tfnt2xt...xtn．由证明：做辅助函数tfxftftxt2!n!'假设容易看出t在0,x或x,0上连续，且0Rnx，x0，f'''tf''t2'''xt-ftxt...ftxtxt2...t-ftftxtft2!2!fn1tfntnn1xtxtn1!n!'''''

       fn1txtn．在引进一个辅助函数txtn1． 化简后有t-n!'x0'对函数t和t利用柯西中值定理得到，是介于0与x之间的某'x0fn1xn，-个值，此时有0Rnx，x0，x0，0xn1，n!'fn1n1x． -n1x，代入上式，即得Rnxn1!'n定理证明完毕．

       这是函数fx在x0点的泰勒公式，同理推导可得fx在xx0点附近的泰勒公式

       f''x0fnxo2xx0...xx0nRnx．其中fxfx0fx0xx02!n!'fn1xx0n1．是介于x0与x之间的某个值． Rnxn1!

       定理间关系：罗尔定理，拉格朗日定理，柯西定理以及泰勒公式是微分学的基本定理。这些定理都具有中值性，所以统称微分学中值定理.应用

       （判别函数单调性、求不定式极限、证明不等式和等式、证明终止点的存在性、证明方程根的存在性与唯一性、利用泰勒公式求近似值）证明方程根的存在性

       把要证明的方程转化为fx0的形式.对方程fx0用下述方法：（1）根的存在定理若函数fx在区间a,b上连续，且fafb0，则至少存在一点a,b，f0.（2）若函数fx的原函数Fx在a,b上满足罗尔定理的条件，则fx在a,b内至少有一个零值点.（3）若函数fx的原函数Fx在x0处导数也存在，由费马定理知F'x00即fx00.（4）若fx在区间a,b上连续且严格单调，则fx在a,b内至多有一个零值点.若函数在两端点的函数（或极限）值同号，则fx无零值点，若函数在两端点的函数（或极限）值异号，则fx有一个零值点.（5）用泰勒公式证明根的存在性.（6）反证法.（7）在证明方程根的存在性的过程中，经常用到拉格朗日定理，积分中值定理，有时也用到柯西中值定理来证明满足方程的存在性所需的条件，然后利用上的方法来证明方程根的存在性.例1 若fx在a,b上连续，在a,b内可导a0，证明：在a,b内方程2xfbfab2a2f'x至少存在一个根.证明：令Fxfbfax2b2a2fx 显然Fx在a,b上连续，在a,b内可导，而且 Fafba2b2faFb 根据罗尔定理，至少存在一个，使

       2fbfab2a2f'x

       至少存在一个根.证明不等式

       不等式是数学中的重要内容和工具。在微分学中,微分中值定理在证明不等式中起着很大的作用.(1)拉格朗日定理适用于已知函数导数的条件，证明涉及函数（值）的不等式

       (2)泰勒公式适用于已知函数的高阶导数的条件，证明涉及函数（值）或低阶导函数（值）的不等式.例2 求证ln1xxx1

       分析：根据不等式两边的代数式选取不同的Fx,应用拉格朗日中值定理得出一个等式后,对这个等式根据x取值范围的不同进行讨论,得到不等式.证明：当x0时，显然lnx1x0

       设x0对ftlnt在以1与1x为端点的闭区间上用拉格朗日中值定理，有介于1与1x之间的，使

       f1xf1f'1x1, 即

       ln1xx当x0时，01，11，但此时注意lnx1与x均为负值，所以仍有ln1xx，即对x1不等式恒成立.当x0时，0，011，所以有ln1xx.注：学会把隐藏的条件找出来，即ln10，然后就可以利用定理，这个结果以后可以作为结论用.例3 证明当bae时，abba 证法一 分析：要证abba成立，只要证

       lnablnba 成立，只要证

       blnaalnb成立，只要证 lnalnb成立，只要证 ablnalnb0成立， ablnx证明：设 fx xa,b

       x由fx在a,b上连续，在a,b内可导,且

       1xlnx1lnxf'xx20，知fx在a,b上严格递减，2xxlnalnb由afafb，即成立，知blnaalnb成立，ab即

       lnablnba成立，所以abba成立.证法二

       证明：要证abba，只要证(1)

       设fxlnx xa,b，由fx在a,b上连续，在a,b内可导, xlnalnb成立 ab且f'x0于是

       lnalnbfbfaf'ba0，ab即

       lnalnb 故原式成立.ab注：证明某些不等式时，可转化为区间两端点函数值大小的比较或化为右边为0的不等式，转化为区间内任意一点函数值与端点函数值或与趋于端点极限值的比较，然后利用单调性证明.能用单调性定理证明的不等式，都可用拉格朗日中值定理证明，因为单调性定理就是拉格朗日中值定理证明的.相同的一道题可以有多种解法.讨论函数的单调性,并利用函数的单调性求极值

       利用拉格朗日中值定理能够很方便的判断出函数的单调性, 其方法是:若函数fx在a,b上连续, 在a,b内可导, 则有:如果在a,b 内f'x0,则fx在a,b上单调增加;如果在a,b 内f'x0, 则fx 在a,b上单调减少.另外, fx 在a,b内除有个别点外,仍有f'x0(或f'x0),则fx在a,b上仍然是单调增加(或减少)的,即连续函数在个别点处无导数并不影响函数的单调性.再利用函数的单调性及函数图像上峰值点与各值点的性质, 便可以很方便地求出函数的极值。其方法为:确定函数的定义域,并求出f'x ,然后求出定义域内的所有驻点,并找出fx 连续但f'x不存在的所有点,讨论所有驻点和不可导点左右两侧附近f'x 的符号变化情况,从而确定函数的极值点,并求出相应的极大值或极小值.x2例4 求证x0时,ln1xx

       2x2证明：令fxln1xx

       2因为fx在0,上连续, 在0,内可导,且

       1x21x fx=

       1x1x'x20, 所以当x0时,fx是单调增加的.当x0时,fx1x'故当x0 时,fxf00, 即

       x2 f00,从而ln1xx2例5 求yx的极值.lnx解：函数的定义域为0,11,.而

       lnx1lnx1'0, ,令,即y0ln2xln2x解得驻点xe,且该函数在定义域内没有导数不存在的点.而

       y'当xe时,y'0;当xe时,y'0.所以,xe是函数fx的极小值点, 其极小值为fee.利用函数的单调性可证明某些不等式

       注：在求极值时，若极值的怀疑有导数不存在的点时，只能用列表法.

       求极限

       对于有些求极限的题，如果使用洛必达法则,则求导数的计算量很大.微分中值定理为求这样一些较难的极限提供了一种简单而有效的方法.其方法是对极限题中的某些部分构造辅助函数,使用微分中值定理,然后求出极.11nn1例6 求limnaa,其中a0.n2解：对fxax应用拉格朗日中值定理,有

       11nn1limnaa n2=limn2axn;x11 nn1n2alna=lim nnn1=lna

       11其中,

       n1n

       泰勒公式

       泰勒公式事实上就是含有高阶导数的微分中值定理.它不仅在理论分析中具有很重要的作用,下面的例子说明它的应用.例7 求lnx在x2处的泰勒公式.x2解 由于lnx=ln2x2=ln2ln1，2因此

       lnxln21x212x22 222 1n1x2n1nx2 nn22求近似值

       微分中值定理为我们提供了一种计算近似值的方法,只要构造出一个适当的函数,应用微分中值定理就可以得出其近似值.例8 求0.97的近似值.解：0.97是函数fxx在x0.97处的值.令x01,xx0x,即x0.03.由微分中值定理得

       0.971x'x10.03

       10.030.985.2用来证明函数恒为常数

       =1导数是研究函数性态的重要工具, 但用导数研究函数性态的着眼点在局部范围.而在整体上或比较大的范围运用导数这一工具来研究函数性态, 主要工具还是微分中值定理,它是应用导数研究整体性问题的重要工具.证明函数恒为常数这是函数的整体性质,在这个应用中微分中值定理很实用.例9 设f'x在0,1上连续, f'c0,c0,1且在0,1内恒有f''xkf'x.其中k为小于1 的常数,试证:fx为常数函数.证明：x0,1,不妨设cx,则xc1,而f'c0, 所以有

       f'xf'xf'c

       =f''1xc

       kf'1, 其中c1x.同理 f'kf''k1kc

       kf'k1, ck1k, 其中k1,2,,n

       所以

       f'xkf'1k2f'2knf'n, 其中cn1.又f'x在0,1上连续, 从而f'x有界.故

       limnknf'n0

       f'xlimnf'x0.即f'x0(当cx时同样成立), 从而, f'x0，故在0,1上fx为常数函数.x0,1.[1]欧阳光中,朱学炎，陈传璋.数学分析[M].上海:高等教育出版社.2022 [2]侯谦民.中值定理的推广[J].武汉职业技术学院学报.2022(02)[3]胡付高.微分中值定理的推广及其应用[J].孝感学院学报.2000(04)[4] 张弘.微分中值定理的又一证明方法[J].重庆交通学院学报.2022(S1)[5]吴赣昌.微积分[M].北京:中国人民大学出版社.2022 [6]郭政，高理峰.大学教材全解--数学分析[M].吉林:延边大学出版社.2022

费尔马大定理及其证明

       费尔马大定理及其证明

       近代数学如参天大树，已是分支众多，枝繁叶茂。在这棵苍劲的大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难题。

       300多年以来，费尔马大定理使世界上许多著名数学家殚精竭虑，有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在1995年揭开，被43岁的英国数学家维尔斯一举证明。这被认为是“20世纪最重大的数学成就”。

       费尔马大定理的由来

       故事涉及到两位相隔1400年的数学家，一位是古希腊的丢番图，一位是法国的费尔马。丢番图活动于公元250年前后。

       1637年，30来岁的费尔马在读丢番图的名著《算术》的法文译本时，他在书中关于不定方程 x^2＋ y^2 ＝z^2 的全部正整数解这页的空白处用拉丁文写道：“任何一个数的立方，不能分成两个数的立方之和；任何一个数的四次方，不能分成两个数的四次方之和，一般来说，不可能将一个高于二次的幂分成两个同次的幂之和。我已发现了这个断语的美妙证法，可惜这里的空白地方太小，写不下。”

       费尔马去世后，人们在整理他的遗物时发现了这段写在书眉上的话。1670年，他的儿子发表了费尔马的这一部分页端笔记，大家才知道这一问题。后来，人们就把这一论断称为费尔马大定理。用数学语言来表达就是：形如x^n y^n=z^n的方程，当n大于2时没有正整数解。

       费尔马是一位业余数学爱好者，被誉为“业余数学家之王”。1601年，他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后，父亲送他在大学学法律，毕业后当了一名律师。从1648年起，担任图卢兹市议会议员。

       他酷爱数学，把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷，记忆力强，又具备研究数学所必须的顽强精神，所以，获得了丰硕的成果，使他跻身于17世纪大数学家之列。

       艰难的探索

       起初，数学家想重新找到费尔马没有写出来的那个“美妙证法”，但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程 x^3 y^3=z^3和x^4 y^4=z^4不可能有正整数解。

       因为任何一个大于2的整数，如果不是4的倍数，就一定是某一奇素数或它的倍数。因此，只要能证明n＝4以及n是任一奇素数时，方程都没有正整数解，费尔马大定理就完全证明了。n＝4的情形已经证明过，所以，问题就集中在证明n等于奇素数的情形了。

       在欧拉证明了 n＝ 3，n＝ 4以后，1823年和 1826年勒让德和狄利克雷各自独立证明了 n＝ 5的情形，1839年拉梅证明了 n＝ 7的情形。就这样，一个一个奇素数证下去的长征便开始了。

       其中，德国数学家库默尔作出了重要贡献。他用近世代数的方法，引入了自己发明的“理想数”和“分圆数”的概念，指出费尔马大定理只可能在n等于某些叫非正则素数的值时，才有可能不正确，所以只需对这些数进行研究。这样的数，在100以内，只有37、59、67三个。他还具体证明了当 n＝ 37、59、67时，方程x^n y^n=z^n是不可能有正整数解的。这就把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”证明了定理的成立，人们视之为一次重大突破。1857年，他获得巴黎科学院的金质奖章。

       这一“长征”式的证法，虽然不断地刷新着记录，如 1992年更进到n＝1000000，但这不等于定理被证明。看来，需要另辟蹊径。

       10万马克奖给谁

       从费尔马时代起，巴黎科学院曾先后两次提供奖章和奖金，奖励证明费尔马大定理的人，布鲁塞尔科学院也悬赏重金，但都无结果。1908年，德国数学家佛尔夫斯克尔逝世的时候，将他的10万马克赠给了德国哥庭根科学会，作为费尔马大定理的解答奖金。

       哥庭根科学会宣布，奖金在100年内有效。哥庭根科学会不负责审查稿件。

       10万马克在当时是一笔很大的财富，而费尔马大定理又是小学生都能听懂题意的问题。于是，不仅专搞数学这一行的人，就连很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民，都在钻研这个问题。在很短时间内，各种刊物公布的证明就有上千个之多。

       当时，德国有个名叫《数学和物理文献实录》的杂志，自愿对这方面的论文进行鉴定，到 1911年初为止，共审查了111个“证明”，全都是错的。后来实在受不了沉重的审稿负担，于是它宣布停止这一审查鉴定工作。但是，证明的浪潮仍汹涌澎湃，虽然两次世界大战后德国的货币多次大幅度贬值，当初的10万马克折算成后来的马克已无多大价值。但是，热爱科学的可贵精神，还在鼓励着很多人继续从事这一工作。

       姗姗来迟的证明

       经过前人的努力，证明费尔马大定理取得了许多成果，但离定理的证明，无疑还有遥远的距离。怎么办？来必须要用一种新的方法，有的数学家用起了传统的办法——转化问题。

       人们把丢番图方程的解与代数曲线上的某种点联系起来，成为一种代数几何学的转化，而费尔马问题不过是丢番图方程的一个特例。在黎曼的工作基础上，1922年，英国数学家莫德尔提出一个重要的猜想。：“设F（x，y）是两个变数x、y的有理系数多项式，那么当曲线F（x，y）= 0的亏格（一种与曲线有关的量）大于1时，方程F（x，y）＝0至多只有有限组有理数”。1983年，德国29岁的数学家法尔廷斯运用苏联沙法拉维奇在代数几何上的一系列结果证明了莫德尔猜想。这是费尔马大定理证明中的又一次重大突破。法尔廷斯获得了1986年的菲尔兹奖。

       维尔斯仍采用代数几何的方法去攀登，他把别人的成果奇妙地联系起来，并且吸取了走过这条道路的攻克者的经验教训，注意到一条崭新迂回的路径：如果谷山——志村猜想成立，那么费尔马大定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷山——志村于1955年关于椭圆函数的一个猜想时发现的。

       维尔斯出生于英国牛津一个神学家庭，从小对费尔马大定理十分好奇、感兴趣，这条美妙的定理导致他进入了数学的殿堂。大学毕业以后，他开始了幼年的幻想，决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究，守口如瓶，不透半点风声。

       穷七年的锲而不舍，直到1993年6月23日。这天，英国剑桥大学牛顿数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果作了长达两个半小时的发言。10点30分，在他结束报告时，他平静地宣布：“因此，我证明了费尔马大定理”。这句话像一声惊雷，把许多只要作例行鼓掌的手定在了空中，大厅时鸦雀无声。半分钟后，雷鸣般的掌声似乎要掀翻大厅的屋顶。英国学者顾不得他们优雅的绅士风度，忘情地欢腾着。

       消息很快轰动了全世界。各种大众传媒纷纷报道，并称之为“世纪性的成就”。人们认为，维尔斯最终证明了费尔马大定理，被列入1993年世界科技十大成就之一。

       可不久，传媒又迅速地报出了一个“爆炸性”新闻：维尔斯的长达200页的论文送交审查时，却被发现证明有漏洞。

       维尔斯在挫折面前没有止步，他用一年多时间修改论文，补正漏洞。这时他已是“为伊消得人憔悴”，但他“衣带渐宽终不悔”。1994年9月，他重新写出一08页的论文，寄往美国。论文顺利通过审查，美国的《数学年刊》杂志于1995年5月发表了他的这一篇论文。维尔斯因此获得了1995～1996年度的沃尔夫数学奖。

       经过 300多年的不断奋战，数学家们世代的努力，围绕费尔马大定理作出了许多重大的发现，并促进了一些数学分支的发展，尤其是代数数论的进展。现代代数数论中的核心概念“理想数”，正是为了解决费尔马大定理而提出的。难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡”。

       注：x^2表示x的平方。

费马大定理

       费马大定理

       300多年以前，法国数学家费马在一本书的空白处写下了一个定理：“设n是大于2的正整数，则不定方程xn yn=没有非零整数解”。费马宣称他发现了这个定理的一个真正奇妙的证明，但因书上空白太小，他写不下他的证明。300多年过去了，不知有多少专业数学家和业余数学爱好者绞尽脑汁企图证明它，但不是无功而返就是进展甚微。这就是纯数学中最著名的定理—费马大定理。

       费马(1601年～1665年)是一位具有传奇色彩的数学家，他最初学习法律并以当律师谋生，后来成为议会议员，数学只不过是他的业余爱好，只能利用闲暇来研究。虽然年近30才认真注意数学，但费马对数论和微积分做出了：费马大定理

       费马大定理： 当整数n > 2时，关于x, y, z的不定方程 x^n y^n = z^n.无正整数解。

       费马在阅读丢番图《算术》拉丁文译本时，曾在章．获得1982年菲尔兹奖

       莫德尔猜想

       1922年，英国数学家莫德尔提出一个著名猜想，人们叫做莫德尔猜想．按其最初形式，这个猜想是说，任一不可约、有理系数的二元多项式，当它的“亏格”大于或等于2时，最多只有有限个解．记这个多项式为f(x，y)，猜想便表示：最多存在有限对数偶xi，yi∈Q，使得f(xi，yi)=0．后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了．因此，伐尔廷斯实际上证明的是：任意定义在数域K上，亏格大于或等于2的代数曲线最多只有有限个K一点．

       数学家对这个猜想给出各种评论，总的看来是消极的． 1979年利奔波姆说：“可以有充分理由认为，莫德尔猜想的获证似乎还是遥远的事．”

       然而，时隔不久，1983年伐尔廷斯证明了莫德尔猜想，人们对它有了全新的看法．在伐尔廷斯的文章里，还同时解决了另外两个重要猜想，即台特和沙伐尔维奇猜想，它们同莫德尔猜想具有同等重大意义．

       谷山——志村猜想

       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月彻底圆满证明了“费马大定理”。

费马定理证明MichaelGu 古武版本

       Dear all, 好久不联系，各位数学界的朋友近来可好，突然兴起证明了一次费马猜想，原稿如邮件附件。简单阐述下思路：针对X^n Y^n=Z^n无正整数解这样一个命题，我们可以假设X=Y 和X=Y M两种情况来分别论证。：费马大定理是如何被证明的

       费马大定理是如何被证明的上世纪后半页，理论数学家们陷入了十分尴尬的境地，一方面他们已经很久没做出突破性工作，一方面借助计算机的机器证明开始兴起，著名的四色猜想就是机器证明的。数学家们不喜欢使用蛮力的穷举法机器证明，也诟病机器证明的程序没法完全保证没有bug，以及没法验证，但心里也是颇为酸楚的。这个时候救星出现了，他叫安德鲁怀尔斯，是普林斯顿大学的教授，美籍英裔，剑桥大学出身。他躲在阁楼成一统，7年孤独磨一剑，又经过一年的审稿炼狱，最终证明了费马大定理！那么何为费马大定理呢？

       总所周知，x y=z有无穷多组整数解，称为一个三元组；x^2 y^2=z^2也有无穷多组整数解，这个结论在毕达哥拉斯时代就被他的学生证明，称为毕达哥拉斯三元组，我们中国人称他们为勾股数。但x^3 y^3=z^3却始终没找到整数解，最接近的是：6^3 8^3=9^-1，还是差了1。于是迄今为止最伟大的业余数学家费马提出了猜想：总的来说，不可能将一个高于2次的幂写成两个同样次幂的和。也就是：

       x^n y^n=z^n，当n大于2时没有整数解。

       这是一个描述起来非常简单的猜想，但358年来困扰了包括欧拉和柯西在内的一代代大数学家，他们得到了一些进展，比如当n等于3和4时猜想成立，但x、y、z和n的取值范围是无限，要证明整个猜想谈何容易！更气人的是费马在一本书的页边处写下这个猜想后还有一个评注：我有一个对这个命题的十分美妙的证明，这里空白太小，写不下。这不是一种赤裸裸的挑战嘛。

       1984年事情有了转机，一个叫弗莱的德国数学家提出如果费马猜想不成立，那个就可以找到三个整数使方程成立，表示为：

       A^N B^N=C^N，接着他通过复杂的变换，这个等式转换成了一个椭圆方程：

       y^2=x^3 (A^N-B^N)*x^2-A^N*B^N

       而这个椭圆曲线太过古怪，他断定由于这个由费马猜想不成立引出的椭圆方程是如此古怪，所以它不可能模形式化。后来一个叫里贝特的数学家严格证明了这个椭圆方程确实不能模形式化。

       现在必须要说明啥叫椭圆方程的模形式化了，而说明这个问题以前还得介绍啥叫椭圆方程和模形式。

       椭圆方程是形如y^2=x^3 a*x^2 b*x c方程（a，b，c是任何整数），对这种方程的一个重要研究领域就是研究每一类椭圆方程的整数解个数，但当x和y的取值是无限时研究起来就很困难。于是科学家就发明了在时钟算术中研究每类椭圆方程的整数解。何为时钟算术呢，就是把正常数轴延伸到正负无穷的两端接起来，这个圈有几格就算几格时钟算术，比如我们的手表就是在实践12格时钟算术。它有如下性质：

       3＋11＝2

       3＊4＝0

       5＋6＝1

       等等。这样求椭圆方程的整数解就方便了。如果一个椭圆方程在1格时钟算术中有1个解，2格时钟算术中有4个解，3格时钟算术中有4个解，4格时钟算术中有8个解，5格时钟算术中有4个解，6格时钟算术中有16个解等等，我们就可以记录为：

       E1＝

       E2＝4

       E3＝4

       E4＝8

       E5＝4

       E6＝16

       ...这成为这个椭圆方程的 E－序列。每个椭圆方程的E－序列就像它的DNA一样浓缩这它的特征信息。

       模形式是在由两根实轴和两根虚周组成的四维复空间里的超对称结构，而每一个模形式都可以拆成各种基本要素的组合组成的，比如一个模形式是由1个1号要素，3个2号要素，2个3号要素组成，那么这个模形式的M－序列就可以写成：

       M－序列：

       M1＝

       M2＝3

       M3＝2

       ...正如E－序列包含了椭圆方程的特征信息一样，模形式的M－序列也包含了各个模形式的特征信息，是模形式的DNA。

       1955年在东京举行的一个学术会议上日本青年数学家谷山丰和志村五郎提出了一个猜想：一个椭圆方程的E－序列一定和一个模形式的M－序列完全对应。这就叫椭圆方程的模形式化。这是一个惊天的猜想，在它被证明以前就得到了广泛应用，几百篇论文是这样开头的：如果谷山－志村猜想成立。

       现在的问题清楚了，如果谷山－志村猜想成立，那个每一个椭圆方程都可以模形式化，而由假设费马猜想不成立引出的椭圆方程却被证明不可以模形式化，这样就引出了矛盾。于是谷山－志村猜想成立和费马猜想不成立这两个假设不可能同时成立。所以只要证明了谷山－志村猜想，那费马猜想不成立的假设就被推翻，于是费马猜想也被证明了。

       于是真正的英雄出场了。安德鲁怀尔斯在知道假设费马猜想不成立引出的椭圆方程被证明不能模形式化后受到震撼，也备受鼓舞，于是重拾童年时的梦想于1986年开始了7年的秘密研究，目标就是证明谷山－志村猜想，也即等价证明费马猜想。他先用一年时间思考用什么方法来证明，最后选定数学归纳法。他用群论的方法顺利证明每个椭圆方程的E－序列：费马大定理是怎么证明的语文

       费马大定理是怎么证明的已故数学大师陈省身说道，20世纪最杰出的数学成就有两个，一个是阿蒂亚—辛格指标定理，另一个是费马大定理。当然，20世纪的重大数学成就远不止这两个，不过这两大成就却颇具代表性，特别是从科普的角度来看。

       说实在的，数学虽然总是居于科学之首，可是一般人对数学可以说几乎一无所知，尤其是说到数学有什么成就、有什么突破的时候。理、化、天、地、生，门门都有很专门的概念、知识、技术，可不久之前的大成绩很容易就可以普及到寻常百姓家。激光器制造出来还不到50年，激光唱盘早已尽人皆知了，克隆出现不到10年，克隆这字眼已经满天飞了。即使人们不太懂黑洞的来龙去脉，一般人理解起来也不会有太大障碍。可是有多少人知道最新的数学成就呢？恐怕很难很难。数学隔行都难以沟通，更何况一般人呢。正因为如此，99%的数学很难普及，成百上千的基本概念就让人不知所云，一些当前的热门，如量子群、非交换几何、椭圆上同调，听起来就让人发晕。幸好，还有1%的数学还能对普通的人说清楚，费马大定理就是其中的一个。

       费马大定理在世界上引起的兴趣就正如哥德巴赫猜想在中国引起的热潮差不多。之所以受到许多人的关注，关键在于它们不需要太多的准备知识。对于费马大定理，人们只要知道数学中头一个重要定理就行了。这个定理在中国叫勾股定

       数，内容则完全看不懂。可是要说大定理证得对不对，专家无疑起着决定性的作用。这本书生动地讲述一位在数学中心生活的数学家的生存状态。他有一些朋友，他要靠这些朋友，当时他也有失误或挫折，幸运的是，他走到底。一般人只看到他获得的十来个大奖，最近的一个是2022年邵逸夫奖100万美元。实际上这不过是锦上添花，谁知道1993年发现证明漏洞时的辛酸呢？书中还真正讲到一位反证欧拉猜想的人举出的反例，可以想象这对他打击会有多大！幸好一切功德圆满，而且在这本书出版之后，不仅是半稳定椭圆曲线的谷山—志村猜想得到证明，而且整个的谷山—志村猜想在20世纪末也完全获得证明。数论真的来了一个大跃进，怀尔斯之后，我们又见到一位俄罗斯大数学家佩雷尔曼的身影。他更像是一位不食人间烟火的人，2022年得了欧洲数学会大会奖不去领，今年得菲尔兹奖也不去领，将来要是得克

       的大论文。实际上进入21世纪后他已经年年获奖了。有意思的是，他也曾代表澳大利亚参加数学奥林匹克竞赛，3次铜牌，1次银牌，1次金牌，看来是年年夺冠军、个个得金牌的中国队的手下败将。奇怪的是，中国上百个金牌得主没出一个像样的数学家。这也正应了晏子那句俏皮话，橘子在淮南是橘子，在淮北就变成了枳子了。

       第 4 页