CPGE Reda Slaoui MPSI3 2024-2025

Devoir libre
à rendre avant 18/02/2025

Pour tout n ∈ N, on note

Z π
Wn = 2 sinn (t) dt
0

Partie I. Intégrales de Wallis

1 Calculer W0 , W1 et W2 .
Z π
2 Montrer que Wn = 2 cosn (t) dt.
0
3 Montrer que pour tout n ∈ N, Wn > 0.
4 Prouver que la suite (Wn )n est décroissante.
5 À l’aide d’une intégration par parties, établir que pour tout n ∈ N, (n + 2)Wn+2 = (n + 1)Wn .
6 Prouver que la suite ((n + 1)Wn Wn+1 )n∈N est constante.
π √
7 En notant que pour tout n ⩾ 1, Wn+1 ⩽ Wn ⩽ Wn−1 , prouver que lim nWn2 = . En déduire lim nWn .
n→+∞ 2 x→+∞

Partie II. Calcul de l’intégrale de Gauss

Z x
2 2
Dans cette partie, on note F : x 7→ e−t dt la primitive de x 7→ e−x qui s’annule en 0 . Le but de la partie
0 Z +∞
2
est de calculer la limite de F en +∞, qu’on note généralement e−t dt, et qu’on appelle l’intégrale de
0
Gauss.
Z 1 Z x
−t2
8 Prouver que ∀x ⩾ 1, F (x) ⩽ e dt + e−t dt.
0 1
En déduire que F possède une limite finie en +∞.
9 Prouver que pour tout y ∈ R, 1 + y ⩽ ey .
  2
2 n
  2
2 −n
u 2 u
10 En déduire que pour tout n ∈ N∗ et pour tout u ∈ [0, n], 1 − 2 ⩽ e−u ⩽ 1 + 2
n n
Z n −n 2
u2

∗
11 Soit n ∈ N . À l’aide du changement de variable u = n tan t, exprimer 1+ 2 du en fonction de
0 n
Z π/4
2
cos2n −2 tdt
0
12 En utilisant les deux questions précédentes, ainsi qu’un changement de variable de la forme u = n sin t,
prouver que pour tout n ∈ N∗ , nW2n2 +1 ⩽ F (n) ⩽ nW2n2 −2
√
π
13 Prouver enfin que lim F (x) = .
x→+∞ 2

Partie III. Calcul de ζ (2) (la somme des inverses des carrés des entiers).

n
X 1
Le but de cette partie est de calculer la limite de la suite (Sn )n>1 définie par Sn = 2
. Pour p ∈ N, on
k=1
k
π/2
4p (p!)2
Z
pose Jp = t2 cos2p tdt et Kp = Jp .
0 (2p)!
(2n)! π
14 Prouver que pour tout n ∈ N, W2n = n , puis déduire la valeur de W2n+1
4 (n!)2 2

C.P.G.E Reda Slaoui 1 MPSI3

CPGE Reda Slaoui MPSI3 2024-2025

15 Montrer que pour tout p ∈ N∗ , W2p = p(2p − 1)Jp−1 − 2p2 Jp .

π
16 En déduire que pour tout p ⩾ 1, Kp−1 − Kp = 2 .
4p
17 À l’aide de la question précédente, exprimer Sn à l’aide de Kn , pour n ∈ N∗ .
h πi π
18 Prouver que pour tout x ∈ 0, , on a x ⩽ sin x.
2 2
π 2 W2p
19 En déduire que pour tout entier p ∈ N, on a 0 ⩽ Jp ⩽ .
8(p + 1)
n
X 1
20 Prouver alors que (Sn ) converge et déterminer sa limite. ( ζ(2) = lim )
n→+∞
k=1
k2

Partie IV: Formule de Stirling

n!en
Pour n ∈ N ∗ , on pose vn = √ , et wn = ln(vn )
nn n
 
1 1
21 Montrer que pour x > 0, ln 1 + ≥ .
x 1
x+
2
22 En déduire que (wn )n∈N ∗ est décroissante.
23 Minoration de (wn )n≥2 .
a. On fixe dans toute cette question k ∈ N ∗ et on note ak = ln(k + 1) − ln(k)
Z k+1
1 1 1
i. En utilisant le fait que ak = dt, montrer que ≤ ak ≤ et en déduire que:
k t k+1 k
1 1 1
∀t ∈ [k, k + 1], − ak ≤ − .
t k k+1
1 1
ii. Montrer alors que ∀x ∈ [k, k + 1], ln(x) − ln(k) − ak (x − k) ≤ − , puis que:
k k+1
Z k+1
ln(k) + ln(k + 1) 1 1
ln(x)dx − ≤ − .
k 2 k k+1
b. Déduire des calculs précédents que pour tout entier n ≥ 2:
Z n n−1
X ln(k) + ln(k + 1)
ln(t)dt − ≤ 1.
1 k=1
2

c. En simplifiant l’expression précédente, vérifier que pour tout entier n ≥ 2:

n
X ln(n)
n ln(n) − n − ln(k) + ≤ 0.
k=1
2

d. En déduire que (wn )n≥2 est minorée par 0.

24 Montrer que (vn )n∈N∗ converge vers une limite L > 0.
v2n
25 Pour n ∈ N ∗ , exprimer 2 en fonction de W2n .
vn
26 En déduire la valeur de L = lim vn .
n→+∞
√ n!
27 En déduire la formule de Stirling n! ∼ 2πn nn e−n , identiquement lim √ =1
n→+∞ 2πn nn e−n
n
∗
Y 4k 2
28 Application: on note pour tout n ∈ N , pn =
k=1
4k 2 − 1
1 24n+1 (n!)4
a. Montrer que pour tout n ∈ N∗ , on a pn =
2 (2n)!(2n + 1)!
π
b. Montrer que lim pn =
n→+∞ 2

C.P.G.E Reda Slaoui 2 MPSI3