費馬平方和定理是由法國數學家皮埃爾·德·費馬在1640年提出的一個猜想,但他沒有提出有力的數學證明,1747年,瑞士數學家萊昂哈德·歐拉提出證明後成為定理。
費馬平方和定理的表述是:奇質數能表示為兩個平方數之和的充分必要條件是該質數被4除餘1。
如
那麼
,反之亦然。
該命題的必要條件是顯然的,因為對於
總有
(偶數的平方能被4整除)以及對於
總有
(奇數的平方被4除餘1),即若兩個平方數之和為奇數,則該奇數必然模4餘1而不可能出現模4餘3的情況(事實上不管這個奇數是素數還是合數都如此)。而該命題的充分條件為本定理證明的重點。
歐拉的證明[編輯]
歐拉在1747年證明了費馬平方和定理,當年他四十歲。他在當年5月6日寄給哥德巴赫一封信,講述這個定理的證明。該證明分五步,且用到了無窮遞降法;由於信中沒有把第五步講清楚,因此1749年他再次寄給哥德巴赫一封信,詳細講述第五步的證明。
第一步、「如果兩個整數都能表示為兩個平方數之和,則它們的積也能表示為兩個平方數之和。」
- 即婆羅摩笈多-斐波那契恆等式
。
第二步、「如果一個能表示為兩個平方數之和的整數被另一個能表示為兩個平方數之和的素數整除,則它們的商也能表示為兩個平方數之和。」
- 假設
能被
整除,且後者為素數。則
能整除
![{\displaystyle (pb-aq)(pb+aq)=p^{2}b^{2}-a^{2}q^{2}=p^{2}(a^{2}+b^{2})-a^{2}(p^{2}+q^{2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c19f7c06429eab3cab3d55f1e4e89a05bc522be4)
- 由於
是素數,因此它能整除兩個因子之一。假設它能整除
。由於
![{\displaystyle (a^{2}+b^{2})(p^{2}+q^{2})=(ap+bq)^{2}+(aq-bp)^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e57df74cce1c2257627ccb1b381700192f92e0)
- 可推出
能整除
。於是等式能被
的平方整除。兩邊除以
得:
![{\displaystyle {\frac {a^{2}+b^{2}}{p^{2}+q^{2}}}=\left({\frac {ap+bq}{p^{2}+q^{2}}}\right)^{2}+\left({\frac {aq-bp}{p^{2}+q^{2}}}\right)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/115203815d9b1ed0a08f4d398523f3b5435f60b0)
- 因此其商能表示為兩個平方數之和。
- 如果
能整除
,則利用等式
![{\displaystyle (a^{2}+b^{2})(q^{2}+p^{2})=(aq+bp)^{2}+(ap-bq)^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/685b51c9d0d732b532ff2834a300c6465e0a9a0c)
- 同樣可證。
第三步、「如果一個能表示為兩個平方數之和的整數被另一個不能表示為兩個平方數之和的整數整除,則它們的商也必有一個不能表示為兩個平方數之和的因子。」
- 假設
能整除
,且其商的分解式為
。則
。如果所有的因子
都能表示為兩個平方數之和,則我們可以用
、
、等等去除
,並使用第二步的結論,可得每一個商都能表示為兩個平方數之和。除到只剩
的時候,可得
也能表示為兩個平方數之和,矛盾。因此,如果
不能表示為兩個平方數之和,則至少有一個素數
也不能表示為兩個平方數之和。
第四步、「如果
和
互素,則
的所有因子都能表示為兩個平方數之和。」
- 這一步用到了無窮遞降法。設
是
的一個因子。可記
![{\displaystyle a=mx\pm c,\qquad b=nx\pm d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1249715fe211d3847bb28814a4a9a564492205)
- 其中
和
的絕對值最多不超過
的一半。可得:
![{\displaystyle a^{2}+b^{2}=m^{2}x^{2}\pm 2mxc+c^{2}+n^{2}x^{2}\pm 2nxd+d^{2}=Ax+(c^{2}+d^{2}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cf0e7fd36cd7fa5c2fcdcd539907153f8dee756)
- 因此,
一定能被
整除,設
。如果
和
不互素,則它們的最大公約數與
互質(否則它與
的最大公約數就能整除
和
,與我們假設它們互素矛盾)。因此它們的最大公約數的平方能整除
(因為它能整除
),於是我們得到
,其中
和
互素,且
不超過
的一半,這是因為
![{\displaystyle zx=e^{2}+f^{2}\leq c^{2}+d^{2}\leq \left({\frac {x}{2}}\right)^{2}+\left({\frac {x}{2}}\right)^{2}={\frac {1}{2}}x^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fcc384e474d0e403032ef2a9a9f141958b50f54)
- 如果
和
互素,則我們可直接使用
和
,不必轉換成
和
。
- 如果
不能表示為兩個平方數之和,則根據第三步的結論,可知必有一個
的因子不能表示為兩個平方數之和;設它為
。於是我們從
推出了一個更小的整數
,都不能表示為兩個平方數之和,但都能被一個能表示為兩個平方數之和的整數整除。由於這個無窮遞降是不可能的,因此
一定能表示為兩個平方數之和。
第五步、「任何形為
的素數都能表示為兩個平方數之和。」
- 如果
,則根據費馬小定理可得
被
除都餘1。因此它們的差
都能被
整除。這些差可分解為
![{\displaystyle a^{4n}-b^{4n}=\left(a^{2n}+b^{2n}\right)\left(a^{2n}-b^{2n}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6338e8c66cf6327eec0c5a98f14e2a0d43ea88ce)
- 由於
是素數,它一定能整除這兩個因子之一〔以下稱它們為「和因子」和「差因子」〕。如果它能整除任何一個「和因子」,則根據第四步的結論可得
能表示為兩個平方數之和〔由於
和
僅相差
,它們必然互素〕。而如果它能整除所有的
個「差因子」
,則它也能整除
個一階差、
個二階差,依此類推。由於數列
的第
階差都等於
,於是第
階差都等於
,顯然它不能被
整除。因此,
不能整除所有的「差因子」,得證
能表示為兩個平方數之和。
扎吉爾「一句話」證明[編輯]
唐·扎吉爾的證明基於羅傑·希斯-布朗早期證明的簡化。令素數
滿足
以及
為自然數集,考慮三元數組有限集
,於是
存在兩種對合映射的方式:一種是
,其中不動點
即為
的兩平方和的表示形式;另一種則是較為複雜的形式:
![{\displaystyle (x,y,z)\mapsto {\begin{cases}(x+2z,\,z,\,y-x-z)&x<y-z\\(2y-x,\,y,\,x-y+z)&y-z<x<2y\\(x-2y,\,x-y+z,\,y)&x>2y\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efa00bcc8eb8dad7c9f318b8ffa28554cc652bd4)
必然有且只有一個不動點
,因此集合
的元素個數必為奇數,於是不動點
必然存在。
參考文獻[編輯]
- 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
外部連結[編輯]