On considère une matrice dont le déterminant vérifie .
On suppose par ailleurs qu'aucune des valeurs propres complexes de n'est de module .
Démontrer que la matrice est diagonalisable dans .
Commencer par étudier la nature des valeurs propres de (réelles ou complexes non réelles).
Utiliser la propriété selon laquelle les racines complexes d'un polynôme à coefficients réels sont conjuguées.
Exploiter le lien entre le produit des valeurs propres et le déterminant.
Vérifier si les valeurs propres peuvent être multiples.
Lien entre déterminant et spectre : .
Propriété des polynômes réels : si est racine, alors l'est aussi.
Critère de diagonalisabilité : une matrice d'ordre 2 avec deux valeurs propres réelles distinctes est diagonalisable sur .
Résolution.
Soit le polynôme caractéristique de . Comme , est un polynôme de degré 2 à coefficients réels.
Notons et les deux racines de dans , qui sont les valeurs propres de .
Étape 1 : Analyse de la nature des valeurs propres.
Supposons par l'absurde que possède une valeur propre qui ne soit pas réelle ().
Puisque est à coefficients réels, la quantité conjuguée est également une racine de .
On a donc . Le produit des valeurs propres est alors :
Or, le produit des valeurs propres est égal au déterminant de la matrice. D'où :
En passant au module et en utilisant l'hypothèse , il vient :
Ceci contredit l'énoncé qui stipule qu'aucune valeur propre complexe n'est de module .
Par conséquent, les deux valeurs propres de sont nécessairement réelles :
Étape 2 : Distinction des valeurs propres.
Étudions maintenant si ces deux valeurs propres réelles peuvent être égales. Supposons que .
Le produit des valeurs propres nous donne :
En utilisant à nouveau l'hypothèse sur le déterminant, on a ou .
Si , alors ou . Dans les deux cas, . Cela contredit l'hypothèse selon laquelle aucune valeur propre n'est de module .
Si , alors ou . Ceci contredit le fait, établi précédemment, que les valeurs propres sont réelles.
On en déduit que les racines du polynôme caractéristique sont distinctes :
Étape 3 : Conclusion sur la diagonalisabilité.
La matrice possède deux valeurs propres réelles et distinctes.
Le polynôme caractéristique est donc scindé à racines simples sur .
D'après le cours sur la réduction, cela garantit la diagonalisabilité de la matrice.
L'erreur fréquente est d'oublier de traiter le cas où les valeurs propres pourraient être complexes non réelles. Il faut bien justifier que la condition sur le module force les racines à être réelles avant de discuter de leur multiplicité.