二個の平方数の和

出典: フリー百科事典『ウィキペディア（Wikipedia）』

この記事は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られている^[1]ものであるが呼びかたが定まっておらず、フェルマーの4n+1定理^[2]、フェルマーの二平方定理、あるいは単にフェルマーの定理（フェルマーの最終定理とは異なる）などと呼ばれる。

4を法として1に合同な素数は二個の平方数の和で表される。合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方（冪指数が偶数）になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。

[編集] 証明

[編集] 素数についての証明

平方剰余の相互法則の補充法則により、 $p\equiv1\;(\operatorname{mod}\;4)$ であれば

$r^2\equiv-1\;(\operatorname{mod}\;p)$

となる自然数 $r$ が存在する。 $0\le{x_i,y_i}<\sqrt{p}$ とすると $(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<\sqrt{p}$ であるから

0 < x 2 + y 2 < 2 p

であり、故に

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 = p a = 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$ を乗すると

$\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）^[3]は、一文で完結することもさりながら、平方剰余に関する知識を要求しないということも特筆に値する。

有限集合 $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),&\mbox{if}\;x<y-z\\(2y-x,y,x-y+z),&\mbox{if}\;y-z<x<2y\\(x-2y,x-y+z,y),&\mbox{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}$ を意味している。 $4 n + 1$ が素数であることを仮定して、一文証明が主張する対合が実際に対合であること、そして $(1,1, n)$ の他に不動点が存在しないことの確認は読者に任せる。唯一の不動点を除き集合 $S$ の元は対合によって対になるから、元の個数は奇数である。従って、対合 $(x,y,z)\mapsto(x,z,y)$ によって対にならない元が存在する。これは $y = z$ を意味し、ひいては $x 2 + (2 y) 2 = p$ を意味する。

[編集] 重みつき平方数の和

[編集] x²+2y²

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

平方剰余の相互法則の補充法則により、

$\begin{align} &\binom{-2}{8n+1}=\binom{-1}{8n+1}\binom{2}{8n+1}=(-1)^\frac{1-1}{2}(-1)^\frac{1-1}{8}=1\\ &\binom{-2}{8n+3}=\binom{-1}{8n+3}\binom{2}{8n+3}=(-1)^\frac{3-1}{2}(-1)^\frac{9-1}{8}=1\\ &\binom{-2}{8n+5}=\binom{-1}{8n+5}\binom{2}{8n+5}=(-1)^\frac{5-1}{2}(-1)^\frac{25-1}{8}=-1\\ &\binom{-2}{8n+7}=\binom{-1}{8n+7}\binom{2}{8n+7}=(-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<3p\\ \end{align}$

となり、故に

$x^2+2y^2=fp\quad(f\le2)$

となる。 $f = 2$ の場合は両辺を2で除して

$2\left(\frac{x}{2}\right)^2+y^2=p$

となる。合成数については $x 2 + y 2$ の場合の証明にならう。

[編集] x²+3y²

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

平方剰余の相互法則と補充法則により、

$\begin{align} &\binom{-2}{12n+1}=\binom{-1}{12n+1}\binom{3}{12n+1}=\binom{-1}{12n+1}\binom{12n+1}{3}=1\\ &\binom{-2}{12n+5}=\binom{-1}{12n+5}\binom{3}{12n+5}=\binom{-1}{12n+5}\binom{12n+5}{3}=-1\\ &\binom{-2}{12n+7}=\binom{-1}{12n+7}\binom{3}{12n+7}=\binom{-1}{12n+7}\binom{12n+7}{3}=1\\ &\binom{-2}{12n+11}=\binom{-1}{12n+11}\binom{3}{12n+11}=\binom{-1}{12n+11}\binom{12n+11}{3}=-1\\ \end{align}$