Soit une matrice antisymétrique, c'est-à-dire vérifiant .
Démontrer que est diagonalisable dans .
Commencer par expliciter la forme générale d'une matrice antisymétrique de taille .
Calculer son polynôme caractéristique .
Étudier les racines de ce polynôme dans en distinguant le cas où la matrice est nulle du cas où elle ne l'est pas.
Utiliser le critère de diagonalisabilité portant sur le nombre de racines distinctes du polynôme caractéristique.
Forme paramétrée des matrices antisymétriques de taille 2.
Calcul du polynôme caractéristique et recherche de ses racines complexes.
Théorème : une matrice de possédant valeurs propres distinctes est diagonalisable.
Résolution.
Considérons une matrice .
Par définition, est antisymétrique si et seulement si , ce qui se traduit par :
On en déduit immédiatement que les coefficients diagonaux sont nuls ( et , donc ) et que les coefficients extra-diagonaux sont opposés ().
Ainsi, il existe un réel tel que :
Calculons maintenant le polynôme caractéristique de , noté :
Cherchons les racines de ce polynôme dans . Nous devons distinguer deux cas selon la valeur de :
Premier cas : .
Si , alors la matrice est la matrice nulle :
La matrice nulle est déjà diagonale, elle est donc trivialement diagonalisable sur (et donc sur ).
Second cas : .
Si , le polynôme caractéristique possède deux racines complexes distinctes, qui sont et .
Puisque , on a .
Le polynôme caractéristique de possède donc deux racines simples dans .
D'après le cours, une matrice de taille ayant valeurs propres distinctes est diagonalisable.
I²ci, et nous avons deux valeurs propres distinctes dans .
L'erreur classique est d'oublier de traiter le cas de la matrice nulle. Si la matrice est nulle, le polynôme caractéristique possède une racine double (0), mais la matrice reste diagonalisable car elle est déjà diagonale. Le critère des "racines simples" est une condition suffisante, mais pas nécessaire.