关于“无穷递降法”及n = 4的证明.docVIP

关于“无穷递降法”x4 + y4 = z4没有正整数解无穷递降法，也称无限递降法：假设方程有解必有一个最小的解，通过推证无限有比最小的解更小的解，从而与有最小的解性质相矛盾，所以方程无解。“费马猜想”1637年费马提出的至1676年数学家们根据的少量提示用“无穷递降法”证明了n＝4时费马猜想这一证被公认为是费马自己的证明，这一证也公认为是费马的发明。 x4 + y4 = z4……………………………………………………………（01） 没有正整数解，则 （x2）2 +（y2）2 =（z2）2 也没有正整数解。假如（01）式有正整数解必有一组解最小，使（x2 ，y2）= 1；于是x2、y2、z2不能同时或其中两个为偶数，根据等式的奇偶数关系三个数只能其中两个为奇数x2、y2同时为奇数z2为偶数则设x2 = 2n-1、y2 = 2m-1、z2 = 2k： （2n-1）2 +（2m-1）2 =（2k）2 2（n2-n+m2-m）+ 1 = 2k2 等式左边是奇数，右边是偶数，等式不成立；所以x2、y2必其一为偶数一为奇数。令x2是偶数，a、b为正整数且（a ，b）= 1，根据勾股弦数数公式得： x2 = 2ab………………………………………………………………（02） y2 = a2 – b2……………………………………………………………（03） z2 = a2 + b2……………………………………………………………（04） 证明1. 简要介绍费马的证明《整数基础知识》149-152页）不定方程x4 + y4 = z4没有正整数解，则 x4 + y4 = u2……………………………………………………………（11） 没有正整数解。而在所有的各组正整数解当中必有一组中的u是最小的，即存在一个最小的正整数u1使 x4 + y4 = u12…………………………………………………………（12） 成立，于是由（04）式z2 = u1得正整数解： a2 + b2 = u1……………………………………………………………（13） 由（03）式判断b为偶数a奇数，设b = 2b1，由x2 = 2ab得： （x / 2）2 = ab1 因为（a ，b）= 1，所以（a ，b1）= 1，存在适当的正整数c、d，（c ，d）= 1，能使 a = c2 b = 2b1 = 2d2 代入（03）式得： （2d2）2 + y2 =（c2）2………………………………………………（14） 设K、L是正整数且（K ，L）= 1，令2d2 = 2KL由（14）式求c2得： c2 = 2 + L2……………………………………………………………（15） 由d2 =又存在适当的正整数： K = k2 L = l 2 则（15）式为： 4 + l4 = c2 ………………………………………………………………（16） 比较（16）式与（12）式相同的等式，c ≤ c2 = a ≤ a2，a2＜u1c＜u1，这与（12式）有最小的正整数解性质矛盾，从而（12）式不是正整数解，即（11）式没有正整数解，所以（01）式没有正整数解。 证明2. 由（02）式、（03）式证明将（03）式变形： b2 + y2 = a2因为y为奇数，b一定是偶数，a为奇数。依据解不定方程引理 ：uv = w2，u＞0，v＞0，（u ，v）= 1；则u = a，v = b ，满足（02）式平方数设正整数b = 2c12d12、a = k12使x2 = 2ab =（2c1d1k1）2，（03）式a = k12得：a = k12 =（c12）2 +（d12）2 c14 + d14 = k12…………………………………………………………（2） （2）式中c1、d1必一个为偶数，令c1为偶数f ＞hf ，h）= 1使 c12 = 2fh………………………………………………………………（2） 求（2）式中d12得： h2 + d12 = f2……………………………………………………………（2） （2）式中d1是奇数，h是偶数，为满足（2）式平方数，令h = 2c22d22、f = k22使c12 = 2fh =（2c2d2k2）2，求（2）式f = k22的解：f = k22 =（c22）2 +（d22）2 c24 + d24 = k22…………………………………………………………（2） 比较（2）式与（2）式相同的等式，f = k22及（22）式推出k2＜k22 = f＜c12＜k1，k2＜k1无限推证下去，就有： k1＞k2＞k3＞…… 无限小的正整数是不存在的与有最小的正整