设对称矩阵的特征值分解是:
A=QtMQ (Qt表示Q的转置,下同)
其中M是A的特征值排成的对角矩阵
AtA=E
QtMQQtMQ=E
QQtMMQQt=QEQt=E
M平方=E
又因为M是对角矩阵 所以M的对角线元素的绝对值必须是1
又因为A正定 所以M的对角线元素(就是A的特征值)必须大于0
所以M=E
从而A=E