http ://perso.wanadoo.fr/famille-chazal/articles/stirling.

pdf

Formule de Stirling
n!
n+

nn en 2n

(1)

Dmonstration e
n! nn en =L n

Proposition 2.1 L R+ tel que

n+

lim

(2)

Dmonstration : Pour tout n N , on dnit un et vn par e e un et vn ln On a (n + 1)! un+1 nn en n = un n! (n + 1)n+1 e(n+1) n + 1 e = 1 1 (1 + n )n+ 2 donc 1 1 vn = 1 (n + ) ln(1 + ) 2 n Par dveloppement limit ` lordre 3 de x ln(1 + x) en 0, on peut dnir e ea e une suite ( n )nN telle que limn+ n = 0 et ln(1 + do` u 1 1 1 1 vn = 1 (n + )( 2 + 3 (1 + n )) 2 n 2n 3n 1 1 1 1 1 = 1 (1 + 2 (1 + n ) + 2 + 3 (1 + 2n 3n 2n 4n 6n 1 1 n 1+ n = ( + ) 12n2 n2 3 6n 1 2(1 + n ) (1 + (4 n + )) = 2 12n n 1 1 1 1 ) = 2 + 3 (1 + n n 2n 3n
n)

nn en n un+1 un

n!

n ))

http ://perso.wanadoo.fr/famille-chazal/articles/stirling.pdf

Comme, dune part

+

n=1

1 < + 12n2

et comme, dautre part 4 il existe l R tel que

N N + n

2(1 + n

n)

n+

lim

vn = l
n=1

Or N N, N 2
N 1 N 1

vn =
n=1 n=1

(ln un+1 ln un )

= ln uN ln u1 donc
N +

lim ln uN = l + ln u1

En posant L el+ln u1 , on a L R+ et
N +

lim uN = L

Dnition 2.1 Pour tout n N, on dnit lintgrale de Wallis In par e e e In

0
2

cosn x dx

Proposition 2.2 I0 = Dmonstration : e I0 =

0
2

2 2

dx =

Proposition 2.3 I1 = 1

http ://perso.wanadoo.fr/famille-chazal/articles/stirling.pdf

Dmonstration : e
2 2 cos x dx = [sin x]0 = 1

I1 =
0

Proposition 2.4 In+2 = Dmonstration : e

2

n+1 In n+2

(3)

In+2 =
0
2

cosn+2 x dx (1 sin2 x) cosn x dx cos x dx

0
2

=
0
2

=
0

sin x(sin x cosn x) dx cosn+2 x dx n+1

cosn+1 x 2 ]0 = In [sin x n+1 In+2 = In n+1 do` u In+2 = n+1 In n+2

Proposition 2.5 I2N = Dmonstration : e

N 1

(2N )! (2N N !)2 2

(4)

I2n+2 =
n=0

N 1 n=0 (2n N 1 n=0 (2n

+ 1) + 2)

N 1

I2n
n=0

do` u I2N = 1 3 . . . (2N 1) I0 2 4 . . . (2N ) (2N )! = (2N N !)2 2

http ://perso.wanadoo.fr/famille-chazal/articles/stirling.pdf

Proposition 2.6 I2N +1 = Dmonstration : e

N

(2N N !)2 (2N + 1)!

(5)

I2n+1 =
n=1

N n=1 (2n) N n=1 (2n

+ 1) n=1

I2n1

do` u I2N +1 = 2 4 . . . (2N ) I1 3 5 . . . (2N + 1) (2N N !)2 = (2N + 1)!

Proposition 2.7 I2N I2N +1 = 2(2N + 1) (6)

Dmonstration : Par produit de (4) et (5), on a e I2N .I2N +1 = (2N )! (2N N !)2 (2N N !)2 2 (2N + 1)! = 2(2N + 1)

Proposition 2.8 IN +1 IN u Dmonstration : x [0, ], 0 cos x 1 do` e 2 cosN +1 x cosN x donc

0
2 2

(7)

cos soit

N +1

x dx
0

cosN x dx

IN +1 IN

http ://perso.wanadoo.fr/famille-chazal/articles/stirling.pdf

Proposition 2.9
N +

lim N (I2N )2 =

(8)

Dmonstration : On a, dapr`s (7) e e I2N +1 I2N I2N 1 donc, en multipliant par N I2N 0, N I2N I2N +1 N (I2N )2 N I2N I2N 1 Comme, dapr`s (3) e I2N 1 = I2N +1 on a, dapr`s (6) e N N (I2N )2 2(2N + 1) 4 Comme N = N + 2(2N + 1) 4 lim lim N (I2N )2 = 2N + 1 2N

on a bien

N + 4 Dmonstration de la formule de Stirling 1 : e Dapr`s (4) e N (I2N )2 = N ( (2N )! 2 ) (2N N !)2 2

(2N )! 2 1 N N eN N 4 ((2N )2N e2N 2N )2 )2 ( ) = N ( ) 4N ( 2 2 N! (2N )2N e2N 2N (N N eN N )4 2 (2N )! N N eN N 4 )2 ( ) (9) = ( N! 2 (2N )2N e2N 2N En faisant tendre N vers + dans (9), on obtient, dapr`s (2) et (8) e 2 1 = (L)2 ( )4 4 2 L Soit L= Finalement lim 2

N! = 2 N + N N eN N N! N N eN 2N

et donc, par dnition, e

N +