四平方定理

数学において、ラグランジュの四平方定理 (Lagrange's four square theorem) は、全ての自然数が高々四個の平方数の和で表されることを主張する定理である。これはフェルマーの多角数定理の四角数の場合に当たり、ウェアリングの問題の二次の場合に当たる。ヤコビの四平方定理 (Jacobi's four square theorem) は自然数を高々四個の平方数の和で表す方法の数を与える定理である。
ラグランジュの四平方定理の証明.
オイラーの四平方恒等式
により、各々高々四個の平方数の和に表される二数の積は高々四個の平方数の和に表される。
従って、全ての素数に関して高々四個の四角数の和に表されることを証明すれば、全ての合成数も高々四個の四角数の和に表されることになる。
偶数の素数2に関しては、formula_2より明らかである。
次に奇素数formula_3について証明する。formula_4がformula_3の平方剰余であれば、
となるformula_7が存在する。formula_4が平方非剰余であれば、formula_9が平方剰余、formula_10が平方非剰余となるものが存在する。formula_11は二個の平方非剰余の積であるから平方剰余である。従って、
となるformula_13が存在する。いずれにしても、
は解を持つ。その解の中でformula_15が最小になるものを選ぶとformula_16であることを証明する。formula_17を逆に仮定して背理法を用いる。formula_15が偶数であれば、formula_19の順序を適当に選ぶとformula_20とformula_21が共に偶数になり、
であるから最小のformula_15を選んだという仮定に背く。故にformula_15は奇数である。formula_15を法とするformula_19の最小剰余をformula_27とすると
もしもformula_30ならばformula_31であるからformula_32である。これはformula_3が素数であるという仮定に背くからformula_34である。四平方恒等式により
formula_36であるからformula_37であり、他の項も同様であるから
を得る。これは最小のformula_15を選んだという仮定に背く。故にformula_16でなければならない。
以上により、全ての奇素数が高々四個の平方数の和で表されることが証明された。
Q.E.D.
正の平方数の和.
全ての自然数は高々四個の正の平方数の和で表される。しかし、「高々」を外すと、四個の正の平方数で和で表されない自然数が無数に存在する。例えば、22n+1であるが、仮りに22n+1が四個の正の平方数の和で表されると仮定すると、法8で考えて四個の偶数の平方数の和でなければならないから、
であり、最終的に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については、
であるから、N-169がk個の平方数の和で表されるときに169を5-k個の平方数の和の和で表すとすれば、Nが五個の正の平方数の和で表されることになる。
ヤコビの四平方定理.
自然数を高々四個の平方数の和で表す方法の数は、ヤコビの四平方定理
によって与えられる。但し、シグマ記号は4で整除されないNの約数（1とNを含む）について和を取ることを表す。例えば、
であるが、実際に12を高々四個の平方数の和で表す方法は
であり、符号と順序を区別すれば96個になる。