费马大定理的初等巧妙证明(完全版)
李联忠
(营山中学 四川 营山 637700) 费马大定理:一个正整数的三次以上的幂不能分为两正整数的同次幂之和。即不定方程
z
n
x
n
y当n≥3时无正整数解。
2
n
证明: 当n=2时,有 z ∴ x
2
x
2
y
2
z
2
y
2
2
(zy)(zy) (1)
2
设 (zy)2m 则 zy2m 代入(1)得 x
2
z
2
y
2
2m(2y2m)2m(ym)2ml
2
2
22222222
22
∴ x2ml ylm zlm
当n=3时,有 zxy
∴ xzy(zy)(zzyy) (2) 设 (zy)3m 则 zy3m代入(2)得 xzy3m[(y3m)(y3m)yy]
3m(3y
2
2
2
3
2
3
3
3
2
3
2
3
2
2
3
2
2
3
2
3
3
3
3
2
2
333
33my3m)3m(y
3
3
6
3
2346332
3my3m)
2336
设 (y3my3m)l (3) 则 x3ml (4) zy3m (5)
3
若z,y的公约数为k,即 (z,y)=k ,k>1时,方程xzy两边可以除以k,下面
3
3
3
2
3
分析k=1 即(z,y)=1 , 方程xzy的正整数解
因为(z,y)=1,分析(2),(3),(4),(5)式,只有m,l为正整数时,x,y,z可能有正整数解,由(3)得
y(y3m)l
2
3
3
333
3m
36
(l3m)(l
22
3ml3m) (6)
224
∵ y, m, l都取正整数,
∴y(y3m) (l3m)(l3ml3m)
2
3
2
2
2
2
4
∴ y(l3ml3m)
∴ y没有形如y(l3ml3m)的正整数解。
又∵(6)式左边分解为y和y的(3-2)次式,右边分解为(l3m)和l的(3-1)次式,且y, m, l都取正整数,如果y=(l3m),则y3m
y3m
2
3
2
2
3
2
2
2
2
4
2224
(l
2
3ml3m),如果
224
(l
2
3ml3m),则y>(l3m).
2
2
3
2242
∴y(l3m)和y3m
2
(l
2
3ml3m)不能同时成立
224
∴ y没有形如y(l3m)的正整数解
若 (l3m)=ab , (l3ml3m)=cd (a,b,c,d为正整数)可得相应方程组
yal3mycl3myacl3m
或或232323
y3mbcdy3mabdy3mbd
2
2
2
2
2
4
222
这些方程组里的m, l没有正
整数解,若有正整数解,则与y没有形如y(l3m)或y(l3ml3m)的正整数解矛盾。
又 ∵ y(l3m)在m, l取正整数的条件下,y可取到任意正整数 ∴ y没有正整数解。
∴ 当n=3时,方程zxy无正整数解。 当n>3时,z∴ x
n
n
3
3
3
2
2224
x
n
y
n1
n
z
n
y
n
(zy)(z
n1
z
n2
yzym
n
n2
y
n1
) (7)
令 (zy)n
x
n
m
n
则 zyn
n1
n1
代入(7)得
n2
z
n1
n
y
n
n
(zy)(z
n1
z
n2
yzy
n1
y
n1
)
n1
nn
m[(ynm[ny
n
n1
m)
nn1
(ynm)
1
nn2
y(yn
n1
m)y
nn2
y
n1
)]
n1
(cn1cn2c2c1)n
111
m
n
y
n2
22222(n1)2nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)(n2)nn1(n1)(n1)(n1)n
mycn1nm] (cn1cn2)n
nnn11111n11nn2
(cn1cn2c2c1)nmy nm[y
22222(n1)12nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)nn1(n1)(n1)1(n1)n
mycn1nm] (cn1cn2)n
[y设
n1
(cn1cn2c2c1)n
1111n11
m
n
y
n2
22222(n1)12nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)nn1(n1)(n1)1(n1)n
mycn1nm] (cn1cn2)n
l (8)
n
则 x3ml (9) zyn
n1
m
n
(10)
n
若z,y的公约数为k,即 (z,y)=k ,k>1时,方程x析k=1 即(z,y)=1 , 方程x
n
z
x
y两边可以除以k
nn
,下面分
z
x
y的正整数解
n
因为(z,y)=1,分析(7),(8),(9),(10)式,只有m,l为正整数时,x,y,z可能有正
整数解,由(8)得
y[y
n11
(cn1cn2c2c1)n
1111n11
m
n
y
n21
22222(n1)12nn31
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)n
m] (cn1cn2)n
(ln
n2
m
n1
)(l
n1
l
n2
n
n2
m
n1
l
n1
n3
n
2(n2)
m
2(n1)
n
(n1)(n2)
m
(n1)(n1)
) (11)
简记为 y f(y
n2
)=(l3
n2
m
n1
)F(l)
∵ y, m, l都取正整数。 ∴y
n2
) (l3
l
n2
n2
m
n3
n1
)
m
n1
)
n
(n1)(n2)
∴ y(l
n1
n
n2
m
n1
ln
2(n2)2(n1)
m
(n1)(n1)
)= F(l
n1
)
∴ y没有形如y= F(l
n1
)的正整数解。
n2
又∵(11)式左边分解为y和y的(n-2)次式,右边分解为(ln次式,且y, m, l都取正整数,如果y=(ln则y>(l3
n2
n2
m
n1
)和l的(n-1)
n2
m
n1
),则f(y
n2
)
n1
),如果f(y)=F(l
n1
),
m
n1
)
∴y(ln
n2
m
n1
)和f(y
n2
n2
)=F(l
n1
)不能同时成立。
∴ y没有形如y(ln若(l3
n2
m
n1
)的正整数解。
m
n1
)=ab , F(l
n1
n1
)=cd (a,b,c,d为正整数)可得相应方程组
n2
n1
yalnn2f(y)bcd
n2
m
mycln
或
n2
f(y)abdyacln
或
n2
f(y)bd
n2
n2
m
n1
这些方程组里的
m, l没有正整数解,若有正整数解,则与y没有形如y(ln整数解矛盾。
又 ∵ y(ln
n2
m
n1
)或y= F(l
n1
)的正
m
n1
)在m, l取正整数的条件下,y可取到任意正整数
∴ y没有正整数解。 ∴ 当n>3时,方程z定理得证。
n
x
n
y无正整数解。
n
费马大定理的初等巧妙证明(完全版)
李联忠
(营山中学 四川 营山 637700) 费马大定理:一个正整数的三次以上的幂不能分为两正整数的同次幂之和。即不定方程
z
n
x
n
y当n≥3时无正整数解。
2
n
证明: 当n=2时,有 z ∴ x
2
x
2
y
2
z
2
y
2
2
(zy)(zy) (1)
2
设 (zy)2m 则 zy2m 代入(1)得 x
2
z
2
y
2
2m(2y2m)2m(ym)2ml
2
2
22222222
22
∴ x2ml ylm zlm
当n=3时,有 zxy
∴ xzy(zy)(zzyy) (2) 设 (zy)3m 则 zy3m代入(2)得 xzy3m[(y3m)(y3m)yy]
3m(3y
2
2
2
3
2
3
3
3
2
3
2
3
2
2
3
2
2
3
2
3
3
3
3
2
2
333
33my3m)3m(y
3
3
6
3
2346332
3my3m)
2336
设 (y3my3m)l (3) 则 x3ml (4) zy3m (5)
3
若z,y的公约数为k,即 (z,y)=k ,k>1时,方程xzy两边可以除以k,下面
3
3
3
2
3
分析k=1 即(z,y)=1 , 方程xzy的正整数解
因为(z,y)=1,分析(2),(3),(4),(5)式,只有m,l为正整数时,x,y,z可能有正整数解,由(3)得
y(y3m)l
2
3
3
333
3m
36
(l3m)(l
22
3ml3m) (6)
224
∵ y, m, l都取正整数,
∴y(y3m) (l3m)(l3ml3m)
2
3
2
2
2
2
4
∴ y(l3ml3m)
∴ y没有形如y(l3ml3m)的正整数解。
又∵(6)式左边分解为y和y的(3-2)次式,右边分解为(l3m)和l的(3-1)次式,且y, m, l都取正整数,如果y=(l3m),则y3m
y3m
2
3
2
2
3
2
2
2
2
4
2224
(l
2
3ml3m),如果
224
(l
2
3ml3m),则y>(l3m).
2
2
3
2242
∴y(l3m)和y3m
2
(l
2
3ml3m)不能同时成立
224
∴ y没有形如y(l3m)的正整数解
若 (l3m)=ab , (l3ml3m)=cd (a,b,c,d为正整数)可得相应方程组
yal3mycl3myacl3m
或或232323
y3mbcdy3mabdy3mbd
2
2
2
2
2
4
222
这些方程组里的m, l没有正
整数解,若有正整数解,则与y没有形如y(l3m)或y(l3ml3m)的正整数解矛盾。
又 ∵ y(l3m)在m, l取正整数的条件下,y可取到任意正整数 ∴ y没有正整数解。
∴ 当n=3时,方程zxy无正整数解。 当n>3时,z∴ x
n
n
3
3
3
2
2224
x
n
y
n1
n
z
n
y
n
(zy)(z
n1
z
n2
yzym
n
n2
y
n1
) (7)
令 (zy)n
x
n
m
n
则 zyn
n1
n1
代入(7)得
n2
z
n1
n
y
n
n
(zy)(z
n1
z
n2
yzy
n1
y
n1
)
n1
nn
m[(ynm[ny
n
n1
m)
nn1
(ynm)
1
nn2
y(yn
n1
m)y
nn2
y
n1
)]
n1
(cn1cn2c2c1)n
111
m
n
y
n2
22222(n1)2nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)(n2)nn1(n1)(n1)(n1)n
mycn1nm] (cn1cn2)n
nnn11111n11nn2
(cn1cn2c2c1)nmy nm[y
22222(n1)12nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)nn1(n1)(n1)1(n1)n
mycn1nm] (cn1cn2)n
[y设
n1
(cn1cn2c2c1)n
1111n11
m
n
y
n2
22222(n1)12nn3
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)nn1(n1)(n1)1(n1)n
mycn1nm] (cn1cn2)n
l (8)
n
则 x3ml (9) zyn
n1
m
n
(10)
n
若z,y的公约数为k,即 (z,y)=k ,k>1时,方程x析k=1 即(z,y)=1 , 方程x
n
z
x
y两边可以除以k
nn
,下面分
z
x
y的正整数解
n
因为(z,y)=1,分析(7),(8),(9),(10)式,只有m,l为正整数时,x,y,z可能有正
整数解,由(8)得
y[y
n11
(cn1cn2c2c1)n
1111n11
m
n
y
n21
22222(n1)12nn31
my (cn1cn2c3c2)n
n2n2(n2)(n1)1(n2)n
m] (cn1cn2)n
(ln
n2
m
n1
)(l
n1
l
n2
n
n2
m
n1
l
n1
n3
n
2(n2)
m
2(n1)
n
(n1)(n2)
m
(n1)(n1)
) (11)
简记为 y f(y
n2
)=(l3
n2
m
n1
)F(l)
∵ y, m, l都取正整数。 ∴y
n2
) (l3
l
n2
n2
m
n3
n1
)
m
n1
)
n
(n1)(n2)
∴ y(l
n1
n
n2
m
n1
ln
2(n2)2(n1)
m
(n1)(n1)
)= F(l
n1
)
∴ y没有形如y= F(l
n1
)的正整数解。
n2
又∵(11)式左边分解为y和y的(n-2)次式,右边分解为(ln次式,且y, m, l都取正整数,如果y=(ln则y>(l3
n2
n2
m
n1
)和l的(n-1)
n2
m
n1
),则f(y
n2
)
n1
),如果f(y)=F(l
n1
),
m
n1
)
∴y(ln
n2
m
n1
)和f(y
n2
n2
)=F(l
n1
)不能同时成立。
∴ y没有形如y(ln若(l3
n2
m
n1
)的正整数解。
m
n1
)=ab , F(l
n1
n1
)=cd (a,b,c,d为正整数)可得相应方程组
n2
n1
yalnn2f(y)bcd
n2
m
mycln
或
n2
f(y)abdyacln
或
n2
f(y)bd
n2
n2
m
n1
这些方程组里的
m, l没有正整数解,若有正整数解,则与y没有形如y(ln整数解矛盾。
又 ∵ y(ln
n2
m
n1
)或y= F(l
n1
)的正
m
n1
)在m, l取正整数的条件下,y可取到任意正整数
∴ y没有正整数解。 ∴ 当n>3时,方程z定理得证。
n
x
n
y无正整数解。
n