费马平方和定理
来源:互联网 发布:手机扫描照片软件 编辑:程序博客网 时间:2024/05/02 04:39
费马平方和定理
费马平方和定理是由法国数学家费马在1640年提出的一个猜想,但他没有提出有力的数学证明,1747年,瑞士数学家莱昂哈德·欧拉提出证明后成为定理。
内容
费马平方和定理的表述是:奇质数能表示为两个平方数之和的充分必要条件是该素数被4除余1。
欧拉的证明
欧拉在1747年证明了费马平方和定理,当年他四十岁。他在当年5月6日寄给哥德巴赫一封信,讲述这个定理的证明。该证明分五步,且用到了无穷递降法;由于信中没有把第五步讲清楚,因此1749年他再次寄给哥德巴赫一封信,详细讲述第五步的证明。
第一步、“如果两个整数都能表示为两个平方数之和,则它们的积也能表示为两个平方数之和。”
- 第一步的证明见婆罗摩笈多-斐波那契恒等式。
第二步、“如果一个能表示为两个平方数之和的整数被另一个能表示为两个平方数之和的素数整除,则它们的商也能表示为两个平方数之和。”
- 假设能被整除,且后者为素数。则能整除
- 由于是素数,因此它能整除两个因子之一。假设它能整除。由于
- 可推出能整除。于是等式能被的平方整除。两边除以得:
- 因此其商能表示为两个平方数之和。
- 如果能整除,则利用等式
- 同样可证。
第三步、“如果一个能表示为两个平方数之和的整数被另一个不能表示为两个平方数之和的整数整除,则它们的商也必有一个不能表示为两个平方数之和的因子。”
- 假设能整除,且其商的分解式为。则。如果所有的因子都能表示为两个平方数之和,则我们可以用、、等等去除,并使用第二步的结论,可得每一个商都能表示为两个平方数之和。除到只剩的时候,可得也能表示为两个平方数之和,矛盾。因此,如果不能表示为两个平方数之和,则至少有一个素数 也不能表示为两个平方数之和。
第四步、“如果和互素,则的所有因子都能表示为两个平方数之和。”
- 这一步用到了无穷递降法。设是的一个因子。可记
- 其中和的绝对值最多不超过的一半。可得:
- 因此,一定能被整除,设。如果和不互素,则它们的最大公约数与互质(否则它与的最大公约数就能整除和,与我们假设它们互素矛盾)。因此它们的最大公约数的平方能整除(因为它能整除),于是我们得到,其中和互素,且不超过的一半,这是因为
- 这一步用到了无穷递降法。设是的一个因子。可记
- 如果和互素,则我们可直接使用和,不必转换成和。
- 如果不能表示为两个平方数之和,则根据第三步的结论,可知必有一个的因子不能表示为两个平方数之和;设它为。于是我们从推出了一个更小的整数,都不能表示为两个平方数之和,但都能被一个能表示为两个平方数之和的整数整除。由于这个无穷递降是不可能的,因此一定能表示为两个平方数之和。
第五步、“任何形为的素数都能表示为两个平方数之和。”
- 如果,则根据费马小定理可得被除都余1。因此它们的差都能被整除。这些差可分解为
- 由于是素数,它一定能整除这两个因子之一〔以下称它们为“和因子”和“差因子”〕。如果它能整除任何一个“和因子”,则根据第四步的结论可得能表示为两个平方数之和〔由于和仅相差,它们必然互素〕。而如果它能整除所有的个“差因子”,则它也能整除个一阶差、个二阶差,依此类推。由于数列的第阶差都等于,于是第阶差都等于,显然它不能被整除。因此,不能整除所有的“差因子”,得证能表示为两个平方数之和。
- 如果,则根据费马小定理可得被除都余1。因此它们的差都能被整除。这些差可分解为
0 0
- 费马平方和定理
- [数论]高斯整数中的素数及费马平方和定理
- 费马定理
- 费马定理
- 费马定理
- Codeforces Beta Round #86 (Div. 2 Only) E Double Happiness 素数筛法,费马平方和定理
- UVA 106(费马定理&毕达哥拉斯定理)
- 费马定理的证明
- 欧拉函数+费马定理 POJ3358
- 欧拉函数、费马定理、欧拉定理
- 欧拉定理 & 费马定理吗 & 欧几里得 & 扩展欧几里得
- 逆元 + 费马定理 + 欧拉定理
- 欧拉定理 & 费马定理吗 & 欧几里得 & 扩展欧几里得
- 四元数/四平方和定理
- HDU 4704 Sum (费马定理+快速幂)
- HDU 4549 费马定理 快速幂 矩阵快速幂
- TOJ 3313.Calculation(欧拉函数、费马定理)
- 极其快速的筛法+费马定理-cf114E
- HDU 1003 Max Sum
- 3 --> java中的变量和常量
- tftp搭建安装 & uboot使用tftp下载内核
- MinGw安
- SQL 高级(4)
- 费马平方和定理
- 美图秀秀案例
- wikioi1688 求逆序对
- PCI E ,USB,1394“接口”的带宽计算
- 今天第一次面试别人, 大概聊了近30分钟, 呵呵。
- numpy性能优化
- Android SDK更新以及ADT更新出现问题的解决办法
- Android View 事件分发机制 源码解析 (上)
- ARC forbids explicit message send of release-关闭xCode项目的ARC设置