数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: fmcjw

方程X^n+Y^n=Z^n(n>1)的解法

[复制链接]
 楼主| 发表于 2015-10-3 02:40 | 显示全部楼层
  陈建伟
                                                                            前言


    关于费马大定理这个困扰了我们三百多年的数学难题,似乎已经被怀尔斯所证明,但其证明用到了费马时代还没有的数学理论!因此,无论其是否真的证明了这个定理,他的证法都不是费马所说的方法!至今究竟有没有初等方法的证明仍然未知。
     其实这个命题的难点就在于对方程X^n+Y^n=Z^n(n>1)的求解。本文便是从方程X^n+Y^n=Z^n(n>1)的解法入手证明了费马大定理是成立的!

                                                                           分析

       1:对于方程X^n+Y^n=Z^n的指数n,它的取值是大于1的所有自然数,即n=2,3,4,5、、、N+1(N=1,2,3,、、、)。因此这个方程其实表示了指数为N+1的无穷多个方程!对其求解实际上是对无穷多个方程的求解!显然这是不可能完成的事情。然而几百年来数学家们好像正是在如此从事着这不可能完成的事情!因此这个命题困扰了我们三百多年就不足为奇了。显然,我们的思路必须改变才能有所突破!
       2 : 对于指数n,我们可将其分为以下几个部分来讨论:(1)n=2;(2)n=2m;(3)n=4k(k>0);(4)n=2k+1(k>0);(5)n=4k+2(k>0).
由指数n为(1)n=2;(2)n=2m;(3)n=4k(k>0);(4)n=2k+1;(5)n=4k+2时有如下方程:
                                         X^2+Y^2=Z^2                                                    (1)
                                         X^2m+Y^2m=Z^2m                                          (2)
                                         X^4k+Y^4k=Z^4k                                              (3)
                                         X^2k+1+Y^2k+1=Z^2k+1                                (4)
                                         X^2(2k+1)+Y^2(2k+1)=Z^2(2k+1)                   (5)
这样我们就将对无穷多个方程的求解问题变成只对 (1),(2)两个方程的求解问题了!因为方程 (3)可由方程(2)中令m=2k而得。当(2k+1) =m时,(5)与 (2)就是完全一样的了,因此,对(3), (5)的求解或证明实际上都归结为对(2)的求解或证明!最终都归结为对(1)的求解问题了!即只要证明 (1)有正整数解与(2)在m 大于1时无正整数解则费马大定理就得证成立。那人们会说对于方程(4)呢?这正是问题的关键所在。我们以前是先对 X^2k+1+Y^2k+1=Z^2k+1在k=1,2,3...分别进行求解证明无正整数解,再推出 (5)也无正整数解。而这样的证明过程无穷无尽!是不可能完成的过程,所以导致几百年都无法证明费马大定理!
       我们为何不先对(5)来求解呢?前面我们已经分析了对(3), (5)的求解或证明实际上都归结为对(2)的求解或证明!即当m=2k,m=2k+1时 (2)式就是 (3)式, (5)式。
       下面我们就来讨论方程(1),(2)的求解方法和证明费马大定理。
                                                         求解与证明


   (1)方程 X^2+Y^2=Z^2  的求解方法:
对于方程                 
                                 x^2+y^2=z^2,(x,y=/=0,x=/=y,z>x,y)                (1)
设c    令x-c=a,y-c=b,则x=c+a,y=c+b代入(1)得
                                 (c+a)^2+(c+b)^2=z^2                         (2)
由(2)可知,只要(c+a)^2+(c+b)^2是一个完全平方数(2)就成立,也即(1)成立有解!根据二项式定理将(2)式左边展开有
                         (c+a)^2+(c+b)^2=c^2+2ca+a^2+c^2+2cb+b^2                                                                                       =c^2+2c(a+b)+a^2+b^2+c^2                     
                                           =c^2+2c(a+b)+(a+b)^2-2ab+c^2                     
                                           =[(a+b)+c]^2+c^2-2ab
显然当c^2-2ab=0即c=(2ab)^1/2时      
                                (c+a)^2+(c+b)^2=[(a+b)+c]^2                (3)
是一个完全平方数!因此将c=(2ab)^1/2代入(3)得               
                                [a+(2ab)^1/2]^2+[b+(2ab)^1/2]^2=[(a+b)+(2ab)^1/2]^2       (4)
由(4)式与(1)对比,完全等价,所以我们就求出了方程x^2+y^2=z^2的通解式为               
                                 x=a+(2ab)^1/2;               
    A={                       y=b+(2ab)^1/2;                            (1)               
                                 z=a+b+(2ab)^1/2。  
a,b取自然数时(2ab)^1/2中只要2ab为完全平方数其解就是正整数解!不难证明这个通解包含了这个方程所有的正整数解!也包含了这个方程所有的非正整数解!因此费马大定理的第一个结论得以确证。    很明显(2ab)^1/2中当(2ab)不为完全平方数时其解就是无理数;当a,b异号(即a,b有一个取负数)时这个解就是复数解!等等。总之,这个解就包含了满足方程x^2+y^2=z^2所有可能的解!
方程x^2+y^2=z^2的通解还有另一形式:
              x=a-(2ab)^1/2;
B  ={      y=b-(2ab)^1/2;
              z=a+b-(2ab)^1/2.
由于B中x,y在(2ab)^1/2为正整数时不可能同时为正整数!必有一个是负整数,故不可能有正整数解!。所以在前面的讨论中就没有列出。
由方程X^2+Y^2=Z^2的陈氏解:
                   X=a+(2ab)^1/2,
               {  Y=b+(2ab)^1/2,
                   Z=a+b+(2ab)^1/2。
我们可以得到两个重要的关于正整数域内的解:
                   X=(2n+1),
      (1)          Y=(2n^2+2n),
                   Z=(2n^2+2n+1).
     

      (2)          X=(2n+2)
                  Y=(n^2+2n)k
                  Z=(n^2+2n+2)k
由解(1),(2)可知,对于大于1的所有奇数和大于2的所有偶数,每一个奇数和偶数x都有对应的两个自然数y,z与之组成x,y,z数组,使得x,y,z满足X^2+Y^2=Z^2。由于奇数和偶数的个数无穷多,故X^2+Y^2=Z^2的正整数解有无穷多个!这就直观明白地给出了费马大定理的第一个结论(n=2,X^n+Y^n=Z^n有无穷多个正整数解!)。
    (2)方程 X^2m+Y^2m=Z^2m的求解:
因为
                      X^2m+Y^2m=Z^2m                                    (2)                        

                     (X^m)^2+(Y^m)^2=(Z^m)^2                      (2)'               
完全等价,因此方程 (2)'必有解为  
                    X^m=a+(2ab)^1/2,
               {  Y^m=b+(2ab)^1/2,                                        ( A')
                    Z^m=a+b+(2ab)^1/2。

                    X^m=(2n+1)
               { Y^m=(2n^2+2n)                                           (N)                                    
                    Z^m=(2n^2+2n+1)
     

                    X^m=(2n+2)
              {  Y^m=(n^2+2n),                                             (N)'
                    Z^m=(n^2+2n+2).
当m=2k时解 (N) , (N)'变为  :  
                   X^2k=(2n+1),
               { Y^2k=(2n^2+2n),                                           (k)                                    
                    Z^2k=(2n^2+2n+1).
     

                    X^2k=(2n+2)
              {  Y^2k=(n^2+2n),                                             (k)'

                    Z^2k=(n^2+2n+2).
以解 (k)为例,因为
                  (2n+1)+(2n^2+2n)=/=(2n^2+2n+1)
所以
                  X^2k+ Y^2k=/=Z^2k                                      (6)
即n=4k时
                   X^4k+Y^4k=/=Z^4k                                      (3)'
当m=2k+1时解 (N) , (N)'变为  :   
                    X^2k+1=(2n+1)
               { Y^2k+1=(2n^2+2n)                                           (t)                                    
                    Z^2k+1=(2n^2+2n+1)
     

                    X^2k+1=(2n+2)
              {  Y^2k+1=(n^2+2n),                                             (t)'
                    Z^2k+1=(n^2+2n+2).
这与对方程(5)求解所得结果是一致的。由 (t) ,  (t)'即可得:
                     X^2k+1+ Y^2k+1=/=Z^2k+1                          (4)'   !!!
所以
                     X^2(2k+1)+Y^2(2k+1)=/=Z^2(2k+1)

                     X^2m+Y^2m=/=Z^2m(m=2k+1)
至此费马大定理得证成立!!!
                                                          结论
对于方程X^2m+Y^2m=Z^2m(n=2m),
当m=1时有
                              X^2+Y^2=Z^2,                                            (A)
当m=2k时有
                              X^4k+Y^4k=Z^4k,                                       (B)
当m=2k+1时有
                              X^2(2k+1)+Y^2(2k+1)=Z^2(2k+1)               (C)

由方程(A),(B),(C)可知方程(B),(C)的解必与方程(A)的解有关!

显然的对于方程(B)有另外两个写法:

                          (X^2k)^2+(Y^2k)^2=(Z^2k)^2                             (B)'

                           
                          (X^2)^2k+(Y^2)^2k=(Z^2)^2k                            (B)"

对于方程(C)也有另外两个写法:

                          (X^2k+1)^2+(Y^2k+1)^2=(Z^2k+1)^2                (C)'

                          (X^2)^2k+1+(Y^2)^2k+1=(Z^2)^2k+1                (C)"

由于方程(B)'与(B)"是等价的、一样的,只是 (B)的两个不同写法而已,因此无论对哪一个求解其结果必定是一致

的!(C)', (C)"也是同理。因此,我们不能否定方程X^2m+Y^2m=Z^2m(n=2m)在m>1时的解与m=1时的解有

关!
     几百年来人们对费马定理的"证明“思路基本上是这样的:

只要证明
                         X^4+Y^4=Z^4

                         X^p+Y^p=Z^p

不成立即可!对于

                        X^4+Y^4=Z^4

已经证明不成立,所以就证明了

                        X^4k+Y^4k=Z^4k

也不成立。这与本文对方程

                       X^2m+Y^2m=Z^2m

在m=2k时的方程
                       X^4k+Y^4k=Z^4k
[即
                     (X^2k)^2+(Y^2k)^2=(Z^2k)^2

求解所得结论是一致的。可见对方程

                    (X^2k)^2+(Y^2k)^2=(Z^2k)^2

求解与对方程

                    (X^2)^2k+(Y^2)^2k=(Z^2)^2k

求解其结论必然是一致的!

       那么对于方程

                     X^p+Y^p=Z^p(对所有的奇素数p的方程有无穷多个)

求解就是不可能完成的事情!而几百年来人们就是在从事着这不可能完成的事情!

      由对方程
                   (X^2k)^2+(Y^2k)^2=(Z^2k)^2
求解与对方程
                   (X^2)^2k+(Y^2)^2k=(Z^2)^2k

求解其结果必然是一致的结论可以推知对方程
                   X^p+Y^p=Z^p

的求解与对方程

                   X^2p+Y^2p=Z^2p

的求解也是一致的!本文是对 方程

                   X^2(2k+1)+Y^2(2k+1)=Z^2(2k+1)

进行求解得出
                   X^2k+1+Y^2k+1=/=Z^2k+1   !

因为2k+1 表示大于1的所有奇数当然包含了所有的奇素数p,故也就证明了

                   X^p+Y^p=/=Z^p.!

本文的思路是若证明

                  X^3+Y^3=Z^3

不成立则
                  X^6+Y^6=Z^6

也必定不成立,若证明

                  X^p+Y^p=Z^p
不成立则

                 X^2p+Y^2p=Z^2p

也不成立!反之,如果证明

                 X^2p+Y^2p=Z^2p

不成立!则

                 X^p+Y^p=Z^p

就必定不成立!

      本文证明方法正是与人们的通常思路相反,不去对X^p+Y^p=Z^p进行求解或证明!而是先对方程

                  X^2p+Y^2p=Z^2p

进行求解并利用其解
                         X^p=2n+1

      {                 Y^p=2n+2n^2

                         Z^p=2n+2n^2+1
来证明

                         X^p+Y^p=/=Z^p      !!

       由以上讨论可知对于方程X^n+Y^n=Z^n,只要n=2,就有无穷多个正整数解!当n>2=2m时,其解就必与n=2时的解有关!且只要n>2=2m,即只要m>1则n>2,那么方程X^n+Y^n=Z^n就不可能有正整数解!因大于1的自然数m包含了所有的奇数,必包含了所有的奇素数,所以我们就不必要再去逐个对奇素数的n进行证明了。













发表于 2015-10-3 10:53 | 显示全部楼层
fmcjw 发表于 2015-10-3 02:40
陈建伟
                                                                            前言

你没有看懂我的意思。
我说是在X^2m+Y^2m=Z^2m情况下,通过你求出来的解,  
             X^m=(2n+1)
               { Y^m=(2n^2+2n)                                           (N)                                    
                    Z^m=(2n^2+2n+1)
你证明了方程X^m+Y^m≠Z^m,对吧?因为(2n+1)+(2n^2+2n)≠(2n^2+2n+1),另外一个解我们先不谈,我们先确认这个。
如果是这样,你还需在X^2m+Y^2m≠Z^2m情况下,证明X^m+Y^m≠Z^m。懂我意思吗?

点评

X^2m+Y^2m≠Z^2m是在m>1的条件下!对于X^2m+Y^2m=Z^2m我是假设m可为大于0的所有自然数时成立!那么当m=1时因方程X^2m+Y^2m=Z^2m有解所以成立并求得其解,根据其解 (N) 就可判断m>1时X^2m+Y^2m≠Z^2m  发表于 2015-10-3 14:41
证明方程X^m+Y^m≠Z^m是在m>1的条件下!对于X^2m+Y^2m=Z^2m我是假设m可为大于0的所有自然数时成立!那么当m=2时因方程X^2m+Y^2m=Z^2m有解所以成立并求得其解,根据其解 (N) 就可判断m>1时X^2m+Y^2m≠Z^2m  发表于 2015-10-3 14:34
 楼主| 发表于 2015-10-3 14:18 | 显示全部楼层
奇数的世界 发表于 2015-10-3 10:53
你没有看懂我的意思。
我说是在X^2m+Y^2m=Z^2m情况下,通过你求出来的解,  
             X^m=(2n+1)
...

在X^2m+Y^2m≠Z^2m情况下?
当X^2m+Y^2m≠Z^2m时,那就是说(X^m)^2+(Y^m)^2=/=(Z^m)^2!显然有(X^2)^m+(Y^2)^m=/=(Z^2)^m
 楼主| 发表于 2015-10-3 14:54 | 显示全部楼层
fmcjw 发表于 2015-10-3 14:18
在X^2m+Y^2m≠Z^2m情况下?
当X^2m+Y^2m≠Z^2m时,那就是说(X^m)^2+(Y^m)^2=/=(Z^m)^2!显然有(X^2)^m+(Y ...

当(X^m)^2+(Y^m)^2=/=(Z^m)^2时就表示X^m,Y^m,Z^m为非勾股数!(X^2)^m+(Y^2)^m=/=(Z^2)^m则表示X^2,Y^2,Z^2三个平方数在m>1时不存在(X^2)^m+(Y^2)^m=(Z^2)^m的关系!
 楼主| 发表于 2015-10-3 15:16 | 显示全部楼层
87654321 发表于 2015-10-3 06:41
同时,在上边所介绍之书第10-17页的第2种方法,
已证 p >3  时,x^p + y^p = z^p  无正整数解!

p >3  时对于所有的奇素数指数您是怎样表示出来的?就是x^p + y^p = z^p吗?
 楼主| 发表于 2015-10-3 15:37 | 显示全部楼层
fmcjw 发表于 2015-10-3 15:16
p >3  时对于所有的奇素数指数您是怎样表示出来的?就是x^p + y^p = z^p吗?

对于方程x^p + y^p = z^p,其中的p=3、5、7、11、...,也就是有无穷多个不同指数的方程!证明了p=3并不能由此而证明p >3时x^p + y^p = z^p也不成立。
发表于 2015-10-3 21:13 | 显示全部楼层
fmcjw 发表于 2015-10-3 14:18
在X^2m+Y^2m≠Z^2m情况下?
当X^2m+Y^2m≠Z^2m时,那就是说(X^m)^2+(Y^m)^2=/=(Z^m)^2!显然有(X^2)^m+(Y ...

当X^2m+Y^2m≠Z^2m时,那就是说(X^m)^2+(Y^m)^2=/=(Z^m)^2!显然有(X^2)^m+(Y^2)^m=/=(Z^2)^m
是的。但是你只是证明了(X^2)^m+(Y^2)^m=/=(Z^2)^m,并没有证明(X)^m+(Y)^m=/=(Z)^m!
这个是很多人都懂的事,X,Y,Z为完全平方数才成立的东西,怎么行?

回复 支持 0 反对 1

使用道具 举报

发表于 2015-10-3 21:21 | 显示全部楼层
fmcjw 发表于 2015-10-3 15:37
对于方程x^p + y^p = z^p,其中的p=3、5、7、11、...,也就是有无穷多个不同指数的方程!证明了p=3并不能 ...

我可以利用你求的解给你说明。
我说是在X^2m+Y^2m=Z^2m情况下,通过你求出来的解,  
             X^m=(2n+1)
               { Y^m=(2n^2+2n)                                           (N)                                    
                    Z^m=(2n^2+2n+1)
你证明了方程X^m+Y^m≠Z^m,对吧?因为(2n+1)+(2n^2+2n)≠(2n^2+2n+1)。
在X^2m+Y^2m≠Z^2m情况下,必有一组解:
              X^m=(2n+1)
                { Y^m=(2n^2+2n)                                           (N)                                    
                    Z^m≠(2n^2+2n+1)
X^m+Y^m=(2n+1)+(2n^2+2n),Z^m≠(2n^2+2n+1)
如何能得出(2n+1)+(2n^2+2n)≠(2n^2+2n+1)?即X^m+Y^m≠Z^m?
希望楼主仔细看了再做回复。我也为这个问题花了不少时间和精力了,我不准备再回复你了。


点评

X^2m+Y^2m≠Z^2m与X^4k+Y^4k=/=Z^4k是一样的!而X^4k+Y^4k=/=Z^4k是我们证明了X^4+Y^4=/=Z^4时的合理推论.本文也是证明了X^m+Y^m≠Z^m从而推出X^2m+Y^2m≠Z^2m的结论!  发表于 2015-10-4 07:53
请问X^2m+Y^2m≠Z^2m这个不等式是在什么情况下成立的?怎么证明的?怎么会必有一组解: X^m=(2n+1) { Y^m=(2n^2+2n) (N)  发表于 2015-10-4 02:48
发表于 2015-10-3 21:43 | 显示全部楼层
奇数的世界 发表于 2015-10-3 21:21
我可以利用你求的解给你说明。
我说是在X^2m+Y^2m=Z^2m情况下,通过你求出来的解,  
             X^m ...

费马大定理只有唯一一个证明方法,看看我的证明就知道了。
 楼主| 发表于 2015-10-4 02:01 | 显示全部楼层
奇数的世界 发表于 2015-10-3 21:21
我可以利用你求的解给你说明。
我说是在X^2m+Y^2m=Z^2m情况下,通过你求出来的解,  
             X^m ...

在X^2m+Y^2m≠Z^2m情况下,必有一组解:
                    X^m=(2n+1)
                { Y^m=(2n^2+2n)                                           (N)                                    
                    Z^m≠(2n^2+2n+1)?
这不应该是你的水平啊!你这解 Z^m≠(2n^2+2n+1)是如何求得的?
对于方程X^2m+Y^2m=Z^2m,无论m是大于1的哪个自然数,在没有对X,Y,Z进行同为正整数的条件限制时它不仅成立而且有解!只不过它的这个解在m大于1时不可能为正整数而已!因此才有X^2m+Y^2m≠Z^2m(当m>1,XYZ为正整数)!
再从解 (N)来看,因
                     X^m=(2n+1)
               {   Y^m=(2n^2+2n)                                           (N)                                    
                     Z^m=(2n^2+2n+1)

                     X=(2n+1)^1/m
               {   Y=(2n^2+2n)^1/m                                          (N)'                                    
                     Z=(2n^2+2n+1)^1/m
当m=2k时解(N)'变为
                     X=(2n+1)^1/2k
               {   Y=(2n^2+2n)^1/2k                                          (N)''                                    
                     Z=(2n^2+2n+1)^1/2k
由解(N)''  可知m>1=2k时则XYZ不可能同为正整数!所以
                        X^2m+Y^2m=Z^2m

                       X^4k+Y^4k=Z^4k
没有正整数解!也就是若XYZ为正整数,则 X^4k+Y^4k=/=Z^4k!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-6-16 10:27 , Processed in 0.100985 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表