# Eigenvalues of symmetric matrices [closed]

Why does a symmetric matrix with elements in $\mathbb R$ have all eigenvalues in $\mathbb R$? How do you show that?

## closed as unclear what you're asking by Jean Marie, Namaste, Arnaldo, Jaideep Khare, Moishe KohanApr 29 '17 at 10:45

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• Related theorem: The eigenvalues of a symmetric matrix are real. – Jossie Calderon Apr 28 '17 at 7:37
• Just curious: isn't this proved in almost every introductory text on linear algebra? Where are you stuck? – user1551 Apr 28 '17 at 7:52
• @user1551 At the proof itself, in my course there was no such introduction... – theSongbird Apr 28 '17 at 8:04
• see for example math.stackexchange.com/questions/1124875/… – Widawensen Apr 28 '17 at 8:14
• – hardmath Apr 28 '17 at 20:35

Let $A$ be a real symmetric $n\times n$-matrix. Suppose that $Av=\lambda v$, i.e. $v$ is an eigenvector with eigenvalue $\lambda$. Consider the standard Hermitian product $\left\langle X,Y\right\rangle=\sum_{i=1}^nX_i\overline{Y_i}$ on $\mathbb{C}^n$. Then \begin{eqnarray} \lambda\left\langle v,v\right\rangle&=& \left\langle \lambda v,v\right\rangle \\ &=& \left\langle Av,v\right\rangle\\ &=& \left\langle v,A^tv\right\rangle \:\: (\mbox{ in general }\left\langle v,A^*v\right\rangle, \mbox{ where $A^*$ denotes $\overline{A}^t$})\\ &=& \left\langle v,Av\right\rangle\\ &=& \left\langle v,\lambda v\right\rangle\\ &=& \overline{\lambda}\left\langle v,v\right\rangle. \end{eqnarray}
Hence $(\lambda-\overline{\lambda})\left\langle v,v\right\rangle=0$. But $\left\langle v,v\right\rangle\neq 0$ as $v$ is an eigenvector hence $(\lambda-\overline{\lambda})=0$, in other words, $\lambda$ is real.
Edit: As indicated in the comments below, we also prove that eigenvalues for $A$ exist. Consider the characteristic polynomial $p_A(X)$ of $A$. A priori $p_A(X)\in \mathbb{R}[X]$, but similarly as above (where we considered a complex inner-product rather than a real one), we have that $p_A(X)\in \mathbb{C}[X]$. By the fundamental theorem of algebra, $p_A(X)=\prod_{i=1}^n(X-\lambda_i)$ for certain not necessarily distinct $\lambda_i\in \mathbb{C}$. Then the $\lambda_i$ are complex eigenvalues and by the reasoning above they are real.