[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 ...
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