Soit et . On définit la matrice par :
Montrer que la matrice est diagonalisable si et seulement si la matrice est diagonalisable.
Remarquer que peut s'écrire comme un produit par blocs faisant intervenir .
Diagonaliser la matrice dans .
Utiliser une matrice de passage par blocs pour ramener l'étude de à celle d'une matrice diagonale par blocs.
Diagonalisation d'une petite matrice auxiliaire.
Extension de la diagonalisation aux blocs (similitude par blocs).
Lien entre diagonalisabilité d'une somme directe et de ses composantes.
Résolution.
Considérons la matrice . Son polynôme caractéristique est :
Le discriminant est . Les racines sont complexes conjuguées :
Puisque possède deux valeurs propres distinctes, elle est diagonalisable dans . Il existe donc telle que :
Définissons alors la matrice de passage par blocs par :
Cette matrice est inversible (c'est le produit de Kronecker ) et son inverse est où les sont les coefficients de .
Par un calcul de produit par blocs :
Sens direct () : Si est diagonalisable, alors et le sont aussi. Une matrice diagonale par blocs dont les blocs diagonaux sont diagonalisables est diagonalisable. Ainsi, est diagonalisable, et par similitude, l'est aussi.
Sens réciproque () : Supposons diagonalisable. Alors est diagonalisable. Il existe un polynôme scindé à racines simples tel que . Cela implique :
Comme , la matrice est annulée par le polynôme . Puisque est scindé à racines simples, ses racines sont . Les racines de sont alors , elles sont donc également simples.
\boxed{\text{ est donc diagonalisable.}}
Ne pas oublier de justifier que pour assurer que le polynôme garde des racines simples. Ici .