CPGE : Ibn Bajah Beni Mellal Filière : 2TSI 2 Année scolaire : 2023-2024

Devoir Libre 3
À rendre avant le 24/11/2023

EXERCICE : (Formule de Stirling)

∫ π/2
Pour tout n ∈ N, on définit Wn = (cos t)n dt.
0
1. Calculer W0 et W1 .
2. (a) Montrer que la suite (Wn )n∈N est décroissante.
(b) Montrer, pour tout entier n tel que n ≥ 0 : Wn > 0.
3. (a) Montrer, pour tout entier n tel que n ≥ 0 :

(n + 2)Wn+2 = (n + 1)Wn+1 .

(b) En déduire, pour tout entier n, tel que n ≥ 0 :

(n + 1)Wn+1 Wn = W1 W0 .

4. (a) Montrer, pour tout entier n tel que n ≥ 0 :

n+1
Wn ≥ Wn+1 ≥ Wn .
n+2
√
π
(b) En déduire : Wn+1 ∼ Wn , puis : Wn ∼ .
n→+∞ 2n
5. Montrer, pour tout entier n tel que n ≥ 0 :

(2n)! π
W2n = .
22n (n!)2
2
1 n −n √
On note, pour tout entier n tel que n ≥ 1 : An = n e n.
n! ( ) ( )
1 1
On note, pour tout entier n tel que n ≥ 2 : an = −1 − n − ln 1 − .
2 n
∑
6. Montrer que la série an converge.
n≥2
7. Montrer, pour tout entier n tel n ≥ 2 : an = ln(An ) − ln(An−1 ) .
8. En déduire que la suite (An )n∈N∗ converge et que sa limite ℓ est strictement positive.
1 n −n √
(a) Justifier : n! ∼ n e n.
n→+∞ ℓ
(b) En utilisant l’expression de W2n à l’aide de factorielles, en déduire la valeur de ℓ et
l’équivalent suivant : ( n )n
√
n! ∼ 2πn .
e
PROBLÈME ∫ +∞
1
On définit la fonction réelle H d’une variable réelle x par : H(x) = dt.
] [ 0 (1 + t2 )x
1
Dans tout le problème, I désigne l’intervalle ; +∞ .
2
PARTIE I : Premières propriétés de la fonction H

1. Justifier que la fonction H est définie sur I.

2. Montrer que H est décroissante sur I.

1
CPGE : Ibn Bajah Beni Mellal Filière : 2TSI 2 Année scolaire : 2023-2024

3. (a) Calculer H(1) .

(b) Soit n ∈ N∗ . Montrer, à l’aide d’une intégration par parties :

H(n) = 2n (H(n) − H(n + 1))

En déduire une expression de H(n + 1) en fonction de n et de H(n) .

(c) Écrire un programme en Python qui, étant donné un entier n de N∗ , renvoie la valeur de
H(n) .
(d) Montrer :
(2n − 2)!π
∀n ∈ N∗ , H(n) = .
22n−1 ((n − 1)!)2

1
PARTIE II : Étude de H(x) lorsque x tend vers
2
eu − e−u
4. (a) Montrer que la fonction φ : u 7→ est une bijection de R sur R.
2
Préciser φ−1 (0) et lim φ−1 (t) .
t→+∞
(b) A l’aide du changement de variable t = φ(u) , montrer :
∫
4x +∞ 1
∀x ∈ I, H(x) = du.
2 0 (e + e−u )2x−1
u

5. (a) Justifier : ∀u ∈ [0; +∞[, eu ≤ eu + e−u ≤ 2eu .

(b) En déduire :
1 4x
∀x ∈ I, ≤ H(x) ≤ .
2x − 1 2(2x − 1)
1 1
6. Déterminer la limite de H en et un équivalent simple de H(x) lorsque x tend vers .
2 2

PARTIE III : Étude de H(x) lorsque x tend vers +∞

u
7. (a) Montrer : ∀u ∈ [0; 1], ln(1 + u) ≥ .
2 ∫ +∞
e−xt /2 dt converge et calculer sa valeur.
2
(b) Montrer que, pour tout x de I, l’intégrale
∫ 1 0
∫ 1 √
1 −xt2 /2 π
(c) En déduire : ∀x ∈ I, 0 ≤ 2 x
dt ≤ e dt ≤ .
0 (1 + t ) 0 2x
∫ +∞
1 1
(d) Montrer : ∀x ∈ I, 0 ≤ dt ≤ .
1 (1 + t 2 )x 2x −1
(e) En déduire la limite de H en +∞.
ln(n)
8. On note, pour tout n de N∗ , un = ln(H(n)) + .
2
(a) Déterminer un équivalent simple de un+1 − un lorsque l’entier n tend vers +∞.
On pourra utiliser le résultat obtenu a la question 3.(b).
∑
(b) Montrer qu la série (un+1 − un ) converge.
n≥1
K
(c) En déduire l’existence d’un réel K strictement positif tel que : H(n) √ .∼
n
n→+∞

9. Donner enfin un équivalent simple de H(x) lorsque le réel x tend vers +∞ à l’aide de K.