INTGRALES DE WALLIS ET FORMULE DE STIRLING

2 cos n 0

1. Pour tout entier naturel n, on pose In =

t dt . (Intgrales de Wallis)

a) Calculer explicitement I2p et I2p+1. b) Dmontrer que la suite (In)n c) Dmontrer que : In ~ In+1.
+

est dcroissante. En dduire : n

,1

I n +1 In+2

In In+2

d) Dmontrer que la suite ((n + 1)InIn+1) n

est constante. En dduire : In ~

. 2n

a) On pose vn = ln(un), pour n

. En tudiant vn+1 vn, dmontrer que la srie de terme gnral vn

converge. En dduire que la suite (un) converge vers une certaine limite . b) l'aide de la question 1)d), dmontrer que =

1. a) On a immdiatement : I0 =

Pour tout n

2 et I1 = cos t dt = 1. 0 2 n+1 0, on a par IPP : (u(t) = (cos t) et v'(t) = cos t)

0
 

In+2 =

(cos t )

cos t dt = (cos t )

sin t

In+2 = (n + 1)(In In+2) In+2 =

n +1 In n+2
2)

(Variante : In = On en dduit immdiatement : I2 = Formule gnrale : Si n pair (n = 2p)

n 1 I n 2 pour tout n n

1 2 2 3 3 I0 = ; I3 = I1 = ; I4 = I2 = 4 2 4 3 3 16
1 2 p 1 2 p 3 ... I0 2 2p 2p 2 C2pp (2 p)! = 2 p +1 2 2 p +1 ( p!) 2 2

I2p =

I2p = Si n impair (n = 2p + 1) I2p+1 =

2 2p 2p 2 ... I1 3 2 p +1 2 p 1 I2p+1 = 2 2 p ( p!) 2 (2 p + 1)!

Intgrales de Wallis et formule de Stirling

Page 1

n +1

n +1

+ (n + 1)

c) En dduire la formule de Stirling :

n! ~

2. On considre la suite (un) dfinie par : un =

n! e n n

pour n

2 . n e
n

2n

(cos t )n (sin t )2 dt

G. COSTANTINI

b) On a, pour tout n

et tout t [0, : 2

]:0 2 0

cosn+1 t In+1 In

cosn t

En intgrant pour t allant de 0

En consquence, la suite (In) est dcroissante. On a donc : Et comme In+2 > 0 : 0 1 In+2 I n +1 In+2 In+1 In

In I n+ 2 (1)

c) On a vu que :

In n+2 = I n+ 2 n +1 1 I n +1 In+2 n+2 n +1

D'o :

Par encadrement, on en dduit que Autrement dit :

I n +1 admet une limite gale 1 en +. In+2 In ~ In+1

+

(2)

d) Montrons enfin que la suite (un) dfinie par un = (n + 1)In In+1 est constante : un+1 = (n + 2) In+1 In+2 = (n + 1) In In+1 = un. La suite (un) est donc bien constante. Et comme u0 = I0 I1 = En multipliant l'quivalent (2) par (n + 1)In :
2 (n + 1) I n ~ un ~
+ +

(1)

, on a : n 2 2
2n

, un =

. 2

D'o : On retiendra ce rsultat trs utile :

In ~

~ 2(n + 1) +

(cos t ) n dt ~
*

2n

2. a) Il est clair que :

, un > 0
 

D'o :
            

vn+1 vn = 1 n +


1 2

1 1 1 +O 3 2 n 2n n

=11+

1 1 1 1 1 + +O 2 =O 2 2 2n 2n 4n n n

Or, la srie de terme gnral

1 converge. Donc la srie de terme gnral vn+1 vn galement. n2

Il en va donc donc de mme de la suite (vn) et donc de la suite (un). Et comme un = e v n , la suite (un) converge vers un certain rel > 0. (Puisque (vn) converge)
Intgrales de Wallis et formule de Stirling Page 2

 

 

 

Or, on sait que :



ln 1 +


1 1 1 1 = +O 3 2 n 2n n n

G. COSTANTINI

 

 

n nn n e = ln e n +1 n +1 n +1 (n + 1)
      

=1 n+

1 2

ln 1 +

1 n

un+1 (n + 1) ! vn+1 vn = ln = ln un n!

n+

1 2

 

l'quivalent des intgrales de Stirling : In = On a vu les deux rsultats suivants : In ~ I2n =

D'o

Et par passage la limite lorsque n tend vers l'infini : =

 

Conclusion :

n! ~

n e


Intgrales de Wallis et formule de Stirling

Page 3

En consquence :

(2n) 2 n e 2 n 2n ~ 2n 4n + 2 ( n n e n n ) 2 2 2

On dtermine

l'aide d'un quivalent connu dans lequel intervient des factorielles, comme par exemple

2 cos n 0

( 2n) ! 2 (n ! ) 2 2
2n

2
n

 

C'est--dire :

n! ~

n e


2n

b) On a donc :

un ~

+


t dt

2n

G. COSTANTINI