正定マトリクスの定義　（x*）Ax>0 for all x not zero
2個の実対称マトリクスA、Bについての2次形式
Q1=TxAx,Q2=TXBX　とする。
Aが正定ならば、適当な正則マトリクスによる線形変換ｘ＝Tyにより新変数ｙについて
2次形式がｙの各成分の2乗項だけをふくむ
Q1=ty　ｙ、Q2=ty L y　L:対角まとりくす
とあらわせる

証明　略