Académique Documents
Professionnel Documents
Culture Documents
Formule de Stirling
Z π
2
On pose, pour tout entier naturel n, In = sinn tdt
0
1. Montrer que la suite (In ) est strictement décroissante et minorée
2. Montrer que ∀n ≥ 2, on a nIn = (n − 1)In−2
3. En déduire I2n et I2n+1 à l’aide de factorielles
4. Prouver que In+1 ∼ In
+∞
24n n!4
5. En déduire la formule de Wallis π = lim
n→+∞ n(2n)!2
√
nn e−n n
∗
6. On pose, pour tout n ∈ N , Sn = ln .
n!
1
(a) Montrer que Sn+1 − Sn ∼
12n2
(b) En déduire que la suite (Sn ) converge vers un réel λ
√
(c) Montrer que nn e−n n ∼ eλ n!
+∞
√
7. (a) A l’aide de 5, montrer que λ = − ln 2π.
(b) En déduire la formule de Stirling : n n √
n! ∼ 2πn
e
X X
Soient un et vn deux séries à termes réels positifs, convergentes.
n>1 k>1
+∞
X +∞
X
Pour tout entier n, on note Rn = uk et Tn = vk
k=n+1 k=n+1
8. On suppose que un ∼ vn . Montrer que Rn ∼ Tn
1 1
9. En déduire que si un ∼ 2 , alors Rn ∼
n n
1
10. Appliquer ce qui précède à un = 12(Sn − Sn−1 ), et montrer que λ − Sn ∼
12n
11. En déduire finalement que
√
1 1
n! = nn e−n 2πn 1 + +o
12n n
elamdaoui@gmail.com 1 www.elamdaoui.com
Problème de soutien Correction
Formule de Stirling
1
6. (a) Pour tout n > 1, on a : Sn = n+ ln(n) − n − ln(n!)
2
3 1
Sn+1 − Sn = n+ ln(n + 1) − n − 1 − ln ((n + 1)!) − n + ln(n) + n + ln(n!)
2 2
1 1 1 1 1 1 1
= n+ ln 1 + −1= n+ − 2 + 3 +◦ −1
2 n 2 n 2n 3n n3
1 1
= 2
+ ◦
12n n2
elamdaoui@gmail.com 2 www.elamdaoui.com
Problème de soutien Correction
Formule de Stirling
1
On a donc Sn+1 − Sn ∼
12n2
X
(b) On sait que la série télescopique (Sn+1 − Sn ) converge si, et seulement, si la suite (Sn ) converge. Puisque
X
la série (Sn+1 − Sn ) est convergente (par comparaison avec une série de Riemann), il en est de même
de la suite (Sn ). On pose lim Sn = λ ∈ R.
n −n √
n+ 12 −n 1 n e n
(c) Pour tout n de Sn = ln n e = ln .
√ n! n!
n −n √
n e n
D’après ce qui précède : −−−−−→ eλ et donc nn e−n n ∼ eλ n!
n! n→+∞
√ √
7. L’égalité précédente donne nn e−n ne−λ ∼ n! et donc aussi (2n)2n e−2n 2ne−λ ∼ (2n)!.
On en déduit
24n n!4 24n n4n e−4n n2 e−4λ e−2λ
∼ ∼
n(2n)!2 2n4n e−4n ne−2λ 2
24n n!4 e−2λ 1
Puisque −
− −−−→ π, on trouve = π et donc λ = − ln(2π)
n(2n)!2 n→+∞ 2 2
8. Soit ε > 0. Par hypothèse un − vn = ◦ (vn ). Il existe donc un entier n0 tel que, pour tout n > n0 , |un − vn | 6 εvn .
Ainsi, pour tout n > n0 :
+∞
X +∞
X +∞
X
|Rn − Tn | = (uk − vk ) 6 |uk − vk | 6 ε vk = εTn
k=n+1 k=n+1 k=n+1
1
Donc Rn ∼ .
n
1 1
10. On a bien un ∼ . On en déduit Rn ∼ . Mais
n2 n
+∞
X m
X
Rn = 12 (Sk − Sk−1 ) = 12 lim (Sk − Sk−1 )
m→+∞
k=n+1 k=n+1
= 12 lim (Sm − Sn ) = 12 (λ − Sn )
m→+∞
1 1
Donc 12(λ − Sn ) ∼ , puis (λ − Sn ) ∼
n 12n
n! 1 1
11. On a λ − Sn = ln √ = +◦ . On en déduit
nn e−n 2πn 12n n
n! 1 1 1 1
√ = exp +◦ =1+ +◦
n
n e −n 2πn 12n n 12n n
Soit
√
n −n 1 1
n! = n e 2πn 1 + +o
12n n
elamdaoui@gmail.com 3 www.elamdaoui.com