《费马大定理证明过程（共5篇）.docx》由会员分享，可在线阅读，更多相关《费马大定理证明过程（共5篇）.docx（25页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、费马大定理证明过程（共5篇）篇：费马大定理证明【法1】等轴双曲线方程的通解与费尔玛大定理的证明滕锡和(河南鲁山江河中学邮编：467337)摘要:由等轴双曲线方程与费尔玛方程的内在联系，寻找到一种费尔玛方程是否有正整数解的充要条件，再由对此条件的否定，证明了费尔玛大定理，并且把费尔玛大定理与勾股定理有机地统一起来。关键词:完全Q解；可导出Q解；连环解中图法分类号：O156.4文献标识码：A文章编号：1R通解本文所用数集：N-自然数集，Q-有理数集，R-实数集。本文讨论不超出R的范围。本文中方程xyz及同类方程中的指数nN，以后不再说明。引理1方程xyz（n2）(1)有N解的充要条件是它有Q解。引
2、理2方程（1）xyz（n2）有N解的充要条件是它有既约N解。这样，在以后的讨论中只需讨论Q解及既约N解的情形，可使过程简化。引理3方程（1）xyz（n2）有N解的充要条件是方程X-Y1（n2）（2）有Q解。证明充分性如果方程（2）（n2）有Q解，设（X-Y1为其Q解，则（nnnnnnnnnnnnnnnnwu，）u，v，wN两两互素vvunwnnnnnnn）-1，uvw。于是方程（1）xyz（n2）vv有N解u，v，w。必要性如果方程（1）xyz（n2）有N解，设u，v，wu，v，wN两两互素nnn1为其N解，则unvnwn，（解（uwn）-n1.于是方程（2）Xn-Yn1（n2）有Qvvwu。
3、证毕，）vvnnn引理4如果方程（1）xyz（n2）有Q解，那么，只有两类：i）完全Q解u，v，wu，v，wQ；ii）可导出Q解u，v，wQ，u，v，wQ。nnn证明第i）类属显然。第ii）类，把u，v，w代入方程（1），得uvw，unvnwn于是导出方程（1）的Q解u，v，w。除此以外，由其它任何形式的带无理因子的解，都不能导出Q解。事实上，设1u，2v，3w（1，2，3中至少有一个Q且三个数中含有不可通约的无理因子，u，v，wQ）为方程（1）的解，则由1，2，3的定义知，它们的无理因子是不能从上式中完全提到括号外面去的，即由它不能导出方程（1）的Q解。证毕从引理4及其证明过程可以得到以下三
4、条结论：（1）若将第i）类Q解的三个数同乘以一个数（Q），得到u，v，w，则此解仍是方程（1）的第i）类Q解；若将三个数同乘以一个数（Q），得到u，v，w，则此解变为方程（1）的第ii）类Q解。（2）若将第ii）类Q解的三个数同乘以一个数Q，得到u，v，w，则此解1变为方程（1）的第i）类Q解;若将三个数同乘以一个数（R且Q），得到u，v，w，则此解仍是方程（1）的第ii）类Q解。（3）方程（1）的第i）、ii）类Q解与非第i）、ii）类Q解之间是封闭的。即无论对数组的三个数同乘以一个什么正实数，它们之间都不可能互化。定理1方程（1）xyz（n2）的R解公式是nnn22n2n2A1n，（2d）
5、，（d21），（d21）（1、dR，d1）2r212n2r12nn），r，（2、rR，r1）或B2（。22znynnnn证明当x，y，zR时，由xyz得1.根据引理3，这两个方程xx在是否存在Q解方面是等价的。从而得到nnnznyzy2222（1）xxxxnz2y21zny22。由此解得d（d1）于是设，则xxdxxnnz2d21y2d21，。恢复z：x和y：x的比例系数后得x2dx2dnn）0）0z2（d21y2（d21，拆开后即得，（0R）x2d0x2d0nn222nnA（x，y，z）n（2d）02，（d21）02，（d21）02（0R，d1）2n2n21n（2d），（d21），（d21）
6、（122n。02R，d1）nnnnnznzxx2z2x2nnn222又，由xyz得（1.）（）1，）yyyyyynznxz2x2122（rr1）设，则。仿上法又得到yyyyrnnr212n2r212nnB（x，y，z）2，r，（2、rR，r1）。22若设dap、r（a、b、p、qR，ab,pq)，则A、B之间的变换关系是bqdppab，r.将A、B两式分别代入方程（1），等式成立。因此，A、B两式都是方程pqab（1）的R解公式。证毕定理1说明i）方程（1）的任何一个R解都可以由A、B两式同时表出;A、B两式表出3的任何一个R数组，都是方程（1）的R解。ii）如果方程（1）有N（或Q）解，则必
7、能用A、B两式同时表出；如果A、B两式同时表出N（或Q）数组，则方程（1）有N(或Q)解。反之，如果A、B两式不能同时表出N（或Q）数组，则方程（1）没有N（或Q）解。2有N解的充要条件引理5方程（1）xyz（n2）有Q解的充要条件是2n2n2A0n（2d），（d21），（d21）（d1）2r212n2r12nn），r，（r1)或B0（22nnn能同时表出或导出Q数组。证明根据引理4的结论（3），可将A、B两式的系数1，2略去，因为这样，一者可使讨论简化，二者既不会使第i）、ii）类Q解增生，也不会使之消失，三者必要时再同乘以一个公共因子。先证A0。必要性根据定理1，如果方程（1）有Q解，必能
8、用A0式表出或导出。根据引理4，其Q解只有两类：i）如果是第i）类Q解，即存在d0，当dd0时，其解2n2n2是Q解，则A0能表出Q数组A0；ii）如A0n（2d0），（d021），（d01）（d01）果是第ii）类Q解，根据引理4，由这个第ii）类Q解必能导出第i）类Q解，从而A0能导出Q数组。对于B0式与A0式同理可证。证毕根据引理1、2、5，不难找到思路：方程（1）有N解的充要条件是A0、B0两式能同时表出或导出既约N数组。定理2方程x2ny2nz2n（n1（3）有N解的充要条件是以下两式：4A（2n）n22n22n22n1a0nb0n，（2n1a0n）（b0n），（2n1a0n）（b0
9、n）（2n1a0nb0n0，a0N，b0奇，（a0，b0）1）,2n2n2n2（pn）（q）（p）（qn0000）nnn，（pq），或B（2n）0022（p0q00，二奇，（p0，q0）1）能同时表出既约N数组。也可以是a02nn1b0n0，a0奇，b0N，（a0，b0）1.有且仅有这两种情形，因为自然数只有奇偶两类。此类情形与上同理，故未写出。无妨，下同。证明必要性如果方程（3）有既约N解，根据引理1、2、5，必可由A0、B0两式同时表出或导出。此时两式分别为A0nnn,2d，d21，d21（d1）2r21nr1nn，r，）B0.（r122i）证A根据引理4的三条结论，先让n2dQ。为此必须
10、设d（2n）。一奇一偶，(a,b)1，则aab0,1，bA0必须再设a2A0n1n1b2nnnn2ab，a2b2，a2b2a0，bb0，2n1a0b00，a0N，b0奇，(a0，b0)1，则nnnn1(b0n)2nnn22n1a0nb0n，(2n1a0n)2(b0n)2，(2n1a0n)2(b0n)21A(2n)2b0nii）再证B（2n）。根据引理4的三条结论，先让rQ。为此必须设rp1，pq0，q二奇，(p,q)1，则1B0n2qn22p2q2pqnn，pq，n22。必须再设pp0，qq0，p0q00，二奇，(p0,q0)1，则n522n2n2（q0n）（p）q）1n（p0n）1nn00n
11、nB0n，pq，B。002q02（2n）（q0n）22同时易证A到此，A（3）（2n）、B（2n）中的底数分别两两互素。（2n）、B（2n）两式仍必能表出方程的既约N解。于是A（2n）、B（2n）必能同时表出既约N数组。充分性如果A（2n）、B（2n）都能表出既约N数组，同时易验知，A（2n）、B（2n）能使方程（3）成立，那么，此时这两个既约N数组就是方程（3）的既约N解。即方程（3）有N解。证毕推论1方程x2ny2nz2n（n1有N解的充要条件是一下两式：）A（2n)2n2n2n(2ab)2，(a2b2)2，(a2b2)2（ab0，一奇一偶，(a,b)1）2222pqpq2222n2n2n
12、），（pq），（pq0，二奇，(p,q)1）或B（2n）（22能同时表出既约N数组。不难看出，A（2n）、B（2n）两式内容详细，A（2n）、B（2n）两式简明扼要。它们各有所长，作用相同。定理2方程x2n1y2n1z2n1（n1（4）有N解的充要条件是一下两式;2n12n2n12n122n12n2n122n1222n12n2n12n122A(22ab)，（2a）（b），（2a）（b）（2n1)000000（2a02n2n1b02n10，a0N，b0奇，(a0,b0)1)2n122n1222n122n122（p）（q）（p）（q）2n12n1200002n12n12n1，（pq），或B（2n1
13、）0022（p0q00，二奇，(p0,q0)1)能同时表出既约N数组。证明必要性如果方程（4）有既约N解，根据引理1、2、5，必可由A0、B0两式同时表出或导出。此时两式分别为22n12n122n122，d1，（d21）A0（d），（r1622r1r122n1222n12n1），r，（r1）B0（。22将A0、B0的证明同时进行，以便比较。下面分四种情形讨论：i）根据引理4的三条结论，若dQ，则必须设d则aab0，一奇一偶，(a,b)1，1，bA02n11b42n2n122n122n12（2ab），（a2b2），（a2b2）。必须再设a2a02n1，bb02n1，2a02n2n1b02n10，
14、a0N，b0奇，(a0,b0)1，则A012n12n2n12n122n12n2n122n1222n12n2n122n122（22ab），（2a）（b），（2a）（b）000000b041A；4（2n1）b0p1，pq0，二奇，(p,q)1，则q若rQ，则必须设r1B02n14q必须再设pp02222pqpq2222n12n12n1），（pq），（222n1，qq02n1，p0q00，二奇，(p0,q0)1，则22222n122p02n1）2n12n12n12p02n1）（q02n1）（q）12n1（02n1B04，（pq），00q0221B。4（2n1）q0221（2d）Q。为此ii）根据引理
15、4的三条结论，若dQ，为了让2n（2d）Q，必须有必须设d22n1a1b12n12n-12n1b12n10，a1N，b1奇，(a1,b1)1，则，2a12n1A01b122n122122na1n21n2n11b1，2（2n21an11nn22112b）21，（2nn212n1212a1）b17若rQ，为了让2n1rQ，必须有rQ，为此必须设r22p1q12n12n1，p1q10，二奇，(p1,q1)1，则12n1p12n1q12n122n12n12n12n1p12n1q12n12），p1q1，B02（q122但是，在情形ii）下，方程（4）若有既约N解，必须被、两式同时表出。于是得到2n1pq
16、12n1222n12n12n112n12n122ab1122n12n12n12（2a1b12n1）2n1p12n1q12n12n12n1p1q1222n（1122n1a12n1b12n1）2n2比较后发现，式中左边的底数不是完全平方数，而右边的底数是完全平方数；式的情形恰好相反。为此必须再设a12a0，b1b0，2a0则222n2n1bb2n10，a0N，b0奇，(a0，b0)1，A012n12n2n12n122n12n2n122n1222n12n2n122n122（22ab），（2a）（b），（2a）（b）000000b041A；4（2n1）b022必须再设p1p0，q1q0，p0q00，二
17、奇，(p0，q0)1，则22222n122p02n1）2n12n12n12p02n1）（q02n1）（q）12n1（02n1nB04，（pq），00q0221B。4（2n1）q0、B这样，情形ii）就归结到情形i）中去了。同时易证A（2n1）（2n1）中的底数分别两两互素。至于情形iii）dQ，rQ和情形iv）dQ，rQ，显然被情形ii）所包含。到此，A、B、B（2n1）（2n1）两式仍必能表出方程（4）的既约N解。于是，A（2n1）（2n1）必能表出既约N数组。B、B充要性如果A（2n1）（2n1）都能表出既约N数组，同时易验知A（2n1）（2n1）分别能使8方程（4）成立，那么，此时这两个
18、既约N数组就是方程（4）的既约N解，即方程（4）有N解。证毕推论2方程（4）x2n1y2n1z2n1有N解的充要条件是以下两式：（n1）A（2n1)2n12n12n1(2ab)2，(a2b2)2，(a2b2)2（ab0，一奇一偶，(a，b)1）2222pqpq2222n12n12n1B，（pq），（pq0，二奇，(p，q)1）（2n1）22能同时表出既约N数组。将推论1、2归纳到一起就是推论3方程(1)xyz有N解的充要条件是以下两式:（n2）nnnA（n)n2n2n(2ab），(a2b2），(a2b2)2（ab0，一奇一偶，(a，b)1）22p2q22pq22nnnB），（pq），（pq0，
19、二奇，(p，q)1）（n）（22能同时表出既约N数组.，B二式便可得到:顺便指出,当n2时,由A（n）（n）推论4方程x2y2z2(5)的既约N解公式是以下二式：（2ab，a2b2，a2b2）A（ab0，一奇一偶，(a，b)1）（2）p2q2p2q2或B，pq，（pq0，二奇，(p，q)1）（2）223连环解定理3方程x4yz4（6）没有N解。推论5方程xyz没有N解。94441推论6方程x4ny4nz4n没有N解。推论7设x，zN，xz，那么z4x4Q。定义1如果(a，b，c)，(a，c，d)都是方程（1）xyz（n2）的解，那么就把它们称做方程（1）的一对连环解。引理6设ab0，一奇一偶，
20、(a，b)1；0，一奇一偶，(，)1，那么，方程组nnn2ab22222ab没有N解。证明假设方程组有N解，则由式变形后设代入式，得abm1（m1，m2，N，m1m2）m222a2m2（m2m1）2222bm1（m2m1）当m2m1时，式左正右负相矛盾；当m2m1时，将式两边开平方，得2m2a44mm2122bm1(m2m1)根据推论7，m2m1Q。那么，式左边是有理数，右边是无理数，相矛盾。故原方程组没有N解。证毕定理4方程（1）xyz（n2）没有连环N解。nnn44（x0，y0，z0），（x0，z0，r0）证明假设方程（1）有连环N解，则可设是它的一对连环N解。根据推论3中的A（n）式，它
21、们必可表示为2n2n2（ab0，一奇一偶，(a，b)1）（x0，y0，z0）n（2ab），（a2b2），（a2b2）n2n222n222（x，z，r）（2），（），（）（0，一奇一偶,(,)1）=（2ab），（ab），（）000n2n222n222对比、两式得方程组2ab22222ab根据引理6，上方程组没有N解。此与a、b、的定义相矛盾。故方程（1）没有连环N解。证毕(z0，x0)1，那么，nz0x0与nz0x0中至推论8设n2，z0、x0N，z0x0，少有一个N。证明假设不是这样，那么，可设nz0x0y0N，nz0x0r0N。x0y0z0，x0z0r0。nnnnnnnnnnnnnn（x0，
22、y0，z0）、（x0，z0，r0）于是恰好构成方程（1）的一对连环N解。此与定理4中方程（1）没有连环N解相矛盾。故原结论成立。证毕4费尔玛方程没有N解引理7设m、nN，m1，那么，定理5方程（4）x2n12n1m2N2n1mN。y2n1z2n1（n1没有N解。）证明假设不是这样，那就是说，方程（4）有N解。根据定理2中的B（2n1）式，必有2n122n122p0）（q0）2n1（N2（p0q00，二奇，(p0，q0)1）22n122（p02n1）（q0）2n1N2再根据引理7，必有22n12（p2n1）（q）00vN2n12（uv0，（u，v）1）2n122n12p0）（q0）2n（1uN2
23、2n1+-2n1，2n12n1（2n1）p02u2n1v2n12（2n1）2n12n1quv02n1u2n1v2n1p0N。2n12n12n1vq0Nu11此与由推论8中得到的2n1u2n1v2n1与2n1u2n1v2n1中至少有一个N相矛盾。因此，方（2n1）（2n1）y2z2没有N解。程（4）没有N解。证毕推论9方程x2（2n1）现将有关内容概括一下：1）推论6方程x2）定理4方程x3）推论9方程x由此得到：定理6费尔玛方程xyz没有N解。（n3）这就是说，当自然数n3时，任何一个自然数的n次幂都不能分成两个自然数的n次幂之和2。参考文献1闵嗣鹤严士健初等数论高等教育出版社19822梁宗臣
24、世界数学简史【法2】nnn4ny4nz4n没有N解。y2n1z2n1没有N解。（2n1）（2n1）y2z2没有N解。2n12（2n1）五个相似直角三角形与费尔玛大定理的证明（摘要）1R通解引理1设Rt0A0B0C0、Rt1A1B1C1、Rt2A2B2C2、Rt3A3B3C3、Rt4A4B4C4的一个锐角分别为A0、A1、A2、A3、A4、其度数都为（090)，如图，那么，它们的三边之长可以分别表示为以下五个三角数组：00bb221aaG（a0，b0，c0，），1（ab0）；bb2211aaA（a1，b1，c1，）（2d，d21，d21）（d1）；r21r21；B（a2，b2，c2，），r，）（
25、r122C（a3，b3，c3，）（2ab，a2b2，a2b2）（ab0）；p2q2p2q2。D（a4，b4，c4，），pq，（pq0）22b0900），(0，则tg，（00，450）（0，1）2a22bb2212tg1tg2ba，cosa，22即，ab0，sin（0，1）b2b2a1tg211tg212a2abb22122aa（a0，b0，c0，）（sin，cos，1），1。sincos1，Gbb2211aapqpq（a2b2）G，30；当a其次，易知C，b或pab，qab22证明首先，对于0，设tg时，CD，34；当1aA2C，1d1时，bb3；当p1r1时，B2D，qq1324;当dpqa
26、b或r时，1pqab2.因此，这五个直角三角形在上述变换条件下都相似（或全等），且它们的三边之长可以分别用三角数组G、A、B、C、D表示。定理1方程xnynzn（n2）（1）的R解公式是以下四式：明，但因书上空白太小，他写不下他的证明。300多年过去了，不知有多少专业数学家和业余数学爱好者绞尽脑汁企图证明它，但不是无功而返就是进展甚微。这就是纯数学中最著名的定理费马大定理。费马(1601年1665年)是一位具有传奇色彩的数学家，他最初学习法律并以当律师谋生，后来成为议会议员，数学只不过是他的业余爱好，只能利用闲暇来研究。虽然年近30才认真注意数学，但费马对数论和微积分做出了第一流的贡献。他与笛
27、卡儿几乎同时创立了解析几何，同时又是17世纪兴起的概率论的探索者之一。费马特别爱好数论，提出了许多定理，但费马只对其中一个定理给出了证明要点，其他定理除一个被证明是错的，一个未被证明外，其余的陆续被后来的数学家所证实。这唯一未被证明的定理就是上面所说的费马大定理，因为是最后一个未被证明对或错的定理，所以又称为费马最后定理。费马大定理虽然至今仍没有完全被证明，但已经有了很大进展，特别是最近几十年，进展更快。1976年瓦格斯塔夫证明了对小于105的素数费马大定理都成立。1983年一位年轻的德国数学家法尔廷斯证明了不定方程xn+yn=z只能有有限多组解，他的突出贡献使他在1986年获得了数学界的最高
28、奖之一费尔兹奖。1993年英国数学家威尔斯宣布证明了费马大定理，但随后发现了证明中的一个漏洞并作了修正。虽然威尔斯证明费马大定理还没有得到数学界的一致公认，但大多数数学家认为他证明的思路是正确的。毫无疑问，这使人们看到了希望。费马在阅读丢番图算术拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下。”（拉丁文原文:Cuiusreidemonstrationemmirabilemsanedetexi.Hancma
29、rginisexiguitasnoncaperet.）毕竟费马没有写下证明，而他的其它猜想对数学贡献良多，由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容，推动了数论的发展。对很多不同的n，费马定理早被证明了。但数学家对一般情况在首二百年内仍对费马大定理一筹莫展。1983年，联邦德国数学家伐尔廷斯证明了莫德尔猜想，从而翻开了费马大定理研究的新篇章获得1982年菲尔兹奖莫德尔猜想1922年，英国数学家莫德尔提出一个著名猜想，人们叫做莫德尔猜想按其最初形式，这个猜想是说，任一不可约、有理系数的二元多项式，当它的“亏格”大于或等于2时，最多只有有限个解记这个多项式为f(x，y
30、)，猜想便表示：最多存在有限对数偶xi，yiQ，使得f(xi，yi)=0后来，人们把猜想扩充到定义在任意数域上的多项式，并且随着抽象代数几何的出现，又重新用代数曲线来叙述这个猜想了因此，伐尔廷斯实际上证明的是：任意定义在数域K上，亏格大于或等于2的代数曲线最多只有有限个K一点数学家对这个猜想给出各种评论，总的看来是消极的1979年利奔波姆说：“可以有充分理由认为，莫德尔猜想的获证似乎还是遥远的事”然而，时隔不久，1983年伐尔廷斯证明了莫德尔猜想，人们对它有了全新的看法在伐尔廷斯的文章里，还同时解决了另外两个重要猜想，即台特和沙伐尔维奇猜想，它们同莫德尔猜想具有同等重大意义谷山志村猜想1955
31、年，日本数学家谷山丰首先猜测椭圆曲线于另一类数学家们了解更多的曲线模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山志村猜想”，这个猜想说明了：有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。谷山志村猜想和费马大定理之间的关系1985年，德国数学家弗雷指出了谷山志村猜想”和费马大定理之间的关系；他提出了一个命题：假定“费马大定理”不成立，即存在一组非零整数A,B,C,使得A的n次方+B的n次方=C的n次方（n2),那么用这组数构造出的形如y的平方=x(x+A的n次方）乘以（x-B的n次方）的椭圆曲
32、线，不可能是模曲线。尽管他努力了，但他的命题和“谷山志村猜想”矛盾，如果能同时证明这两个命题，根据反证法就可以知道“费马大定理”不成立，这一假定是错误的，从而就证明了“费马大定理”。但当时他没有严格证明他的命题。弗雷命题1986年，美国数学家里贝特证明了弗雷命题，于是希望便集中于“谷山志村猜想”。“谷山志村猜想”成立1993年6月，英国数学家维尔斯证明了：对有理数域上的一大类椭圆曲线，“谷山志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”；但专家对他的证明审察发现有漏洞，于是，维尔斯又经过了一年多的拼搏，于1994年9月彻底圆满
33、证明了“费马大定理”。费尔马大定理及其证明近代数学如参天大树，已是分支众多，枝繁叶茂。在这棵苍劲的大树上悬挂着不胜其数的数学难题。其中最耀眼夺目的是四色地图问题、费尔马大定理和哥德巴赫猜想。它们被称为近代三大数学难题。300多年以来，费尔马大定理使世界上许多著名数学家殚精竭虑，有的甚至耗尽了毕生精力。费尔马大定理神秘的面纱终于在1995年揭开，被43岁的英国数学家维尔斯一举证明。这被认为是“20世纪最重大的数学成就”。费尔马大定理的由来故事涉及到两位相隔1400年的数学家，一位是古希腊的丢番图，一位是法国的费尔马。丢番图活动于公元250年前后。1637年，30来岁的费尔马在读丢番图的名著算术的
34、法文译本时，他在书中关于不定方程x2y2z2的全部正整数解这页的空白处用拉丁文写道：“任何一个数的立方，不能分成两个数的立方之和；任何一个数的四次方，不能分成两个数的四次方之和，一般来说，不可能将一个高于二次的幂分成两个同次的幂之和。我已发现了这个断语的美妙证法，可惜这里的空白地方太小，写不下。”费尔马去世后，人们在整理他的遗物时发现了这段写在书眉上的话。1670年，他的儿子发表了费尔马的这一部分页端笔记，大家才知道这一问题。后来，人们就把这一论断称为费尔马大定理。用数学语言来表达就是：形如xn+yn=zn的方程，当n大于2时没有正整数解。费尔马是一位业余数学爱好者，被誉为“业余数学家之王”。
35、1601年，他出生在法国南部图卢兹附近一位皮革商人的家庭。童年时期是在家里受的教育。长大以后，父亲送他在大学学法律，毕业后当了一名律师。从1648年起，担任图卢兹市议会议员。他酷爱数学，把自己所有的业余时间都用于研究数学和物理。由于他思维敏捷，记忆力强，又具备研究数学所必须的顽强精神，所以，获得了丰硕的成果，使他跻身于17世纪大数学家之列。艰难的探索起初，数学家想重新找到费尔马没有写出来的那个“美妙证法”，但是谁也没有成功。著名数学家欧拉用无限下推法证明了方程x3+y3=z3和x4+y4=z4不可能有正整数解。因为任何一个大于2的整数，如果不是4的倍数，就一定是某一奇素数或它的倍数。因此，只要
36、能证明n4以及n是任一奇素数时，方程都没有正整数解，费尔马大定理就完全证明了。n4的情形已经证明过，所以，问题就集中在证明n等于奇素数的情形了。在欧拉证明了n3，n4以后，1823年和1826年勒让德和狄利克雷各自独立证明了n5的情形，1839年拉梅证明了n7的情形。就这样，一个一个奇素数证下去的长征便开始了。其中，德国数学家库默尔作出了重要贡献。他用近世代数的方法，引入了自己发明的“理想数”和“分圆数”的概念，指出费尔马大定理只可能在n等于某些叫非正则素数的值时，才有可能不正确，所以只需对这些数进行研究。这样的数，在100以内，只有37、59、67三个。他还具体证明了当n37、59、67时，
37、方程xn+yn=zn是不可能有正整数解的。这就把费尔马大定理一下推进到n在100以内都是成立的。库默尔“成批地”证明了定理的成立，人们视之为一次重大突破。1857年，他获得巴黎科学院的金质奖章。这一“长征”式的证法，虽然不断地刷新着记录，如1992年更进到n1000000，但这不等于定理被证明。看来，需要另辟蹊径。10万马克奖给谁从费尔马时代起，巴黎科学院曾先后两次提供奖章和奖金，奖励证明费尔马大定理的人，布鲁塞尔科学院也悬赏重金，但都无结果。1908年，德国数学家佛尔夫斯克尔逝世的时候，将他的10万马克赠给了德国哥庭根科学会，作为费尔马大定理的解答奖金。哥庭根科学会宣布，奖金在100年内有效
38、。哥庭根科学会不负责审查稿件。10万马克在当时是一笔很大的财富，而费尔马大定理又是小学生都能听懂题意的问题。于是，不仅专搞数学这一行的人，就连很多工程师、牧师、教师、学生、银行职员、政府官吏和一般市民，都在钻研这个问题。在很短时间内，各种刊物公布的证明就有上千个之多。当时，德国有个名叫数学和物理文献实录的杂志，自愿对这方面的论文进行鉴定，到1911年初为止，共审查了111个“证明”，全都是错的。后来实在受不了沉重的审稿负担，于是它宣布停止这一审查鉴定工作。但是，证明的浪潮仍汹涌澎湃，虽然两次世界大战后德国的货币多次大幅度贬值，当初的10万马克折算成后来的马克已无多大价值。但是，热爱科学的可贵精
39、神，还在鼓励着很多人继续从事这一工作。姗姗来迟的证明经过前人的努力，证明费尔马大定理取得了许多成果，但离定理的证明，无疑还有遥远的距离。怎么办？来必须要用一种新的方法，有的数学家用起了传统的办法转化问题。人们把丢番图方程的解与代数曲线上的某种点联系起来，成为一种代数几何学的转化，而费尔马问题不过是丢番图方程的一个特例。在黎曼的工作基础上，1922年，英国数学家莫德尔提出一个重要的猜想。：“设F（x，y）是两个变数x、y的有理系数多项式，那么当曲线F（x，y）=0的亏格（一种与曲线有关的量）大于1时，方程F（x，y）0至多只有有限组有理数”。维尔斯仍采用代数几何的方法去攀登，他把别人的成果奇妙地
40、联系起来，并且吸取了走过这条道路的攻克者的经验教训，注意到一条崭新迂回的路径：如果谷山志村猜想成立，那么费尔马大定理一定成立。这是1988年德国数学家费雷在研究日本数学家谷山志村于1955年关于椭圆函数的一个猜想时发现的。维尔斯出生于英国牛津一个神学家庭，从小对费尔马大定理十分好奇、感兴趣，这条美妙的定理导致他进入了数学的殿堂。大学毕业以后，他开始了幼年的幻想，决心去圆童年的梦。他极其秘密地进行费尔马大定理的研究，守口如瓶，不透半点风声。穷七年的锲而不舍，直到1993年6月23日。这天，英国剑桥大学牛顿数学研究所的大厅里正在进行例行的学术报告会。报告人维尔斯将他的研究成果作了长达两个半小时的发
41、言。10点30分，在他结束报告时，他平静地宣布：“因此，我证明了费尔马大定理”。这句话像一声惊雷，把许多只要作例行鼓掌的手定在了空中，大厅时鸦雀无声。半分钟后，雷鸣般的掌声似乎要掀翻大厅的屋顶。英国学者顾不得他们优雅的绅士风度，忘情地欢腾着。消息很快轰动了全世界。各种大众传媒纷纷报道，并称之为“世纪性的成就”。人们认为，维尔斯最终证明了费尔马大定理，被列入1993年世界科技十大成就之一。可不久，传媒又迅速地报出了一个“爆炸性”新闻：维尔斯的长达200页的论文送交审查时，却被发现证明有漏洞。维尔斯在挫折面前没有止步，他用一年多时间修改论文，补正漏洞。这时他已是“为伊消得人憔悴”，但他“衣带渐宽终
42、不悔”。1994年9月，他重新写出一篇108页的论文，寄往美国。论文顺利通过审查，美国的数学年刊杂志于1995年5月发表了他的这一篇论文。维尔斯因此获得了19951996年度的沃尔夫数学奖。经过300多年的不断奋战，数学家们世代的努力，围绕费尔马大定理作出了许多重大的发现，并促进了一些数学分支的发展，尤其是代数数论的进展。现代代数数论中的核心概念“理想数”，正是为了解决费尔马大定理而提出的。难怪大数学家希尔伯特称赞费尔马大定理是“一只会下金蛋的母鸡”。注：x2表示x的平方。第5篇：费马定理定理及其证明费马定理：设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)当xc时，当xc时，f(x)f(c)f(x)f(c)0，所以f(c)lim0xcxcxcf(x)f(c)f(x)f(c)0，所以f(c)lim0xcxcxc所以f(c)0以上是对于f(x)f(c)这种情况进行的证明，同理也可证明f(x)f(c)这种情形罗尔定理：设f(x)在a,b上连续，在a,b上可导，若f(a)f(b)，则必有一点ca,b使得f(c)0证明：分两种