Les valeurs propres de sont les racines de son polynôme caractéristique.

Or, si est à coefficients réels, son polynôme caractéristique est aussi à coefficients réels.

Soit une matrice colonne appartenant à . Traduire que est un vecteur propre de , et utiliser l'égalité car est à coefficients réels.