定理:
假设 A∈Rn×n,且 A 的特征值都是实数,那么 A 正交相似于对角阵的充要条件为 A 是正规矩阵,即 AA=AAT。
case 1
L∈Rn×n,eig(LTL)=eig(LLT)
proof 1
LTLx=λx⇒LLTLx=Lλx=λLx⇒LLT(Lx)=λ(Lx)