■15定理と290定理(その20)
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)はリストに含まれないのである.
===================================