**Theorem:** A real matrix has eigenvalues that occur in complex conjugate pairs. If $\lambda$ is an eigenvalue with eigenvector $v$, then $\overline{\lambda}$ is also an eigenvalue with eigenvector $\overline{v}$. This follows because the characteristic polynomial has real coefficients.