|
|

楼主 |
发表于 2009-10-7 22:19
|
显示全部楼层
记住:中国(本土)人在菲尔茨奖诺贝尔奖项的记录还保持着“0”
[这个贴子最后由moranhuishou在 2009/10/10 07:56pm 第 1 次编辑]
下面引用由moranhuishou在 2009/10/07 10:12pm 发表的内容:
你说了半天,就说了一个问题,就是关于只有一个解的问题。而这个问题其实是不用证明的,正文中一般都省略掉了。
纠缠这些毫无意义!!!
别拿讨论中笔误说事,那是无能无理的表现——毛主席也有过笔误。
你根本 ... [color=#A52A2A]
费马大定理的证明(国庆60周年版)
命题 方程
x^n+y^n=z^n
当n>2时无非0整解。
命题可简为x^p+y^p=z^p
当p>1为奇数时无非0整解。
化为一元方程
视上述不定方程中的三个未知数中任意两个为给定的任意已知数,即可将不定方程化为一元方程。这里不妨视x,z为任意正整数,方程由三个未知数的不定方程化为了只有一个未知数y的一元方程
y^n=z^n-x^n (1)
引理
当n=p为奇数时,(1)只有一个解,即有
y=(z^n-x^n)^(1/p)
当n=m为偶数时,(1)有两个解,即有
y=+-(z^n-x^n)^(1/p)
定理的证明
考虑
y^p-(z^p-x^p)=0 ,p>1 (A)
设a为任意正整数,命题就是判定一元p次方程(A)是否可化为形式
y^p-a^p=0
假设(A)有整解成立。设x=y-r,z=y-t,代入(A),二项式展开整理,得式
y^p-p(r+t)y^(p-1)+C(p,2)(r^2-t^2)y^(p-2)-...-(r^p+t^p)=0 , (B)
(A)(B)两式是否有整解等价。
假定两式有整解y=a,对照如下:
先看(A)
当x=0时,有 y^p-(z^p-x^p)=y^p-(z^p-0^p)=y^p-a^p=0 ,
当x=z时,有 y^p-(z^p-x^p)=y^p-0^p=y^p-a^p=0 .
再看(B)
当t=0时,有 [y-(r+t)]^p=[y-(r+0)]^p=(y-a)^p=0 ,
当r=-t时,有 [y-(r+t)]^p=(y-0)^p=(y-a)^p=0.
可知,虽然两式同解,但换“元”前后两式成立的形式并不相同,(B)式是以p重根形式成立的。也就是原费马方程若有整解,对应(B)式必有
[y-(r+t)]^p=(y-a)^p=0
成立。
本命题就是判定x>0,x<>-z时(A)是否成立,也就等价于判定t>0,r<>-t时(B)是否能够化为p重根方程。
而这个判定是很容易的:因为无论r t为任何整数值,均不可能有 r^2-t^2=(r+t)^2,...,r^p-t^p=(r+t)^p.
所以,大定理成立。
这是刚整理过的,有本事你就把它推翻!!! |
|