四平方定理

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

ラグランジュの四平方定理は、全ての自然数が最大四つの平方数の和として表現できることを主張しています。この定理は、フェルマーの多角数定理や、ウェアリングの問題における特別なケースに該当します。数学者ヤコビが提唱したヤコビの四平方定理では、自然数を四つの平方数の和で表す方法の数を明らかにしています。

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

ラグランジュの四平方定理は、オイラーの四平方恒等式に基づき、いかにして二つの自然数の積が四つの平方数の和として表されるかを証明します。オイラーの四平方恒等式は次のように表現されます。

\[
(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
\]

この式を用いることで、二つの自然数の積が如何にして四つの平方数の和として表現されるかが見て取れます。

この定理を証明する過程では、まず奇素数に関して特定の条件が確認されます。偶数の素数である2に対しては、明らかに以下のように表現可能です。

\[
2 = 1^2 + 1^2
\]

次に、奇素数の$p$について、その平方剰余と非剰余によるアプローチが考慮されます。これにより、素数が四つの平方数の和として表現できることが証明され、さらにこれを基に合成数も同様に表現可能であることが示されます。

正の平方数の和

全ての自然数は四つの正の平方数の和として表現することができますが、全ての自然数が常に四つの平方数の和として表せるわけではありません。たとえば、式$22n + 1$に該当する数のように、特定の数は四つの正の平方数の和で表すことができないことが知られています。しかし34以上の整数は、必ず五つの正の平方数の和として表現されます。

ヤコビの四平方定理

ヤコビの四平方定理は、自然数を四つの平方数の和で表現する方法の数を示しています。具体的な式は次の通りです。
\[
r_{4}(N) = 8 \sum_{4
mid d ig| N} d
\]
ここで、$ ext{d}$は4で割り切れない$N$の約数を表します。たとえば、$N = 12$の場合、この定理を適用して計算することで、12を四つの平方数の和として表す方法は、96通りあると示されます。

総まとめ

ラグランジュの四平方定理ならびにヤコビの定理は、平方数を用いた数論における重要な定理であり、様々な応用を持っています。数学的な探求においては、これらの定理を理解することで、数の特性や性質について深く考察することが可能になります。

もう一度検索