Montrer que A est diagonalisable et déterminer une matrice diagonale D et une matrice inversible Q telles que Q−1AQ=D.
On souhaite résoudre l'équation M2=A pour M∈M3(R).
Montrer que si M2=A, alors M commute avec A.
En déduire que les sous-espaces propres de A sont stables par M.
Déterminer la forme des matrices M solutions en fonction de Q.
1.
Pour la réduction, vérifier que 1 et 2 sont racines du polynôme caractéristique.
2.
La stabilité des sous-espaces propres par un endomorphisme qui commute est un résultat classique de cours.
3.
Si M stabilise E1 (dim 1) et E2 (dim 2), alors dans une base adaptée, M est diagonale par blocs. Résoudre l'équation sur chaque bloc.
Idées clés
•
Réduction : χA(x)=(x−1)(x−2)2 avec dim(E2)=2.
•
Commutation et stabilité : M préserve les sous-espaces propres de A.
•
Résolution de B2=2I2 dans M2(R).
1. Réduction de A
Le calcul du polynôme caractéristique donne χA(x)=(x−1)(x−2)2.
Les sous-espaces propres sont :
E1(A)=Vect(v1) avec v1=(1,−1,−1)T.
E2(A)=ker(A−2I)=ker−333−111−111={(x,y,z)∣3x+y+z=0}.
On a dimE2(A)=2, donc A est diagonalisable. Avec v2=(0,1,−1)T et v3=(1,−3,0)T (par exemple), on a :
Q=1−1−101−11−30,D=diag(1,2,2)
2. Résolution de M2=A
Si M2=A, alors MA=M(M2)=M3 et AM=(M2)M=M3. Donc MA=AM.
Comme M et A commutent, M laisse stable tout sous-espace propre de A.
Dans la base de diagonalisation de A, la matrice de M s'écrit par blocs :
Q−1MQ=(a00B)ouˋa∈M1(R),B∈M2(R)
L'équation M2=A devient :
(a200B2)=(1002I2)
On en tire a2=1⟹a=±1.
Et B2=2I2. Comme le polynôme X2−2 est scindé à racines simples sur R, B est diagonalisable de valeurs propres incluses dans {2,−2}.
Analyse des solutions pour B :
Cas 1 : Sp(B)={2}. Alors B=2I2.
Cas 2 : Sp(B)={−2}. Alors B=−2I2.
Cas 3 : Sp(B)={2,−2}. Alors B est semblable à diag(2,−2).
Ce sont les matrices de trace nulle et de déterminant −2. Elles s'écrivent :
B=(αγβ−α) avec α2+βγ=2.
L'ensemble des solutions est :
S={Q(±100B)Q−1∣B2=2I2}
Attention, quand une valeur propre est multiple (ici 2), la matrice M n'est pas forcément diagonale dans la base de diagonalisation de A. Elle est seulement "diagonale par blocs". Il y a ici une infinité de solutions.