Premièrepartie
Notations:C=(Ei)1·i·ndésignelabase canoniquedeRnetsiA2Mn(R),on notediag(A)=(a11;a22; :::; ann)ladiagonale
deA.
On noteul’endomorphismedeRncanoniquementassociéàA;c’est-à-diretelqueA=MatC(u)
Lesujetcomporteun abusdenotationclassique enmultipliantunematrice (A)parun vecteur.C’estl’identi…cation usuel
d’unematrice colonne etd’un vecteurdeRn.L’introduction deupermetdefaciliterlarédactionenévitant trop d’abusde
ce type.
On utiliserasouventlefaitruesiAetBsontsemblablesalorspourtoutscalaire®A+®IetB+®Isontaussisemblable:
A=PBP¡1)(A+®I)=P(B+®I)P¡1
1.
a)Raisonnementparl’absurde:onsupposequetoutvecteurnon nuldeRnestvecteurpropredeu:
En particulier:8i2[1::n]9¸i2Ru(Ei)=¸iEi:EnécrivantqueX=Ei+Ejestaussivecteurpropre,on
obtient:u(X)=¹Xsoit¹(Ei+Ej)=¸iEi+¸jEj:Pourtouslesi;jtelsquei6=j;on déduit¹=¸i=¸jcar
(Ei;Ej)estlibre.Ainsi¸1=¸2=::: =¸nquiprouvequeAestscalaire.
Remarque:C’estl’idée classique quesipourunendomorphismeutoutvecteurestliéavec sonimage alorsl’endomorphisme
estunehomothétie.
1.b)Unematrice BestB=MatC0(u)oùC0=(E0
k)1·k·nsedéduitdeCparl’échangedeEietEjc’est-à-dire
E0
i=Ej;E0
j=Ei;E0
k=Eksik=2fi;jg:
Deuxièmepartie
2.A2Mn(R)tellequetr(A)=0:
a)SiA6=0;Anepeutêtrescalaire(cartr(¸I)=n¸=0=)¸=0).D’après1.a),il existeX12RntelqueX1et
X2=A=u(X1)sontliés.Oncomplète ensuitelafamillelibre(X1;X2)en unebasedeRn:
b)Onconsidère:P(n):“toutematrice A2Mn(R)tellequetr(A)=0estsemblableàunematrice dediagonale
nulle”.
P(1)étantévidente,
P(2)estvrai : D’aprèslea)il existeunebase(X1;X2)tellequedanscettebaseu(X1)=X2onadonc
Mat(X1X2)(u)=B=µ0a
1b¶
etAestdoncsemblableàcettematrice.Ordeuxmatrices semblablesontmêmetrace doncb=0.Onabienle
résultatvoulu.
hérédité:onsupposequeP(n¡1)estvraiepourun entiern¸3eton démontreP(n):
Soitunematrice A2Mn(R)detrace nulle.OnsupposeA6=0(pourA=0;lerésultatestimmédiat) eton
considèreX=(X1;X2:::; Xn)unebasedeRntelqueu(X1)=X2:Alors
A0=MatX(u)=µ0L1
C1A1¶
oùC1=0
B
B
B
@
1
0
.
.
.
0
1
C
C
C
A2Mn¡1;1(R),L12M1;n¡1(R)estunematrice ligne etA12Mn¡1(R):Lesmatrices semblables
AetA0ontmêmetrace,àsavoir:0=tr(A)=tr(A0)=tr(A1):
Onapplique ensuiteP(n¡1)àlamatrice A1:il existeP2GLn¡1(R)tellequeP¡1A1P=B1oùdiag(B1)=
(0;0; :::; 0)n¡1.
Lamatrice àblocsdiagonauxQ=µ1 0
0P¶estinversible etQ¡1=µ1 0
0P¡1¶:
Parproduitdesblocs,onvéri…equeQ¡1A0Q=Bs’écritB=µ0L2
C2B1¶oùL2=L1PetC2=P¡1C1:La
matrice Bétantàdiagonalenulle,P(n)estdémontrée.
3.
3