†x,yをZから選択し、2次式x2+y2の計算結果がどうなるか調べる。42+42=32=252次式の結果の中で素数のものを抽出すると次に示すものである。{2,5,13,17}これらから偶素数の2を除くと、1型の素数(4で割ると1余る素数)になっている。すべての1型の素数が登場していることはわからないが、少なくとも17以下の1型の素数はすべて登場している。そこで、大胆にも次の予想を立ててみる。素数pがp=x2+y2と表されるとき、p=y2+x2でもあるから、x≧yとしても一般性は失われない。それではpが2または1型の素数を満たす具体的な数値を考えて、このpがx2+y2、即ち平方の和で表現できることを確認する。52+42pが50以下のときには必ず予想が成り立つことがわかった。†[定理]自然数nが2つの平方数の和となるための必要十分条件は、n=n12n2(n2は4を法として、3と合同な素因数を持たない)と表せることである。n1,n2は自然数である。p)」が成り立つことを使う。次に、[定理]「pが1型の素数ならば、x2≡-1を満たす整数xが存在する」という事実を使う。「pが1型の素数ならば、p=x2+y2と表せる」かつ「a,bを2つの平方数の和とすれば、abは2つの平方数の和である」が成り立つので、n=n12n2でn2は4を法として3に合同な素因数を持たないならば、nは2つの平方数の和で表される。p)を満たす整数xは存在しない」(これは元の位数の性質とフェルマーの小定理より証明できる)が成り立つので、n=n12n2(n2は4を法として3に合同な素因数を持たない)を表せないならば、nは2つの平方数の和ではない。□[例]n=90に上記の定理を適用する。90=2×32×5なので、n1=3,n2=2×5とすれば、n=n12n2が成り立つ。よって、90は2つの平方数の和となるとわかる。実際には90=32+92が成り立つ。†ディオフォントスの『数論』第3巻の問題19は、「2つの平方数の和として4通りに表されるような平方数を見つけよ」という問題である。これが文献として残っている、2つの平方数の和に関する最初の考察である。2組のピタゴラス数(3,4,5),(4,12,13)の一方に他方の斜辺を掛ける。(3,4,5)に13を掛け、(4,12,13)に5を掛ける。すると、(39,52,65),(25,60,65)を得る。よって、平方数652は2つの平方数の和として、2通りに書けることがわかる。)一方、65自身、次のように、2つの平方数の和として2通りに書くことができる。←(*)1と8、4と7からそれぞれピタゴラス数は次のように作ることができる(m>n、k=1とした)。m=8,n=1のとき(a,b,c)=(m2-n2,2mn,m2+n2)=(63,16,65)m=7,n=4のとき(a,b,c)=(m2-n2,2mn,m2+n2)=(33,56,65)よって、平方数652は2つの平方数の和として、2通りに書けることがわかる。以上より、平方数652は2つの平方数の和として、4通りに書けることがわかる。ディオフォントスはこのように具体的な数字を使って議論を進めているが、この仮定を文字記号で書くと次のようになる。ディオフォントスは(*)に関して「これは65が13と5の積であり、13と5の各々が2つの平方数の和であるという事実に基づいている」と書いている。ディオフォントスは次の結果を知っていたといえる。[定理]両辺を展開すれば、この定理が成り立つことがわかるが、それでは本質をわかったことにはならない。次の3通りで計算する。)これで題意が示された。□ディオフォントスが例として使った数5や13は、1型(4n+1の形)の素数である。これは偶然ではなく、素数を2つの平方数の和として表すための必要十分条件であることが背景にある。[系]一般に2つの平方数の和として書ける自然数1,...,mnをいくつかけても2つの平方数の和として書ける。このm1m2をm3(2平方和)と考え、別の2平方和m4の積を考えると、上記の定理が適用できる。よって、その積も2平方和である。よって、そのような自然数m1,...,mnをいくつかけても2つの平方数の和として書ける。†ディオフォントスは『数論』の第5巻の問題9では、4n-1の形、即ち4n+3(3型)の数は2つの平方数の和として書けないと述べている。[定理]4n-1の形の整数は2つの平方数の和として表すことができない。4)2つの整数の2乗の和は4を法とすると、0(=0+0),1(=0+1),2(=1+1)のどれかに限る。2つの平方数の和は、4n,4n+1,4n+2の形のどれかであり、4n+3の形、即ち4n-1の形にはならない。上記の結果を使うと、メルセンヌ数は2つの平方数の和として書けないことがすぐにわかる。2つの平方数の和として書けない。対して、上記の結果を適用する。†[定理]pを4n+1の形の素数とすると、pは次のように2つの平方数として表される。このような表し方は1通りしかない。[証明](フェルマー)a,bの存在の証明を2段階に分ける。[1]適当な自然数k<pを取れば、次の方程式は解を持つことを示す。」」によれば、次のように展開できる。pで割った余りをrとする)0<r<pであるから、次の2通りに分けられる。とき、x0=rとおく。とき、x0=r-pとおく。いずれの場合にしても、次が成り立つ。(∵両辺を2乗した)(∵(**)より)ここでy0=1とおけば、x=x0,y=y0が(*)の解となる。左辺が正だから、整数kも正である。次のように展開できる。なるようなx1,y1があることを示す。x0をkで割ったときの余りをrとする。とき、u=r-kとおく。よって、次が成り立つ。←(***)同様に、y0をkで割ると、次が成り立つ。←(****)(***),(****)を2乗して和を取れば、kを法として次が成り立つ。よって、u2+v2はkで割り切れる。定義したときに、k'<kが成り立つ。」を用いて、次のように変形できる。共にkで割り切れるから、次のようにx1,y1を定義する。次のように展開できる。なるようなx2,y2が存在する。これを続けるといつかx2+y2=pの解に到達する(フェルマーの無限降下法)。[3]定理の条件を満たす解a,b(>0)が1組しかないことを示す。(v,u)となることを示せばよい。符号をどちらかを選べばp2で割り切れる。左辺は(******)より、p2に等しい。よって、右辺の第1項もp2で割り切れる。そこで、次のように展開できる。この右辺の第1項も第2項もそれぞれ整数(になるように符号を選ぶ)なので、第1項・第2項の一方が0、他方が1である。(∵x,u>0)また、xv=yuなので、y=vである。場合(∵両辺を2乗する)(∵(i)と同じ議論)また、xv=yuなので、y=vである。†Z上の素数とZ[i]上の素数を区別するために、Z上の素数を「有理素数」と呼ぶことにする。素数と呼ぶときは、Z[i]上の素数である(もしZ[i]の存在がまったく関係ない話のときはZ上の素数を意味する)。よって、今回の目的の「2または1型の素数が2つの平方数の和で表現できること」というのは「2または1型の有理素数が2つの平方数の和で表現できること」と言い換えることができる。「2または1型の有理素数が2つの平方数の和で表現できること」を示すために、次の補題を利用する。[補題]p:有理奇素数とする。今回はこの補題の(2)を証明に用いる。それではこの補題が成り立つと仮定して、目的の定理を証明する。[定理](1)有理素数2は2つの平方数の和2=12+12で表せる。(2)「有理奇素数pは2つの平方数の和p=a2+b2に表せる」⇔「p:1型の素数」[証明](1)は自明なので、(2)を証明する。pが有理奇素数より、a2かb2のどちらかは奇数になる。aかbのどちらかは奇数になる。ここでaを奇数、bを偶数とする。a=2m+1,b=2n(m,n∈Z)とおく。N(π)=p」が成り立つ。(∵π=a+ibとおいた)□[補講]具体的な数値例で確かめてみる。p=13という有理素数を2つの平方の和で表現したいとする。第1補充法則より、(-1/13)=1が成り立つ。-1∈QR13である。13)を満たすxが存在する。13)を満たすxが存在する。第2補充法則より、(2/13)=-1が成り立つ。13)となり、次のように展開できる。13)を満たしている。←(*)今p=13で考えているため、上記の式の右辺の因数5が消えてくれれば、目的を果たしたことになる。5の世界で8と1と一致する数を考える。範囲は(0,5)ではなく、(-5/2,5/2)とする。5),-5/2<1<5/2右辺の-2と1を選び、(-2)2+12=5が成り立つ。←(**)(*)(**)の各々の両辺を掛け合わせると、次のようになる。有理素数が与えられたときに、有理素数の2平方和表現を得るためのアルゴリズムを紹介する。アルゴリズムの流れはp=13のときの実例の流れと基本的に同じである。pを1型の有理素数とする。p)を満たすx(1<x<p/2)が存在する。←(*)ここでkが邪魔だから消したい。(t<k)を満たすz,wが存在する」ならば、これを繰り返すことにより新たな邪魔な係数が小さくなっていき、いつかは邪魔な係数が消えて、○2+△2=pの形になることが期待できる(これを無限降下法という)。(t<k)を満たすz,wが存在する」を示す。←(ii)上記を満たすu,vは、次を満たす。←(**)(*)(**)を各々の辺を掛け合わせると、次のようになる。k)より、xv-yu=kzとおいた。t≦k/2p=13のときは(*)を1度だけ適用しただけで、2平方和に表現できた。pが大きくなっても、(*)を繰り返して実行すればいつかは2平方和に表現できる。一般の自然数NをN=a2+b2と表す問題を考える。[定理]与えられた自然数Nを素因数分解して次のように書く。←(*)ここで、各piは4n+1の形の素数(1型の素数)、qjは4n-1の形の素数(3型の素数)とする。そのとき、この自然数が2つの平方数の和として書けるための必要十分条件は、べきfi,...,flが偶数であることである。[証明][1]←を示す。Nの素因数分解で、2は2=12+12のように2平方和で書ける。[定理]「pを4n+1の形の素数とすると、pは次のように2つの平方数として表される。このような表し方は1通りしかない」により、piは2平方和で書ける。2つの平方数(片方は0)の和である。したがって、[系]「一般に2つの平方数の和として書ける自然数1,...,mnをいくつかけても2つの平方数の和として書ける」より、f1,...,flがすべて偶数なら、与えられた自然数Nは2平方和として表される。少なくとも1つのfjが奇数であると仮定する。簡単のために、そのfjをf、qjをqと書くことにする。(*)において、qf以外の因子の積をmと書くことにすれば、(*)はN=qfmとなる。これが2平方和として、次のように書けるようにして矛盾を導く。←(**)ただし、(**)の両辺をqの偶数べきで約せるだけ約しておく。fは奇数なので、f≧1である。よって、(**)の左辺は常にqで割れる。仮定して、矛盾を示す。q|xならば、q|y、つまり、q2|y2q|yならば、q|x、つまり、q2|x2そのため、(**)の左辺はq2で割れる。(**)はこれ以上q2では約せないはずだったので、矛盾する。(**)により、次が成り立つ。成り立つので、上記と矛盾する。ゆえに、(**)のように書くことはできない。「少なくとも1つのfSUB{j}が奇数であるならば、2平方和で表すことができない」ことが成り立つ。これの対偶を取ると、「2平方和で表すことできるならば、すべてのfjは奇数ではない(即ち偶数)」が成り立つ。平方数(22・32)2と2・5・13=130の積に書き直せる。ここで、5,13はいずれも1型の素数であるので、上記の定理におけるpiに該当する。3は3型の素数なので、上記の定理におけるqjに該当する。3の指数fは偶数である。そのため、168480は上記の定理のNの素因数分解の形を満たすので、2平方和と書けることはずである。130は130=112+32=92+72のように表すことができる。よって、次が成り立つ。以上より、168480が2平方和で書け、しかも2通りで表現できることがわかった。上記の例のように、一般の自然数Nを2平方和とする表し方はいくつもある。[定理]N=a2+b2は自然数、p=x2+y2は素数でNの約数であるとすると、適当なu,vにより、次のように書ける。」に、N=a2+b2とp=x2+y2を適用すると次が成り立ち、2通りに表せる。次のように展開できる。ay+bxの少なくとも一方を割り切る。(*)の右辺の第2項がpで割り切れるように符号を選ぶ。(*)の左辺は当然pで割り切れるので、右辺の第1項もpで割り切れる。よって、整数u,vを使って、次のように書ける(そのように符号を選んだ)。←(**)←(***)これを(*)に代入すると、次のようになる。(∵両辺をp2で割った)また、(**),(***)をa,bの未知数とする連立方程式として解く。(∵x倍する)(∵y倍する)この2式の和を取ると、次のようになる。(∵p=x2+y2)また、(**),(***)をa,bの未知数とする連立方程式として解く。(∵y倍する)(∵x倍する)この2式の差を取ると、次のようになる。◇[補講]この定理を使うことで、与えられた自然数Nの2平方和の形の表し方をすべて決めるのは、原則的に可能である。◇2平方和の表し方が何通りあるかについては、ガウスが次の結果を得ている。[定理]与えられた自然数Nを素因数分解して次のように書く。←(*)ここで、各piは4n+1の形の素数(1型の素数)、qjは4n-1の形の素数(3型の素数)とする。通りの2平方和で表すことができる。通りの2平方和で表すことができる。f1,...,flはすべて偶数である。偶数でないと2平方和に表すことができないからである(証明済み)。通りの2平方和で表すことができる。通りの2平方和で表すことができる。通りの2平方和で表すことができる。通りの2平方和で表すことができる。自然数(2717d)。