MPSI B 29 juin 2019

Énoncé Corrigé
Soit E un R-espace vectoriel de dimension 4 muni d'une base B = (e1 , e2 , e3 , e4 ). 1. On trouve
Soit f un endomorphisme de E dont la matrice dans B est    
  1 −1 1 −1 0 1 −3 3
1 −1 2 −2 2
0 0 0 0 2
0 1 −2 2
0 0 1 −1 A =  (A − I4 ) =   A2 (A − I4 )2 = 0M4 (R)
2 −2 2 −1 0 0 1 −1
A= 1 −1 1 0 

2 −2 2 −1 0 0 0 0
1 −1 1 0
2. a. Comme A2 = MatA f 2 et (A − I4 )2 = MatA (f − idE )2 , la formule du rang donne
1. Calculer A2 , (A − I4 )2 , A2 (A − I4 )2 .
dim N1 = 4 − rg A2 et dim N2 = 4 − rg(A − I4 )2 . Ces dimensions sont égales à 2
2. On pose N1 = ker f 2 et N2 = ker(f − idE )2 . car les rangs sont égaux à 2.
a. Calculer les dimensions de N1 et N2 et montrer qu'ils sont supplémentaires. Ce calcul des rangs est justié en transformant les matrices par opérations élé-
b. Montrer que N1 et N2 sont stables par f , c'est à dire f (N1 ) ⊂ N1 et f (N2 ) ⊂ N2 . mentaires.
 On transforme (A − I4 )2 par les opérations L4 ← L4 − L3 , L3 ← L3 − 2L1 . Le
3. a. Montrer que N2 = Im f 2 et N1 = Im (f − idE )2 .
rang est donc le même que celui de
b. Trouver une base U = (u1 , u2 , u3 , u4 ) de E telle que
 
  1 −1 1 −1
0 1 0 0 0
0 0 0 0 0 0
0 
0

Mat f =  0 0 1
 0 0 1
U 1
0 0 0 0
0 0 0 1
qui est clairement 2.
 On transforme (A − I4 )2 par les opérations L1 ← L1 + 3L3 , L2 ← L2 + 2L1 ,
L2 ← L2 − L1 . Le rang est donc le même que celui de
 
0 1 0 0
0 0 0 0
 
0 0 1 −1
0 0 0 0

qui est clairement 2.

Comme N1 et N2 sont deux sous-espaces de dimension 2 d'un espace de dimension
4, il sut de montrer que leur intersection est réduite au vecteur nul pour prouver
qu'ils sont supplémentaires.
Un vecteur v de coordonnées (x, y, z, t) est dans cette intersection si et seulement
si (x, y, z, t) est solution d'un système linéaire de 8 équations. Certaines de ces
équations sont triviales (0 = 0) ou équivalentes. Avec les mêmes opérations sur

Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai Aalglin21
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
MPSI B 29 juin 2019

les lignes qui ont servi à calculer le rang, elles se ramènent à :

 
 x− y+z− t=0  x=0

 

 t=0  y=0
v ∈ N1 ∩ N2 ⇔ ⇔

 y =0 
 z=0

 

z− t=0 t=0
On pouvait aussi raisonner plus vectoriellement. Si x est dans les deux noyaux
alors
 f (x) = 1 x
( 2 
f (x) − 2f (x) + x = 0E 1
2
⇒ 2 ⇒ 0E = f 2 (x) = x ⇒ x = 0E
f (x) = 0E  2 4
f (x) = 0E
b. Si v ∈ N1 alors f 2 (f (v)) = f (f 2 (v)) = f (0E ) = 0E donc f (v) ∈ N1 . Le sous-
espace N1 est stable par f .
De même, si v ∈ N2 alors (f − idE )2 (f (v)) = f ((f − idE )2 (v)) = f (0E ) = 0E
donc f (v) ∈ N2 . Le sous-espace N2 est stable par f . Le point important ici est
que f commute avec les endomorphismes dont on considère le noyau.
3. a. On a montré à la question 1 que A2 (A − I4 )2 est la matrice nulle. Cela entraine
que f 2 ◦ (f − idE )2 et (f − idE )2 ◦ f 2 sont égaux à l'endomorphisme nul donc que
Im(f 2 ) ⊂ N1 et Im((f − idE )2 ) ⊂ N1 . Par le calcul de rang déjà fait, les deux
images sont de dimension 2. De l'égalité des dimensions, on déduit l'égalité des
sous-espaces.
b. Le vecteur u2 doit vérier f (u2 ) = u1 et f 2 (u2 ) = f (u1 ) = 0E . Il s'agit donc
d'un vecteur de N1 qui n'est pas dans dans le noyau de f . On trouve de tels
vecteurs en considérant les colonnes de (A − I4 )2 . La première ne convient pas
car elle correspond à un élément du noyau, en combinant les colonnes 2 et 3 on
peut former u2 = −e1 + e3 puis u1 = f (u2 ) = e1 + e2 .
Choisissons un vecteur u4 dans N2 , par exemple u4 = e1 qui est dans N2 car la
première colonne de (A − I4 )2 est nulle. Posons u3 = (f − idE )(u4 ) = e3 + e4 . On
a alors u3 = f (u4 ) − u4 donc f (u4 ) = u3 + u4 . De plus, de (f − idE )2 (u4 ) = 0E ,
on tire alors f (u3 ) = u3 .
On vérie facilement que la famille U = (e1 + e2 , −e1 + e3 , e3 + e4 , e1 ) est une
base. Par construction de ces vecteurs :
 
0 1 0 0
0 0 0 0
Mat f =  0 0 1 1

U
0 0 0 1

Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai Aalglin21
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/