四平方定理

数学において、**[[ジョゼフ＝ルイ・ラグランジュ|ラグランジュ]]の四平方定理** (Lagrange's four square theorem) は、全ての自然数が高々四個の平方数の和で表されることを主張する定理である。これはフェルマーの多角数定理の四角数の場合に当たり、ウェアリングの問題の二次の場合に当たる。ヤコビの四平方定理 (Jacobi's four square theorem) は自然数を高々四個の平方数の和で表す方法の数を与える定理である。

## ラグランジュの四平方定理の証明
オイラーの四平方恒等式
:\begin{align}
(a_1^2+a_2^2+a_3^2+a_4^2)(b_1^2+b_2^2+b_3^2+b_4^2)
=&(a_1b_1+a_2b_2+a_3b_3+a_4b_4)^2\\
+&(a_1b_2-a_2b_1+a_3b_4-a_4b_3)^2\\
+&(a_1b_3-a_2b_4-a_3b_1+a_4b_2)^2\\
+&(a_1b_4+a_2b_3-a_3b_2-a_4b_1)^2
\end{align}
により、各々高々四個の平方数の和に表される二数の積は高々四個の平方数の和に表される。

従って、全ての素数に関して高々四個の四角数の和に表されることを証明すれば、全ての合成数も高々四個の四角数の和に表されることになる。

偶数の素数2に関しては、2=1^2+1^2より明らかである。

次に奇素数pについて証明する。p-1がpの平方剰余であれば、
:\begin{align}
&s_1^2\equiv-1\;(\operatorname{mod}\;p)\\
&s_1^2+1^2+0^2+0^2\equiv0\;(\operatorname{mod}\;p)\\
\end{align}
となるs_1が存在する。p-1が平方非剰余であれば、1\le{k}でkが平方剰余、k+1が平方非剰余となるものが存在する。(-1)(k+1)は二個の平方非剰余の積であるから平方剰余である。従って、
:\begin{align}
&s_1^2+s_2^2\equiv{k-(k+1)}=-1\;(\operatorname{mod}\;p)\\
&s_1^2+s_2^2+1^2+0^2\equiv0\;(\operatorname{mod}\;p)\\
\end{align}
となるs_1,s_2が存在する。いずれにしても、
:s_1^2+s_2^2+s_3^2+s_4^2=fp
は解を持つ。その解の中でfが最小になるものを選ぶとf=1であることを証明する。f>1を逆に仮定して背理法を用いる。fが偶数であれば、s_1,s_2,s_3,s_4の順序を適当に選ぶと{s_1}\pm{s_2}と{s_3}\pm{s_4}が共に偶数になり、
:\left(\frac{s_1+s_2}{2}\right)^2+\left(\frac{s_1-s_2}{2}\right)^2+\left(\frac{s_3+s_4}{2}\right)^2+\left(\frac{s_3-s_4}{2}\right)^2=\frac{s_1^2+s_2^2+s_3^2+s_4^2}{2}=\frac{f}{2}p
であるから最小のfを選んだという仮定に背く。故にfは奇数である。fを法とするs_1,s_2,s_3,s_4の最小剰余をt_1,t_2,t_3,t_4とすると
:t_1^2+t_2^2+t_3^2+t_4^2\equiv{s_1^2+s_2^2+s_3^2+s_4^2}\equiv{0}\pmod{f}
:t_1^2+t_2^2+t_3^2+t_4^2=ef\le{4\left(\frac{f-1}{2}\right)^2}
もしも{t_1}={t_2}={t_3}={t_4}=0ならば{s_1}\equiv{s_2}\equiv{s_3}\equiv{s_4}\equiv0\;(\bmod\;f)であるからs_1^2+s_2^2+s_3^2+s_4^2=fp\;(\bmod\;f^2)である。これはpが素数であるという仮定に背くから{e}\ge1である。四平方恒等式により
:\begin{align}(fp)(ef)
&=(s_1^2+s_2^2+s_3^2+s_4^2)(t_1^2+t_2^2+t_3^2+t_4^2)\\
&=(s_1t_1+s_2t_2+s_3t_3+s_4t_4)^2+(s_1t_2-s_2t_1+s_3t_4-s_4t_3)^2+(s_1t_3-s_2t_4-s_3t_1+s_4t_2)^2+(s_1t_4+s_2t_3-s_3t_2-s_4t_1)^2
\end{align}
{s_i}\equiv{t_i}\;(\bmod\;f)であるから{s_1t_1+s_2t_2+s_3t_3+s_4t_4}\equiv{s_1^2+s_2^2+s_3^2+s_4^2}\equiv{0}\;(\bmod\;f)であり、他の項も同様であるから
:\left(\frac{s_1t_1+s_2t_2+s_3t_3+s_4t_4}{f}\right)^2+\left(\frac{s_1t_2-s_2t_1+s_3t_4-s_4t_3}{f}\right)^2+\left(\frac{s_1t_3-s_2t_4-s_3t_1+s_4t_2}{f}\right)^2+\left(\frac{s_1t_4+s_2t_3-s_3t_2-s_4t_1}{f}\right)^2=ep
を得る。これは最小のfを選んだという仮定に背く。故にf=1でなければならない。

以上により、全ての奇素数が高々四個の平方数の和で表されることが証明された。
Q.E.D.

## 正の平方数の和
全ての自然数は高々四個の正の平方数の和で表される。しかし、「高々」を外すと、四個の正の平方数で和で表されない自然数が無数に存在する。例えば、22n+1であるが、仮りに22n+1が四個の正の平方数の和で表されると仮定すると、法8で考えて四個の偶数の平方数の和でなければならないから、
:\begin{align}
&2^{2n+1}=(2x)^2+(2y)^2+(2z)^2+(2w)^2\\
&2^{2n-1}=x^2+y^2+z^2+w^2\\
\end{align}
であり、最終的に2=x2+y2+z2+w2となる正の整数x,y,z,wが存在することになる。しかし、それは明らかに不可能である。従って、22n+1は四個の正の平方数の和で表されない。同様に22n+13と22n+17も四個の正の平方数の和で表されない。この他に1,3,5,9,11,17,29,41も四個の正の平方数の和で表されない。しかしながら、34以上の全ての自然数は五個の正の平方数の和で表される。34以上169未満の整数が五個の正の平方数の和で表されることは個別に確かめられる。169以上の整数Nについては、
:\begin{align}
169&=13^2\\
&=5^2+12^2\\
&=3^2+4^2+12^2\\
&=1^2+2^2+8^2+10^2\\
&=1^2+2^2+2^2+4^2+12^2\\
\end{align}
であるから、N-169がk個の平方数の和で表されるときに169を5-k個の平方数の和の和で表すとすれば、Nが五個の正の平方数の和で表されることになる。

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

## 脚注

## 関連文献
*
*

## 関連項目

*ウェアリングの問題
*三個の平方数の和
*多角数定理
*二個の平方数の和
*ヤコビの四平方定理

## 外部リンク
*