CPGE MPSI Matrices M.

ELHAFI

EXERCICE 1

2 −1
On pose 𝐴 = ( )
−2 3

1)Montrer que 𝑃 = 𝑋 2 − 5𝑋 + 4 est un polynôme annulateur de A (cad P(A)=0)

2) En déduire que A est inversible et donner son inverse

3)Soit 𝑛 un entier supérieur ou égal à 2

a) Déterminer le reste de la division euclidienne de 𝑋 𝑛 par 𝑃

b) En déduire l’expression de 𝐴𝑛

EXERCICE 2

4 −2 −2
On considère la matrice 𝐴 = (1 0 −1) , 𝐵 = (𝑒1 , 𝑒2 , 𝑒3 ) la base canonique de 𝐼𝑅 3
3 −2 −1

Soit 𝑓 l’endomorphisme de 𝐼𝑅 3canoniquement associé à 𝐴

1)Déterminer une base de : 𝐾𝑒𝑟(𝑓) , 𝐾𝑒𝑟(𝑓 − 𝑖𝑑𝐼𝑅3 ) , 𝐾𝑒𝑟(𝑓 − 2𝑖𝑑𝐼𝑅3 )

2 0 0
(𝜀 ) 3 (𝑓 )
2)En déduire une base 𝐶 = 1 , 𝜀2 , 𝜀3 de 𝐼𝑅 telle que 𝑚𝑎𝑡𝐶 = 𝐷 = (0 1 0)
0 0 0

3) Exprimer la matrice 𝐴 en fonction de 𝐷 En déduire 𝐴𝑛 pour 𝑛 ∈ 𝐼𝑁 ∗

4) On pose 𝐶(𝐴) = {𝑀 ∈ 𝑀3 (𝐼𝑅) , 𝐴𝑀 = 𝑀𝐴}

a) Montrer que 𝐶(𝐴) est un 𝐼𝑅 ev

b) Montrer que : 𝑀 ∈ 𝐶(𝐴) ⟺ 𝑃−1 𝑀𝑃 ∈ 𝐶(𝐷)

c) Déterminer 𝐶(𝐷) et en déduire 𝐶(𝐴)

EXERCICE 3

2 −1 −1
On considère la matrice 𝐴 = (−1 2 −1) , 𝐵 = (𝑒1 , 𝑒2 , 𝑒3 ) la base canonique de 𝐼𝑅3
−1 −1 2

Soit 𝑓 l’endomorphisme de 𝐼𝑅 3canoniquement associé à 𝐴

1) Déterminer 𝑟𝑔(𝐴) . 𝑓 est − elle bijective?

2)Déterminer une base de 𝐾𝑒𝑟(𝑓) et 𝐾𝑒𝑟(𝑓 − 3𝑖𝑑𝐼𝑅3 )

3)En déduire une base 𝐵′ de 𝐼𝑅 3 dans laquelle 𝐷 = 𝑚𝑎𝑡𝐵′ (𝑓) 𝑒𝑠𝑡 𝑑𝑖𝑎𝑔𝑜𝑛𝑎𝑙𝑒

4) Exprimer 𝐴 en fonction de 𝐷 et en déduire 𝐴𝑛 pour 𝑛 ∈ 𝐼𝑁

Exercice 4

Soit l’application 𝑢: 𝑀𝑛 (𝐼𝑅) ⟶ 𝐼𝑅 , 𝐴 ⟶ 𝑡𝑟(𝐴) et 𝐻 = {𝑀 ∈ 𝑀𝑛 (𝐼𝑅) , 𝑡𝑟(𝑀) = 0}

1)Montrer que H est un hyperplan de 𝑀𝑛 (𝐼𝑅) et donner dim𝐻

2)Montrer que : 𝑀𝑛 (𝐼𝑅) = 𝐻⨁𝑣𝑒𝑐𝑡(𝐼𝑛 )

3)Soit l’application φ ,qui à toute matrice 𝑀 de 𝑀𝑛 (𝐼𝑅) , associe φ(𝑀) = 𝑡𝑟(𝑀)𝐼𝑛 − 𝑀

a)Montrer que φ est linéaire et déterminer sa matrice dans une base adaptée de 𝑀𝑛 (𝐼𝑅)

b) En déduire 𝑡𝑟(𝜑)

( la trace d’une matrice carrée est la somme de ses coefficients diagonaux )

Exercice 5

1) Soit 𝐴 ∈ 𝑀𝑛 (𝐼𝐾) de rang 1

a) Montrer qu’il existe 𝑈 et 𝑉 ∈ 𝑀𝑛,1 (𝐼𝐾) /{0} tels que 𝐴 = 𝑈𝑉 𝑇 et tr(A)=𝑈 𝑇 𝑉

b)Pour 𝑘 ∈ 𝐼𝑁 ∗ , exprimer 𝐴𝑘 en fonction de 𝑡𝑟(𝐴) et 𝐴

2)Soit 𝐴 ∈ 𝑀3 (𝐼𝐾) telle que 𝐴2 = 0 et 𝐴 ≠ 0

Montrer que ∶ 𝑟𝑔(𝐴) = 1 et 𝑡𝑟(𝐴) = 0

(ind : Considérer l’endomorphisme canoniquement associé à A)