再令 C=C,C2,a=am-α'GG'αHE 9)C'AC=则有0两边取行列式，得 cA=a又 A|>0，:a>0E即为正对角矩阵由判定充要条件3)．知A正定，所以X'AX正定85.4正定二次型区区§5. 4 正定二次型 由判定充要条件3). 知A正定，所以 X AX 正定. 再令 1 2 , C C C a a GG = = − nn     则有 1 0 0 C AC En a −    =     两边取行列式，得 2 C A a = 又 A >0 ，   a 0 即 为正对角矩阵. En 1 a −      