《三次的费马方程-各种证明.doc》由会员分享，可在线阅读，更多相关《三次的费马方程-各种证明.doc（16页珍藏版）》请在金锄头文库上搜索。
1、(五)三次的费马方程在第一部分里已经提到，首先发表n=3情形FLT的证明应归功于欧拉，它出现在1770年出版的欧拉的代数一书中欧拉证明中的重要步骤使用了a2+3b2型整数的可除性，但没有给出充分的理由勒让德在他的书中(1830)重复了欧拉的证明，没有给出进一步的解释因为在这个问题上他也是一位专家，当然通晓欧拉的推论数学家对此发表了一系列文章1966年波格曼发表了欧拉证明的彻底分析，出于历史的考虑，使这个争论更加明朗化的确，1760年欧拉已经严格证明：如果s是奇数，且s3=a2+3b2，其中(a，b)=1那么s=u2+3v2，这里u，v是整数这个情形的另外一个证明是高斯给出的两个证明都用无穷递降
2、法，们还将看到，欧拉的证明只不过是高斯证明的一个特例，而后者的证明比前者要简单的多这里，首先给出一个初等证明，然后给出欧拉和高斯的证明1初等证明引理1 方程x1x2xn=w3 (1)其中x1，x2，xn两两互素，全部整数解可由下列公式给出：x1=3，x2=3，xn=3，w=(2)其中，两两互素证明由(2)确定的x1，x2，xn，w显然适合方程(1)现证明方程(1)的每一个解都可表示为(2)形设x1，x2，xn，w为方程(1)的一个解令x1=3x1，x2=3x2，xn=3xn(3)其中x1，x2，xn为不含有立方因数的正数因为x1，x2，xn两两互素所以，及x1，x2，xn，都两两互素从(1)知
3、333w3，得w设w=w1，代入(1)，得x1x2xn=w13如果w1有素因数p，那么p3x1x2xn因为x1，x2，xn两两互素，所以p3整除某个xi，这与xi没有立方因数矛盾，因此只有w1=1于是x1x2xn=1因为xi都是正整数，故x1=x2=xn=1因此(3)为x13，x2=2，xn=3其中，两两互素，而w=引理2 方程x2+3y2=z3，(x，y)=1(4)的一切整数解可以表示为其中(u，v)=1，3u，u、v一奇一偶证明 略推论1 方程x2-xy+y2=z3，(x，y)=1(6)的一切整数解包含在下列两组公式中：其中(u，v)=1，3u，u、v一奇一偶；其中(u，v)=1，3u，u
4、、v一奇一偶推论2 方程x2-xy+y2=3z3，(x，y)=1 (9)的一切整数解均可由下面两组公式表出：其中(u，v)=1，3u，u、v一奇一偶其中(u，v)=1，3u，u、v一奇一偶现在我们证明定理 方程x3+y3+z3=0，(x，y)=1 (12)没有非零的整数解证明 首先，我们证明方程(12)没有3xyz解若方程(12)有解x，y，z，则(z+y)(x2-xy+y2)=(-z)3 (13)如果(x+y)与(x2-xy+y2)有素公因数p，即p|(x+y)，p|(x2-xy+y2)，那么由3xy=(x+y)2-(x2-xy+y2)推得p|3xy由于3z，故p3，所以p|xy；不防设p|
5、x，又因p|(x+y)，则有p|y，与(x，y)=1矛盾因此，(x+y)与(x2-xy+y2)互素由(13)并根据引理1，有其中(，)=1在(14)的第二式中，因(x，y)=1，3x， 3y，根据引理2的推论1必有其中(u，v)=1，3u，u、v一奇一偶把(15)中的x，y代入(14)第一式，得2u(u+3v)(u-3v)=3(16)因为(u，v)=1，3u，u、v一奇一偶，所以2u，u+3v，u-3v两两互素，再根据引理1必有=111其中1，1，1两两互素由(17)的前三式消去u，v，得因为-z=111，所以3111，且|z|1|0用同样方法又可得其中2，2，2满足3222，|1|2|0继续
6、进行下去，可得一无穷递减正整数序列|z|1|2|0这是不可能的因此(12)没有3xyz解 其次，证明方程(12)没有3|zyz解 设z=3nz1，3z1代入(12)，得因为x，y，z两两互素故3x，3y我们只需证明，对于任意n，方程(20)无解即可 对n施行归纳法： 当n=0时，上面已经证明(20)没有解假设n-1时方程(20)没有解若对n，(20)有解x，y，z1，则(x+y)(x2-xy+y2)=33n(-z1)3 (21)因为x2-xy+y2=(x+y)2-3xy，且3xy，所以，若3(x+y)，则3(x2-xy+y2)；若3s|(x+ y)，其中s1，则3|(x2-xy+y2)，而32
7、(x2-xy+y2)由(21)必有33n-1|(x+y)，3|(x2 -xy+y2)按照前述方法，类似可证x+y，x2-xy+y2 没有不等于3的素公因数，因而，理1，则有x+y=33n-13 x2-xy+y2=33 (22)-z1=a其中(，)=1在(22)的第二式中，因为(x，y)=1，根据引理的推论2，必有其中(u，v)=1，3u，u、v一奇一偶或者其中(u，v)=1，3u，u、v一奇一偶将(23)的x，y代入(22)的第一式，得u3+3u2v-9uv2-3v3=33n-23 (25)因为3u，所以(25)式左端不被3整除于是(25)式不成立，故(23)式也不成立；再把(24)的x，y代
8、入(22)的第一式，得2v(u+v)(u-v)=33(n-1)3 (26)因为(u，v)=1，uv一奇一偶，所以2v，u+ v，u-v两两互素因此它们中之一必被33(n-1)整除不防设33(n-1)|(u-v)根据引理1，必有a=111其中1，1，1两两互素因-z=111，故3111因此，得这与归纳假设矛盾如果2v或u+v被33(n-1)整除，则分别得或者13+13+33(n-1) (-1)3=0 (30)这些都与归纳假设矛盾定理得证2欧拉的证明这里介绍欧拉证明的概要证明 假设x，y，z是两两互素的整数，适合方程(12)，其中x， y是奇数， z是偶数，且|z|是可能解中最小的不失一般，这个假
9、设是可以的那么x+y=2ax-y=2b (31)这里a，b是互素的非零整数，奇偶性相反因此， -z3=x3+y3=(a+b)3+(a-b)3=2a(a2+3b2) (32)容易推出a2+3b2是奇数，8整除2a，b是奇数，且(2a，a2+3b2)=1或3 情形 (2a，a2+3b2)=1 从(32)及引理1可知，2a和a2+3b2都是某数的立方：2a=r3a2+3b2=s3 (33)这里s是奇数在这一点上，按照欧拉的意思，把s表示成s=u2+3v2是可能的，其中u，v使a=u(u2-9v2)b=3v(u2-v2) (34)于是v是奇数，u0，u是偶数，3u，(u，v)=1，且 r3=2a=2u
10、(u-3v)(u+3v) (35)注意到2u，u-3v，u+3必两两互素，于是它们是整数的立方：2u=-l3u-3v=m3 (36)u+3v=n3其中l，m，n不等于零(因为3不整除u)于是l3+m3+n3=0 (37)其中l是偶数此外，因为b0，3u：|z3|=|2a(a2+3b2)|=|l3(u2-9v2)(a2+3b2)|3|l3|l3|这与|z|最小的假设矛盾 情形(2a，a2+3b2)=3 令a=3c，那么4|c，3b由(32)得 -z3=6c(9c2+3b2)=18c(3c2+b2)(38)这里18c与3c2+b2互素，3c2+b2是奇数，且不是3的倍数 于是18c，3c2+b2都
11、是整数的立方：18c=r3(39)3c2+b2=S3 其中s是奇数同情形一样，s=u2+3v2，其中整数u，v使b=u(u2-9v2) (40)c=3v(u2-v2)于是u是奇数，v是偶数，v0(u，v)=1，且2v，u+v，u-v两两互素，从得2v=-l3u+v=m3 (42)u-v=-n3因此，l3+m3+n3=0， 其中l，m，n是非零的整数，l是偶数最后，|z|3=18|c| (3c2+b2) =54|v(u2-v2)|(3c2+b2) =7|l|3|u2-v2| (3c2+b2) 27|l|3|l|3这与|z|的最小选择矛盾3高斯的证明首先，我们介绍一些代数的基础知识我们把经常用到的
12、几种数集用字母表示：Z 表示全体整数的集Q 表示全体有理数的集R 表示全体实数的集C 表示全体复数的集设A=a，b，c，我们称a，b，c，是A的元素如果a是集A的元素，就说a属于A，记作aA；如果a不是集A的元素，就说a不属于A，记作A设A，B是两个集如果A的每一个元素都是B的元素，那么就说A是B的子集，记作AB如果集A与B的元素完全一样，就说集A，B相等，记作A=B；否则，就说集A，B不相等，记作AB当AB，AB时，叫A是B的真子集，记作AB显然，ZQRC数环和数域定义 设S是C的一个非空子集如果对于S中任意两个数a，b，a+b，a-b，ab都在S内，那么就说S是一个数环例如，数集Z，Q，R，C都是数环定义 设F是一个数环如果()F含有一个不等于零的数；域 例如，数集Q，R，C都是数域，但Z不是数域由于研究不定方程的需要，人们讨论了一些特殊的复数：Q(i)=a+bi|a，bQ Z(i)=a+bi|a，bZ对于复数加法和乘法，Q(i)是一个数域，Z(i)是一个数环Z(i)中的复数叫复整数为了区别起见，我们把通常的整数叫做有理整数显然，ZZ(i)，QQ(i)，Z(i)Q(i)我们需要Q(i)中复整数具有有理整数一些性质，特别是唯一分解定理成立为此，需要建立复整数的整除、
