- 在线时间
- 114 小时
- 最后登录
- 2014-8-1
- 注册时间
- 2008-11-17
- 听众数
- 3
- 收听数
- 0
- 能力
- 0 分
- 体力
- 1050 点
- 威望
- 0 点
- 阅读权限
- 40
- 积分
- 394
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 146
- 主题
- 18
- 精华
- 0
- 分享
- 0
- 好友
- 30
升级   31.33% TA的每日心情 | 开心 2012-8-22 10:37 |
---|
签到天数: 92 天 [LV.6]常住居民II
 |
本帖最后由 chengenlin 于 2012-5-1 14:57 编辑 4 K5 R: \/ F- J1 v: l* C8 e5 M/ ?# K
- l" P. y+ f$ `. F6 R
: O( _( _4 E7 i! C 我们由上篇导读7证得(25)式的7│ d1d2d3 。由于要用到导读7及已证明过的一些式子,为方便起见我们将它重新摘录在下面。 对于费尔玛大定理,我们去证明当n>2时不定方程& x. E$ h! x4 c) S9 g
xn +yn=zn (1)( ^1 R4 b$ Y% E3 G+ e2 g
没有正整数解。5 I1 X1 B, l. d/ M4 Y8 s5 ~
通过取n=3,5,7,11,13的奇素数,将(1)式变形为以下有相同规律的式子:
, z# f) `# |3 h @/ I" { M! [- l z3=x3+y3=(x+y)3-3xy(x+y)
) F1 l7 c+ q3 g' j5 A" d z5=x5+y5=(x+y)5-5xy(x+y)3+5x2y2(x+y) % e- ]( h# I# ~) S1 ^& E+ n2 Y
z7=x7+y7=(x+y)7-7xy(x+y)5+14x2y2(x+y)3-7x3y3(x+y)
+ o/ P# I9 D# c z11=x11+y11=(x+y)11-11xy(x+y)9+44x2y2(x+y)7-77x3y3(x+y)5+55x4y4(x+y)3-11x5y5(x+y)
, `5 ~" T/ v1 b: |% b0 C- b( w& U$ I z13=x13+y13=(x+y)13-13xy(x+y)11+65x2y2(x+y)9-156x3y3(x+y)7+182x4y4(x+y)5-91x5y5(x+y)3 ~1 `" D1 S7 M* E) E
+13x6y6(x+y)
3 [8 R) n7 a, {. U7 M& ^5 K! J W* q: ? 由此启发我们当n为任意奇素数时,去证明xn +yn=zn 变形后的具有一般规律的的统一表达式子,由此,就可以用此统一
( N; W( ]) k1 X/ J9 [1 @表达式代表n为一切奇素数的式子去证明费尔玛大定理成立。这就提供了用以上的一般式能证得费尔玛大定理成立的理论依据。' c2 I3 a- \( l( v
即有& s" V5 w' S1 f
z n=(x+y)n-naxy(x+y)n+nbx2y2(x+y)n-4+…+(-1)s nc xvyv (x+y)n-2v+…+ nf xryr(x+y) (2)
5 m9 |2 y* N8 }. X (其中r=(n-1)除以2,系数a=1,系数f为1或-1 )
# w# N! @% r; T r5 G 为大家 易接受起见,我们在导读7中选择了 z7 =x7 +y7为代表的式子去证明费尔玛大定理。其实,这和由(2)式去
3 @- i! G! h8 T5 q/ q1 R2 u证明费尔玛大定理的原理是完全一样。 由导读5,6和7的分析和证明,我们把正整数x和y的最大公因数d,记作(x,y)=d。此时,由(1)式知就一定有
9 V! l- Q. c( P+ y' H (x,y)=1 (13)6 q' E4 o7 Q; H5 d9 Q- T o
成立。
5 U9 B; I& {4 A$ ^. ] 本文还要用到下面几个引理,也记录如下。3 x, M5 C( W2 P7 o' C0 c1 D B
引理1:设a,b为正整数,且a>b。若(a,b)=1,则(a+b,b)=1和(a-b,b)=1。(引理1的应用,例如(2,3)=1,则有(2,2+3)=1能成立,等.)
2 x; d: N3 J: _3 W: J9 I m3 w, X 引理2:设a,b,c和k为正整数。若c│a,且有(a,b)=1 , 则(c,b)=1。(引理2的应用,例如2│6,且有(6,7)=1 , 则有(2,7)=1成立,等.)2 \4 V) g" l: C# j
引理3:设a,b,c和为正整数,若(a,b)=(a,c)=1,则(a,bc)=1。(引理3的应用,例如(3,5)=1和(3,7)=1,则有(3,35)=1,等.)7 f5 Z+ [: G8 V1 d" C
引理4:设a,b和n为正整数若(a,b)=1,则(a ,( b)n)=1。(其中( b)n表示b的n次方)(引理4的应用,例如0 L; |8 K0 h) p3 e; h- _6 [
(3,2)=1,则有(3,(2)5 )=(3,32)=1成立,等. )
* z, K2 ^; `: \, ^4 p) \$ s- g1 N( r 我们已证得的
% B% j% K* J4 D8 x) d9 Q: ~8 e, ]+ C2 P (z,x)=(z,y)=1 (14) 5 J& n, p( w: _* z0 y# s
" y" {4 W$ p0 T (x+y, z)=d1>1 (15)
4 w" s3 s& B5 R! N (x, z-y)=d2 ,(y, z -x)=d3 (16)
# B* A, z/ d2 h 7│ d1d2d3 (25)4 P& r9 X; j/ O8 a7 r- P
# ~2 R4 S- |2 j- q( |. C
从现在开始,已和上篇导读7最后证到的(25)式连接上了。我们接着往下证明, 由(13) 和(14)式可以得到
+ a# E% K, g8 e4 o: F; f ( z,x)=(z ,y)= (x,y)=1 (26)
0 W! x) w0 n. g- l成立。由(26)和由(15)及(16)式 得到 " c0 ~6 Q" Z# I
(d1,d2)=(d1,d3)=(d2,d3)=1(引理2 ) (27)
& H/ ?2 J+ @5 V" Q. J成立。(例如,由(15)和(16)式分别得到z=d1 s , 和x=d2 h , 把它们代入(26)式得到( d1 s ,d2 h ,)=1,因而由d1 s 和d2 h 无公因数得到(d1,d2)=1,同理可以证得(d1,d3)=(d2,d3)=1,也即有(27)式成立。)由(25)和(27)式知7必被d1 ,d2和d3中的一个整除,不妨设9 c5 K w" w4 E; F% T* R' x
7|d1 (28)/ i& ^8 w4 o8 l: X4 o* D
由(28)和(15)式可以得到
+ w/ Q, U$ L! F R, |# D1 o 7|z (29)
- I# o! \& ?. ~能成立。由(28)式的7|d1和由(15) 式(x+y, z )=d1>1 可以得到
" [! k9 J' e' R+ Z, D' B 7|(x+y) (30)
& ^, K* y! i' W 由(29)和(30)式可以得到7|(x+y- z)。再由导读5中 的(5)式的t=x+y-z就能得到7|t成立,这与导读5中的(5)式证得的7|t的结果完全一致。从以上得到 7|z 和 7|(x+y) 完全满足 7|t是(1)式有正整数解的必要条件。也即求得的x+y和z必须满足7|(x+y- z)能成立。至此,我们充分相信以上证明过程能得到7|z 的结果的理由是十分充足的。) d* e! c1 C9 _$ |" m, H
以下,我们将由(30)式,进一步去证得有(7)2 │z 能成立(其中(7)2 │z表示7的平方能被7整除)。我们把 Z7= : |; s r, @/ [8 }- Y+ k
(x+y)7-7xy(x+y)5+14x2y2(x+y)3-7x3y3(x+y)的右边提取公因式7(x+y)后,得到( B$ d- A3 j6 ^4 E: e9 D
Z7= 7(x+y)(p(x+y)6-xy(x+y)4+2x2y2(x+y)2-x3y3) (其中p=7分之1,p(x+y)6为正整数) (31)) ]4 |8 t$ A3 L
由(13)式(x,y)=1 ,可以得到 (x + y,x)=1和 (x + y,y)=1 (引理1)。由此,得到(x + y,xy)=1 (引理3)。接着,由(x+y,xy)=1,得到(x+y,x3y3 )=1(引理4 )。 此时,由(x+y,x3y3 )=1和(x+y)│( p(x+y)6
' Z- s$ ]0 r% Y; P - xy(x+y)4+2x2y2(x+y)2)可以证得有
+ L% L# v! }$ q) Q6 l ((x+y),p(x+y)6-xy(x+y)4+2x2y2(x+y)2 )=1 (引理2) (32)6 p$ N: U# @4 I" t0 ]
由(31)和(32)式知存在正整数b和p ,使得
9 J# {- ~% S6 W) e" Q 7(x+y)=b7(b>1) (33)8 T& e# ^9 N1 i9 P( e
和 p(x+y)6-xy(x+y)4+2x2y2(x+y)2 =q7 (34)
# j3 E: ~% D/ e+ R; t2 s! K能同时成立(其中(b7,q7)=1, 而z=bq)。由(33)式,和(34)式括号中备注的z=bq,可得(x+y,z)=( b7,bq)=b>1。由(x+y,z)=b>1,和由(18)式(x+y,z)=d1>1可以得到b= d1>1 . 将b= d1代入(33)式中,得到
: [* M& s7 @; a2 O4 i; { x+y= p(d1)7 (其中p=7分之1,(d1)7 表示d1的7次方) (35)
+ z. t9 P" a& t- C! E 成立。这是因为上式的左边x+y为正整数,由等式性质等式得知,它的右边p(d1)7 也必为正整数。由7为奇素数,因此有7|d1能成立。接着,再将z7=x7+y7变形为 x7=z7-y7,并将其右边按前面z7=x7+y7右边的展开形式展开后,得到 x7=
5 O( Y6 v* D1 q) X( z-y)7+7zy(z-y)5+14 z2 y2(z-y)3+7z3y3(z-y),接着将右边提取公因式z-y,得到0 F: h: X& V5 V$ o7 i1 F3 }
x7=( z-y)(( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3) (36)
8 u; b- b* z. O 由(26)式 (x, z)= 1, 和由(29)式的7| z就可以得到(x,7)=1(引理2).由(x,7)=1可以得到(x7 ,7)=1(因理4)。把(36)式两边同除以z-y,得到 ( z-y)| x7。由( z-y)| x7和(x7 ,7)=1可以得到( z-y,7)=1(引理2).由(26)式 ( z, y)=1,得到 ( z-y, z)=( z-y,y)=1(引理1).由此,可证得( z-y,z y)=1(引理3) 。再由(z -y, zy)=1,就得到( z -y, z3y3 )=1(引理4)。由( z -y, z3y3 )=1,和 由( z-y,7)=1就证得( z-y,7z 3y3)=1(引理3).再由( z-y)|(( z-y)6+7zy(z-y)4+14 z2y2(z-y)2)和由( z -y, z3y3 )=1就能证得& b3 L- F; P1 U3 x# F3 t0 T3 _% E
(( z-y),( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3)=1 (引理2) (37)
" u. ^/ v) u& D6 s& O2 _2 Y- ?6 R* Q1 {由(36)和(37)式,知必定存在正整数c和q,使得
3 R$ R. Q3 ]9 A4 H6 C" u z-y =c7 (38)
; E0 L2 T' O( U% t/ \ 和( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3 = q7 (39)& l# \9 o' U# Y( v5 M* [
能同时成立。(其中 x=cq ,(c7,q7)=1。), ?0 A9 l- J3 f. h* g( S' |
由(38)和(39)式后面括号中备注的x=cq,可得(x, z-y)=( cq,c7)=c>1。把(x, z-y)=c,与(19)式的(x, z-y)= d2 对照,就能得到c= d2, 。把c= d2,代入(38)式,得到
5 ?( F# e! }9 x, c4 Z" H z-y =( d2 )7 (40)
. G; v8 u0 j& z9 G: d' F成立。再将(1)式变形为y7= z7- x7 ,同以上方法可以证得有
/ G0 n6 K; j6 O# n e% O/ h! X/ e z-x = (d3 )7 (41)
/ J8 e9 H/ N5 y1 H# w. n 将(40)和(41)两式相加,得到2 z- (x+y) = ( d2 )7 +(d3 )7 。再把(35)式 的x+y=p(d1)7 (其中p=7分之1)代入2 z- (x+y) = ( d2 )7 +(d3 )7 中,得到 % x5 `+ V# L; \/ S% v. @0 w, |3 E
2 z - p(d1)7 = (d2 )7 +(d3 )7 (其中p=7分之1) (42)1 J; l, G, ] Z1 `
由 (29)式7│z 得到7│2 z成立。由(28)式7|d1 得到7│ (d1)7 成立。由7│2 z和7│ (d1)7 可以得到7│(2 z- p(d1)7 )0 h4 G% c; `! l: h/ P( ~+ y9 j5 ~
,将(42)式的两边同除以7 ,由等式的性质就得到' k3 z1 N( F* N7 W+ u, f& r/ \
7|( d2 )7 +(d3 )7 ) (43)( F2 i4 z9 ^( m2 h ^" o* y
能成立 。将 d2 )7 +(d3 )7按 z7=x7+y7右边的 展开形式进行展开,得 z: f+ Y2 P U6 @9 G
(d2 )7 +(d3 )7=((d2+d3)7 - 7d2d3(d2+d3)5+! x# ?! h& K* @! c2 j
14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 ) (44)5 p6 L: [6 U5 B! B6 R
由(43)式7|( d2 )7 +(d3 )7 ), 和把(44)式两边同除以7。由等式的性质,就能得到7 R2 [# m! A3 l( r* A) ?
7|( d2+d3)7 - 7d2d3(d2+d3)5+$ a1 u: [8 i. s" i# M f" J
14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 )) (45))& W& A3 k) A+ W
9 O( `/ ^3 t7 X. M8 S' `, L 由于(45)式右边除第一项(d2+d3)7外其余各项系数都含有7, 因此7可整除(45)式中的除其余各项,因而7也必然能整除其余各项的和。由此,和由(45)式整除的性质可以得到7也能整除第一项,也即有7│((d2+d3)7 。由7│((d2+# J' \; ^+ R8 ?3 d( H$ N; v
d3)7和由于7 为奇素数,因此必有7│(d2+d3)能成立。由7│(d2+d3),可以得到(7)2│(d2+d3)7成立;又由于(45)式中除第一项外的其余各项都含7和(d2+d3)的因式,因此可以得(7)2整除(45)式其余各项。由此,和(7)2整除第一项,进而得到(7)2整除(45)式右边的和,也即有+ P& \- U5 @+ i7 O; K
(7)2 │((d2+d3)7 - 7d2d3(d2+d3)5+, J9 l1 S. |" r: H, ^9 S
14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 )) (46)
1 C, u2 k7 {' {5 k4 |1 x# [能成立。再将(46)式和(44)式进行对照,可以得到
) U. N) x8 a& K4 {" A, X' g9 R (7)2│((d2+d3)7 (47)& o9 g$ I8 T5 |- _" \$ B3 L1 p* C
将(42)式两边同除以(7)2 ,由于(7)2│ p(d1)7(其中p=7分之1),和(47)式(7)2│((d2+d3)7,因此由(42)式的整除性质得到 (7)2│2 z 。但由于7为奇素数,因此((7)2,2)=1。由此,和由(7)2│2 z,因而必有- o4 e) R7 `: u/ C6 ^7 x8 C7 o
(7)2 │ z (48)
2 P7 L" Z6 e% r$ a) L能成立。但是,我们将会发现(48)式是不能成立的。以下,我们从两个方面去证明(48)式(7)2 │z不能成立。
0 l* q5 w" L, }' w; I0 r% d. D9 p 第一,从已证得的(29)式7|z的结果来看。我们已经知道z是满足(1)式的所有的各组正整数解当中最小的正整数z值,而且它仅仅是7的正整数倍而不是7的平方倍数,因此7的平方是不能被z整除的。由此断定(48)式(7)2 │ z 不能成立。 + _3 c& ?+ H- x7 v* a& k
第二,为了证明(48)式不能成立,假设(48)式的(7)2 │z 成立。由于(7)2 │p(d1)7 (其中p=7分之1,(d1)7
, G& T% v3 {4 k9 j. D& g& y 表示d1的7次方),和将(35)式两边同除以(7)2 ,由等式的性质得到(7)2 │(x+y)。再由 (7)2 │(x+y)和 F% c( [8 V L2 d9 x" j8 N
(7)2 │z就能得到(7)2 │(x+y-z)。由此和由于x+y-z=t(参阅导读5)就得到
$ z% }1 M* t3 E. y* F& | (7)2 │ t ( 其中(7)2表示7的平方) (49) , A, a+ z3 }+ E2 a$ F% X7 K
7 p+ f2 |$ p4 u# m
这与在导读5中 由(4)式 7│t7(此式表示7能被t的7次方除)只能得到(5)式的7│t发生矛盾。这是因为7│t7表示7能被7个t的连乘积整除,且由于奇素数7与7个t之间都不存在约分关系,那么7只能被7个t中间的其中的一个t整除,因此就有且只有7│t 能成立(其中t=x+y-z),这与(49)式(7)2 │ t 发生矛盾。由此,同样可以断定(48)式(7)2 │ z 不成立。综合以上两个方面都证得(48)式不成立,故由此得到 z7=x7+y7有正整数解不能成立。我们在这里举例n=7的情况(由于便于大家容易理解,才取n=7),实际上对于n为任意奇素数,同样方法可以证得xn +yn=zn 没有正整数解成立。由以上我们证明得到的结论,和由我国著明的数学家陈景润在所著的《初等数论》中,表明了当n=4时xn+yn=zn没有正整数解已被证明,故由本文开头引用的《费尔马问题的介绍》可以归纳得出费尔马大定理成立。也即当n取一切大于2的整数时,不定方程xn+yn=zn没有正整数解,在此被用初等数学方法得到证明。
) _3 `, ~9 D4 _; t% }7 r
: z& v5 h: r6 f8 z9 \. h
& r( D1 U: e* Y$ u) C( P0 k; a1 V/ _% I9 U2 q: f
' o7 E8 s1 K- n @6 I% g. E& H$ w
: c' e2 W/ p' c; D
证明结束后进行回顾和小结:0 U1 G3 \8 K" r2 x! `
4 O) d' a( s( C3 ^1 Q& Y
其1:本文中突出抓住不定方程x7+y7=z7的指数n与其变量x,y和z之间的关系,进行深入分析。有趣的是,当证明到(45)式7|((d2+d3)7 - 7d2d3(d2+d3)5+14(d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 ))后,为什么会出现仅由此式本身,就又能证得(7)2|((d2+d3)7 - 7d2d3(d2+d3)5+14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 ))能成立呢? 按理说这是违反常规的,而正是这个奇怪的现象,却导致后面我们能证明成功。对这个奇怪的现象通过冷静地思考就会发现,如果d2和d3不全是正整数就不会发生以上矛盾了,事实上,由于最终证明了不定方程没有正整数解,x,y和z不可能全是正整数,因此由(40)和(41)式知d2和d3就不可能都是正整数。这就回答了以上为什么会出现奇怪的现象。- h; r9 S. h: b# \( {) X
其2:在本文中还出现由(29)式 7|z 又证得 (7)2 | z ,和出现由7|t 又证得 (7)2 | t的奇怪现象。事实上,由(29)式 证得的7|z ,其中z是(1)式各组解中的最小 z值,何来还有更小的(7)2 | z 所得的值呢。关于7|t 又证得5 n0 x+ c; t+ Q% [0 _* |8 V8 ?% C& R
(7)2 | t ,事实上由导读5的(4)式7|t 7其结果只能是7被7个t的连乘积中的一个整除,因此就有且只有7│t 能成立。而后面的证明怎么可能又否定掉前面的结论呢。这个怪现象仍然是由假设了(1)式有正整数解才产生的,但由此产生矛盾反而使我们的证明得以成功。
/ I8 D# A4 e. Q 其3:本文中比较最为关键之处有以下几点0 ]: n$ [% h: [9 d$ z1 i
1。从奇素数入手,由奇素数只能被其本身和1整除的特点,出现了证明中很多的奇迹。例如(1)式x7+y7=z7的变形再变形的应用。
" @# |& ^+ @3 y/ U7 v, r1 p r 2。不定方程xn+yn=zn,经过对n取3,5,7,11,13 后具体形式子的变形,使我们证明了它们存在通项表达式。这为我们用通项表达式去证明费尔玛大定理,找到了理论根据。
3 T2 c9 O( D- _) [0 c 3.引入新变量t=x+y-z,不但起到了重要的桥梁作用使证明能往下深入,而且甚至于起到了证明成败的决定作用。
. C! B8 K O- J. }4 q/ B& ~; y 4。根据对通项表达式往下证明的需要,我们设计并加以证明了相关的几个引理使证明有了活力,有坚实理论基础为后盾。
! `) d: j: J* i0 c* q* X 5.初等数学证明费尔玛大定理,使人们在头脑里始终认为是很深奥的数学在此变得如此平常,这就是它的证明的独到之处。初等数学证明费尔玛大定理通俗易懂,不需深奥的数学知识易为大家接受。
/ H( e+ S; z; w. o' }7 {# x) s% l4 G+ F9 Z' M
$ s; T6 |/ o! ?7 V+ _% m7 `# H6 D 注:1,有关本人证明费尔玛大定理的正文,参阅本页的附件。
a% K+ d- q7 U 2,希望有不同见解的朋友爽快提出疑问之处,以便大家互相促进互相提高。
7 q9 J% _; _1 w) g% [ d! g k 3,希望有合作者参与共同研究和商讨。4 }4 @8 I' k. n
2 d2 p% |8 }3 E) U$ _( B1 T t! N' N
8 N3 j2 I9 B0 c
, a, u6 \5 O$ @0 _% A& V' E- K8 G) K( O/ e- `
; G4 R5 I- r9 ~3 \3 Z# K, U4 N9 ^5 s6 W- @2 E# O
, A f9 s: l& v0 l$ ?! V- a, V5 Q0 Y) U* Z, |( k/ U' N5 g
* z8 |: M1 o+ W$ I4 K
, O9 w# N+ {# ?- @0 k3 \6 e4 n0 C
0 m; p; ?/ |% O* I/ M7 K+ R6 N
+ R& a% Y& Q& V+ t4 Y * e& {+ A8 V$ q2 o, X: y
|
zan
|