2平方定理
この定理はフェルマーの2平方定理とも呼ばれることがあり,証明はオイラーによってはじめてなされたとされています.例えば,
\begin{align*}
5 &= 1^2+2^2\\
13 &= 2^2+3^2\\
17 &= 1^2+4^2\\
29 &= 2^2+5^2\\
37 &= 1^2+6^2\\
41 &= 4^2+5^2\\
53 &= 2^2+7^2\\
\vdots
\end{align*}
のようになります.
また,この定理は逆も成り立ちます(逆も含めて 2 平方定理と呼ぶ場合もあります).
奇素数 が 2 つの平方数の和で表されるとき, を 4 で割ると 1 余る.
偶数の 2 乗は 4 の倍数,奇数の 2 乗は 4 で割ると 1 余るので,
2 つの平方数の和が奇数となるのは偶数と奇数の平方の和のときのみで,これは 4 で割ると 1 余ります.
証明.
ここでは,平方剰余の記号等を用いずに証明をしていきます.
まず,次の補題を考えます.
奇素数 について,
\begin{align*}
p\equiv 1 \pmod{4}
\end{align*}
と
\begin{align*}
x^2\equiv -1\pmod{p}
\end{align*}
が解を持つことは同値.
それにしてもオイラーの名が残っている定理はたくさんありますね.
この定理の証明については,「素数に関するオイラーの定理」に書いています(記事が長くなるため分けています).
次に,もう1つ補題として,2 つの平方数の和として表せる数の積は再び 2 つの平方数の和で表せる,というものを用意します.
\begin{align*}
(x^2+y^2)(x_1^2+y_1^2) = (xx_1+yy_1)^2+(xy_1-x_1y)^2
\end{align*}
この恒等式は,両辺を展開すればすぐに確認できると思います.
では,ここから 2 平方定理の証明に入ります.
なので,補題1 (素数に関するオイラーの定理)より を満たすような自然数 が存在する.
が の倍数だとこの等式は成り立たないので,ある整数 が存在して,
が成り立つ.
とおけば,.
さらに, のとき とおくと .
故に,
が解を持つ ⇒ が の範囲に解を持つ.
これで解の範囲を狭めることができました.
これで, と考えると以下のことが言えます.
\begin{align}
x^2+y^2=kp\tag{$\ast_3$}\\
0 < x\leq p/2\\
0 < y\leq p/2\\
k < p
\end{align}
をみたす自然数 が存在する.
ここで, であれば 2 平方定理が示されたことになります.
のとき,
をみたすように を定めると,
なので, となる が存在し,
から が分かります.
すると,
\begin{align*}
k^\prime k\cdot kp &= (x_1^2+y_1^2)(x^2+y^2)\\
&= (xx_1+yy_1)^2+(xy_1-x_1y)^2
\end{align*}
とおくと,
.
さらに, となるので, とおけば,
となり,() と同じ形の式が得られます.
となっているので,同様の操作を繰り返すことで とすることができます.
したがって, は 2 つの平方数の和で表すことができます.