费马平方和定理是由法国数学家皮埃尔·德·费马在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