ラグランジュ(Lagrange) の四平方定理
以前，三平方の定理の拡張である四平方の定理を紹介しました．(–>四平方定理)
ラグランジュの四平方定理は，定理の名前は同じですが，全く違う内容の定理です．
定理. 全ての自然数は，高々 4 個の平方数の和で表される．つまり, 任意の自然数 \(n\) に対して,
\[n = x_1^2+x_2^2+x_3^2+x_4^2\]
を満たす整数 \((x_1, x_2, x_3, x_4)\) の組が存在する．
“高々” 4 個の平方数の和なので，2 個, 3 個の平方数の和でもいいですし，それ自身が平方数でも構わないです．4 個よりも少ない平方数の和で表せる場合は，\(0^2=0\) を加えれば，4 つの平方の和の形にできます．
例を見てみましょう.
\begin{align*}
1 &= 1^2+0^2+0^2+0^2\\
2 &= 1^2+1^2+0^2+0^2\\
3 &= 1^2+1^2+1^2+1^2\\
4 &= 1^2+1^2+1^2+1^2\\
&= 2^2+0^2+0^2+0^2\\
5 &= 2^2+1^2+0^2+0^2\\
7 &= 2^2+1^2+1^2+1^2\\
15 &= 3^2+2^2+1^1+1^1
\end{align*}
7 や 15 は，3 個以下の平方の和では表せません．
また，4 のように，表し方が複数あるものもあります．
自然数 \(n\) を高々 4 個の平方数の和として表す方法は，ヤコビの四平方定理
\[r(n) = 8\sum_{4\not\mid \,\,d\mid n}d\]
で与えられます．
この式の和の部分は，\(n\) の約数のうち，4 の倍数でないものの和をとっています．
例えば，\(n=4\) のとき，\(r(4)=8(1+2)=24\) となります．
実は，この定理では 4 つの数の順番や，正負を変えたものも異なる表し方として数えています．
なので，\(4=2^2+0^2+0^2+0^2\) に対して，
\begin{align*}
4 &= 2^2+0^2+0^2+0^2 &= (-2)^2+0^2+0^2+0^2\\
&= 0^2+2^2+0^2+0^2 &= 0^2+(-2)^2+0^2+0^2\\
&= 0^2+0^2+2^2+0^2 &= 0^2+0^2+(-2)^2+0^2\\
&= 0^2+0^2+0^2+2^2 &= 0^2+0^2+0^2+(-2)^2
\end{align*}
の 8 通りがあります．
\(4=1^2+1^2+1^2+1^2\) に対しても 4 つのそれぞれに 1 or -1 の 2 通りあるので, \(2^4 = 16\) 通りの表し方が対応します．
ラグランジュの四平方定理の証明.
まず，4 つの平方数の和で表された数同士の積もまた 4 つの平方数の和で表される，という補題を用意しておきます．
補題1.
\begin{align*}
(x_1^2+x_2^2+x_3^2+x_4^2)(y_1^2+y_2^2+y_3^2+y_4^2) &= (x_1y_1+x_2y_2+x_3y_3+x_4y_4)^2\\
&\quad + (x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2 \\
&\quad +(x_1y_3-x_3y_1+x_4y_2-x_2y_4)^2\\
&\quad + (x_1y_4-x_4y_1+x_2y_3-x_3y_2)^2
\end{align*}
これは展開すれば確かめられます．
では，ここから証明に入っていきます．
\(n=1, 2\) のときは，上にも示した通り，
\begin{align*}
1 &= 1^2+0^2+0^2+0^2\\
2 &= 1^2+1^2+0^2+0^2
\end{align*}
なので，定理は成り立ちます．
あとは，\(n\) が奇素数(奇数かつ素数)の場合を示すことができれば，全ての自然数についても成り立つことが (補題1. ) からいえます．
そこで，以下では \(n\) が奇素数の場合を証明します．
素数であることが分かりやすいように，\(n=p\) とおきます．
\(p\) は奇数で 3 以上なので, \(\dfrac{1}{2}(p-1)\) は自然数です．そこで，
\begin{align*}
S &= \{x^2\mid x\in\mathbb{Z}, 0\leqq x\leqq\frac{1}{2}(p-1)\}\\
T &= \{-1-y^2\mid y\in\mathbb{Z}, 0\leqq y\leqq\frac{1}{2}(p-1)\}
\end{align*}
という集合 \(S, T\) を考えます．ここで，\(\mathbb{Z}\) は整数全体の集合を表しています．
このとき, \(x^2\geqq 0, -1-y^2<0\) より, \(S\cap T=\emptyset\) なので，
\begin{align*}
\#(S\cap T) = 0
\end{align*}
(\(S\cap T\) の要素数がゼロ).
ここで，
\(S\) の任意の 2 つの要素 \(k^2, l^2\) , (\(k\neq l\)) について
\[k^2\not\equiv l^2\pmod{p}.\]
\(T\) の任意の 2 つの要素 \(-1-k^2, -1-l^2\) , (\(k\neq l\)) について
\[-1-k^2\not\equiv -1-l^2\pmod{p}.\]
が成り立ちます． これは背理法で簡単に示せるので，今回は省略します．
さて,
\begin{align*}
\#(S\cup T) &= \#S+\#T\\
&= \frac{1}{2}(p+1)+\frac{1}{2}(p+1)\\
&= p+1
\end{align*}
なので，鳩ノ巣原理より，\(p\) を法として合同であるような，\(S\) の要素と \(T\) の要素の組が少なくとも 1 つ存在します．
それらの要素を，\(X^2\in S, -1-Y^2\in T\) とすると，
\begin{align*}
X^2&\equiv -1-Y^2\pmod{p}\\
\therefore X^2+Y^2+1^2+0^2&\equiv 0
\end{align*}
よって，\[X^2+Y^2+1^2+0^2=mp\] となる整数 \(m\) が存在します．
この \(m\) が \(m=1\) であれば，この時点で証明できたことになります．
そこで，\(m>1\) の場合を考えます．
\(X_1=X, X_2=Y, X_3=1, X_4=0\) とおいて，
\begin{align*}
-\frac{1}{2}k<Y_i\leqq\frac{1}{2}k,\quad X_i\equiv Y_i\pmod{k}\quad(i=1, 2, 3, 4)
\end{align*}
として \(Y_1, Y_2, Y_3, Y_4\) を定めると，
\begin{align*}
Y_1^2+Y_2^2+Y_3^2+Y_4^2&\equiv X_1^2+X_2^2+X_3^2+X_4^2\\
&\equiv kp\\
&\equiv 0\pmod{k}
\end{align*}
よって，\(Y_1^2+Y_2^2+Y_3^2+Y_4^2=k^\prime k\) となる自然数 \(k^\prime\) が存在します．
\(-\frac{1}{2}k<Y_i\leqq\frac{1}{2}k\) より，\(Y_i^2\leqq \frac{1}{4}k^2\) なので,
\(Y_1^2+Y_2^2+Y_3^2+Y_4^2\leqq 4\cdot\frac{1}{4}k^2=k^2\)
より，\(k^\prime\leqq k\) となっています．
ここで, \(k=k^\prime\) とすると矛盾が生じることを示していきます．
・\(k \neq k^\prime\) を示す．
各 \(X_i\) について \(X_i^2\leqq \{\frac{1}{2}(p-1)\}^2\) なので，
\begin{align*}
X_1^2+X_2^2+X_3^2+X_4^2 &\leqq (p-1)^2\\
\therefore kp&< p^2
\end{align*}
両辺 \(p\) で割ると，\(k<p\).
よって，(\(p\) は素数なので) \(k\) と \(p\) は互いに素となり，\(kp\) は \(k^2\) では割り切れない．
一方，\(k^\prime=k\) となるのは，
\[Y_1=Y_2=Y_3=Y_4=\frac{1}{2}k\]
のときで，このとき \(X_i\equiv Y_i\pmod{k}\) であることも考慮すると，
\(kp=X_1^2+X_2^2+X_3^2+X_4^2\) は \(k^2\) の倍数となります．
これは上の事実に矛盾します．
以上より，\(k^\prime\neq k\) がいえたので，\[0<k^\prime<k. \]
ここで，2 式
\begin{align*}
kp &= X_1^2+X_2^2+X_3^2+X_4^2\\
k^\prime k &= Y_1^2+Y_2^2+Y_3^2+Y_4^2
\end{align*}
の積を考えると，(補題1.) により，
\begin{align*}
k^2k^\prime p = A_1^2+A_2^2+A_3^2+A_4^2
\end{align*}
となる整数 \(A_1, A_2, A_3, A_4\) が存在します．
\(X_i\equiv Y_i\pmod{k}\quad(i=1, 2, 3, 4)\) を使うと，
\[A_i\equiv 0\pmod{k}(i=1, 2, 3, 4)\]
となります．
よって，\(A_i=kB_i\) となる整数 \(B_1, B_2, B_3, B_4\) があって，上の式に代入して両辺を \(k^2\) で割ると
\[k^\prime p = B_1^2+B_2^2+B_3^2+B_4^2\]
となります．
この時点で \(k^\prime =1\) であれば \(p\) が 4 つの平方数の和で表されたことになりますし，\(k^\prime>1\) であれば，\(k^\prime, B_1, B_2, B_3, B_4\) を新しく \(k, X_1, X_2, X_3, X_4\) と見做して同じ変形をくり返せば，いずれ \(k^\prime=1\) となります．
