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

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

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

Saved successfully!

Ooh no, something went wrong!