- 在线时间
- 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:55 编辑
3 h0 F! ]) ^: e! X5 l0 [' t5 |
! s% X+ \2 J6 c1 O; m, g4 \3 Y 由导读6中引入新变量t到由不定方程z7=x7+y7作为实例以便大家更易理解,由此引出(1)式zn =xn +yn一般式的证明方法。由导读6中z7=x7+y7, 和将它经过移项后得到x7=z7-y7及y7=z7-x7的另2个式子,已经证得以下3个式子 4 Z! ^$ J) ]9 h+ t$ T9 U
7│ xy(x+y)((x+y)4 - 2xy(x+y)2 + x2y2) (符号a│b ,表示a能被b 整除) (10)
4 Q$ [/ k, X; I' E9 `7 c* T1 @ 7│zy(z-y)((z-y)4 +2zy(z-y)2 + z2y2) (11)
* [+ s" z4 s( q! A& u( m 和 7│zx(z-x)((z-x)4 +2zx(z-x)2 +z2 x2) (12): D' |2 W: \( y
成立。 由于我们在导读5和6中一下子推出了全文最关键之处,未及细节。现在有必有按顺序补充交代一下。实际上在证明一开始就应当说明的,为了证明(1)式xn +yn=zn没有正整数解,我们假设(1)式有正整数解。那么满足(1)式的所有的各组正整数解当中,必有一组解中的z是最小的,即存在一个最小的正整数z使得(1)式(x)n +(y)n=(z)n成立,而其中的x和y都是正整数。我们把正整数x和y的最大公因数d,记作(x,y)=d。此时,由(1)式知就一定有 2 u' e+ o5 \0 z5 l1 t" y6 i
(x,y)=1 (当(x,y)=1时,表示x与y之间无公因数) (13)2 ~9 q$ r6 ~) R+ B
$ a9 O& I G1 e
不然的话,就一定有(x,y)=d>1。由(d)n | (x)n,和(d)n | (y)n(其中符号“a│b”,表示a能被b整除。而(d)n 表示d的n次方) ,及(1)式得到(d)n │ (z)n。因而得到d分之一的z小于z,但这与z是(1)式各组正整数解当中最小的发生矛盾。所以有(x,y)=1 成立。以下举例说明(要说举例,根本举不出z7=x7+y7方面有正整数解的例子,是因为它无正整数解。),但中学所学的勾股定理是大家熟知的,例如x2+y2=z2的各组正整数解有(3,4,5),(6,8,10) 和(9,12,15)等,还有(5,12,13)5 Q% ~" a* B6 b& _1 I+ Q3 ^
,(10,24, 26)和(15,36,39)等。其中5是是第一大组解中最小的z, (3,4,5)是第一大组解中的基础解,只要有了5 o/ r% [0 F: k) `1 S* o( H$ t4 n
(3,4,5)的解,就会有无数组的正整数解,只要将基础解的各数同乘以2,就得到另一组解(6,8,10) ,以此类推可得到第一大组中无数组解。可以看出第一大组基础解(3,4,5),其中x=3,y=4,z=5,明显有(x,y)=1成立,即(13)式成立。而不是基础解的(6,8,10) 等,(13)式是不成立的,这是因为(6,8)=2>1了。由(x,y)=1 我们可以进一步证得 m8 M! J8 `- b: d& g" [
(z,x)=(z,y)=1 (14)
; z6 S6 `- n# @4 E) d1 C. F R( X 这是因为若(z,x)=d>1,可以得到(d)n| (z)n,和(d)n | (x)n及(1)式zn =xn +yn可以得到(d)n| (y)n。由(d)n | (x)n和
8 [! n% t. y2 y. U# k9 ~4 Y1 V# I* n(d)n| (y)n得到(x,y)=d>1。这与(13)式(x,y)=1 发生矛盾。同理证得(z,y)=1 ,也即有(14)式成立。5 ]- q6 h) K0 q. ^; M5 G8 k
我们根据证明的需要,引入以下几个引理:
! d7 d! G/ K- M, ~: ~7 ^ 引理1:设a,b为正整数,且a>b。若(a,b)=1,则(a+b,b)=1和(a-b,b)=1。
; \7 p4 w; B$ p: @* F+ d: O1 w证明:假设(a+b,b)=d>1,此时存在正整数u1和u2, 使得a+b=du1和b=du2(其中(u1,u2)=1)。因此有a=d(u1-u2),和由于b=du2因而得到(a ,b)=d>1。这与已知(a,b)=1相矛盾,故有(a+b,b)=1。同理可证(a-b,b)=1。(其中u1,u2仅表示不同的字母,无其它意义。)。
' r) L) l8 F/ v% f7 O8 n+ s8 X ( 注:引理1的应用,例如(2,3)=1,则有(2,2+3)=1能成立,等等。)
+ |% G1 u1 z, j, f6 M% g6 g 引理2:设a,b,c和k为正整数。若c│a,且有(a,b)=1 , 则(c,b)=1。/ q2 O5 W" s& P$ U+ N8 S
证明:因为c│a,这时存在一个正整数k,使得a=kc能成立。将a=kc代入(a,b)=1中,得(kc,b)=1。由(kc,b)=1,表示正整数k和c的乘积与正整数b之间无公因数,由此,必有(c,b)=(k,b)=1。(对于因理2 ,通俗地说,当a,b之间无公因数时,那么a的子集c与b也无公因数。) " R& q, K. Q4 G, N9 C
( 注:引理2的应用,例如2│6,且有(6,7)=1 , 则有(2,7)=1成立,等等。)
1 d4 q9 u; k6 K4 L: M9 x 引理3:设a,b,c和为正整数,若(a,b)=(a,c)=1,则(a,bc)=1。
: E7 e! ]0 e# V. h$ n- X证明:因为(a,b)=(a,c)=1时,表明a和b、c之间都无公因数,则a和bc之间也一定无公因数。不然的话由(a,bc)=d>1,就有(a,b)=d'>1或(a,c)=d">1能成立,但这与已知(a,b)=(a,c)=1相矛盾。因此,必有(a,bc)=1。 0 [& N) v3 r4 f( f2 G3 \) k
( 注:引理3的应用,例如(3,5)=1和(3,7)=1,则有(3,35)=1,等等。), v. R$ C2 s6 a: O2 ?. ^
引理4:设a,b和n为正整数若(a,b)=1,则(a ,( b)n)=1。(其中( b)n表示b的n次方)& N) R1 R7 f3 q) n' Z; l/ Z
证明:因为(a,b)=1,表明a和b之间无公因数,则a和bn之间也一定无公因数。不然的话(a ,bn)=d>1,就要得到(a,b)=d'>1,这与已知(a,b)=1发生矛盾。故必有(a , bn)=1。
\. K& w" |' z n0 v. @. F (注:引理4的应用,例如(3,2)=1,则有(3,(2)5 )=(3,32)=1成立,等等。) 1 f% R4 g' B/ q$ t5 g
9 [- j- C/ v5 _; Q5 r5 F
接着,还需作一点准备,把z7=x7+y7式化为z7 =(x+y)(x6-x5y+x4y2-x3y3+x2y4-xy5+y6),再将其两边同除以& Q( U3 g) t4 R2 a6 Y2 i
( x+y),可以得到(x+y)│z7,, 从而必有4 Z4 d7 \' e% }" n: v
(x+y, z)=d1>1 (15)2 n& j. ?* r0 |% R. z% f3 u8 g! n
这是因为如果(x+y, z)=1 ,可以得到 (x+y, z7)=1(引理4) , 即有(x+y) ┥ z7(此式表示(x+y) 不能被 z7整除)。这与已证得的(x+y)│z7发生矛盾,因而有(15)式成立。
+ D l4 b% f C( F% R9 d同理,由x7=z7-y7和y7=z7-x7还可以证得有
8 }+ b7 D* \, j (x, z-y)=d2 和 (y, z -x)=d3 (16)
8 Z9 `* w& D" g: M! K1 u! P能成立。由(15)和(16)式知有* J. q7 Y; ]3 Y( t( C: _
(xy(x+y), zy(z -y), zx( z-x))=d1d2d3>1 (17)
. X+ J+ f. n/ u8 P
" H% Z* \# v! U* {- d% _能成立。现在已和本文的开头联系上了。由(17)式知(10),(11)和(12)这三个式子的右边的单项式有最大公因数$ H1 |) w9 N8 y) _. F1 O
d1d2d3。(其中d1d2d3表示3个不同字母d1,d2和d3的连乘积。),以下我们将证明有1 D5 [" B# k: _' {6 d$ D# V8 {: Q! k
7│d1d2d3 (18)4 F! {9 n0 J; G
能成立。先证明(10)式右边中括号外的单项式与中括号内的多项式无公因数,也即去证明0 N& G+ m2 z" r1 a4 T- n8 \
(xy(x+y ),((x+y)4 - 2xy(x+y)2 + x2y2) )=1 (19) - F: S; M4 y8 U* o$ {! k
为了证明上式能成立,分两步进行。第一步,去证(xy,(x+y)4 - 2xy(x+y)2 + x2y2 )=1 。 由于xy│(2xy(x+y)2 + x2y2 )的成立,接下来去证(xy,(x+y)4)=1。由(13)式(x,y)=1,可以证得(x , x+y)=(y, x+y)=1(引理1)。由(x,x+y)=(y,x+y)=1,可以证得(x, (x+y)4)=(y, (x+y)4)=1(引理4) 。再由(x, (x+y)4)=(y, (x+y)4)=1就可以证得(xy,(x+y)4)=1(引理3)。此时,由(xy,(x+y)4 )=1,和xy│((2xy(x+y)2 + x2y2 )就能证得(xy,(x+y)4 - 2xy(x+y)2 + x2y2 )=1(引理2),第二步,同理可以证得(x+y,(x+y)4 - 2xy(x+y)2 + x2y2 )=1。由以上两个证得的式子,就能证得4 \7 F. R7 Z, G) W; u0 E$ @4 T
(xy(x+y),(x+y)4 - 2xy(x+y)2 + x2y2 )=1 (引理3),也即(19)式被证明成立。 由(11)和(12)式右边括号外的单项式与括号内的多项式,同理可以分别证得
& Y6 }' Y2 k3 B* n. j# {, p' k, \" Y (zy(z-y),(z-y)4 +2zy(z-y)2 + z2y2) =1 (20)
; S( t, p3 o" w! B" M5 E 和(zx(z-x),(z-x)4 +2zx(z-x)2 +z2 x2) =1 (21)
- c* n0 Z8 w! O% V' \4 O k" Q 成立。由(19),(20)和(21)式的成立,得知(10),(11)和(12)式右边各单项式和同一个式子中的多项式无公因数。由于(17)式已得知以10),(11)和(12)的单项式的公因数是d1d2d3,这就告诉我们以上3个多项式中的任何一个都不含有单项式的公因数d1d2d3。接着,我们再来了解这3个多项式之间的关系。它们分别是/ c. q- A3 X. w3 w. ^* `& Q
(x+y)4 - 2xy(x+y)2 + x2y2 (22)
# U; @* q# a5 a9 @! ?, d* R- ~ (z- y)4 + 2zy(z-y)2 + z2y2) (23)
8 \* I/ }1 V4 I7 b, g4 Q (z- x)4 + 2zx(z-x)2 +z2 x2) (24) ; z- i. w& ]5 R5 H" s* r
仔细观察后就会发现,这3个式子是对称关系。将(22)式中的x换成-z就得到(23)式,若再将(22)式中的y换成-z 就得到 (24) 式。以下,我们去证明以上这三个式子无公因式,
5 ?! J) C0 O# C# ^1 ^ 设(22)式为
, E1 F$ X" E3 `: C" t! Y: E f(x)=(x+y)4 - 2xy(x+y)2 +x2y2 5 E3 d+ {* b! Q' @9 L1 l4 @8 n- Y
则(23)式为/ V) n2 ]4 w+ L% n% F7 [: V
f(-z )=(z- y)4 + 2zy(z-y)2 + z2y2) ( a: _' `9 K5 A
我们假设 f(x)和f(-z )都通过因式分解并提取了它们的公因式。若使f(x)所指的公因式中的x改变为-z,而使y保持不变。这样就成了f(-z )中所指的公因式。由于这两个公因式中所含的x和-z的不同,因此它们实际上不是f(x)和f(-z )的公因式,也即证得(22)和(23)式无公因式成立。同理可以证得(22)和(24)式,(2,3)和(24)式之间均无公因式。也即证得(10),(11)和(12)式的多项式之间无公因式。
" ? Q4 s2 M. H ]; b8 b. l1 |! ]4 |6 } 由于(10),(11)和(12)式的右边单项式有相同的公因数d1d2d3,,多项式相互之间无公因式而且也不含d1d2d3 。因此,由(10),(11)和(12)式的3个式子同时被7整除,得知7只能是被这3个式子的公因数d1d2d3整除。也即有
8 `; W6 Z5 X6 k3 C 7│ d1d2d3 (25)3 J2 E( B! [4 o w- T; i; `
成立。
! z' \7 A. M2 ?$ y5 ]: X" T( Q0 b- g- F! u9 F! x
下文,由导读8:证明费尔玛大定理最关键之处分析4连接! P* |$ t1 x1 z3 s
% f0 Q6 L! p" h1 b3 q
/ B3 o8 a: L& `7 g) G2 Z2 _8 S2 T
|
zan
|