实对称矩阵A^T=A的特征值是实数

证明

设复数$\lambda$为对称矩阵$A$的特征值, 复向量$x$为对应的特征向量, 即$Ax=\lambda x,x\ne 0$.

设$\bar{\lambda }$是$\lambda$的共轭复数, $\bar{x}$表示$x$的共轭复向量, 而$A$为实矩阵, 有$A=\bar{A}$,故 $A\bar{x}=\bar{A}\bar{x}=(\overline{Ax})=(\overline{\lambda x})=\bar{\lambda }\bar{x}$, 于是
$$\bar{x}Ax={\bar{x}}^T(Ax)={\bar{x}}^T\lambda x=\lambda {\bar{x}}^{T}x\text{\hspace{1em}(1)}$$

$$\bar{x}Ax=({\bar{x}}^T{A}^T)x=(A\bar{x}{)}^{T}x=(\lambda \bar{x}{)}^{T}x=\lambda {\bar{x}}^{T}x\text{\hspace{1em}(2)}$$

$$由(1)-(2)得到,(\lambda -\bar{\lambda }){\bar{x}}^{T}x=0$$

但$x\ne 0$,所以:
$${\bar{x}}^{T}x=\sum _{i=1}^n\overline{x_i}{x}_i=\sum _{i=1}^n|x_i{|}^2\ne 0$$
故$\lambda -\bar{\lambda }=0$, 即$\lambda =\bar{\lambda }$,这说明$\lambda$是实数.