4.

Vérifier que pour tout n ∈ N∗ :

n
π2 1 2U2n
−∑ 2 =
6 k=1 k u2n
Devoir en temps libre : à rendre pour 15/03/2023.
π2
Analyse asymptotique. 5. Montrer que ∑
+∞ 1
k=1 k
2
= .
6

Exercice 2. 1. Montrer que l’équation x5 + tx − 1 = 0 d’inconnue x ∈ [0, 1] possède une et une seule solution
Exercice 1. Partie 1 : Intégrales de Wallis xt pour tout t ⩾ 0.
2. Montrer que lim xt = 0
Z π/2 t→+∞
Soit n ∈ N. On pose In = sinn (x) dx 1 1
0 3. Montrer que xt ∼ puis calculer un équivalent simple de xt − quand t → +∞.
n t t
1. Montrer que pour tout n ⩾ 1, In+1 = In−1
n+1 π π
2. En déduire une expression explicite de I2p et de I2p+1 à l’aide de factorielles. Exercice 3. 1. Montrer que pour tout n ∈ N∗ , tan(x) = x admet une unique solution sur ]nπ − , nπ + [ que
2 2
In+1 n l’on notera xn .
3. Montrer que pour tout n ∈ N, 1 ⩾ ⩾
In n+1 2. Déterminer un équivalent simple de xn quand n → +∞.
4. En déduire la formule de Wallis : 3. On pose dans la suite , pour tout n ∈ N∗ , δn = xn − nπ.
√ (2p)! 1
lim p 2p =√ Exprimer δn en fonction de xn et de la fonction arctangente pour tout n ∈ N∗ puis calculer lim δn
p→+∞ 2 (p!)2 π n→+∞
π
Partie 2 : Formule de Stirling 4. Montrer rapidement que Arctan(x) + Arctan(1/x) = pour tout x > 0 et en déduire le développement
2
asymptotique :
n!en
Soit n ∈ N∗ , on pose Sn = ln( √ ). π
xn = nπ + −
1
+
1 1
+ o( 2 )
nn n 2 nπ 2n2 π n
α
1. Montrer qu’il existe un réel α ̸= 0 qu’on déterminera tel que Sn − Sn−1 ∼ .
n2
n 1 1
2. Justifier pour tout n ∈ N∗ , par une comparaison avec une intégrale, ∑ 2
⩽ 2− .
k=1 k n
n 1
3. En déduire que la suite ( ∑ )
2 n
est convergente.
k=1 k
β
4. Justifier que pour n assez grand, 0 ⩽ Sn−1 − Sn ⩽ avec β ∈ R+ à déterminer.
n2
n
5. Montrer que la suite ( ∑ Sk−1 − Sk )n est convergente. En déduire que (Sn )n est convergente.
k=1
n!en σ2
6. Soit n ∈ N∗ et σn = n √ . En considérant n , déterminer la valeur de S.
n n σ2n
7. En déduire la formule de Stirling du cours.
π2
Partie 3 : Facultatif,
6
Z π/2
Pour tout n ⩾ 0 et pour tout x ∈ R, on pose fn (x) = x2 (cos(x))n et Un = fn (x) dx.
0
1. Calculer U0 et U1 .
2. Montrer que pour tout n ∈ N∗ :
1
(2n − 1)U2n−2 − 2nU2n = u2n
n
R π/2
avec un = 0 cos(t)n dt (on pourra aussi faire le lien entre un et In ).
π2
3. Montrer que Un = o(un ) par une inégalité : 0 ⩽ Un ⩽ (un − un+2 ) (on pourra montrer que pour tout
4
π
x ∈ [0, π/2], sin(x) ⩽ x.
2
1 2