(=>)因为A正定,所以X^TAX的规范形为 y1^2+...+yn^2
所以存在可逆矩阵C满足 C^TAC = E
所以A合同于单位矩阵
(