■n=□+□+□+□(その17)

 Ax^2+By^2+Cz^2+Dw^2=nを考える。

 2x^2+3y^2+4z^2+5w^2は1を表現できない

 x^2+2y^2+5z^2+5w^2は15を表現できない

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

【1】15の定理

整数行列として書くことができる正定値2次形式(変数の数は任意とする)が

1,2,3,5,6,7,10,14,15

を表現するならば、この2次形式はすべての正整数を表現する(コンウェイ、シュニ―バーガー)

 x^2+2y^2+5z^2+5w^2+15v^2はどの正整数も表すことができる。

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

【2】15の定理の拡張

 x^2+2y^2+5yz+4z^2は31を表現できない

 2x^2+xy+4y^2+yz+z^2+29w^2+29vw+29v^2は290を表現できない

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