■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を表現できない
===================================