Laurent Garcin

MPSI Lyce Jean-Baptiste Corot

Devoir la maison no 17
Problme 1
Partie I Intgrales de Wallis
On pose pour tout n > 0,

Z
2

In =

sinn (x)dx

1. Calculer I0 et I1 .
2. En intgrant par parties, trouver une relation de rcurrence entre In et In+2 .
3. En dduire une expression de I2n et I2n+1 pour tout n N laide de factorielles.
n+1
4. Vrifier que (In )n>0 est dcroissante. En dduire que
In 6 In+1 6 In pour tout n N.
n+2
5. Dmontrer que In+1 In .
n+

6. tablir que pour tout n N, (n + 1)In+1 In =

7. En dduire que In

n+

.
2

.
2n

Partie II Formule de Stirling

nn en n

On pose pour tout n N , un =

.
n!

1
un+1
.
. Montrer que vn = O
1. Pour tout n N , on pose vn = ln
n+
un
n2
2. En dduire que (un ) converge vers une certaine limite l R+ .
1
3. Montrer que l =
et en dduire un quivalent de n!.
2

http://laurentb.garcin.free.fr