Soit . On considère une matrice vérifiant les deux conditions suivantes :
La matrice est-elle diagonalisable ? Justifier avec précision.
Introduire le polynôme et factoriser dans .
Utiliser le lien entre la diagonalisabilité d'une matrice et les racines de son polynôme minimal.
Procéder par l'absurde en supposant diagonalisable.
Caractérisation polynomiale : une matrice est diagonalisable si et seulement si elle admet un polynôme annulateur scindé à racines simples.
Relation entre polynôme annulateur et polynôme minimal.
Résolution.
Posons le polynôme défini par :
On commence par factoriser . On remarque que est racine évidente. On a :
Le discriminant du trinôme est . Les racines sont donc et . On obtient la factorisation :
D'après les hypothèses de l'énoncé, nous savons que :
Notons . Le polynôme est un polynôme annulateur de .
Raisonnons par l'absurde en supposant que la matrice est diagonalisable.
Si est diagonalisable, alors son polynôme minimal, noté , est scindé sur et ne possède que des racines simples. Comme est un polynôme annulateur de , on sait que divise . Ainsi :
Les racines de sont nécessairement incluses dans l'ensemble des racines de , à savoir . Puisque nous avons supposé que est diagonalisable, les racines de doivent être simples. Par conséquent, le polynôme minimal doit diviser le produit des facteurs de premier degré associés à ces racines :
Or, nous avons identifié que . L'assertion précédente implique donc que :
Par définition du polynôme minimal, puisque divise , alors est un polynôme annulateur de la matrice . On en déduit :
Ceci contredit directement la seconde hypothèse de l'énoncé qui stipule que .
L'hypothèse de départ est donc fausse.
L'erreur classique consiste à penser que si , alors est forcément non diagonalisable dès que a des racines multiples. C'est faux : une matrice peut être diagonalisable même si on lui trouve un polynôme annulateur à racines multiples (par exemple est annulée par ). C'est la donnée qui force ici la non-diagonalisabilité en empêchant le polynôme minimal d'avoir des racines simples.