24.02.2014 Views

Corrigé des exercices - Dunod

Corrigé des exercices - Dunod

Corrigé des exercices - Dunod

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

248<br />

c) Supposons que l > 0. On a par définition de c n ,<br />

∫ cn<br />

0<br />

e nt2 =<br />

∫ 1<br />

c n<br />

e −nt2 1.<br />

Mais comme la suite (c n ) n∈N est décroissante, elle est minorée par l. On en déduit, puisque<br />

la fonction que l’on intègre est positive que<br />

∫ l<br />

0<br />

e nt2 dt <br />

∫ cn<br />

D’après la question a, la suite de terme général<br />

0<br />

e nt2 dt 1.<br />

∫ l<br />

0<br />

e nt2 dt a pour limite +∞. Ceci est<br />

impossible car elle majorée par 1. Donc nécessairement l = 0. La suite (c n ) n∈N converge vers<br />

0.<br />

Exercice 22.18<br />

1. Soit F la primitive de f qui s’annule en a. Comme f > 0, f est strictement croissante sur<br />

[a,b] et réalise une bijection de [a,b] sur [0,I], où I =<br />

∫ b<br />

a<br />

f(t)dt.<br />

La subdivision σ doit vérifier, pour tout k de [[0,n − 1]], F(x k+1 ) − F(x k ) = I , ce qui<br />

n<br />

équivaut à<br />

F(x k ) = F(x 0 ) + kI<br />

n = kI<br />

n ,<br />

car x 0 = a. La fonction F étant bijective de [a,b] sur [0,I], la suite est définie par<br />

)<br />

.<br />

On observe qu’on a bien x n = b.<br />

2. On a donc, pour n 1,<br />

1<br />

n∑<br />

f(x k ) = 1 n n<br />

k=0<br />

∀k ∈ [[0,k]] x k = F −1 ( kI<br />

n<br />

n∑<br />

( ) kI<br />

(f ◦ F −1 ) = 1 n I · I<br />

n<br />

k=0<br />

n∑<br />

(f ◦ F −1 )<br />

k=0<br />

( ) kI<br />

.<br />

n<br />

On reconnaît une somme de Riemann de la fonction f ◦F −1 sur l’intervalle [0,I]. On a donc<br />

1<br />

n∑<br />

lim f(x k ) = 1 ∫ I<br />

(f ◦ F −1 )(x)dx.<br />

n→+∞ n I<br />

k=0<br />

On fait un changement de variable dans l’intégrale en posant t = F −1 (x) et donc x = F(t).<br />

On a donc dx = f(t)dt et<br />

On conclut :<br />

∫ I<br />

0<br />

(f ◦ F −1 )(x)dx =<br />

1<br />

lim<br />

n→+∞ n<br />

n∑<br />

f(x k ) =<br />

k=0<br />

0<br />

∫ b<br />

a<br />

∫ b<br />

a<br />

∫ b<br />

(f(t)) 2 dt.<br />

(f(t)) 2 dt<br />

.<br />

a<br />

f(t)dt

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

Saved successfully!

Ooh no, something went wrong!