关于费马平方和定理之证实

费马平方和定理

任意被4除余1的素数p,均可表示为两个平方数之和.

记为,p≡1(mod4)<=>p=x^2+y^2,x,y∈Z+.

Brahmagupta-Fibonacci恒等式

(a^2+b^2)(c^2+d^2)=(ac-bd)^2+(ad+bc)^2
---------------------~----------------------
(a^2+b^2)(c^2+d^2)=(ac+bd)^2+(ad-bc)^2

证实,示下：

1.根据Brahmagupta-Fibonacci恒等式,任何两个被4除余1的素数的积也都能表示为两个平方数的和.

2.若是,一个能表示为两个平方数之和的整数被另外一个能表示为两个平方数之和的素数整除,则他们的商也能表示为两个平方数之和.

假设,a^2 + b^2能被p^2+q^2整除,且p^2+q^2为素数,则,p^2 + q^2能整除.

(pb-aq)(pb+aq) = p^2b^2 - a^2q^2 = p^2(a^2+b^2) - a^2(p^2+q^2)

因为p^2+q^2是素数,所以,他能整除两个因子之一.

假设,他能整除pb-aq

因为(a^2+b^2)(p^2+q^2) = (ap+bq)^2 + (aq-bp)^2

可推出p^2+q^2能整除(ap+bq)^2

因而,等式能被p^2+q^2的平方整除,两边除以(p^2+q^2)^2得：

(a^2+b^2)/(p^2+q^2)=((ap+bq)/(p^2+q^2))^2+((aq-bp)/(p^2+q^2))^2

所以,其商能表示为两个平方数之和.

若是,p^2+q^2能整除pb+aq,则利用等式

(a^2+b^2)(q^2+p^2)=(aq+bp)^2+(ap-bq)^2,同理可证.

3.若是一个能表示为两个平方数之和的整数被另外一个不能表示为两个平方数之和的整数整除,则他们的商也必有一个不能表示为两个平方数之和的因子.

假设x能整除a^2+b^2,且其商的分解式为,p1p2...pn,则,a^2+b^2=xp1p2...pn,

若是,全部的因子pi都能表示为两个平方数之和,则咱们能够用p1,p2等去除a^2+b^2,并使用第二步的结论,可得每个商都能表示为两个平方数之和

除到只剩x的时候,可得x也能表示为两个平方数之和,矛盾.

所以,若是x不能表示为两个平方数之和,则至少有一个素数,pi亦不能表示为两个平方数之和.

4.若是,a,b互为素数,则a^2+b^2的全部因子都能表示为两个平方数之和.

这一步用到了无穷递降法,设x是a^2+b^2的一个因子,可记为：

a=mx±c,b=nx±d

其中,c和d的绝对值最多不超过x的一半,可得：

a^2+b^2=m^2x^2±2mxc+c^2+n^2x^2±2nxd+d^2=Ax+(c^2+d^2)

所以,c^2+d^2必定能够被x整除.

设,c^2+d^2=yx

若是,c和d不互为素数,则他们的最大公约数与x互质（不然,他与x的最大公约数就能整除a和b,与咱们假设,他们互素矛盾）.

所以,他们的最大公约数的平方能整除y（由于,他能整除c^2+d^2）,因而,咱们获得:

e^2+f^2=zx

其中,e和f互为素数,且z不超过x的一半,这是由于：

zx=e^2+f^2<=c^2+d^2<=(x/2)^2+(x/2)^2=(1/2)x^2

若是,c和d互为素数,则,咱们能够直接使用c和d,没必要转换为e和f.

若是x不能表示为两个平方数之和,则根据第三步的结论,可知必有一个z的因子不能表示为两个平方数之和,设,他为w

因而,咱们从x推出了一个更小的整数w,都不能表示为两个平方数之和

但都能被一个能表示为两个平方数之和的整数整除

因为这个无穷递降是不可能的

所以,x必定能表示为两个平方数之和.

5.任何形如,4n+1的素数,都能表示为两个平方数之和.

若是,p=4n+1,则,根据费马小定理,可得：

1,2^4n,3^4n,...,(4n)^4n被p除都余1

所以,他们的差2^4n-1,3^4n-2^4n,...,(4n)^4n-(4n-1)^4n都能被p整除,这些差能够分解为：

a^4n-b^4n=(a^2n+b^2n)(a^2n-b^2n)

因为p是素数,他必定能整除这两个因子之一（如下称,他们为“和因子”和“差因子”）.

若是,他能整除任何一个“和因子”,则根据第四步的结论可得p能表示为两个平方数之和（因为a和b仅相差1,,他们必然互素）.

而若是,他能整除全部的4n-1个“差因子”,2^2n-1,3^2n-2^2n,...,(4n)^2n-(4n-1)^2n

则他亦能整除4n-2个一阶差,4n-3个二阶差,依此类推.

因为,数列1^k,2^k,3^k,...之第k阶差都等于k!,因而,第2n阶差都等于2n.

显然,他不能被p整除,所以,p不能整除全部的“差因子”.

得证.