PCSI 2013-2014 Math´ematiques Lyc´ee de L’essouriau
PROBL`
EME 2 : Une ´equation matricielle
Extrait sujet «Petites Mines »2010
Le but de ce probl`eme est d’´etudier diff´erentes matrices qui commutent avec leur transpos´ee, c’est `a dire
qui v´erifient la relation M.tM=tM.M (1).
Dans la suite de l’´enonc´e, on se contentera alors de dire que la matrice Mv´erifie la relation (1).
PR´
ELIMINAIRES
1. Rappeler la dimension de Mn(R) ainsi que sa base canonique.
PARTIE I
Dans toute cette partie, toutes les matrices envisag´ees seront dans l’espace vectoriel M2(R), c’est `a dire
ayant 2 lignes, 2 colonnes et des coefficients r´eels.
En particulier, on notera I=1 0
0 1 ,A=0 1
1 0 ,C=0−1
1 0 .
2. Montrer que les matrices Aet Cv´erifient la relation (1).
3. Calculer A2. En d´eduire que pour tout entier naturel non nul, Anv´erifie la relation (1).
4. Montrer que Aest inversible.
Dans toute la suite on notera U=A+I.
5. Montrer que la matrice Uv´erifie la relation (1). Montrer : ∀n∈N∗,∃αn∈R, Un=αnU.
En d´eduire que toutes ses puissance Un,n∈N∗v´erifient la relation (1).
On notera dans la suite E2l’ensemble des matrices de M2(R) qui v´erifient la relation (1).
6. Calculer les produits de la matrice A+Cet de sa transpos´ee.
En d´eduire que E2n’est pas un sous-espace vectoriel de M2(R).
7. ´
Etant donn´e une matrice M=a b
c d quelconque de M2(R), d´eterminer les conditions n´ecessaires
et suffisantes sur a,b,cet dpour que Mappartienne `a E2. On donnera les deux formes possibles des
matrices de E2.
8. En d´eduire que E2est la r´eunion de deux sous-espaces vectoriels de M2(R), dont on pr´ecisera pour
chacun une base.
9. ´
Etant donn´e Met Ndeux matrices de E2, a-t-on n´ecessairement M.N ∈E2? On pourra utiliser
certaines matrices introduites pr´ec´edemment dans l’´enonc´e.
PARTIE II
On se place ici dans l’espace M3(R), et on consid`ere la matrice S=
0 1 0
0 0 1
−1 0 0
.
L’ensemble des matrices de M3(R) qui commutent avec leur transpos´ee (donc qui v´erifient la relation (1))
est not´e E3.
10. D´eterminer S2et montrer que Set S2sont dans E3.
11. Montrer que pour tous r´eels a,bet c, la matrice R=aI3+bS +cS2appartient `a E3.
12. En d´eduire que E3contient un espace vectoriel de dimension 3 que l’on notera F.
13. Montrer que Fest stable par multiplication matricielle.
4