三個の平方数の和

この記事は「平方数」、「三角数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られているものであるが呼びかたが定まっていない。日本語では「三平方和定理」などと呼ばれることもあるが、ピタゴラスの定理とは全く別のものである。
自然数formula_1が三個の平方数の和で表されるための必要十分条件は、formula_2により、formula_3と表されることである。逆に、formula_4で表される自然数は三個の平方数の和で表されない。これはディオファントスの時代から研究されてきたことであるが、1798年、ルジャンドルによって証明された。
証明.
十分条件の証明は初等的に行うことは可能であるが、二次形式に関する議論を必要とし、複雑である。必要条件の証明は次に記すとおり、容易である。
必要条件.
formula_5が三個の平方数の和で表されないことは、formula_6から明らかである。仮りに
と表されるとすれば、formula_8は全て偶数であるから
となり、数学的帰納法により、formula_4は三個の平方数の和で表されない。
系.
三個の三角数の和.
formula_11の形の自然数は高々三個の平方数の和で表されるから
となる整数formula_8が存在する。故に全ての自然数は高々三個の三角数の和で表される。
四個の平方数の和.
全ての自然数はformula_15としてformula_16で表される。その中でformula_17のものは高々三個の平方数の和で表され、formula_18のものはformula_19として高々四個の平方数の和で表される。従って、全ての自然数は高々四個の平方数の和で表される。なお、四個の平方数の和については初等的な証明（→多角数定理）が知られている。