费马大定理的初等巧妙证明(完全版)
费马大定理的初等巧妙证明(完全版)
费马大定理的初等巧妙证明(完全版)
pxt
费马大定理:一个正整数的三次以上的幂不能分为两正整数的同次幂之和。即不定方程zn?xn?yn当n≥3时无正整数解。
证明: 当n=2时,有 z?x?y
∴ x?z?y?(z?y)(z?y) (1)
设 (z?y)?2m 则 z?y?2m 代入(1)得
x?z?y?2m(2y?2m)?2m(y?m)?2ml
∴ x?2ml y?l?m z?l?m
当n=3时,有 z?x?y
∴ x?z?y?(z?y)(z?zy?y) (2)
设 (z?y)?3m 则 z?y?3m代入(2)得
x?z?y?3m[(y?3m)?(y?3m)y?y] 3332323223223233332233322222222222222222222222
?32m3(3y2?3?32m3y?34m6)?33m3(y2?32m3y?33m6)
设 (y?3my?3m)?l (3)
则 x?3ml (4)
z?y?3m (5)
若z,y的公约数为k,即 (z,y)=k ,k>1时,方程x?z?y两边可以除以k,下面分析k=1 即(z,y)=1 , 方程x?z?y的正整数解
因为(z,y)=1,分析(2),(3),(4),(5)式,只有m,l为正整数时,x,y,z可能有正整数解,由(3)得 333333232233633
y(y?32m3)?l3?33m6?(l?3m2)(l2?3m2l?32m4) (6)
∵ y, m, l都取正整数,
∴y?(y?3m) (l?3m)?(l?3ml?3m)
2322224
∴ y?(l?3ml?3m)
∴ y没有形如y?(l?3ml?3m)的正整数解。
又∵(6)式左边分解为y和y的(3-2)次式,右边分解为(l?3m)和l的(3-1)次式,且y, m, l都取正整数,如果y=(l?3m),则y?3m?(l?3ml?3m),如果2232224222242224y?32m3?(l2?3m2l?32m4),则y>(l?3m2).
∴y?(l?3m)和y?3m?(l?3ml?3m)不能同时成立
∴ y没有形如y?(l?3m)的正整数解
若 (l?3m)=ab , (l?3ml?3m)=cd (a,b,c,d为正整数)可得相应方程组
222????y?a?l?3m?y?ac?l?3m?y?c?l?3m或?或?这些方程组里的m, l没有正?232323??y?3m?bcd??y?3m?bd?y?3m?abd?2232224222224
整数解,若有正整数解,则与y没有形如y?(l?3m)或y?(l?3ml?3m)的正整数解矛盾。
又 ∵ y?(l?3m)在m, l取正整数的条件下,y可取到任意正整数
∴ y没有正整数解。
∴ 当n=3时,方程z?x?y无正整数解。
当n>3时,z?x?y
∴ x?z?y?(z?y)(z
令 (z?y)?nn?1nnnn?1nnn333222224?zn?2y???zyn?2?yn?1) (7) mn 则 z?y?nn?1mn代入(7)得
xn?zn?yn?(z?y)(zn?1?zn?2y???zyn?2?yn?1)
n?nn?1m[(y?nn?1mn)n?1?(y?nn?1mn)n?2y???(y?nn?1mn)yn?2?yn?1)]
n111n?1nn?2?nn?1m[nyn?1?(c1my? n?1?cn?2???c2?c1)n
?(cn?1?cn?2???c3?c2)n
?(cn?1?cn?2)n
?nm[y
nnn?1n?2n?2(n?2)(n?1)22222(n?1)m2nyn?3??? n?1(n?1)(n?1)(n?1)nm(n?2)ny?cnnm] ?1111n?1?1nn?2?(c1my? n?1?cn?2???c2?c1)n
?(cn?1?cn?2???c3?c2)n
?(cn?1?cn?2)nn?2n?2(n?2)(n?1)?122222(n?1)?1m2nyn?3??? n?1(n?1)(n?1)?1(n?1)nm(n?2)ny?cnm] ?1n
[y设n?1111n?1?1nn?2?(c1my? n?1?cn?2???c2?c1)n
22222(n?1)?1 ?(cn?1?cn?2???c3?c2)n
?(cn?1?cn?2)nn?2n?2(n?2)(n?1)?1m2nyn?3??? n?1(n?1)(n?1)?1(n?1)nm(n?2)ny?cnm] ?1n
?ln (8)
则 x?3ml (9)
z?y?nn?1mn (10)
nxn若z,y的公约数为k,即 (z,y)=k ,k>1时,方程x?z?y两边可以除以k,下面分
析k=1 即(z,y)=1 , 方程x?z?y的'正整数解
因为(z,y)=1,分析(7),(8),(9),(10)式,只有m,l为正整数时,x,y,z可能有正整数解,由(8)得
111n?1?1nn?2?1y[yn?1?1?(c1?c???c?c)nmy? n?1n?221nnxn
?(cn?1?cn?2???c3?c2)n
?(cn?1?cn?2)nn?2n?2(n?2)(n?1)?122222(n?1)?1m2nyn?3?1??? m(n?2)n]
?(l?nn?2mn?1)(ln?1?ln?2nn?2mn?1?ln?3n2(n?2)m2(n?1)???n(n?1)(n?2)m(n?1)(n?1)) (11) 简记为 y f(yn?2)=(l?3n?2mn?1)F(ln?1)
∵ y, m, l都取正整数。
∴y
∴ y?(ln?1?ln?2nn?2mn?1?ln?3n2(n?2)m2(n?1)???n(n?1)(n?2)m(n?1)(n?1))= F(ln?1)
n?1∴ y没有形如y= F(l)的正整数解。
n?2又∵(11)式左边分解为y和y的(n-2)次式,右边分解为(l?n
次式,且y, m, l都取正整数,如果y=(l?n
则y>(l?3n?2n?2mn?1)和l的(n-1)mn?1),则f(yn?2)
∴y?(l?nn?2mn?1)和f(yn?2)=F(ln?1)不能同时成立。
n?2∴ y没有形如y?(l?n
若(l?3n?2mn?1)的正整数解。 mn?1)=ab , F(ln?1)=cd (a,b,c,d为正整数)可得相应方程组
n?2n?1n?2n?1n?2n?1????y?a?l?nm?y?c?l?nm?y?ac?l?nm或?或?这些方程组里的?n?2n?2n?2????f(y)?bcd?f(y)?abd?f(y)?bd
m, l没有正整数解,若有正整数解,则与y没有形如y?(l?n
整数解矛盾。
又 ∵ y?(l?nn?2n?2mn?1)或y= F(ln?1)的正mn?1)在m, l取正整数的条件下,y可取到任意正整数
∴ y没有正整数解。
∴ 当n>3时,方程z?x?y无正整数解。
定理得证。
nnn
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 yyfangchan@163.com (举报时请带上具体的网址) 举报,一经查实,本站将立刻删除