16.08.2013 Views

[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...

[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...

[http://mp.cpgedupuydelome.fr] édité le 4 juin 2013 Enoncés 1 ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

[<strong>http</strong>://<strong>mp</strong>.<strong>cpgedupuydelome</strong>.<strong>fr</strong>] <strong>édité</strong> <strong>le</strong> 26 juil<strong>le</strong>t <strong>2013</strong> Corrections 83<br />

et donc<br />

2n<br />

(−1) k+1 <br />

ln 1 + 1<br />

<br />

n<br />

⎛<br />

2k 2k<br />

= ln<br />

= ln ⎝<br />

k<br />

2k − 1 2k + 1<br />

1<br />

<br />

n<br />

⎞<br />

2<br />

2k<br />

⎠<br />

2n + 1 2k − 1<br />

k=1<br />

k=1<br />

Enfin par la formu<strong>le</strong> du Wallis, on obtient<br />

1 π<br />

lim S(x) = ln<br />

x→1− 2 2<br />

Exercice 137 : [énoncé]<br />

I) a) Soit un une série absolument convergente de l’espace normé et (Sn) la<br />

suite de ses sommes partiel<strong>le</strong>s.<br />

La série numérique un converge, notons (Tn) la suite de ses sommes<br />

partiel<strong>le</strong>s.<br />

On a<br />

n<br />

n<br />

Sn = uk et Tn = uk<br />

donc<br />

k=0<br />

k=0<br />

Sn+p − Sn |Tn+p − Tn|<br />

Puisque la suite (Tn) converge, el<strong>le</strong> vérifie <strong>le</strong> critère de Cauchy et donc<br />

et alors<br />

∀ε > 0, ∃N ∈ N, ∀n N, ∀p ∈ N, |Tn+p − Tn| ε<br />

∀ε > 0, ∃N ∈ N, ∀n N, ∀p ∈ N, Sn+p − Sn ε<br />

La suite (Sn) est donc de Cauchy et l’espace normé étant supposé co<strong>mp</strong><strong>le</strong>t, cel<strong>le</strong>-ci<br />

converge.<br />

b) N’i<strong>mp</strong>orte quel R-espace vectoriel ou C-espace vectoriel de dimension finie est<br />

co<strong>mp</strong><strong>le</strong>t.<br />

II) a) (A | B) = tr (A t B) définit <strong>le</strong> produit scalaire canonique sur Mn(R),<br />

(A | B) =<br />

b) Pour A ∈ Sn(R) et B ∈ An(R), on a<br />

n<br />

i,j=1<br />

ai,jbi,j<br />

(A | B) = tr(A t B) = −tr(AB) et (A | B) = (B | A) = tr( t AB) = tr(AB)<br />

On en déduit (A | B) = 0.<br />

k=1<br />

Les espaces Sn(R) et An(R) et donc en somme directe.<br />

Puisqu’on peut écrire pour tout M ∈ Mn(R),<br />

M = 1 t 1 t<br />

M + M + M − M<br />

2<br />

2<br />

avec 1<br />

2 (M + tM) ∈ Sn(R) et 1<br />

2 (M − tM) ∈ An(R), <strong>le</strong>s espaces Sn(R) et An(R)<br />

sont supplémentaires orthogonaux.<br />

La distance de M à S3(R) est éga<strong>le</strong> à la distance de M à son projeté orthogonal<br />

sur S3(R) i.e.<br />

d(M, S3(R)) = 1 <br />

M −<br />

2<br />

t M = 2<br />

c) H est <strong>le</strong> noyau de la forme linéaire non nul<strong>le</strong> trace, c’est donc un hyperplan de<br />

Mn(R).<br />

La matrice In est orthogona<strong>le</strong> à tout élément de H et c’est donc un vecteur<br />

normal à l’hyperplan H.<br />

On en déduit<br />

d(H, J) = |(In | J)|<br />

In<br />

= n<br />

√ n = √ n<br />

Exercice 138 : [énoncé]<br />

I) C’est une équation différentiel<strong>le</strong> linéaire d’ordre 1 définie sur ]1, +∞[.<br />

La solution généra<strong>le</strong> est<br />

y(x) = C x 2 − 1 + 2(x 2 − 1) avec C ∈ R<br />

II) a) Les endomorphismes λIdE ont la propriété voulue.<br />

b) Les famil<strong>le</strong>s (e1, . . . , en) et (e1 + ei, e2, . . . , en) engendrent <strong>le</strong> même espace<br />

vectoriel. Etant toutes deux formées de n vecteurs, si l’une est libre, l’autre aussi.<br />

c) Soit u un endomorphisme de E dont la matrice est diagona<strong>le</strong> dans toutes <strong>le</strong>s<br />

bases de E.<br />

La matrice de u dans la base (e1, . . . , en) est de la forme diag(λ1, λ2, . . . , λn).<br />

Puisque la matrice de u dans la base (e1 + ei, e2, . . . , en) est aussi diagona<strong>le</strong>, il<br />

existe α ∈ R tel que<br />

u(e1 + ei) = α(e1 + ei)<br />

Or par linéarité<br />

u(e1 + ei) = u(e1) + u(ei) = λ1e1 + λiei<br />

Par liberté de la famil<strong>le</strong> (e1, ei) on identifie <strong>le</strong>s scalaires et on peut affirmer<br />

λ1 = α = λi<br />

Diffusion autorisée à titre entièrement gratuit uniquement - dD

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!