费马大理的证明与推广.docVIP

费马大定理的证明与推广 二十年前的一九九一年七月，我写成了一篇《费马猜想的证明》的论文。接着请多方专家审阅，几乎所有人都不愿意坚持看完，认为绝不可能。直到一九九三----一九九四年，英国数学家证明了此猜想，我从此就把此论文收起来了，直到二零零九年退休。接着又大病了三年，现在病情又有新发展。我在病床上常想，应该把这篇论文公布于世，以告慰为费马猜想耗费精力、甚至付出生命的人。为了便于阅读，我在论文前后各补写了一章。 第一章 一个正常且奇妙的解题思路 在三元三项齐次同系数的方程中，当=2时就是勾股定理；当≥3时就是费马方程.解决费马方程，应该深入研究勾股方程，应该从中得到启发。 1.1勾股方程的互素正整数解公式 下面介绍的推导勾股方程的互素正整数解公式的方法，不同于现在流行的数论书籍上的一般方法，甚至显得有些繁琐笨拙。它非常容易，请认真领会它，熟练掌握它。因为此法在后面证明费马大定理过程中发挥了关键作用。 需要说明的是，本章解题过程中有些环节似乎不够严密，这是因为：一是目前的数学书籍上尚且缺少此类问题的知识介绍，同学们可能暂缺此类预备知识；二是下一章将要作一般性地严密地理论推导，这里暂且省略一点。其实，同学们一般书写解题过程也是简明扼要的，因为一般理论依据大家心里清楚。 有勾股定理得 ，， = 1 \* GB3 ① 因此可以设 解得 ∴ 进而得 = 2 \* GB3 ② 另一方面，由勾股方程还可以得 ,， = 1 \* GB3 ① 因而可以设 解得 ∴ 进而得 = 3 \* GB3 ③ *拆开成 = 2 \* GB3 ②、 = 3 \* GB3 ③两式中的形式，是为了方便解决问题，还可以有其他拆法。 = 2 \* GB3 ②、 = 3 \* GB3 ③两式就是勾股方程的解公式。它们是等价的。它们的变换关系是： = 2 \* GB3 ② = 3 \* GB3 ③. 为了让 = 2 \* GB3 ②式中的表出有理数，且让数组中的三个数两两互素须只需令 （，一奇一偶，）。此时 = 2 \* GB3 ②式可化为 . 从而得到勾股方程的互素正整数解公式 （，一奇一偶，） = 2 \* GB3 ② 为了让 = 3 \* GB3 ③式中的表出有理数，且让数组中的三个数两两互素，须只需令（,二奇, ）.此时， = 3 \* GB3 ③式可化为 . 从而得到勾股方程的又一个互素正整数解公式 （,二奇, ）. = 3 \* GB3 ③ = 2 \* GB3 ②、 = 3 \* GB3 ③两式是等价的。它们之间的变换关系是： = 2 \* GB3 ② = 3 \* GB3 ③ . 用公式 = 2 \* GB3 ②或 = 3 \* GB3 ③能够构造出所有互素勾股数组。 例1 请把公式 = 2 \* GB3 ②、 = 3 \* GB3 ③中当时的所有勾股数组构造出来。 解：把逐次代入公式 （） 即得之： …… …… 由数100参与构成勾股数组，能够构成多少组互素勾股数组？ 解：若令100，可分解成，，，分别构成勾股数组 若令，可构成勾股数组 . 若令，可构成勾股数组. 一共可以构成5组勾股数组，其中只有2组是互素的。 哪些数能够参与构成勾股数组？哪些不能？说明理由。 解：根据公式 = 2 \* GB3 ②中的一奇一偶，可以表示任意一个不小于4的偶数，根据公式 = 3 \* GB3 ③中的（,二奇, ）可以表示任意一个不小于3的奇数。 因此，只有1和2不能参与构成勾股数组。 1.2费马方程当时没有正整数解 费马方程 （） 当 时为 .