Soient un -espace vectoriel de dimension finie, un endomorphisme de et un polynôme de . On suppose que l'endomorphisme est inversible.
Montrer que est diagonalisable si, et seulement si, est diagonalisable.
Pour le sens direct, utiliser la caractérisation de la diagonalisabilité par l'existence d'une base de vecteurs propres.
Pour le sens réciproque, considérer le polynôme minimal de l'endomorphisme et étudier le polynôme composé .
Utiliser le fait qu'un endomorphisme est diagonalisable si et seulement si son polynôme minimal est à racines simples.
Faire le lien entre les racines de et les valeurs propres de en examinant la dérivée .
Lien entre diagonalisabilité et racines simples du polynôme minimal.
Stabilité de la diagonalisabilité par application d'un polynôme.
Relation entre le spectre d'un endomorphisme et l'inversibilité de ses polynômes.
Sens direct : On suppose diagonalisable.
Soit une base de constituée de vecteurs propres de .
Pour chaque , il existe tel que .
Par propriété des polynômes d'endomorphismes, on a alors :
La base est donc également une base de vecteurs propres pour .
On en déduit le résultat intermédiaire :
Remarque : On note que cette implication ne nécessite pas l'inversibilité de .
\vspace{0.5cm}
Sens réciproque : On suppose diagonalisable et (E).}
Soit le polynôme minimal de l'endomorphisme .
Puisque est diagonalisable, est scindé à racines simples sur . On peut l'écrire sous la forme :
Considérons le polynôme . Par définition du polynôme minimal, on a :
Le polynôme est donc un polynôme annulateur de .
Pour montrer que est diagonalisable, il suffit de prouver que les racines de son polynôme minimal sont simples. Comme divise , il suffit de montrer que chaque valeur propre de est une racine simple de .
Soit une valeur propre de . Alors est une valeur propre de , donc :
Calculons la dérivée de au point :
Analysons les deux facteurs de ce produit :
On en déduit que .
Toute racine de est une racine de de multiplicité 1. Comme est scindé sur , il est à racines simples.
On conclut :
L'hypothèse inversible est indispensable pour la réciproque. Par exemple, si et , alors est diagonalisable, mais ne l'est pas. Ici et n'est pas inversible.