Soient et . On considère une matrice .
Pour le sens direct, utiliser la définition avec la base de vecteurs propres ou la forme .
Pour le sens réciproque, si est diagonalisable, il existe un polynôme annulateur de à racines simples. En déduire un polynôme annulateur de .
Pour la question 2, étudier le cas des matrices nilpotentes non nulles pour trouver un contre-exemple.
Caractérisation par les polynômes annulateurs à racines simples.
Stabilité de la diagonalisabilité par passage à la puissance.
Analyse de la multiplicité des racines de selon la valeur de .
Résolution.
Sens direct () : Si est diagonalisable, il existe et tels que :
En élevant à la puissance , on obtient par récurrence immédiate :
Comme est une matrice diagonale, est semblable à une matrice diagonale.
Sens réciproque () : Supposons diagonalisable. Soient les valeurs propres distinctes de . Puisque est inversible, l'est aussi, donc n'est pas valeur propre de . Ainsi, pour tout , .
Le polynôme minimal de , noté , est scindé à racines simples sur et s'écrit :
On a , donc la matrice est annulée par le polynôme défini par :
Étudions les racines de . Pour chaque , l'équation possède solutions distinctes dans car . Ces racines sont de la forme pour .
Si deux racines et sont égales, alors leurs puissances -ièmes sont égales, donc . Comme les sont distincts, on a , puis par unicité des racines -ièmes.
Ainsi, est un polynôme scindé à racines simples sur qui annule . D'après le critère de diagonalisabilité polynomial :
Le sens direct () reste toujours vrai : si est diagonalisable, l'est, que soit inversible ou non. En revanche, le sens réciproque () est faux. Considérons la matrice . On remarque que :
Pour , la matrice est la matrice nulle, qui est trivialement diagonalisable. Cependant, est une matrice nilpotente non nulle. Son unique valeur propre est . Si était diagonalisable, elle serait semblable à la matrice nulle, donc elle serait nulle, ce qui est absurde.
L'erreur classique est d'oublier de justifier que les racines du polynôme sont simples. Cela repose crucialement sur le fait que les sont non nuls. Si l'un des est nul (cas de la matrice non inversible), possède une racine multiple () d'ordre .