数学建模社区-数学中国

标题: 导读9：“初等数学证明费尔玛大定理”简单，扼要，严密。 [打印本页]
作者: chengenlin    时间: 2012-3-29 15:19
标题: 导读9：“初等数学证明费尔玛大定理”简单，扼要，严密。
本帖最后由 chengenlin 于 2012-5-1 14:59 编辑 , o1 A0 v: u& A, T; q
. p. y# B; F+ p' `9 U7 p% k
       由前面几篇导读的介绍，我们已经了解了证明“费尔马大定理”的基本思路。这一次，在本文中对证明“费尔马大定理”最重要的一环作一补充。先理一下头绪，证明中大的方面基本线索是：假设（1）式的不定方程xn +yn=zn 有正整数解，去进行证明。为了更易接受，仍以n=7为例来说明问题。由z7=x7+y7引入新变量设t=x+y-z，然后证得7│t，再由7│t证到导读6中的（10），（11）和（12）式成立，然后由（10），（11）和（12）去证得7整除x,y和z中的一个。我们今天就是着重对7整除x,y和z中的一个这一环节作补充和严密论证。补充了这一点，证明过程就十分严密了。
4 }. K) ?2 f% y/ P8 H, c     以下几个引理我们都有了证明，参阅前面的导读。
- q' {" v, s" p     引理1：设a,b为正整数，且a＞b。若（a,b）=1，则(a+b,b)=1和（a-b,b）=1。; ~/ b. W3 u) T* P% ^
     引理2：设a,b,c和k为正整数，若（a,b）=1，则有(a,ka+b)=1
8 n- O: V, ]. Z+ E6 K9 `: H5 n        引理３：设a,b，c和为正整数，若(a,b)=(a,c)=1,则(a,bc)=1。8 W( t) Z1 b. C' _
     引理４：设a,b和n为正整数，若(a,b)=1,则(a , bn)=1
) G6 h' x$ R: W& {4 j' ?) F        引理5：设a,b，c和k为正整数。若c│a，且有(a,b)=1 , 则(c,b)=1。
( b  g/ f% J* K" W. u       : ]; p% o% P) x
         以z7=x7+y7的证明来引导对xn +yn=zn 无正整数解的证明。
( \' S5 O8 j; b. |     证明：假设  ?9 P2 D# j7 O8 ~& S
                                          z7=x7+y7                                                  (1)) t7 g8 ?8 s7 i  d$ d7 f
有正整数解。/ W0 w+ B1 |+ _9 X
     由导读6中z7=x7+y7， 和将它经过移项后得到x7=z7-y7及y7=z7-x7的另2个式子，已经证得以下3个式子 （ 以下符号
; x/ n/ v. t7 Z3 q" p6 [a│b ，表示a能被b 整除)
+ `7 x* p# B8 W6 M4 ^+ g                                  7│ xy(x+y)（(x+y)4 - 2xy(x+y）2  + x2y2)                                   （10）
% U! ^! x6 }. p* C5 j8 h                   7│zy(z-y)（(z-y)4 +2zy(z-y）2  + z2y2)                                             (11)! z( G# j( e% b3 i) f% g
               和        7│zx(z-x)（(z-x)4 +2zx(z-x）2  +z2 x2)                                              (12)
' S8 t5 H3 K/ r成立。
) ^& t( ?' Q' q      我们假设（1）式有正整数解。那么满足（1）式的所有的各组正整数解当中，必有一组解中的z是最小的，即存在一个最小的正整数z使得（1）式x7 +y7=z7成立，而其中的x和y都是正整数。我们把正整数x和y的最大公因数d,记作（x,y）=d。此时，由（1）式知就一定有
& p0 H. o8 f2 G8 b, b+ t                                       （x,y）=1                                                        (13)
; y. g& o. u- X, k（其中的（x,y）=1，表示x与y之间无公因数）。不然的话，就一定有（x,y）=d>1。由d7 |x7,和d7 | y7(其中符号“a│b”，表示a能被b整除。) ，及（1）式得到d7│ z7。把（1）式两边同除d7，也即得到d分之1的z小于z，但这与z是（1）式各组正整数解当中最小的发生矛盾。所以有(x,y)=1  成立。由（13）式，还可以证得
% k; x" ]- d% w& S2 I4 r  v0 S4 Y                          （z,x）=(z,y)= （x,y）=1                                                       (14)3 x' e2 F1 n+ p! J0 t! U4 s- p9 @1 E
       这是因为如果（z,x）=d>1的话，由d7 | z7 和d7| x7及（2）式就得到d7|y7。再由d7| x7及d7|y7 得到d| x及d|y，因而有(x,y)= d>1。这与（13）式发生矛盾，因此证得（z,x）=1。同理，可以证得(z,y)= 1，也即有（14）式被证明成立。8 k/ Y# y7 {6 D, H# i
      再把z7=x7+y7式化为z7 =(x+y)(x6-x5y+x4y2-x3y3+x2y4-xy5+y6)，将其两边同除以 x+y，可以得到(x+y)│z7,， 从而必有7 \, H* @9 N7 l+ ^: G
                                          (x+y,  z)=d1>1                                           (15)/ X+ ?; j# @: R# D! _
          这是因为如果(x+y,  z)=1 ，可以得到 (x+y, z7)=1（引理4) , 即有(x+y) ┥ z7(此式表示x+y不能被 z7整除）。这与已证得的(x+y)│z7发生矛盾，因而有(15)式成立。. L) I8 f% W8 u, c9 Z
    同理，由x7=z7-y7和y7=z7-x7还可以证得有
! |& \5 N" G. |6 z& _( g                                (x,   z-y)=d2   和 (y, z -x)=d3                                      （16）
) k8 Z' e. F3 q/ }2 ?' ]: c! }能成立。由（15）和（16）式知有
) @4 R8 ^$ u2 ^( y9 f- e, v$ q                         （xy(x+y)， zy(z -y),  zx( z-x)）=d1d2d3>1                            (17)                  2 a6 M2 e9 O: R

. p7 L2 V* A& X8 W6 I6 z能成立。由（17）式，知（10），（11）和（12）这三个式子的右边的单项式有最大公因数d1d2d3。（其中d1d2d3表示3个不同字母d1，d2和d3的连乘积。），以下我们将证明有
1 `5 j% P6 s" l) U9 U1 ?                                         7│d1d2d3                                                       (18), g% ^; E; j# p8 z& L  m: b: Z6 h
能成立。先证明（10）式右边中括号外的单项式与中括号内的多项式无公因数，也即去证明" k/ f4 u  c" O9 O" a; I  M! |" K0 j
                       （xy(x+y )，（(x+y)4 - 2xy(x+y）2  + x2y2)  ）=1                  （19）         , ]8 H% [+ b' ?4 y+ D" r, {
     为了证明上式能成立，分两步进行。第一步，去证# l+ T; i3 u% U3 b& k
                         （xy，(x+y)4 - 2xy(x+y）2  + x2y2 ）=1 。               （20）+ Z; B$ R5 ?: f( ]% N1 V* L
   由于xy│（ 2xy(x+y）2  + x2y2 ）的成立，接下来去证(xy，(x+y)4)=1。由(13)式(x,y)=1，可以证得（x , x+y）=(y, x+y)=1(引理1)。由此，可以证得（xy, x+y）=1 (引理3) 。再由（xy, x+y）=1就可以证得(xy，(x+y)4)=1(引理4)。此时，由(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。由以上两个证得的式子，就能证得（xy(x+y），(x+y)4 - 2xy(x+y）2  + x2y2 ）=1 (引理3)，也即（19）式被证明成立。 由（11）和（12）式右边括号外的单项式与括号内的多项式，同理可以分别证得
. D! j& S* n" Z6 |) w7 {                     （zy(z-y)，(z-y)4 +2zy(z-y）2  + z2y2)  =1                                    (21)
) `. M: o+ z% @4 y                                   和（zx(z-x)，(z-x)4 +2zx(z-x）2  +z2 x2)  =1                                 （22）
$ ]2 \  q8 Y. E/ W" A, V8 @成立。由（19），（21）和（22）式的成立，得知（10），（11）和（12）式右边的各单项式和同一个式子中的多项式无公因数被证明成立。
. G2 S$ y; F" Y2 p( n' ^4 V      接下来，就是我们开头所说的对最重要的一个环节作的补充。
# z( k& S$ M3 [9 n/ b, K     为了证明（10）（11）和（12 ）式右边中括号外的任意一个单项式，与中括号内的任意一个多项式无公因数。为此，先证明（10）式中括号外的单项式与（11）式多项式无公因数。也即去证明有. z  D/ b8 g+ I, _% E
                     （xy(x+y)，（(z-y)4 +2zy(z-y）2  + z2y2)  =1                           （23）# v& f% R) G; A( s* t. `
      为了证明上式分三步进行，即分别去证得x，y和x+y与（23）式中的多项式无公因数。/ n2 O. S, y  y6 E3 m- x
       第一步，由y │z y( z-y)，和由（21）式就可以证得
. R, F  K2 p7 C                        （y，(z-y)4 +2zy(z-y）2  + z2y2)  =1 （ 引理5）          （24）
, M- R) s3 {; O; W能成立。
/ \# b: `" f  J! o& r& |1 \$ U     第二步.再由 z│ zy(z -y)，和由（21）式可以证得
% _" D+ O6 E( W# Z: m( ]) x7 M                        （z ，(z-y)4 +2zy(z-y）2  + z2y2)  =1（ 引理5）           （25）( a5 L7 }8 P: _$ {
成立。由此式，可以得到' H" ?$ A% G) b3 o) @3 A3 k4 p- H, l
                       （z7 ，(z-y)4 +2zy(z-y）2  + z2y2)  =1（引理4）           （26）* P! |0 \/ H& j, K4 n
成立。再由(2)式z7 =x7+y7，把它化为z7=（x +y）（x6- x5y+ x4y2 -  …+ y6），接着把此式的两边同除以x +y ,就得到9 m( W* F& T; `  J- o6 D2 d- u
（x +y）│z7。由此，和由(26)式就可以证得
3 _, O4 I% G6 s3 Y$ t( C* y+ O1 w- q  k                       （x +y ，(z-y)4 +2zy(z-y）2  + z2y2)  =1（引理2）         （27）
/ y, u1 [0 {& _1 L能成立。) W1 F% X* k3 o2 s0 b
    第三步.去证明$ c5 Y* z, c, H
                           （X，（z-y)4 +2zy(z-y）2  + z2y2）= 1                           （28）
+ T% n  d+ W3 G' t* b    为了证明（28）式成立。我们把（1）式化为 x7 =z7 – y7，然后将此式右边展开为 * [# y6 N! D$ C7 D4 n' F/ P- j0 ]- `
    x7 =z7 – y7=(z-y)7+7zy(z-y)5+14z2y2(z-y)3+7z3y3(z-y)，再将展开式中除第一项外的其它项提取公因式7zy（z -y），就得到
5 v1 a' S% f4 J! A/ w                       X7  = ( z-y)7+ 7 z y（z-y）[(z-y)4 +2zy(z-y）2  + z2y2 ]         （29）- c- ?' @& s8 P0 J, m6 O
由（29）式，我们可以证明有
/ ]3 c* w/ h1 A9 o, @" ^: w* }$ d( X8 \3 ^) `& e5 w
                        （x7 ，(z-y)4 +2zy(z-y）2  + z2y2)  = 1                                   (30)
! U! E  G$ B# J+ A" I. A9 H能成立。不然的话，就有（x7 ，(z-y)4 +2zy(z-y）2  + z2y2)  =d＞1。由此式，就得到 d│x7和d│(z-y)4 +2zy(z-y）2  + z2y2)。由此，和将（29）式两边同除以d，就得到d│( z-y)7。由d│( z-y)7，就可以得到（z-y,d）=d'＞1。这是因为如果有
$ r' k# b1 C# o; F（z-y,d）=1的话，就得到（( z -y)7,d）=1(引理3)，但由此，就使以上d│( z-y)7不能成立因而发生矛盾，因而必有（z -y,d）=d'＞1。由此，就得到d'│d 和d'│（z -y）成立。由d'│（z -y），就能得到
5 z/ K0 e5 j( H! y# l8 ~$ g* \0 S! [+ q                                          d'│((z-y)4 +2zy(z-y)2 )                               （31）; V& ^# Z2 n0 M" x. T, x/ g
由d'│d 和d│(z-y)4 +2zy(z-y）2  + z2y2)  就得到
* y6 t7 Y& H$ o2 U                                          d'│((z-y)4 +2zy(z-y）2  + z2y2)                  （32）
, B( }  a' ]8 W0 N0 h- g& _. o由（31）和（32）式及整除的性质，就能得到d'│z2y2。由此，和由以上证得的d'│（z -y）就能得到( u7 B& O+ H2 z7 v" k- g% g
                               （z -y，z2y2）= d'＞1。                           （33）
7 T3 m& t1 u( `* e7 t. T" B% q    接着，由（5）式(z,y)= 1，可以得到（z -y，z）=（z -y，y)= 1（引理1）。由此，可以得到（z -y，zy)= 1（引理3）。再由（z -y，zy)= 1，就能证得到（z -y，z2y2)）= 1（引理4）。但这与（33）式发生矛盾，因而使以上的（x7 ，(z-y)4 +2zy(z-y）2  + z2y2)  =d＞1不能成立，因此必有（30）式能成立。由于X│x7，和由（x7 ，(z-y)4 +2zy(z-y）2  + z2y2)  = 1  就能得到（x，，(z-y)4 +2zy(z-y）2  + z2y2)  = 1 (引理2)，也即有（28）式成立。由（24），（27）和（28）式的成立，就可以证得（xy(x+y)，（(z-y)4 +2zy(z-y）2  + z2y2)  =1 （引理3），  也即有（23）式被证明成立。由此，得知（10）式右边中括号外的单项式，与（11）式中括号内的多项式无公因数被证明成立。。同理，可以证得（10）式中单项式与（12）式中的多项式无公因数能成立。综上，就得到（10）式右边的单项式与(10)与(11)及（12）式子中的任意一个多项式无公因式被证明成立。由于(10)与(11)及（12）这3个式子是对称的式子，即相应改变某一式子中的某一变量就得到另一式子。因此，可采用（10）式的证明方法，同理可以证得（11），（12）式右边中括号外的任意一个单项式与(10)，(11)及（12）式中的任意一个多项式无公因式。概括以上的证明，也即得到(10)，(11)及（12）式右边中括号外的任意一个单项式与其3个式子中的任意一个多项式无公因数被证明成立。以上的证明就是对缺漏的证明作了完整的补充，严密论证的补充。这样，就完美了。0 `( {' m0 M* a) F
     以下的证明，在理论上又有了深入。
* a4 j' J* R1 C! g* \, k     接着，我们去证明(10)，(11)及（12）式中的3个多项式不存在公因数和公因式。
( \8 j5 L4 m5 l8 V, v( r3 C     第1，由于以上已证明((10)，(11)及（12）式右边任意一个多项式，与它们中括号外的任意一个单项式无公因数。及由(10)式右边中括号外的单项式是xy(x+y)，（11）式中括号外的单项式是 zy( z-y)，和(12)式中括号外外的单项是式 zx( z-x)。因此可以证得(10)，(11)及（12）式中的任意一个多项式不含因式xyz (x+y)( z-y)( z-x)。由此，和由(17)式得知xyz (x+y)( z-y)(z -x)是包含有因数d1d2d3的，因而证得任意一个多项式不含因式d1d2d3xy z(x+y)(z -y)(z -x)。因此，证得以上3个多项式不存在公因式d1d2d3xyz (x+y)(z -y)( z-x)。
) R1 n. L- o, t/ a3 @% _      第2，由以上的证明，得知（10），（11）和（12）式中的任意一个多项式不存在x,y和z的因数。由此，和由（5）式（z,x）=（z,y）=(x,y)=1，知任意一个多项式也不存在与x,y和z相关的因数。因此，证得任意2个多项式无x,y和z的公因数，也不存在与x,y和z相关的公因数。接下来，先去证任意2个多项式无公因式。        8 b1 j, M# E3 f$ e8 |) y4 d
       给出（10）式中的多项式
8 @! P5 v% @& h8 v2 G* a( E& j                                  (x+y)4 - 2xy(x+y）2  + x2y2  
, }0 Q$ X4 ~$ X* k% z* [3 v4 R. N" [            与（11）式中的多项式
7 ^/ X* O$ Q7 O' z; G                                 （(z-y)4 +2zy(z-y）2  + z2y2)       & o  Q/ I8 k2 J5 f9 e! S
          （12）式中的多项式
8 W& u9 H. r* E' z) g                                  (z-x)4 +2zx(z-x）2  +z2 x2)   0 B) V, `( ?4 K' n$ E
        经仔细观察就会发现， 以上这3个式子是对称关系。只要将（10）式中的x换成-z就得到（11）式，若再将（10）式中的y换成-z 就得到 (12)  式。 设（10）式中的多项式为  f(x)= (x+y)4 - 2xy(x+y）2  + x2y2  ，则（11）式中的多项式为 , J8 R' d' ^4 x: A0 m0 ~! r
f (-z )= （(z-y)4 +2zy(z-y）2  + z2y2)    。为了证明 f(x)和 f (-z )无公因式，假设它们有公因式，并使 f (x)和f (-z )都通过因式分解且提取了它们的公因式。若使f(x)所指的公因式中的x改变为-z而y保持不变，这样就成了f(-z )中所指的公因式。由于这两个公因式中含有了x和-z的不同字母，因此它们实际上不可能是f(x)和f(-z )的公因式。这与假设f (x)和f (-z )有公因式发生矛盾，因此证得（10）和（11）式中的多项式不存在公因式。同理可以证得（10）和（12），（12）和（13）中的多项式也无公因式。综合以上两个方面的分析和证明，得到任意两个多项式既无公因数也无公因式。因此有（10），（11）和（12）的3个多项式既无公因数，也无公因式被证明成立。
! Q) S; N; E# m4 J2 b: N    综上，我们得出 (10)，(11)及（12）式右边中括号外的单项式有公因数d1d2d3 ，中括号内多项式既无公因式也无公因数，而中括号外的任意一单项式与中括号内任意一多项式之间也无公因数  。因此，得知以上这3个式子右边只存在d1d2d3的公因数而绝无其它的公因数或公因式。因而由(10)，(11)及（12）式的3个式子同时被7整除，得知只能是 7被这3个式子中的公因数d1d2d3整除。 也即有  ! A1 K* p: N( Q4 g
                                       7│d1d2d3                                                                   (34)
7 Z+ M8 ^7 F( L* k
! M+ }6 v* _+ j能成立。由（14）式的（z ,x）=(z,y)= (x,y)=1 和（15）及（16）式 可以得到   + o; A4 q6 u9 n
                                     (d1,d2）=（d1,d3）=(d2,d3)=1（引理2 ）           (35)   * J$ o7 ?$ n* h# B8 J
成立，由（34）和（36）式知7必被d1 ，d2和d3中的一个整除，不妨设
# m; D/ n+ ]& _                                              7|d1                                                             （37）
. w. [1 X- o3 {- d  R9 d  d( `   由（37）式n|d1 ，和（14）式(x+y,  )=d1知，有  ( ~) D* g" K9 ]7 ~* Y) J0 n
                                              7|z                                                                （38）                    # z' ]- r, M& l) C7 Q+ a# ^# `
     6 Q0 N" k$ {/ ]4 ~' Z
    能成立。以下的证明方法同以前相同，不再重复了。 # V; x8 M+ @7 k; j3 K! V& W) B

; e( g* M0 S! x+ X3 R+ x& J' i" ]       本人还想说一下两个方面：* ]2 C) Y  I1 T& o  C5 C1 |0 e0 `
       1． 从以上的证明，可以看到我们对理论上的证明更加深化，证明更加严密。通篇文章中理论性极强也十分严密。引理1,2,3和4被得到反复应用，任何一步都有理论依据。可以说通篇文章一环扣一环，步步深入。本导读9中的证明就充分体现了以上的特点。
3 Y% f0 b9 |9 h       2.本人一直想将此证明的论文投稿到国外数学杂志上去，无奈英语水平实在跟不上。希望英语水平较好的，对用“初等数学证明费尔玛大定理”也感兴趣的朋友，能将此文翻译成英语以两人合作的名义投稿到国外数学杂志社。本人的联系方法在我写的“费尔玛大定理”不难证明的的最后面。! B" A& v  z0 X( x; r5 D8 i3 U1 l5 c
  Q, O2 p& ~; b; a2 S& B, c
    完整的证明，请参阅正文“初等数学证明费尔玛大定理”1（2）
  \# S. M) \) q8 `8 r( M' u0 |; t' g; H' S% S0 V+ ~# O  ]# O; k/ {
作者: 欧尼    时间: 2012-6-25 14:14
头有点晕！!!!!!
作者: 弘道    时间: 2014-7-28 22:47
谢谢楼主……辛苦啦！………………
作者: 好石    时间: 2014-11-19 14:56
表示看不懂……
, ]: c. G2 w4 M* G
作者: 好石    时间: 2014-11-19 14:56
表示看不懂……
: X" ~6 U8 h. j, U& G+ E# y  ]' K
作者: 好石    时间: 2014-11-19 14:57
证明太过复杂，表示看不懂……4 x# r0 ?+ L- j; ^0 d9 n/ e. G& ~8 x
作者: 光之仑    时间: 2015-1-3 21:38
有点晕。。。
: n( p) \9 E1 y# S# p
作者: 宇仲    时间: 2015-1-21 18:14
楼主辛苦了，收藏起！9 u' t, H7 y, T/ s: w: q




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5