Let
\(\lambda\) be an eigenvalue of
\(A\) with corresponding eigenvector
\(\mathbf{v}\) (which may have complex entries). We need to show that
\(\lambda\) is real, i.e.,
\(\lambda = \overline{\lambda}\text{,}\) where
\(\overline{\lambda}\) denotes the complex conjugate of
\(\lambda\text{.}\)
Since \(A\mathbf{v} = \lambda\mathbf{v}\text{,}\) taking the complex conjugate of both sides gives:
\begin{equation*}
\overline{A\mathbf{v}} = \overline{\lambda\mathbf{v}}
\end{equation*}
Since \(A\) is a real matrix, \(\overline{A} = A\text{,}\) and we have:
\begin{equation*}
A\overline{\mathbf{v}} = \overline{\lambda}\,\overline{\mathbf{v}}
\end{equation*}
Now, multiply the original equation \(A\mathbf{v} = \lambda\mathbf{v}\) on the left by \(\overline{\mathbf{v}}^T\text{:}\)
\begin{equation*}
\overline{\mathbf{v}}^T A\mathbf{v} = \lambda\,\overline{\mathbf{v}}^T\mathbf{v}
\end{equation*}
Since \(A\) is symmetric (\(A^T = A\)) and real, we have:
\begin{align*}
\overline{\mathbf{v}}^T A\mathbf{v} \amp= (A\overline{\mathbf{v}})^T\mathbf{v} \amp\amp \text{(using $A^T = A$)}\\
\amp= (\overline{\lambda}\,\overline{\mathbf{v}})^T\mathbf{v} \amp\amp \text{(using $A\overline{\mathbf{v}} = \overline{\lambda}\,\overline{\mathbf{v}}$)}\\
\amp= \overline{\lambda}\,\overline{\mathbf{v}}^T\mathbf{v}
\end{align*}
Combining our two expressions:
\begin{equation*}
\lambda\,\overline{\mathbf{v}}^T\mathbf{v} = \overline{\lambda}\,\overline{\mathbf{v}}^T\mathbf{v}
\end{equation*}
Since \(\mathbf{v} \neq \mathbf{0}\) (eigenvectors are nonzero), we have \(\overline{\mathbf{v}}^T\mathbf{v} = \sum_{i=1}^n \overline{v_i}v_i = \sum_{i=1}^n |v_i|^2 > 0\text{.}\) Dividing both sides by \(\overline{\mathbf{v}}^T\mathbf{v}\) gives:
\begin{equation*}
\lambda = \overline{\lambda}
\end{equation*}
Therefore, \(\lambda\) is real.