Soit et un corps ( ou ). On note la comatrice d'une matrice .
Déterminer l'ensemble des matrices telles que soit diagonalisable sur .
Commencer par traiter les cas (trivial) puis supposer .
Utiliser la relation fondamentale pour étudier le cas où est inversible.
Discuter selon le rang de pour les cas non inversibles en utilisant les propriétés du rang de la comatrice :
Si , alors .
Si , alors .
Si , alors .
Pour une matrice de rang 1, utiliser le critère de diagonalisabilité lié à la trace.
Faire le lien entre et le polynôme caractéristique .
Relation entre une matrice inversible et sa comatrice.
Propriétés du rang : est déterminé par .
Diagonalisabilité des matrices de rang 1 (une matrice de rang 1 est diagonalisable si et seulement si sa trace est non nulle).
Résolution.
Le cas est immédiat : pour toute matrice , donc est toujours diagonalisable.
On suppose désormais . On traite l'exercice par une analyse selon le rang de .
Cas 1 : est inversible ((M) = n).}
Dans ce cas, on utilise la relation , ce qui donne :
On sait qu'une matrice est diagonalisable si et seulement si sa transposée l'est, et si et seulement si son inverse (si elle existe) l'est.
De plus, multiplier par un scalaire non nul ne change pas la diagonalisabilité.
Ainsi, est diagonalisable si et seulement si est diagonalisable.
Cas 2 : (M) \leq n-2.}
Par définition, si le rang de est inférieur ou égal à , tous les mineurs d'ordre sont nuls.
Par conséquent, la comatrice est la matrice nulle :
La matrice nulle étant diagonalisable, toutes ces matrices conviennent.
Cas 3 : (M) = n-1.}
Si le rang de est , alors le rang de sa comatrice est exactement .
Soit . Puisque , est diagonalisable si et seulement si sa trace est non nulle.
Or, on sait que pour toute matrice , la trace de sa comatrice est liée au polynôme caractéristique :
Comme n'est pas inversible, . On note .
La comatrice est diagonalisable si et seulement si .
Géométriquement, signifie que est une racine simple du polynôme caractéristique .
Puisque , la multiplicité géométrique de la valeur propre est .
La condition " est racine simple " équivaut donc à dire que la multiplicité algébrique de est égale à sa multiplicité géométrique (soit ), ce qui revient à dire que .
Conclusion.
L'ensemble des matrices recherchées est constitué :
L'erreur classique consiste à croire que doit forcément être diagonalisable. Pourtant, si et que est une valeur propre simple, la comatrice est diagonalisable (car elle est de rang 1 et de trace non nulle), même si possède d'autres valeurs propres qui ne sont pas "diagonalisables" (par exemple si le bloc de sur son image n'est pas diagonalisable).