■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だけを表すことができない.

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