费马平方和定理

費馬平方和定理是由法国数学家皮埃爾·德·費馬在1640年提出的一个猜想，但他没有提出有力的数学证明，1747年，瑞士数学家萊昂哈德·歐拉提出证明后成为定理。

 内容 
費馬平方和定理的表述是：奇質數能表示为两个平方数之和的充分必要条件是该質數被4除余1。

如 那麼 ，反之亦然。

该命题的必要条件是显然的，因为对于总有（偶数的平方能被4整除）以及对于总有（奇数的平方被4除余1），即若两个平方数之和为奇数，则该奇数必然模4余1而不可能出现模4余3的情况（事实上不管这个奇数是素数还是合数都如此）。而该命题的充分条件为本定理证明的重点。

歐拉的证明
歐拉在1747年证明了费马平方和定理，当年他四十岁。他在当年5月6日寄给哥德巴赫一封信，讲述这个定理的证明。该证明分五步，且用到了无穷递降法；由于信中没有把第五步讲清楚，因此1749年他再次寄给哥德巴赫一封信，详细讲述第五步的证明。

第一步、“如果两个整数都能表示为两个平方数之和，则它们的积也能表示为两个平方数之和。”
即婆罗摩笈多－斐波那契恒等式 。

第二步、“如果一个能表示为两个平方数之和的整数被另一个能表示为两个平方数之和的素数整除，则它们的商也能表示为两个平方数之和。” 

假设能被整除，且后者为素数。则能整除 

由于是素数，因此它能整除两个因子之一。假设它能整除。由于

可推出能整除。于是等式能被的平方整除。两边除以得：

因此其商能表示为两个平方数之和。

如果能整除，则利用等式

同样可证。

第三步、“如果一个能表示为两个平方数之和的整数被另一个不能表示为两个平方数之和的整数整除，则它们的商也必有一个不能表示为两个平方数之和的因子。”

假设能整除，且其商的分解式为。则。如果所有的因子都能表示为两个平方数之和，则我们可以用、、等等去除，并使用第二步的结论，可得每一个商都能表示为两个平方数之和。除到只剩的时候，可得也能表示为两个平方数之和，矛盾。因此，如果不能表示为两个平方数之和，则至少有一个素数 也不能表示为两个平方数之和。

第四步、“如果和互素，则的所有因子都能表示为两个平方数之和。” 

这一步用到了无穷递降法。设是的一个因子。可记 

其中和的绝对值最多不超过的一半。可得：

因此，一定能被整除，设。如果和不互素，则它们的最大公约数与互质（否则它与的最大公约数就能整除和，与我们假设它们互素矛盾）。因此它们的最大公约数的平方能整除（因为它能整除），于是我们得到，其中和互素，且不超过的一半，这是因为

如果和互素，则我们可直接使用和，不必转换成和。

如果不能表示为两个平方数之和，则根据第三步的结论，可知必有一个的因子不能表示为两个平方数之和；设它为。于是我们从推出了一个更小的整数，都不能表示为两个平方数之和，但都能被一个能表示为两个平方数之和的整数整除。由于这个无穷递降是不可能的，因此一定能表示为两个平方数之和。

第五步、“任何形为的素数都能表示为两个平方数之和。”

如果，则根据费马小定理可得被除都余1。因此它们的差都能被整除。这些差可分解为

由于是素数，它一定能整除这两个因子之一〔以下称它们为“和因子”和“差因子”〕。如果它能整除任何一个“和因子”，则根据第四步的结论可得能表示为两个平方数之和〔由于和仅相差，它们必然互素〕。而如果它能整除所有的个“差因子”，则它也能整除个一阶差、个二阶差，依此类推。由于数列的第阶差都等于，于是第阶差都等于，显然它不能被整除。因此，不能整除所有的“差因子”，得证能表示为两个平方数之和。

 扎吉尔“一句话”证明 
的证明基于羅傑·希斯-布朗早期证明的简化。令素数满足以及为自然数集，考虑三元数组有限集，于是存在两种对合映射的方式：一种是，其中不动点即为的两平方和的表示形式；另一种则是较为复杂的形式：

必然有且只有一个不动点，因此集合的元素个数必为奇数，于是不动点必然存在。

 参考文献 
Richard Dedekind，“費馬的理论”。
C. F. Gauss，“Disquisitiones Arithmeticae”（費馬版）。由Apple翻译。俊洪，1365年。
Don Zagier, A one-sentence proof that every prime p ≡ 1 mod 4 is a sum of two squares. Amer. Math. Monthly 97 (1990), no. 2, 144

 外部連結 
Two more proofs at PlanetMath.org

Fermat's two squares theorem , D. R. Heath-Brown, 1984.

Category:加性数论
Category:数论中的平方
Category:数论定理