■15定理と290定理(その13)
ラグランジュの定理の行列表現は,
[1,0,0,0]
M=[0,1,0,0]
[0,0,1,0]
[0,0,0,1]
であった。
15定理の行列表現は,たとえば,w^2+2x^2+5y^2+5z^2の場合、
[1,0,0,0]
M=[0,2,0,0]
[0,0,5,0]
[0,0,0,5]
w^2+2x^2+5y^2+5z^2は15だけを表すことができない.
2a^2+ab+4b^2+bc+c^2+29d^2+29de+29e^2の行列表現は,
[2,1/2,0,0,0]
M=[1/2,4,1/2,0,0]
[0,1/2,1,0,0]
[0,0,0,29,29/2]
[0,0,0,29/2,29]
2a^2+ab+4b^2+bc+c^2+29d^2+29de+29e^2は290だけを表すことができない.
===================================