D´efinitions3:SoitMSnR,c’est-`a-direqueMestunematrice sym´etriquer´eelle.
Onconfondratoutematrice AadeM1Ravec ler´eela.
On ditqueMestpositivesi : XMn,1R,t
XMX0.
On ditqueMestd´efinie-positivesiMestpositive etinversible.
PartieIII :DIAGONALISABILIT´
EDANS LECAS SYM´
ETRIQUE
III.1.
III.1.a. MontrerquepourMmi,j1i,jnMnR,Xxi1inMn,1Ret
Yyi1inMn,1R,alorst
XMY
1i,jn
mi,jxiyj.
III.1.b.En d´eduirequepourXMn,1Rnon nul, t
XX 0.
III.1.c.Montrerque,pourMSnR, lespropositions suivantes sont´equivalentes:
i)Mestd´efinie-positive;
ii)Sp MR;
iii)il existePOnRetDDnRtellesqueMPDt
P;
iv)il existeLGLnRtellequeMt
LL.
Dansle cas o`uMestd´efinie-positive,on pose:X,YMn,1R2,X,YMt
XMY.
III.2. MontrerquesiMestd´efinie-positive, l’application X,YX,YMestun produit
scalairesurMn,1R.
III.3. Onsupposedanscettequestion queA, BSnR2avec Bd´efinie-positive.On
supposealorsqueLestunematrice deGLnRtellequeBt
LL eton d´efinit,par III.2, un
produitscalairesurMn,1R,not´e,B.
III.3.a. Trouverunematrice CSnRtelleque,pourtoutλRetXMn,1R,
AX λBXCZλZo`uon apos´eZLX.
III.3.b.Montrerqu’il existeunebaseBe1, . . . , endeMn,1Rquisoitorthonormale
pourleproduitscalaire,Inet telleque,pourtouti1,n, il existeλiRv´erifiant:
Ceiλiei.
III.3.c.Montrerqu’il existeunebaseBe1, . . . , endeMn,1Rquisoitorthonormale
pourleproduitscalaire,Bet telleque,pourtouti1,n,AeiλiBei.
III.3.d.En d´eduirequele coupleA, Bestdiagonalisable.
III.4. Onsupposedanstoutelafin delapartieIII quele coupleA, Bestr´egulieretqueA
etBsont touteslesdeuxsym´etriquesr´eellespositives.
III.4.a. Montrerl’existence deλ0RtelqueAλ0Bsoitunematrice sym´etrique
r´eelled´efinie-positive.
III.4.b.En d´eduirequele coupleA, Bestdiagonalisable.