Soit un entier naturel non nul. On considère deux vecteurs et .
On définit la matrice par blocs de taille par :
À quelle condition nécessaire et suffisante sur et la matrice est-elle diagonalisable sur ?
Commencer par calculer les puissances de , en particulier et .
Introduire le scalaire et exprimer en fonction de et .
Utiliser le lien entre diagonalisabilité et existence d'un polynôme annulateur scindé à racines simples.
Discuter selon le signe du produit scalaire et traiter avec soin le cas de la nilpotence.
Recherche d'un polynôme annulateur par calcul de blocs.
Étude du spectre et des dimensions des sous-espaces propres.
Condition de diagonalisabilité pour les matrices nilpotentes.
1. Calcul d'un polynôme annulateur.
Effectuons le produit par blocs pour déterminer :
Notons la valeur du bloc scalaire en bas à droite. Calculons maintenant :
Comme le produit de matrices est associatif, . On en déduit :
Ainsi, le polynôme est un polynôme annulateur de .
2. Analyse selon la valeur de .
Cas 1 : . Les racines de sont . Elles sont réelles et distinctes deux à deux. Puisque possède un polynôme annulateur scindé à racines simples sur , on conclut que :
Cas 2 : . Le polynôme se factorise sur en . Ses racines sont . Le polynôme minimal de divise . Comme , on a et . Donc doit admettre des racines non réelles parmi les racines de . n'étant pas scindé sur , la matrice n'est pas diagonalisable sur . (Elle est toutefois diagonalisable sur car ses racines sont simples).
Cas 3 : . Dans ce cas, . La matrice est donc nilpotente. Une matrice nilpotente est diagonalisable si et seulement si elle est nulle.
3. Synthèse des conditions.
D'après l'étude précédente, est diagonalisable sur si et seulement si :
Vérifions si les cas où l'un des deux seulement est nul sont inclus. Si et , alors (donc ) mais . n'est pas diag. Si et , alors (donc ) mais . n'est pas diag.
Conclusion finale :
Attention à ne pas conclure trop vite que est diagonalisable dès que . Dans ce cas, est nilpotente et ne peut être diagonalisable que si elle est la matrice nulle. Le simple fait que n'implique pas que est nulle (penser au cas où et sont orthogonaux mais non nuls).