QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 2828|回复: 1
打印 上一主题 下一主题

导读8:证明费尔玛大定理最关键之处,分析4

[复制链接]
字体大小: 正常 放大

18

主题

3

听众

394

积分

升级  31.33%

  • TA的每日心情
    开心
    2012-8-22 10:37
  • 签到天数: 92 天

    [LV.6]常住居民II

    跳转到指定楼层
    1#
    发表于 2012-3-17 20:29 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    本帖最后由 chengenlin 于 2012-5-1 14:57 编辑 : D% D* d/ |5 T

    ' x; H. Y, y# X2 M             6 O: S8 {0 v1 [  B' r  f3 V5 _
         我们由上篇导读7证得(25)式的7│ d1d2d3 。由于要用到导读7及已证明过的一些式子,为方便起见我们将它重新摘录在下面。 对于费尔玛大定理,我们去证明当n>2时不定方程
    1 Y" f( d2 o( M8 D# f9 K' a                                      xn +yn=zn                                                                      (1)
    7 M. q4 A8 C) e8 |没有正整数解。
    0 X7 r/ m% M9 }' j- Y     通过取n=3,5,7,11,13的奇素数,将(1)式变形为以下有相同规律的式子:1 ?9 b; f5 f1 L* n
         z3=x3+y3=(x+y)3-3xy(x+y)2 H5 |& ~' F+ t- W: b
             z5=x5+y5=(x+y)5-5xy(x+y)3+5x2y2(x+y)
    & K; i0 N, g4 R4 o( {        z7=x7+y7=(x+y)7-7xy(x+y)5+14x2y2(x+y)3-7x3y3(x+y)
    , n5 r5 P. B" ?, D# V6 U) ~7 N        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)              
    & |4 f6 f7 }, ^. T        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$ s+ K8 f( I$ Z
    +13x6y6(x+y)! L4 _- i2 \0 o) h. W9 o8 [
             由此启发我们当n为任意奇素数时,去证明xn +yn=zn 变形后的具有一般规律的的统一表达式子,由此,就可以用此统一% x) m9 Q) I! |0 m* n+ v5 G
    表达式代表n为一切奇素数的式子去证明费尔玛大定理成立。这就提供了用以上的一般式能证得费尔玛大定理成立的理论依据。
    , c( k: O: P  {# `" _" h5 ?: a即有
    ; }% x+ j6 W- L: S  `       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)
    ! |: S2 r! `8 A5 X3 S                                                (其中r=(n-1)除以2,系数a=1,系数f为1或-1 ). N1 V/ G7 \, m6 T
         为大家 易接受起见,我们在导读7中选择了 z7 =x7 +y7为代表的式子去证明费尔玛大定理。其实,这和由(2)式去. y5 @( d  K6 X* f4 l) P) |1 h
    证明费尔玛大定理的原理是完全一样。 由导读5,6和7的分析和证明,我们把正整数x和y的最大公因数d,记作(x,y)=d。此时,由(1)式知就一定有
    ; i& M8 C# [+ ^/ V* j3 s                                       (x,y)=1                                                                       (13)
    3 s6 M$ X' B: _0 k9 F, R成立。/ ^8 e* ^: V1 V' i% q3 h
          本文还要用到下面几个引理,也记录如下。
    - z* Y3 [5 j$ |$ v+ ^3 k      引理1:设a,b为正整数,且a>b。若(a,b)=1,则(a+b,b)=1和(a-b,b)=1。(引理1的应用,例如(2,3)=1,则有(2,2+3)=1能成立,等.)
    , z  g" S4 E3 o% j, b& B      引理2:设a,b,c和k为正整数。若c│a,且有(a,b)=1 , 则(c,b)=1。(引理2的应用,例如2│6,且有(6,7)=1 , 则有(2,7)=1成立,等.)- f0 b/ }. Q+ q* f" N& M% }6 x& h
          引理3:设a,b,c和为正整数,若(a,b)=(a,c)=1,则(a,bc)=1。(引理3的应用,例如(3,5)=1和(3,7)=1,则有(3,35)=1,等.); @7 E: x/ m, l, S# z7 V; z
          引理4:设a,b和n为正整数若(a,b)=1,则(a ,( b)n)=1。(其中( b)n表示b的n次方)(引理4的应用,例如# k/ S% A7 B: L
    (3,2)=1,则有(3,(2)5 )=(3,32)=1成立,等. )6 l4 A4 {, B" ?
         我们已证得的   ' {" N; h' s. r0 r. h  f
                                     (z,x)=(z,y)=1                                                                         (14) / u+ m! R% t, d) b( ?
    1 r# F3 \6 a- X0 H3 [
                                                               (x+y,  z)=d1>1                                                                     (15)/ n: z. x4 J) k
                                                               (x,  z-y)=d2   ,(y, z -x)=d3                                                (16)
    $ {# q* [* F' x% R7 W( t" T0 V                                   7│ d1d2d3                                                                         (25)
      l, S/ b7 i: {/ U4 N      
    & f0 D! f) U/ o& c2 I# D    从现在开始,已和上篇导读7最后证到的(25)式连接上了。我们接着往下证明, 由(13) 和(14)式可以得到  z5 ]/ x" U) M* [: _* T% _
                                  ( z,x)=(z ,y)= (x,y)=1                                                               (26)  ! y! H0 k0 j  u! n- G
    成立。由(26)和由(15)及(16)式 得到 6 _/ q1 i( D9 j/ E
                                   (d1,d2)=(d1,d3)=(d2,d3)=1(引理2 )                  (27)   
    # ], @1 Q! S$ P: g' T成立。(例如,由(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中的一个整除,不妨设3 R$ L3 }0 J' m& i$ N
                                         7|d1                                                                                  (28)
    8 A; a. G6 g8 r0 |; v; S6 r由(28)和(15)式可以得到  
    2 [; B; L9 L. @                                     7|z                                                                                    (29)   2 x( c" T2 v2 I: C
    能成立。由(28)式的7|d1和由(15) 式(x+y, z )=d1>1 可以得到5 q% X: ]2 b9 ?3 z
                                        7|(x+y)                                                                                  (30)! T) o* l* ~2 g3 g2 ~
          由(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 的结果的理由是十分充足的。
    ; B3 @; U& G* S( F4 D# U, H; f    以下,我们将由(30)式,进一步去证得有(7)2  │z 能成立(其中(7)2  │z表示7的平方能被7整除)。我们把   Z7=
    # j2 P* `! C+ i5 m8 m! u5 N9 U(x+y)7-7xy(x+y)5+14x2y2(x+y)3-7x3y3(x+y)的右边提取公因式7(x+y)后,得到
      ?! q* F3 H0 R7 e9 m     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 H5 o: q  E$ S6 r4 T/ k
        由(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
    7 y$ X/ T7 ~  G, _. _! \4 n2 z -  xy(x+y)4+2x2y2(x+y)2)可以证得有  J' ?! y( R) Z( ]. U1 t1 O. A3 i
                               ((x+y),p(x+y)6-xy(x+y)4+2x2y2(x+y)2  )=1 (引理2)      (32). k$ ^7 N9 L! E( t: ^5 A8 j
       由(31)和(32)式知存在正整数b和p ,使得
    " Y( Z6 l2 K4 ~; j0 J; n                              7(x+y)=b7(b>1)                                       (33)
    7 ?3 s% v8 w3 f* }0 {/ K5 W) I                           和 p(x+y)6-xy(x+y)4+2x2y2(x+y)2 =q7                                             (34)6 P, x9 F; f# m$ `. ~  n0 v' b
    能同时成立(其中(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)式中,得到
    0 g" a7 |( }. U/ e! g1 m3 C                    x+y= p(d1)7      (其中p=7分之1,(d1)7 表示d1的7次方)             (35)
    - o) W3 ~$ p* P1 O7 ] 成立。这是因为上式的左边x+y为正整数,由等式性质等式得知,它的右边p(d1)7  也必为正整数。由7为奇素数,因此有7|d1能成立。接着,再将z7=x7+y7变形为 x7=z7-y7,并将其右边按前面z7=x7+y7右边的展开形式展开后,得到 x7=# m+ J/ `% t5 J2 N- U5 c
    ( z-y)7+7zy(z-y)5+14 z2 y2(z-y)3+7z3y3(z-y),接着将右边提取公因式z-y,得到, }% `3 E' T6 a# T8 h, J5 U
                               x7=( z-y)(( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3)                  (36)
    ! T. s% c/ d- y! Q       由(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就能证得+ k2 z% `3 W# A$ w# R$ O2 R
                    (( z-y),( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3)=1 (引理2)                (37)+ T. b3 w/ ]0 L9 O) L
    由(36)和(37)式,知必定存在正整数c和q,使得
    * O& I( K& }3 H4 t4 L6 W- E5 Q* i                              z-y =c7                                                                                            (38)
    3 `7 y9 ?  \/ J) ?                                   和( z-y)6+7zy(z-y)4+14 z2y2(z-y)2+7z3y3 = q7                              (39)
    9 V# ?& j, H4 B/ u& X, f: x能同时成立。(其中 x=cq ,(c7,q7)=1。)
    . @1 T0 a' K' l1 K) M- |    由(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)式,得到 : D9 I4 ]/ i* L9 a4 [9 Q
                                   z-y =( d2 )7                                                                               (40); M0 x2 ~7 P) S5 U; i0 t
    成立。再将(1)式变形为y7= z7- x7 ,同以上方法可以证得有% f$ O4 v) Y! I6 p8 Q
                                     z-x = (d3 )7                                                                            (41)( c! P& Y+ k% M
          将(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   中,得到                    - ^" k1 E0 t$ }' J
                               2 z -  p(d1)7   = (d2 )7  +(d3 )7  (其中p=7分之1)                 (42)
    / B& a8 d/ x: z由 (29)式7│z 得到7│2 z成立。由(28)式7|d1 得到7│ (d1)7 成立。由7│2 z和7│ (d1)7 可以得到7│(2 z- p(d1)7 )
    . Y: D7 Y) I5 |* E: V3 t,将(42)式的两边同除以7 ,由等式的性质就得到
    0 L( y( M& i6 v+ |& y                                 7|( d2 )7    +(d3 )7 )                              (43)
      o6 y4 Z1 e5 w( F1 E能成立 。将 d2 )7    +(d3 )7按 z7=x7+y7右边的 展开形式进行展开,得
    & Y: v8 M& n! h5 }4 l, K         (d2 )7    +(d3 )7=((d2+d3)7 -  7d2d3(d2+d3)5+
    & h# O. I: w, n                                        14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 )             (44)8 S$ P3 X% o( `: _0 L: k; N
    由(43)式7|( d2 )7    +(d3 )7 ), 和把(44)式两边同除以7。由等式的性质,就能得到
    ( ]: J; U3 P+ j5 x. ]( O           7|( d2+d3)7 -  7d2d3(d2+d3)5+
    $ O: X* }# P0 f) P& m! e                                        14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 ))     (45))* p( I5 G* R4 R( ?
                                                             
    : W* u( n; j6 j( k0 [" O' \* C* K     由于(45)式右边除第一项(d2+d3)7外其余各项系数都含有7, 因此7可整除(45)式中的除其余各项,因而7也必然能整除其余各项的和。由此,和由(45)式整除的性质可以得到7也能整除第一项,也即有7│((d2+d3)7 。由7│((d2+
    ' @+ @3 _1 N& o* `3 r( td3)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)式右边的和,也即有
    / e  @# p; _: A- A          (7)2  │((d2+d3)7 -  7d2d3(d2+d3)5+
    0 n$ z( v. n8 P7 X( D                                        14 (d2)2(d3)2(d2+d3)3+7(d2)3(d3)3(d2+d 3 ))     (46)# a6 {# a8 ^0 g$ T
    能成立。再将(46)式和(44)式进行对照,可以得到
    : r3 K/ A. t/ O3 _  ^4 a' A% v                                 (7)2│((d2+d3)7                                  (47)5 b4 G/ A9 m8 z" T# {
    将(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,因而必有3 P% o0 ^  |9 l! |! [$ L  e# c
                                          (7)2  │ z                                                                      (48)8 N; k  S2 p, {: N% x
    能成立。但是,我们将会发现(48)式是不能成立的。以下,我们从两个方面去证明(48)式(7)2 │z不能成立。$ J4 R$ n. _1 h6 S& A4 F. M$ i' i
        第一,从已证得的(29)式7|z的结果来看。我们已经知道z是满足(1)式的所有的各组正整数解当中最小的正整数z值,而且它仅仅是7的正整数倍而不是7的平方倍数,因此7的平方是不能被z整除的。由此断定(48)式(7)2  │ z  不能成立。 9 o, K& j$ k# Q: c/ ~
       第二,为了证明(48)式不能成立,假设(48)式的(7)2  │z 成立。由于(7)2  │p(d1)7 (其中p=7分之1,(d1)7
    , B# h* l2 D) `' g6 Y 表示d1的7次方),和将(35)式两边同除以(7)2 ,由等式的性质得到(7)2  │(x+y)。再由 (7)2  │(x+y)和
    + w0 H! p$ Z8 A- \' G2 }(7)2  │z就能得到(7)2  │(x+y-z)。由此和由于x+y-z=t(参阅导读5)就得到
    7 h8 V7 ^4 F1 Q( \" p                               (7)2  │ t  ( 其中(7)2表示7的平方)                                    (49) 9 c) l8 a7 e. M' Z
                               
    - F' y( k9 r) K& n; n1 L" }7 R5 H       这与在导读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没有正整数解,在此被用初等数学方法得到证明。
    - Z( _. W5 u. w5 f   / f4 O" ?8 D: _+ C3 x& U
         
    2 D6 {" w. ~( ^: Y7 s
    , O2 Q, {6 H; b2 k/ G, o, K; r0 c1 Z/ r5 @
          
      I  E. R+ V7 M. d' v     证明结束后进行回顾和小结:* w, T1 h9 T, R, g% R
       
    ! o  X# L" f" H  W     其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就不可能都是正整数。这就回答了以上为什么会出现奇怪的现象。
    7 ~! h0 t% d- A     其2:在本文中还出现由(29)式 7|z 又证得 (7)2 | z  ,和出现由7|t 又证得 (7)2 | t的奇怪现象。事实上,由(29)式 证得的7|z ,其中z是(1)式各组解中的最小 z值,何来还有更小的(7)2 | z 所得的值呢。关于7|t 又证得/ ~* d9 J5 y& X4 w' Z% x$ J
    (7)2 | t ,事实上由导读5的(4)式7|t 7其结果只能是7被7个t的连乘积中的一个整除,因此就有且只有7│t 能成立。而后面的证明怎么可能又否定掉前面的结论呢。这个怪现象仍然是由假设了(1)式有正整数解才产生的,但由此产生矛盾反而使我们的证明得以成功。 ' Y$ P& E! \- }0 ]6 \: n0 A  m
        其3:本文中比较最为关键之处有以下几点: z  k% ^* r& j
         1。从奇素数入手,由奇素数只能被其本身和1整除的特点,出现了证明中很多的奇迹。例如(1)式x7+y7=z7的变形再变形的应用。
      `1 P- l3 z# @+ A     2。不定方程xn+yn=zn,经过对n取3,5,7,11,13 后具体形式子的变形,使我们证明了它们存在通项表达式。这为我们用通项表达式去证明费尔玛大定理,找到了理论根据。( S9 e1 d# u  r  A8 {
         3.引入新变量t=x+y-z,不但起到了重要的桥梁作用使证明能往下深入,而且甚至于起到了证明成败的决定作用。# d9 R+ W- w( R& V; _
         4。根据对通项表达式往下证明的需要,我们设计并加以证明了相关的几个引理使证明有了活力,有坚实理论基础为后盾。1 v1 i( e! u  @  c7 L  }2 q
          5.初等数学证明费尔玛大定理,使人们在头脑里始终认为是很深奥的数学在此变得如此平常,这就是它的证明的独到之处。初等数学证明费尔玛大定理通俗易懂,不需深奥的数学知识易为大家接受。
    , h! q% q4 j3 ?5 z! f: P* b
      t4 H5 Z$ w8 U( ~/ a) P7 y; k
    3 }: E7 O6 p+ V4 O2 b           注:1,有关本人证明费尔玛大定理的正文,参阅本页的附件。
    # a; _/ E" i5 K" q, E               2,希望有不同见解的朋友爽快提出疑问之处,以便大家互相促进互相提高。3 d3 v. ?4 K% A& d% \$ m
                   3,希望有合作者参与共同研究和商讨。
    9 |6 [! {1 t! O5 k& G, ?" b% r* ~7 d! i! m$ s) h: Y/ z
    ) U; L/ k; H; d: B9 }& z( T
    : s/ H" i; Y( M$ e
    ! W: r1 N2 M5 U3 \7 U( `2 q' T

    / {( O9 }" Q8 ^# O! P7 ?- K& _2 @# S+ o0 q0 T
    + |6 {! ]0 K5 X3 k% H& j
    * Q, h* N: x% l9 j+ |

    % N6 j* |1 [7 U. y
    3 m3 f. W* ]% g' j6 N* |  \! _* }% A9 \' @, ]. P

    . p! w0 T8 e; T) z                                          
    9 x3 P  R1 p% |6 G                                                               
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    2#
    无效楼层,该帖已经被删除
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2025-8-1 10:06 , Processed in 0.655427 second(s), 57 queries .

    回顶部