Soit tel que . On considère deux vecteurs et où désigne le corps ou . On définit la matrice par la structure par blocs suivante :
Déterminer une condition nécessaire et suffisante sur et pour que la matrice soit diagonalisable dans :
On pourra commencer par calculer les puissances de , notamment et , pour trouver un polynôme annulateur simple.
Alternativement, on peut introduire le plan vectoriel où et étudier l'endomorphisme induit sur ce plan, tout en complétant par l'étude du noyau de .
Ne pas oublier de traiter séparément le cas où est nulle.
Recherche d'un polynôme annulateur de bas degré.
Lien entre diagonalisabilité et racines simples du polynôme minimal.
Étude de la dimension du noyau (théorème du rang).
1. Analyse du polynôme annulateur.
Notons et . La matrice s'écrit .
Calculons par produits de blocs :
Le terme est un scalaire : . Notons .
Calculons maintenant :
Comme , on obtient la relation :
Le polynôme est donc un polynôme annulateur de .
2. Cas où = \mathbb{C}.}
L'endomorphisme est diagonalisable si et seulement si son polynôme minimal est scindé à racines simples sur .
Premier sous-cas : . Le polynôme possède trois racines complexes distinctes. Le polynôme minimal de , divisant , est donc scindé à racines simples. Dans ce cas, la matrice est toujours diagonalisable.
Second sous-cas : . Le polynôme annulateur devient . La matrice est donc nilpotente. Une matrice nilpotente est diagonalisable si et seulement si elle est nulle. Ici, si et seulement si tous les et sont nuls (c'est-à-dire et ).
Conclusion pour :} est diagonalisable si et seulement si :
3. Cas où = \mathbb{R}.}
Sur , la condition de diagonalisabilité impose que le polynôme minimal soit scindé sur à racines simples.
Premier sous-cas : . Les racines de sont réelles et distinctes (), et non nulles. Le polynôme est scindé à racines simples sur . est donc diagonalisable.
Second sous-cas : . Le polynôme n'est pas scindé sur car n'a pas de racines réelles. Le spectre de sur contient des valeurs imaginaires pures. n'est pas diagonalisable sur .
Troisième sous-cas : . Comme précédemment, est nilpotente et n'est diagonalisable que si .
Conclusion pour :} est diagonalisable si et seulement si :
L'erreur classique est d'oublier le cas ou de penser que suffit sur . Il faut être vigilant sur le fait qu'une matrice peut être diagonalisable sur sans l'être sur si ses valeurs propres ne sont pas réelles.