■ルジャンドルの定理とガウスの定理(その8)

【5】まとめ

 それらは

  x^2+y^2+z^2+w^2からx^2+2y^2+5z^2+10w^2まで

すべてAx^2+By^2+Cz^2+Dw^2の形をしていて,54通りあることが知られている.

 4変数2次形式では,たとえば,

  2w^2+3x^2+4y^2+5z^2

は1だけを表すことができない.

  w^2+2x^2+5y^2+5z^2

は15だけを表すことができない.

 (2,3,4,5),(1,2,5,5)はラマヌジャンのリストには載っていない.ラマヌジャンのリストは20世紀初頭,ラマヌジャンによって,コンピュータの助けなしに特定された.しかし,不備があって(1,2,5,5)も含められてしまった.

  w^2+2x^2+5y^2+5z^2

は15をそして15だけを表すことができないのである.

 また,(A,B,C,D)の少なくともひとつは1であるから(2,3,4,5)はリストに含まれないのである.

===================================