Soit une matrice symétrique.
Démontrer que est diagonalisable dans l'espace des matrices réelles.
On pourra commencer par exprimer de manière générale sous la forme avec .
Étudier le polynôme caractéristique de et calculer son discriminant.
Discuter de la nature des racines de ce polynôme en fonction du signe du discriminant.
Expression du polynôme caractéristique pour une matrice de taille 2.
Analyse du discriminant d'un trinôme du second degré.
Condition suffisante de diagonalisabilité (racines simples).
Cas particulier des matrices scalaires.
Résolution.
Considérons une matrice supposée symétrique.
Il existe donc trois réels , et tels que :
Calculons le polynôme caractéristique de , noté .
Pour tout , nous avons :
\begin{align*}
\chi_A(X) &= \begin{vmatrix} X-a & -b
-b & X-c \end{vmatrix}
&= (X-a)(X-c) - (-b)^2
&= X^2 - (a+c)X + ac - b^2
\end{align*}
Ce polynôme est un trinôme du second degré. Étudions son discriminant :
Développons et simplifions cette expression :
\begin{align*}
\Delta &= a^2 + 2ac + c^2 - 4ac + 4b^2
&= a^2 - 2ac + c^2 + 4b^2
&= (a-c)^2 + 4b^2
\end{align*}
Comme sont des nombres réels, les termes et sont des carrés de réels, donc positifs ou nuls.
On en déduit immédiatement :
Deux situations se présentent alors :
Premier cas : .
Le polynôme caractéristique possède deux racines réelles distinctes.
La matrice possède donc deux valeurs propres réelles distinctes en dimension 2.
D'après le cours, une matrice de possédant valeurs propres distinctes est diagonalisable.
Deuxième cas : .
Puisque est une somme de deux carrés de réels, implique nécessairement :
Ce qui nous donne et . La matrice s'écrit alors :
La matrice est une matrice diagonale (c'est une matrice scalaire). Elle est donc, par définition, diagonalisable.
Dans tous les cas, une matrice symétrique réelle d'ordre 2 est diagonalisable sur .
Une erreur classique est d'oublier de traiter le cas . On pourrait penser qu'une racine double empêche la diagonalisation (comme pour ), mais ici la symétrie impose que si la racine est double, la matrice est déjà diagonale.