设λ是正交矩阵A的特征值,x是A的属于特征值λ的特征向量即有 Ax = λx,且 x≠0.两边取转置,得 x^TA^T = λx^T所以 x^TA^TAX = λ^2x^Tx因为A是正交矩阵,所以 A^TA=E