■ガウスの3平方和定理(その1)
3つの平方数の和として書くことができない数としては
7,15,23,28,・・・
がある.
一見してパターンを見出すことは難しいが,1798年に,ルジャンドルは,3つの平方数の和でない数は4^k(8n+7)型で表されることを発見した.
===================================
[1]n=4kのとき,
n^2=16k^2→ n=0 (mod8)
[2]n=4k+1のとき,
n^2=16k^2+8k+1→ n=1 (mod8)
[3]n=4k+2のとき,
n^2=16k^2+16k+4→ n=4 (mod8)
[4]n=4k+3のとき,
n^2=16k^2+24k+9→ n=1 (mod8)
したがって,平方数を8で割ると余りは0,1,4のいずれかになる.→3つの平方数の和を8で割ると余りは0,1,2,3,4,5,6のいずれかになる.→8n+7型の数を表すには平方数が4つ以上必要になる.
実は,正の整数はすべて4個の平方数の和で表される(ラグランジュの定理,1770年).
===================================