[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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
[<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 82<br />
De même on montre que si un ∼ vn et que un converge alors vn converge.<br />
b) On a <br />
<br />
(1 − i) sin <br />
1 <br />
n <br />
√ <br />
n − 1 ∼<br />
√<br />
2<br />
n3/2 or 1<br />
n3/2 converge car 3/2 > 1.<br />
Par co<strong>mp</strong>araison de séries à termes positifs , (1 − i) sin 1<br />
n2 √<br />
( n − 1) est<br />
absolument convergente donc convergente.<br />
II) a) On vérifie par <strong>le</strong> biais des relations proposées<br />
On en déduit<br />
M 2 − (λ + µ)M + λµIp = Op<br />
M<br />
<br />
λ + µ<br />
λµ Ip − 1<br />
λµ M<br />
<br />
= Ip<br />
Par <strong>le</strong> théorème d’inversibilité, M est inversib<strong>le</strong> et<br />
M −1 =<br />
λ + µ<br />
λµ Ip − 1<br />
λµ M<br />
b) M − µIp = (λ − µ)A et M − λIp = (µ − λ)B.<br />
Or (M − µIp)(M − λIp) = M 2 − (λ + µ)M + λµIp = Op donc (λ − µ) 2 AB = Op<br />
puis AB = Op car λ = µ.<br />
Puisque A = A × Ip = A 2 + AB = A 2 , A est un projecteur.<br />
Il en est de même pour B.<br />
c) M annu<strong>le</strong> <strong>le</strong> polynôme scindé si<strong>mp</strong><strong>le</strong> X 2 − (λ + µ)X + λµ = (X − λ)(X − µ).<br />
La matrice M est donc diagonalisab<strong>le</strong> et Sp(M) ⊂ {λ, µ}.<br />
Il se peut que cette inclusion soit stricte par exe<strong>mp</strong><strong>le</strong> en prenant M = λIp, A = Ip<br />
et B = Op.<br />
En tout cas, <strong>le</strong> spectre n’est pas vide car M est diagonalisab<strong>le</strong>.<br />
Exercice 136 : [énoncé]<br />
I) a) Soient x, y ∈ E. On a<br />
et d’autre part<br />
On en déduit<br />
u(x + y) 2 = x + y 2 = x 2 + 2(x | y) + y 2<br />
u(x + y) 2 = u(x) + u(y) 2 = u(x) 2 + 2(u(x) | u(y)) + u(y) 2<br />
(u(x) | u(y)) = (x | y)<br />
Si x ∈ ker u alors<br />
0 = u(x) 2 = x 2<br />
donc ker u = {0E}.<br />
Puisque E est de dimension finie, on peut conclure que u est bijectif.<br />
b) Montrons que l’ensemb<strong>le</strong> O(E) des endomorphismes étudiés est un sous-groupe<br />
de (GL(E), ◦).<br />
On a O(E) ⊂ GL(E) en vertu de ce qui précède.<br />
On a aussi évidemment IdE ∈ O(E).<br />
Soient u, v ∈ O(E). Pour tout x ∈ E,<br />
<br />
u ◦ v −1 (x) = u(v −1 (x)) = v −1 (x) car u ∈ O(E)<br />
et v −1 (x) = v(v −1 (x)) = x car v ∈ O(E)<br />
Donc u ◦ v −1 ∈ O(E).<br />
II) a) R = 1.<br />
b) Pour x ∈ ]−1, 1[, on a<br />
(1 + x)S(x) =<br />
+∞<br />
(−1) n ln(n)x n +∞<br />
+ (−1) n ln(n)x n+1<br />
n=2<br />
n=2<br />
Après décalage d’indice et réunion des deux sommes<br />
(1 + x)S(x) =<br />
+∞<br />
n=1<br />
(−1) n+1 (ln(n + 1) − ln(n)) x n+1<br />
ce qui conduit à la relation demandée.<br />
c) Posons<br />
gn(x) = (−1) n+1 <br />
ln 1 + 1<br />
<br />
x<br />
n<br />
n+1<br />
ce qui définit gn : [0, 1] → R continue.<br />
A<br />
<br />
l’aide du critère spécial des séries alternées, on montre que la série de fonctions<br />
gn converge uniformément sur [0, 1] ce qui assure que sa somme est continue.<br />
On en déduit par opérations sur <strong>le</strong>s limites<br />
lim<br />
x→1− S(x) = 1<br />
<br />
+∞<br />
(−1)<br />
2<br />
n+1 <br />
ln 1 + 1<br />
<br />
n<br />
<br />
n=1<br />
d) En regroupant <strong>le</strong>s termes d’indices i<strong>mp</strong>airs et pairs consécutifs<br />
2n<br />
k=1<br />
(−1) k+1 <br />
ln 1 + 1<br />
<br />
=<br />
k<br />
n<br />
k=1<br />
<br />
ln 1 + 1<br />
<br />
− ln 1 +<br />
2k − 1<br />
1<br />
<br />
2k<br />
Diffusion autorisée à titre entièrement gratuit uniquement - dD