打开主菜单

费马平方和定理

(重定向自費馬平方和定理

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

内容编辑

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

歐拉的证明编辑

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

第一步、“如果两个整数都能表示为两个平方数之和,则它们的积也能表示为两个平方数之和。”

婆罗摩笈多-斐波那契恒等式  

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

假设 能被 整除,且后者为素数。则 能整除
 
由于 是素数,因此它能整除两个因子之一。假设它能整除 。由于
 
可推出 能整除 。于是等式能被 的平方整除。两边除以 得:
 
因此其商能表示为两个平方数之和。
如果 能整除 ,则利用等式
 
同样可证。

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

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

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

这一步用到了无穷递降法。设  的一个因子。可记
 
其中  的绝对值最多不超过 的一半。可得:
 
因此, 一定能被 整除,设 。如果  不互素,则它们的最大公约数 互质(否则它与 的最大公约数就能整除  ,与我们假设它们互素矛盾)。因此它们的最大公约数的平方能整除 (因为它能整除 ),于是我们得到 ,其中  互素,且 不超过 的一半,这是因为
 
如果  互素,则我们可直接使用  ,不必转换成  
如果 不能表示为两个平方数之和,则根据第三步的结论,可知必有一个 的因子不能表示为两个平方数之和;设它为 。于是我们从 推出了一个更小的整数 ,都不能表示为两个平方数之和,但都能被一个能表示为两个平方数之和的整数整除。由于这个无穷递降是不可能的,因此 一定能表示为两个平方数之和。

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

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

参考文献编辑

  • Richard Dedekind,“費馬的理论”。
  • C. F. Gauss,“Disquisitiones Arithmeticae”(費馬版)。由Apple翻译。俊洪,1365年。