四平方定理

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

ラグランジュの四平方定理の証明

オイラーの四平方恒等式

\begin{matrix} (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_{1} b_{1} + a_{2} b_{2} + a_{3} b_{3} + a_{4} b_{4})^{2} \\ + & (a_{1} b_{2} - a_{2} b_{1} + a_{3} b_{4} - a_{4} b_{3})^{2} \\ + & (a_{1} b_{3} - a_{2} b_{4} - a_{3} b_{1} + a_{4} b_{2})^{2} \\ + & (a_{1} b_{4} + a_{2} b_{3} - a_{3} b_{2} - a_{4} b_{1})^{2} \end{matrix}

により、各々高々四個の平方数の和に表される二数の積は高々四個の平方数の和に表される。

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

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

次に奇素数 $p$ について証明する。 $p - 1$ が $p$ の平方剰余であれば、

\begin{matrix} s_{1}^{2} \equiv - 1 (\mod p) \\ s_{1}^{2} + 1^{2} + 0^{2} + 0^{2} \equiv 0 (\mod p) \end{matrix}

となる $s_{1}$ が存在する。 $p - 1$ が平方非剰余であれば、 $1 \leq k < p - 1$ で $k$ が平方剰余、 $k + 1$ が平方非剰余となるものが存在する。 $(- 1) (k + 1)$ は二個の平方非剰余の積であるから平方剰余である。従って、

\begin{matrix} s_{1}^{2} + s_{2}^{2} \equiv k - (k + 1) = - 1 (\mod p) \\ s_{1}^{2} + s_{2}^{2} + 1^{2} + 0^{2} \equiv 0 (\mod p) \end{matrix}

となる $s_{1}, s_{2}$ が存在する。いずれにしても、

s_{1}^{2} + s_{2}^{2} + s_{3}^{2} + s_{4}^{2} = f p

は解を持つ。その解の中で $f$ が最小になるものを選ぶと $f = 1$ であることを証明する。 $f > 1$ を逆に仮定して背理法を用いる。 $f$ が偶数であれば、 $s_{1}, s_{2}, s_{3}, s_{4}$ の順序を適当に選ぶと $s_{1} \pm s_{2}$ と $s_{3} \pm s_{4}$ が共に偶数になり、

{(\frac{s_{1} + s_{2}}{2})}^{2} + {(\frac{s_{1} - s_{2}}{2})}^{2} + {(\frac{s_{3} + s_{4}}{2})}^{2} + {(\frac{s_{3} - s_{4}}{2})}^{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 (\mod f)

t_{1}^{2} + t_{2}^{2} + t_{3}^{2} + t_{4}^{2} = e f \leq 4 {(\frac{f - 1}{2})}^{2} < f^{2}

もしも $t_{1} = t_{2} = t_{3} = t_{4} = 0$ ならば $s_{1} \equiv s_{2} \equiv s_{3} \equiv s_{4} \equiv 0 (mod f)$ であるから $s_{1}^{2} + s_{2}^{2} + s_{3}^{2} + s_{4}^{2} = f p (mod f^{2})$ である。これは $p$ が素数であるという仮定に背くから $e \geq 1$ である。四平方恒等式により

\begin{matrix} (f p) (e f) & = (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_{1} t_{1} + s_{2} t_{2} + s_{3} t_{3} + s_{4} t_{4})^{2} + (s_{1} t_{2} - s_{2} t_{1} + s_{3} t_{4} - s_{4} t_{3})^{2} + (s_{1} t_{3} - s_{2} t_{4} - s_{3} t_{1} + s_{4} t_{2})^{2} + (s_{1} t_{4} + s_{2} t_{3} - s_{3} t_{2} - s_{4} t_{1})^{2} \end{matrix}

$s_{i} \equiv t_{i} (mod f)$ であるから $s_{1} t_{1} + s_{2} t_{2} + s_{3} t_{3} + s_{4} t_{4} \equiv s_{1}^{2} + s_{2}^{2} + s_{3}^{2} + s_{4}^{2} \equiv 0 (mod f)$ であり、他の項も同様であるから

{(\frac{s_{1} t_{1} + s_{2} t_{2} + s_{3} t_{3} + s_{4} t_{4}}{f})}^{2} + {(\frac{s_{1} t_{2} - s_{2} t_{1} + s_{3} t_{4} - s_{4} t_{3}}{f})}^{2} + {(\frac{s_{1} t_{3} - s_{2} t_{4} - s_{3} t_{1} + s_{4} t_{2}}{f})}^{2} + {(\frac{s_{1} t_{4} + s_{2} t_{3} - s_{3} t_{2} - s_{4} t_{1}}{f})}^{2} = e p

を得る。これは最小の $f$ を選んだという仮定に背く。故に $f = 1$ でなければならない。

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

正の平方数の和

全ての自然数は高々四個の正の平方数の和で表される。しかし、「高々」を外すと、四個の正の平方数で和で表されない自然数が無数に存在する。例えば、2²ⁿ⁺¹であるが、仮りに2²ⁿ⁺¹が四個の正の平方数の和で表されると仮定すると、法8で考えて四個の偶数の平方数の和でなければならないから、

\begin{matrix} 2^{2 n + 1} = (2 x)^{2} + (2 y)^{2} + (2 z)^{2} + (2 w)^{2} \\ 2^{2 n - 1} = x^{2} + y^{2} + z^{2} + w^{2} \end{matrix}

であり、最終的に2=x²+y²+z²+w²となる正の整数x,y,z,wが存在することになる。しかし、それは明らかに不可能である。従って、2²ⁿ⁺¹は四個の正の平方数の和で表されない。同様に2²ⁿ⁺¹3と2²ⁿ⁺¹7も四個の正の平方数の和で表されない。この他に1,3,5,9,11,17,29,41も四個の正の平方数の和で表されない^[2]。しかしながら、34以上の全ての自然数は五個の正の平方数の和で表される。34以上169未満の整数が五個の正の平方数の和で表されることは個別に確かめられる。169以上の整数Nについては、

\begin{matrix} 169 & = 1 3^{2} \\ = 5^{2} + 1 2^{2} \\ = 3^{2} + 4^{2} + 1 2^{2} \\ = 1^{2} + 2^{2} + 8^{2} + 1 0^{2} \\ = 1^{2} + 2^{2} + 2^{2} + 4^{2} + 1 2^{2} \end{matrix}

であるから、N-169がk個の平方数の和で表されるときに169を5-k個の平方数の和の和で表すとすれば、Nが五個の正の平方数の和で表されることになる。

ヤコビの四平方定理

自然数を高々四個の平方数の和で表す方法の数は、ヤコビの四平方定理

r_{4} (N) = 8 \sum_{4 ∤ d ∣ N} d

によって与えられる。但し、シグマ記号は4で整除されないNの約数（1とNを含む）について和を取ることを表す。例えば、

r_{4} (12) = 8 (1 + 2 + 3 + 6) = 96

であるが、実際に12を高々四個の平方数の和で表す方法は

\begin{matrix} 12 & = (\pm 2)^{2} + (\pm 2)^{2} + (\pm 2)^{2} + 0^{2} \\ = (\pm 2)^{2} + (\pm 2)^{2} + 0^{2} + (\pm 2)^{2} \\ = (\pm 2)^{2} + 0^{2} + (\pm 2)^{2} + (\pm 2)^{2} \\ = 0^{2} + (\pm 2)^{2} + (\pm 2)^{2} + (\pm 2)^{2} \\ = (\pm 3)^{2} + (\pm 1)^{2} + (\pm 1)^{2} + (\pm 1)^{2} \\ = (\pm 1)^{2} + (\pm 3)^{2} + (\pm 1)^{2} + (\pm 1)^{2} \\ = (\pm 1)^{2} + (\pm 1)^{2} + (\pm 3)^{2} + (\pm 1)^{2} \\ = (\pm 1)^{2} + (\pm 1)^{2} + (\pm 1)^{2} + (\pm 3)^{2} \end{matrix}

であり、符号と順序を区別すれば96個になる。

脚注

テンプレート:脚注ヘルプテンプレート:Reflist

外部リンク

テンプレート:MathWorld

[1] Wolfram Mathworld: Lagrange's Four-Square Theorem

[2] On-Line Encyclopedia of Integer Sequences: A123069

[1]

[2]

四平方定理

目次

ラグランジュの四平方定理の証明

正の平方数の和

ヤコビの四平方定理

脚注

関連文献

関連項目

外部リンク

ナビゲーションメニュー

四平方定理

ラグランジュの四平方定理の証明

正の平方数の和

ヤコビの四平方定理

脚注

関連文献

関連項目

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー