简单的说呢,因为A为是对称矩阵,所以有X,使XTAX>0,所以肯定存在C使CTAC化为标准型,即可以化为对角型.或者呢,若A的特征值都不同,则肯定可以对角化,若有特征值相同,则其特征向量个数肯定为n-r,则也可以对角化.备注：XT是X的转至 r为特征值重数
