找出一批正整数中的最大偶数_费马大定理（x^n＋y^n＝z^n，n≥3无正整数解）的证明（n＝4）...

1，费马简介：全名皮埃尔·德·费马（1601－1665），法国律师和业余数学家。他在数学上的成就不比职业数学家差，他似乎对数论最有兴趣，亦对现代微积分的建立有所贡献。被誉为“业余数学家之王”。

2，故事简介：一天费马在图书馆看书，违反图书馆规定，在书的一角写下x^n＋y^n＝z^n没有正整数解（n≥3），并表明自己已经作出了完整美妙的证明，但由于空白处太小写不下，故不写，这在对数学界引起一大轰动，也为数学界留下一大难题，此后，世界顶尖数学家纷纷前来挑战，“数学王子”高斯证明未果，说道“这是一个充满希望的定理，但我不会”，此外还有莱布尼兹，罗尔，欧拉，狄利克雷，勒让徳，拉梅……虽然都有所进展，但其还未被完整证明。终于，1993年6月英国数学家安德鲁·怀尔斯向全世界公布他完成了对费马大定理的证明，并完整的展示了证明过程，数学界迅速沸腾，怀尔斯一夜之间成为数学界最著名的数学家，费马大定理350年的迷惑落下帷幕，数学界又有了一次历史性的进步！

高斯

怀尔斯

下面进入正题吧

3，证明：证明开始之前，先了解一些相关知识。

（1）如果有x＋y＝z，若x，y有最大公因数k，则x，y，z的最大公因数就为k。

（2）一个正整数除以4时，余数有以下情况：

①当正整数为偶数时，余数为0或2。

②当正整数为奇数时，余数为1或3。

（3）偶数的偶数次方，结果很明显被4整除。

【关键】奇数的偶数次方除以4后，余数只能为1。

为什么？我们可以把奇数写作2n＋1，比如（2n＋1）^2等于4n^2＋4n＋1，除以4余数为1。化特殊为一般吧，（2n＋1）^2k可以写成（2n＋1）^k的平方，我们知道，奇数的任何次方都为奇数，则（2n＋1）^k又可以抽象为2m＋1，同理，可重复以上步骤，最后得证。

（4）如果一个4次方数等于两个数的乘积，且这两个数有最大公约数2，则这个两个数可以写成2u^2或8v^2，且u，v互素，u必须为奇数（否则最大公约数不是2）。如：

90^4＝（2×9^4）×（2^3×5^4）。

………………………………………………

开始证明过程：

方法：反证法

思路：假设x^4＋y^4＝z^2，此时的x，y，z是这个方程的最小正整数解，如果通过等式还能能找出一组更小的解，依此类推，则该解不存在，则该等式不成立，而后推费马大定理。

证明：设x^4＋y^4＝z^2，此时的x，y，z是这个方程的最小正整数解，根据前面的相关知识（参考知识点1），可得出x，y，z一定互素（若不互素，比如x，y有公约数3，则方程可写为

x^4／3^4＋y^4／3^4＝z^2／3^4，

则有（x／3）^4＋（y／3）^4

＝（z／9）^2

则x，y，z不是最小正整数解，以上均为解释过程。

再由x^4＋y^4＝z^2可得x，y，z只能有两项为为奇数，一项为偶数（比较简单，可自己证明），所以分两种情况（以下奇，偶表示奇数和偶数）：

①奇^4＋奇^4＝偶^2

利用4的整除性（知识点3），左边余数之和为2，右边余数为0，故等式不成立。

②偶^4＋奇^4＝奇^2，抽象为

x^4＋y^4＝z^2，x，y，z为偶，奇，奇。

移项＋平方差公式可得

（z＋y^2）（z－y^2）＝x^4，可知

（z＋y^2），（z－y^2）都为偶（奇±奇为偶），则有公约数2（注意知识点4），但还需证明2为最大公约数：

将两式相加

（z＋y^2）＋（z－y^2）＝2z，

可得公约数为2，且x，z互素，可知最大，则公约数为2。可能有点难理解，解释一下吧：

由（z＋y^2）（z－y^2）＝x^4得出若（z＋y^2），（z－y^2）有公约数，则这个公约数也是x^4的公约数，而x，z互素，则x^4，z互素 ，所以（z＋y^2），（z－y^2）与z互素，最后得出2为最大公约数。证毕！

根据知识点4，由 （z＋y^2）＋（z－y^2）＝2z和上述结论可以有（x，y，z为偶，奇，奇）：

①z＋y^2＝2u^4，z－y^2＝8v^4

②z＋y^2＝8v^4，z－y^2＝2u^4

注：u，v互素且u为奇数。

由②得y^2＝4v^4－u^4，运用4的整除性，左边余数为1，右边为－1，不等，故等式不成立。

由①得y^2＝u^4－4v^4，可得：

（u^2＋y）（u^2－y）＝4v^4，

设u^2＋y＝2r^4，u^2－y＝2s^4

则2u^2＝2r^4＋2s^4

则r^4＋s^4＝u^2，

就得到了一组新的解r，s，u。下面只需证明r，s，u比x，y，z小即可。

由z＋y^2＝2u^4，z－y^2＝8v^4可得

z＝u^4＋4v^4，可推出u＜z，根据上述方法，可无限推出比z小的数，但这是不可能的，故x^4＋y^4＝z^2不成立，取z＝m^2，则费马大定理得证（n＝4时）。