- 在线时间
- 3 小时
- 最后登录
- 2011-11-22
- 注册时间
- 2011-11-13
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 15 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 7
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 5
- 主题
- 0
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级 2.11% 该用户从未签到
|
对不起楼主,由于本人是新手,无发贴的权利,只好将我的一篇论文登在此处,与大家探讨。5 }' c- E) d |9 ]6 [
用求根方法巧妙证明费马猜想- A/ Q# m* `1 R4 I
作者:刘孝强
8 q: `* t0 r. L. ^一、费马猜想简介:
/ \, f" i% \4 O3 I% Y4 i. B" Z1.费马猜想: 当整数n > 2时,关于x, y, z的不定方程 x^n + y^n = z^n无正整数解。$ z0 ?: B* t: i% L+ i5 p8 H- V$ d/ y
2.费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它定理对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容,推动了数论的发展。8 [: E2 \9 F) h; \
3.这个猜想,本来又称费马最后定理,由17世纪法国数学家费马提出,而当时人们称之为“猜想”,并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝妙证明,但经过三个半世纪的努力,这个世纪数论难题才由普林斯顿大学英国数学家安德鲁•怀尔斯和他的学生理查•泰勒于1995年成功证明。证明利用了很多新的数学,包括代数几何中的椭圆曲线和模形式,以及伽罗华理论和Hecke代数等,令人怀疑费马是否真的找到了正确证明。而安德鲁•怀尔斯(Andrew Wiles)由于成功证明此猜想,获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。: J z+ ^& Z8 e& l. n# i$ \+ b
甚至有许多数学家断言:费马猜想不可能用初等数学的方法证明。0 a: j X* U$ L4 v* A5 A3 s- g
二、求根方法证明费马猜想简介:4 r1 T8 I$ A3 s; X
安德鲁•怀尔斯的证明十分繁琐,而本人以下的证明十分简明。1 Y, }3 K! ~& W- f- ?9 T; }. i$ H
1.我们知道费马猜想即:当n > 2时,不定方程x^n + y^n = z^n 没有正整数解。为了证明这个结果,只需证明方程x^4 + y4^ = z^4 (x , y,z) = 1和方程x^p + y^p = z^p (x , y,z) = 1[p是一个奇素数]均无正整数解即可。
% a) z; U1 x8 P0 R/ u, j' S9 in = 4的情形已由莱布尼茨和欧拉解决。2 o6 z- Q! l5 V/ J7 [ b
现在本人用求根方法来证明x^p + y^p = z^p ,(x , y,z)= 1[p是一个奇素数]无正整数解。
! F, K& ^6 I; X( i' W$ u0 ?5 f因(x , y,z)= 1,很容易证明x和 y,要么均为奇数,要么为一奇一偶。
# e8 {' z8 e% x& c1 K8 E2.为了证明简单明了,我们先来看p=3的情形。我这种证明方法可推出p为任何奇素数的对费马猜想的一般证明:当p≥3的素数时,x^n+y^n=z^n无正整数解。* A5 R% r. W! Y
用反证法。假定 x^3+y^3=z^3有正整数解。有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么有:
. Y% P- b! a5 K2 e4 Zz^3 = x^3 + y^3=(x + y)(x^2 + y^2-xy)。) }2 i1 ~6 k( y% z* Z1 S
设x^2 + y^2-xy=A,即x^2 -xy + y^2-A =0,把此式看成关于x的一元二次方程。- D) X' [# N2 z4 k
为了后面的证明,我把x^2 -xy + y^2-A =0这样的方程称为标准方程。6 W1 I4 ~4 Q* L4 w
即求x^2 -xy +y^2-A =0的解。用求根公式,有x=-(-y)±√(-y)^2-4(y^2-A)/2(注:√表示根号)= y±√(-y)^2-4y^2+4A/2= y±√4A-3y^2/2= y±√4(x^2 + y^2-xy)-3y^2/2= y±√(2x -y)^2/2。因(2x -y)^2≥0,所以方程在实数范围内有根。这里需要讨论:( v/ o% @4 {6 Y+ o; u5 R
(1)当2x -y>0时,因x= y±√(2x -y)^2/2,可得x=x,或x = y/2 即y= 2x(这与2x -y>0相矛盾,舍去)。, }* S0 x+ w8 c* ]1 S/ l% t' |, D
(2)当2x -y<0时,因x= y±√(2x -y)^2/2,可得x=x,,或x = y/2 即y= 2x(这与2x -y<0相矛盾,舍去)。
6 x1 D w5 v0 Q6 T! j1 n; t! l(3)当2x -y=0时,因x= y±√(2x -y)^2/2,可得y= 2x。: Q6 l4 d% A+ u" P1 ^0 ^& B4 q: j; {
综合上面三种情况:在实数范围内,x^2 -xy + y^2-A =0有实根x=x或x = y/2 即y= 2x。0 f- m3 H- J9 v4 X& F6 x% V
但显然在正整数范围内,因y= 2x,有y为偶数,与前面假设y为奇数相矛盾。也就是说x^3+y^3=z^3在正整数范围内无解。
$ P/ H. g1 h& X4 D8 E) g% ]. ~为进一步明白我的思路,现在来看x^5 + y^5=z^5的情况。这时有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么:! i4 l1 Q! k5 i( c( A
Z^5= x^5 + y^5=(x + y)(x^4 + xy^3-x^2y^2+ x^3y+y^4)
4 h2 U S) X; f4 J/ A: j设x^4 + xy^3-x^2y^2+x^3y+ y^4=M,又设x^4-x^2y^2+ y^4=M- xy^3 -x^3y =C,即x^4+ y^4-x^2y^2- C = 0,用代元法,设x^2=X ,y^2=Y,有:X^2+ Y^2-XY- C = 0,这就成了标准方程,从而可用证明标准方程的方法进行证明即可。采用上面的方法,在实数范围内,有由X = X或X= Y/2 即Y= 2X。但在正整数范围内,由Y= 2X,有y^2= 2x^2,这时y为偶数,与前面假设y为奇数相矛盾。也就是说x^5+y^5=z^5在正整数范围内无解。
# ]- r: L& W8 x' u现在来看费马猜想的一般情形:同样用反证法。假定x^P+y^P=z^P(p是一个奇素数)有正整数解。这时有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么因z^P=x^P-y^P=(x + y)(x^P-1+xy^p-2+…- x ^p-1/2y^p-1/2+…+ x^P-2y+ yP-1),设(x^P-1+xy^p-2+…- x ^p-1/2y^p-1/2+…+ x^P-2y+ y^P-1)=C,即x^P-1+…- x^ p-1/2y^p-1/2+…+ x^P-2y + y^P-1-C=0,设D=C-(xy^p-2+…+ x^P-2y),采用上面的方法很容易推出方程:x^P-1-x^p-1/2y^p-1/2+y^P-1-D=0,用代元法设x^ P-1/2=X ,y^p-1/2=Y,有:X^2+ Y^2-XY- D = 0,这就成了标准方程,从而按证明标准方程的方法就可以证明:x^P+y^P=z^P(p是一个奇素数)无正整数解。
$ D! O! M+ }9 c; z- }+ o! w证毕。
y* w, |8 S, y7 ]& L* a9 f ) x3 o) [+ o3 ^+ [* I
2010年12月3日# }# V3 O. N& P- ^/ m, y$ `
% N6 z5 T x( L& Y/ }' S4 `(作者单位:四川省万源市太平镇。QQ号:516030331)3 T5 M, w% s" p: \0 o
9 i* L" A H/ _! O! L9 _ |
- 同乐秋阳
:应注意逻辑的严谨性,不能离开原命题去讨论任何问题,否则是无用的。你设定A后,就离开了原命题。
-
|