二個の平方数の和

**二個の平方数の和**（にこのへいほうすうのわ）は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られているものであるが呼びかたが定まっておらず、フェルマーの4n+1定理、フェルマーの二平方定理、あるいは単にフェルマーの定理（フェルマーの最終定理とは異なる）などと呼ばれる。
----
4を法として1に合同な素数は二個の平方数の和で表される。合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方（冪指数が偶数）になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。

具体的に4を法として1に合同な素数とは 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109,\cdots ()

## 証明
### 素数についての証明
平方剰余の相互法則の補充法則により、p\equiv1\;(\operatorname{mod}\;4)であれば
:r^2\equiv-1\;(\operatorname{mod}\;p)
となる自然数rが存在する。0\le{x_i,y_i}とすると(x_i,y_i)の組み合せの個数は(\lfloor\sqrt{p}\rfloor+1)^2>pである。従って、(x_1,y_1)\ne(x_2,y_2)で
:{x_1-ry_1}\equiv{x_2-ry_2}\;(\operatorname{mod}\;p)
となるものが存在する。x=|x_1-x_2|,y=|y_1-y_2|とすると
:\begin{align}
&{x^2}\equiv{r^2y^2}\equiv{-y^2}\;(\operatorname{mod}\;p)\\
&{x^2+y^2}\equiv0\;(\operatorname{mod}\;p)
\end{align}
である。x,yであるから
:0
であり、故に
:x^2+y^2=p
である。

### 合成数についての証明
p=x^2+y^2,q=x'^2+y'^2であれば
:\begin{align}
&2p=2(x^2+y^2)=(x-y)^2+(x+y)^2\\
&pq=(x^2+y^2)(x'^2+y'^2)=(xx'-yy')^2+(xy'+yx')^2\\
&r^2p=r^2(x^2+y^2)=(rx)^2+(ry)^2\\
\end{align}
であるから、十分条件については明らかである。必要条件についてはA=x^2+y^2がp\equiv3\;(\operatorname{mod}\;4)の形の素因数を持つと仮定して矛盾を導く（背理法）。p|Aであれば
:A=pa=x^2+y^2
と書ける。ここでp|xであれば必然的にp|yであり、p^2|Aであるから両辺をp^2で除するものとする。p\not|xであればxx^{-1}\equiv1\;(\operatorname{mod}\;p)となるx^{-1}が存在する。両辺に(x^{-1})^2を乗すると
:\begin{align}
&pa(x^{-1})^2=1+(yx^{-1})^2\\
&0\equiv{1+(yx^{-1})^2}\;(\operatorname{mod}\;p)\\
&-1\equiv{(yx^{-1})^2}\;(\operatorname{mod}\;p)\\
\end{align}
となる。しかし、これは-1がp\equiv3\;(\operatorname{mod}\;4)の平方剰余にならないという事実に反する。従って、p\equiv3\;(\operatorname{mod}\;4)の形の素因数を平方以外の形で持つ合成数が二個の平方数の和で表されることはない。

### 一文証明
ザギエ（Zagier）による一文証明（one-sentence proof）は、一文で完結することもさりながら、平方剰余に関する知識を要求しないということも特筆に値する。
:有限集合S=\{(x,y,z)\in\mathbb{N}^3|x^2+4yz=4n+1\}上の対合
::  (x,y,z)\mapsto
\begin{cases}
(x+2z,~z,~y-x-z),\quad \textrm{if}\,\,\, x  2y
\end{cases}

:は必ず一個の不動点を持つから、集合Sの元の個数は奇数であり、対合
::(x,y,z)\mapsto(x,z,y)
:も不動点を持つ。
対合とは\forall{a}\in{S},\varphi(\varphi(a))=aとなる写像\varphiのことである。
不動点とは\varphi(e)=eとなる元eのことであり、
必ず一個の不動点を持つというのは(1,1,n)\in{S}を意味している。
4n+1が素数であることを仮定して、
一文証明が主張する対合が実際に対合であること、そして(1,1,n)の他に不動点が存在しないことの確認は読者に任せる。
唯一の不動点を除き集合Sの元は対合によって対になるから、元の個数は奇数である。
従って、対合(x,y,z)\mapsto(x,z,y)によって対にならない元が存在する。
これはy=zを意味し、ひいてはx^2+(2y)^2=pを意味する。

## 重みつき平方数の和
### x<sup>2</sup>+2y<sup>2</sup>
p\equiv1,3\;(\operatorname{mod}\;8)の素数はp=x^2+2y^2で表される。合成数がx^2+2y^2で表されるための必要十分条件は、p\equiv1,2,3\;(\operatorname{mod}\;8)以外の素因数が全て平方になっていることである。この証明は以下に与えられる。

平方剰余の相互法則の第一補充法則と第二補充法則により、
:\begin{align}
&\left ( \frac{-2}{8n+1} \right )=\left ( \frac{-1}{8n+1} \right )\left ( \frac{2}{8n+1} \right )=(-1)^\frac{1-1}{2}(-1)^\frac{1-1}{8}=1,\\
&\left ( \frac{-2}{8n+3} \right )=\left ( \frac{-1}{8n+3} \right )\left ( \frac{2}{8n+3} \right )=(-1)^\frac{3-1}{2}(-1)^\frac{9-1}{8}=1,\\
&\left ( \frac{-2}{8n+5} \right )=\left ( \frac{-1}{8n+5} \right )\left ( \frac{2}{8n+5} \right )=(-1)^\frac{5-1}{2}(-1)^\frac{25-1}{8}=-1,\\
&\left ( \frac{-2}{8n+7} \right )=\left ( \frac{-1}{8n+7} \right )\left ( \frac{2}{8n+7} \right )=(-1)^\frac{7-1}{2}(-1)^\frac{49-1}{8}=-1\\
\end{align}
であるから、p\equiv1,3\;(\operatorname{mod}\;8)であればr^2\equiv-2\;(\operatorname{mod}\;p)となる自然数rが存在する。x^2+y^2の場合の証明にならえば
:\begin{align}
&x^2+2y^2\equiv0\;(\operatorname{mod}\;p),\\
&0
となり、故に
:x^2+2y^2=fp\quad(f\leqq2)
となる。f=2の場合は両辺を2で除して
:2\left(\frac{x}{2}\right)^2+y^2=p
となる。合成数についてはx^2+y^2の場合の証明にならう。

### x<sup>2</sup>+3y<sup>2</sup>
p\equiv1,7\;(\operatorname{mod}\;12)の素数はp=x^2+3y^2で表される。合成数がx^2+3y^2で表されるための必要十分条件は、p\equiv1,3,7\;(\operatorname{mod}\;12)以外の素因数が全て平方になっていることである。これはオイラーの6n+1定理などと呼ばれる。この証明は以下によって与えられる。

平方剰余の相互法則と第一補充法則により、
:\begin{align}
&\left ( \frac{-3}{12n+1} \right )=\left ( \frac{-1}{12n+1} \right )\left ( \frac{3}{12n+1} \right )=\left ( \frac{-1}{12n+1} \right )\left ( \frac{12n+1}{3} \right )=1,\\
&\left ( \frac{-3}{12n+5} \right )=\left ( \frac{-1}{12n+5} \right )\left ( \frac{3}{12n+5} \right )=\left ( \frac{-1}{12n+5} \right )\left ( \frac{12n+5}{3} \right )=-1,\\
&\left ( \frac{-3}{12n+7} \right )=\left ( \frac{-1}{12n+7} \right )\left ( \frac{3}{12n+7} \right )=\left ( \frac{-1}{12n+7} \right )\left ( \frac{12n+7}{3} \right )=1,\\
&\left ( \frac{-3}{12n+11} \right )=\left ( \frac{-1}{12n+11} \right )\left ( \frac{3}{12n+11} \right )=\left ( \frac{-1}{12n+11} \right )\left ( \frac{12n+11}{3} \right )=-1\\
\end{align}
であるから、p\equiv1,7\;(\operatorname{mod}\;12)であればr^2\equiv-3\;(\operatorname{mod}\;p)となる自然数rが存在する。x^2+y^2の場合の証明にならえば
:\begin{align}
&x^2+3y^2\equiv0\;(\operatorname{mod}\;p),\\
&0
となり、故に
:x^2+3y^2=fp\quad(f\leqq3)
となるが、法3で考えるとf=2はありえない。f=3の場合は両辺を3で除して
:3\left(\frac{x}{3}\right)^2+y^2=p
となる。合成数についてはx^2+y^2の場合の証明に倣う。なお、2\,\big|\left(x^2+3y^2\right)であれば、x,yは共に偶数か共に奇数であるが、奇数であれば4\,\big|\left(x^2+3y^2\right),8\not\big|\left(x^2+3y^2\right)である。従って、素因数2の冪指数は偶数である。

## ヤコビの二平方定理
自然数を高々二個の平方数の和で表す方法の数は、ヤコビの二平方定理
:r_2(n)=4\sum_{2{\nmid}d{\mid}n}(-1)^\frac{d-1}{2}
によって与えられる。ただし、シグマ記号は2で整除されないNの約数（1とNを含む）について和を取ることを表す。例えば、
:r_2(25)=4\left((-1)^\frac{1-1}{2}+(-1)^\frac{5-1}{2}+(-1)^\frac{25-1}{2}\right)=12
であるが、実際に25を高々二個の平方数の和で表す方法は
:\begin{align}25
&=(\pm5)^2+0^2\\
&=0^2+(\pm5)^2\\
&=(\pm4)^2+(\pm3)^2\\
&=(\pm3)^2+(\pm4)^2\\
\end{align}
であり、符号と順序を区別すれば12個になる。

## 二個の平方数の和で表される自然数の個数

二個の平方数の和で表される自然数の分布について、いくつかの結果が知られている。
エトムント・ランダウとシュリニヴァーサ・ラマヌジャンは独立に、 *x* 以下の自然数のうち二個の平方数の和で表される自然数の個数はある正の定数 *c* について漸近的に
:cx/\sqrt{\log x}
となることを証明している。 *c* はランダウ・ラマヌジャンの定数と呼ばれ、およそ 0.76422365358922066299069873125 であることが知られている（）。

## 関連項目
*三個の平方数の和
*3つの立方数の和

## 脚注

## 参考文献
*
**
*
*
** - 注記：原著第5版の翻訳。
**

## 外部リンク
*
*