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.

235<br />

Mais par définition de l’intégrale d’une fonction continue, on dispose aussi <strong>des</strong> inégalités<br />

suivantes<br />

∫ b<br />

On en déduit que<br />

1<br />

n∑<br />

f(u k ) −<br />

∣n<br />

On a bien<br />

k=1<br />

1<br />

lim<br />

n→+∞ n<br />

(ii) est réalisée.<br />

a<br />

ϕ(t)dt − ε <br />

∫ b<br />

a<br />

n∑<br />

f(u k ) =<br />

k=1<br />

∫ b<br />

a<br />

f(t)dt <br />

∫ b<br />

∫ b<br />

f(t)dt<br />

∣ ψ(t)dt −<br />

2. On suppose que (ii) est réalisé.<br />

a) On suppose que 0 < a < b < 1 et on considère α > 0 tel que<br />

∫ b<br />

a<br />

a<br />

a<br />

ψ(t)dt + ε.<br />

∫ b<br />

a<br />

ϕ(t) dt + 2ε 3ε.<br />

f(t)dt pour tout fonction continue donc la propriété<br />

0 a − α < a + α < b − α < b + α 1.<br />

On considère la fonction f qui vaut 0 sur [0,a] et [b,1], 1 sur [a+α,b−α] et est affine sur les<br />

intervalles [a,a+α] et [b −α,b]. Par construction ϕ est continue et inférieure à χ. On définit<br />

de même g. Elle vaut 0 sur [0,a − α] et [b + α,1], 1 sur [a,b] et est affine sur les intervalles<br />

[a − α,a] et [b,b + α]. Par construction ψ est continue et supérieure à χ. On observe que<br />

∫ b<br />

a<br />

g(t)dt −<br />

∫ b<br />

a<br />

f(t)dt est égal à la somme <strong>des</strong> aires de deux trapèzes de hauteur 1 et de<br />

∫ b<br />

∫ b<br />

bases α. On obtient g(t)dt − f(t)dt = 2α. En prenant α = ε , on obtient le résultat<br />

a<br />

a<br />

2<br />

voulue. Si a = 0, b = 1 ou a = b, la démonstration doit être légèrement adaptée.<br />

b) On a, pour tout n ∈ N ∗ ,<br />

Par hypothèse, on a<br />

1<br />

n<br />

n∑<br />

f(u k ) 1 n<br />

k=1<br />

n∑<br />

χ(u k ) 1 n<br />

k=1<br />

n∑<br />

g(u k ).<br />

k=1<br />

1<br />

lim<br />

n→+∞ n<br />

n∑<br />

f(u k ) =<br />

k=1<br />

∫ 1<br />

0<br />

f(t)dt et<br />

1<br />

lim<br />

n→+∞ n<br />

n∑<br />

g(u k ) =<br />

k=1<br />

∫ 1<br />

0<br />

g(t)dt.<br />

On peut trouver un entier n 0 tel que, pour n n 0 , on ait<br />

1<br />

n<br />

n∑<br />

f(u k ) <br />

k=1<br />

∫ 1<br />

0<br />

f(t)dt − ε et<br />

1<br />

n<br />

n∑<br />

g(u k ) <br />

k=1<br />

∫ 1<br />

0<br />

g(t)dt + ε.<br />

Pour n n 0 , on a<br />

∫ 1<br />

0<br />

f(t)dt − ε 1 n<br />

n∑<br />

χ(u k ) <br />

∫ 1<br />

k=1<br />

0<br />

g(t)dt + ε.

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

Saved successfully!

Ooh no, something went wrong!