数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 16563|回复: 92

证明费马大定理

[复制链接]
发表于 2016-3-7 15:00 | 显示全部楼层 |阅读模式
本帖最后由 zy1818sd 于 2016-3-10 05:16 编辑

      
       证明费马大定理应该有多种角度和方法,但“费马方程整数解判别式”方法无疑是多种证明方法中最简单、实用,最具操作性、普遍性,最有望成为费马大定理证明经典理论的证明方法。这种证明方法用代数等式关系,直接给出了费马方程x^n+y^n=z^n在指数n任意取值时x^n+y^n所对应的z^n方项系数的代数条件,最终实现了探索费马大定理证明过程中质的飞跃。这个判别式由庄严、庄宏飞花了近三十八年的时间探索得到。以下我们将实践介绍这种方法。
      费马方程整数解关系判别式:
(2x+2z+y)^n +( 2y+2z+x)^n=( 2x+2y+3z)^n               
      这个由(x,y,z)三项元素以1、2、3为系数的费马方程整数解判别式,当方程的指数依次取值时,如果某一次指数幂的费马方程存在整数解,那么,该判别式的乘积展开式化简后,将能够还原为原来的费马方程。反之,如果某一次指数幂的费马方程不存在整数解,那么,该判别式的乘积展开式化简后,将无法还原为原来的费马方程。由此即可得出费马方程在指数任意取值后的整数解关系是否存在。

      例如:在判别式方程中取指数为2得到:
(2x+2z+y)^2 +( 2y+2z+x)^2=( 2x+2y+3z)^2  
      计算展开并化简后得到不对称等式
5x^2+8xy+12xz+12yz+5y^2+8z^2=4x^2+8xy+12xz+12yz+4y^2+9z^2
      等式两边同时消减同类项后得到
X^2+y^2=z^2
      由此得到判别式方程在指数为2时,能够使判别式方程等式关系成立的代数条件是X^2+y^2=z^2,因判别式方程每个括号中都含有x,y,z且都是加法乘法关系,所以勾股定理中必然存在整数关系亦得到了证明,即所有勾股数组(x,y,z)都可使判别式方程等式关系成立。因判别式方程能够还原为原来的费马方程,故得到指数为2时费马方程X^2+y^2=z^2的整数解关系成立;
此时判别式方程右边z^2项的系数条件是3^2-2^2-2^2=9-4-4=1;

      这里需要说明,继续增加方次时判别式方程的积项展开式的项数将会按指数n的3^(n+1)的数量增加,其项积展开后的篇幅巨大,而我们现在只讨论判别式方程与费马方程x^n+y^n=z^n比较的还原条件,所以我们只要对判别式方程中关键积项x^n、y^n、z^n系数的产生条件进行研判就可达此目的,所以将在下面的阐述过程中把x^n、y^n、z^n以外的积项条件全部省略。

      现在判别式方程中取指数为3得到
(2x+2z+y)^3 +( 2y+2z+x)^3=( 2x+2y+3z)^3  
      计算展开并化简后得到不对称等式
9X^3+8z^3+…+8z^3+…+9y^3= 8X^3+8y^3+…+27z^3
      等式两边同时消减同类项后得到
X^3+y^3=11z^3+…
      由此得到判别式方程在指数为3时,能够使判别式方程等式关系成立的代数条件是X^3+y^3=11z^3+…而不是X^3+y^3=z^3,因判别式方程不能够还原为原来的费马方程,故得到指数为3时费马方程X^2+y^2=z^2的整数解关系不成立;
此时判别式方程右边z^2项的系数条件是3^3-2^3-2^3=27-8-8=11;

      现在判别式方程中取指数为4得到
(2x+2z+y)^34 +( 2y+2z+x)^4=( 2x+2y+3z)^4  
      计算展开并化简后得到不对称等式
17X^4+16z^4+…+16z^4+…+17y^4= 16X^4+16y^4+…+81z^4
      等式两边同时消减同类项后得到
X^4+y^4=49z^4+…
      由此得到判别式方程在指数为4时,能够使判别式方程等式关系成立的代数条件是X^4+y^4=49z^4+…而不是X^4+y^4=z^4,因判别式方程不能够还原为原来的费马方程,故得到指数为4时费马方程X^4+y^4=z^4的整数解关系不成立;
此时判别式方程右边z^4项的系数条件是3^4-2^4-2^4=81-16-16=49;

      现在判别式方程中取指数为5得到
(2x+2z+y)^5 +( 2y+2z+x)^5=( 2x+2y+3z)^5  
      计算并化简后得到不对称等式
33X^5+32z^5+…+32z^5+…+33y^5= 32X^5+32y^5+…+243z^5
      等式两边同时消减同类项后得到
X^5+y^5=179z^5+…
      由此得到判别式方程在指数为5时,能够使判别式方程等式关系成立的代数条件是X^5+y^5=179z^5+…而不是X^5+y^5=z^5,因判别式方程不能够还原为原来的费马方程,故得到指数为5时费马方程X^5+y^5=z^5的整数解关系不成立;
此时判别式方程右边z^5项的系数条件是3^5-2^5-2^5=243-32-32=179;

      综合以上,当指数取n次方时我们有
(2x+2z+y)^n +( 2y+2z+x)^n=( 2x+2y+3z)^n
      计算并化简后得到不对称等式
(2^n+1)X^n+2^nz^n+…+2^nz^n+…+(2^n+1)y^n= 2^nX^n+2^ny^n+…+3^nz^n
      等式两边同时消减同类项后得到
X^n+y^n=(3^n-2^n-2^n)z^n+…
      即此时能够使判别式方程等式关系成立的代数条件是X^n+y^n=(3^n-2^n-2^n)z^n+…而不是X^n+y^n=z^n,因判别式方程不能够还原为原来的费马方程,故得到指数为n时费马方程X^n+y^n=z^n的整数解关系不成立;指数取n次方时判别式方程中z^n项的系数条件是3^n-2^n-2^n,而指数取n次方时能使费马方程存在整数解的判别式方程中z^n项的系数条件是3^n-2^n-2^n=1,容易看出,能够满足3^n-2^n-2^n=1的n值只有2,所以得到,费马方程x^n+y^n=z^n只有在指数为2时存在整数解,在指大于2时永远没有整数解。

      费马方程整数解关系判别式,可以使我们近距离地触摸和实践费马大定理,在证明勾股定理a^2+b^2=c^2必存在整数关系的同时,为我们提供了一个再生互素勾股数的最简单的算术方法,她也使我们对代数等式性质的运用,从传统的对称等式理念拓展到了不对称等式理念。
费马方程整数解判别式实现了数学的反朴归真,使命运多舛的费马大定理证明最终花落中国。所以不管从哪个角度来看,费马方程整数解关系判别式,都将会成为费马大定理研究中一个值得庆幸的发现。


      对费马大定理证明感兴趣的研究者可提供个人邮箱索要投稿原文。




发表于 2016-3-7 16:07 | 显示全部楼层
哈哈!
      楼主?
               X^2+Y^2=Z^2
的解早就有了!比你那胡说八道的判别式简单多了!
       别再乱说了!!!!!!!!!!!!!!!!!!!!!!!!!
 楼主| 发表于 2016-3-9 15:30 | 显示全部楼层
这是在证明,不是在算勾股数。
发表于 2016-3-9 23:32 | 显示全部楼层
zy1818sd 发表于 2016-3-9 15:30
这是在证明,不是在算勾股数。

你那是证明吗?
简直就是狗戴嚼子瞎胡类!
 楼主| 发表于 2016-3-14 10:27 | 显示全部楼层
科学事实将证明谁说的是真理。
发表于 2016-3-14 11:32 | 显示全部楼层
zy1818sd 发表于 2016-3-14 10:27
科学事实将证明谁说的是真理。

不必用科学,小学生都知道你那是裤裆里放屁!
发表于 2016-3-14 11:32 | 显示全部楼层
zy1818sd 发表于 2016-3-14 10:27
科学事实将证明谁说的是真理。

不必用科学,小学生都知道你那是裤裆里放屁!
发表于 2016-3-14 11:33 | 显示全部楼层
zy1818sd 发表于 2016-3-14 10:27
科学事实将证明谁说的是真理。

不必用科学,小学生都知道你那是裤裆里放屁!
把简单问题复杂化!!!!!!!!!!!!!!!!!!
发表于 2016-3-14 11:33 | 显示全部楼层
zy1818sd 发表于 2016-3-14 10:27
科学事实将证明谁说的是真理。

不必用科学,小学生都知道你那是错误的!
把简单问题复杂化!!!!!!!!!!!!!!!!!!
发表于 2016-3-15 08:08 | 显示全部楼层
哎!简直是在胡闹。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2024-5-9 22:41 , Processed in 0.108398 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

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