证明:不存在正整数x, y, z 满足xn + yn = zn (整数n ≥ 3) ----"费尔马大定律”
www.ddhw.com
a). 设存在三个正整数x, y, z , 且 x = y = z, 满足 xn + yn = znwww.ddhw.com
则有, 2xn = xn, 故,xn =0 www.ddhw.com
x = y = z = 0
与所给条件相矛盾。
www.ddhw.com
b) 设存在三个正整数 x, y, z (x ≠ y, x = z) 满足 xn + yn = znwww.ddhw.com
则,yn = zn – xn = 0, 故,y = 0
与所给条件相矛盾www.ddhw.com
(同理对三个正整数 x, y, z (x ≠ y, y = z)
www.ddhw.com
c) 设存在三个正整数 x, y, z , 且x = y ≠ z, 满足 xn + yn = zn
则,2xn = zn
z = 21/n xwww.ddhw.com
因为21/n (n ≥ 3)是无理数 (见所附证明),x 为正整数,z 则为无理数。
与所给条件相矛盾www.ddhw.com
www.ddhw.com
d) 设存在三个正整数 x, y, z , 且x ≠ y ≠ z, 使得 xn + yn = zn.www.ddhw.com
因为 x, y, z 为不相等正整数, 必存在整数 a, 使得 x +y = z + awww.ddhw.com
同乘 (xyz)m, 得:
xm+1(yz)m + ym+1(xz)m = zm+1(xy)m + a(xyz)mwww.ddhw.com
代入 zm+1 = xm+1 + ym+1, 有:www.ddhw.com
xm+1[(yz)m – (xy)m ] + ym+1[(xz)m - (xy)m] = a(xyz)m
xm+1ym (zm – xm ) + ym+1xm ( zm - ym) = a(xyz)mwww.ddhw.com
xmym [x(zm – xm ) + y ( zm - ym)] = a(xyz)m
xmym (xym + yxm) = a(xyz)mwww.ddhw.com
xy (ym-1 + xm-1) = azm
xyzm-1= azmwww.ddhw.com
所以有:xy=az.
因为 x +y = z + a,即 z = (x +y) -awww.ddhw.com
代入 xy=az, 得:
xy = a (x + y) –a2www.ddhw.com
所以得 a 的一元二次方程 a2 – a (x + y) + xy = (a – x)(a – y) = 0. www.ddhw.com
有根:(1) a = x; (2) a = y。www.ddhw.com
代入根 a = x 于 x +y = z + a 中,得 y = z. 与条件 x ≠ y≠ z 相矛盾www.ddhw.com
代入根 a = y 于 x +y = z + a 中,得 x = z. 与条件 x ≠ y≠ z 相矛盾www.ddhw.com
所以,不存在整数 a 使得 xn + yn = zn 对三个正整数 x, y, z (x ≠ y≠ z)成立。
www.ddhw.com
所以,不存在正整数x, y, z 满足xn + yn = zn (整数n ≥ 3)www.ddhw.com
证毕。
--------------------------------------------------------------www.ddhw.com
附:证明21/n (n ≥ 2)是一个无理数。www.ddhw.com
假设21/n (n ≥ 2)是一个有理数.www.ddhw.com
则存在不可约整数 a 和b, 使得21/n = a/b. www.ddhw.com
那么,2 = an/bn 或 2bn = an. 有:an = 偶数。www.ddhw.com
则,a 必为偶数。因为奇数的 n 次方总还是奇数。www.ddhw.com
设,a = 2d. 那么,an = 2n dn. 有:bn = 2n-1dnwww.ddhw.com
即,bn = 偶数。同上理,b 必为偶数.www.ddhw.com
至此,a 和b 有公约数 2,www.ddhw.com
与 “a 和b 为不可约整数”相矛盾。www.ddhw.com
所以,21/n (n ≥ 2)是一个无理数
证毕。