设A为实对阵矩阵,则有: AT=A 设λ1和λ2为A的两个实特征值(λ1=λ2),其对应的特征向量为v1和v2,则有: Av1Av2=λ1v1=λ2v2 左乘v2T得 v2TAv1=v2Tλ1v1 由AT=A得 v2TAv1=(Av2)Tv1=λ2v2Tv1 因为Av1=λ1v1: λ1v2Tv1=λ2v2Tv1 则: (λ1−λ2)v2Tv1=0 因为λ1=λ2则 v2Tv1=0 则实对称矩阵的特征值俩俩正交