■15定理と290予想(その7)

 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)はリストに含まれないのである.

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