ヤコビの四平方定理 () は、自然数を高々四個の平方数の和で表す方法の数を与える定理。名称はドイツの数学者ヤコビに由来する。
自然数Nを高々四個の平方数の和で表す方法の数は
で与えられる。但し、シグマ記号は4で整除されないNの約数(1とNを含む)について和を取ることを表す。ならばであるから、ヤコビの四平方定理はラグランジュの四平方定理を包含する。
ヤコビの四平方定理はヤコビが楕円関数論を使用して証明した。この定理はガウスが『整数論』の第182条で述べたものと同値である。
具体例 例えば、
であるが、実際に12を高々四個の平方数の和で表す方法は
であり、符号と順序を区別すれば96個になる。
関連記事
ラグランジュの四平方定理 Disquisitiones Arithmeticae
脚注
参考文献