Soit et une matrice satisfaisant la relation :
Utiliser le polynôme comme polynôme annulateur.
Rechercher les racines de ce polynôme dans et vérifier si elles sont réelles.
Utiliser le fait que pour une matrice réelle, les valeurs propres non réelles apparaissent par paires conjuguées avec la même multiplicité.
Exprimer la trace comme la somme des valeurs propres et le déterminant comme leur produit.
Lien entre racines d'un polynôme annulateur et spectre.
Critère de diagonalisabilité par les polynômes annulateurs (polynôme scindé à racines simples).
Propriété de conjugaison des valeurs propres pour les matrices réelles.
Résolution.
Attention à ne pas oublier que si est une matrice réelle, son spectre complexe est stable par conjugaison. C'est l'argument clé pour affirmer que et ont la même multiplicité et que est pair.