Soit . On considère la matrice définie par blocs :
Utiliser le produit par blocs pour .
Un polynôme annulateur simple permet de conclure sur la diagonalisabilité.
Pour les vecteurs propres, poser avec .
Calcul par blocs.
Critère de diagonalisabilité via les polynômes annulateurs.
Structure des vecteurs propres pour les matrices blocs.
Résolution.
Attention à ne pas dire que est diagonalisable sur sous prétexte qu'elle est "simple". Une matrice réelle diagonalisable doit avoir toutes ses valeurs propres dans .