La Preuve de La Formule de Stirling Avec Les
La Preuve de La Formule de Stirling Avec Les
La Preuve de La Formule de Stirling Avec Les
05/04/2005
1
On en déduit que
n
In+1 = In−1 .
n+1
Cette formule exhibe la relation entre les intégrales de Walis et les factorieles,
en effet calculons I2n à partir de la relation précédente.
(2n−1)×...×3×1
I2n = 2n−1
2n In−1 = 2n×...×2 I0
on va multiplier le nominateur par 2n, 2(n − 1), .., 2 pour completer 2n!
2n! π
il en résulte I2n = 22n n!2 2
On utuilise maintenant l’équivalence des factorielles déjà préétablie n! !
n+ 1
K n en 2
2n! ! K(2n)2n+ 2 e−2n , et n!2 ! K 2 n2n+1 e−2n
1
Notons par ailleurs qu’une autre manière pour obtenir l’équivalent de n! est
d’utiliser n!! = Γ(n + 1) avec Γ est la fonction d’Euler déÞnie par
∞
Γ(x) = 0 tx−1 e−t dt, ∀ x > 0.
!∞
En posant le changement de variable t = xu on obtient Γ(x+1) = xx 0 ux e−xu du =
!∞
xx 0 ex(log u −u) du
il s’agit à ce stade!d’utiliser la méthode de Laplace qui donne des équivalents
d’integralles de type g(u)exh(u) du quand x tend vers ∞.
Une troisième méthode utilisant des notions de probabilités sera donnée dans
un autre article.