Académique Documents
Professionnel Documents
Culture Documents
Énoncé Corrigé
On dénit1 des suites (cn )n∈N∗ et (λn )n∈N∗ par les relations 1. a. On montre facilement par récurrence que la suite des cn est bien dénie et que
r 0 < cn < 1 pour tout n ≥ 1. Il existe donc des θn ∈]0, π2 [ tels que cn = cos θn . On
c1 = 0, cn+1 =
1 + cn
λ1 = 2, λn+1 =
λn dénit αn par αn = sinλnθn .
2 cn+1
b. On peut calculer explicitement les θn . En eet c1 = 0 donc θ1 = π2 et c2 = √12
1. a. Montrer que, pour tout entier n non nul, il existe θn ∈ [0, π2 ] et αn ∈ R+ tels que donc θ2 = π4 . D'autre part,
r
cn = cos(θn ), λn = αn sin θn 1 + cos θn θn θn
cn+1 = = cos ⇒ θn+1 =
2 2 2
b. Exprimer θn en fonction de n. Vérier que (αn )n∈N∗ est géométrique. En déduire
que (λn )n∈N∗ converge vers π . On en tire π
2. En utilisant une formule de Taylor, (préciser laquelle) montrer l'inégalité θn =
2n
π3 Par dénition, α1 = 2
sin θ1 = 2 et
|π − λn | ≤
6 × 4n
αn+1 λn+1 sin θn sin θn
3. Soit p ∈ N∗ xé. Montrer que (λn )n∈N∗ admet le développement = = =2
αn λn sin θn+1 cos θn+1 sin θn+1
π3 1 π5 1 π 2p+1 1 1 On en déduit αn = 2n et λn = 2n sin 2πn converge vers π car sin x est équivalent
λn = π − + + · · · + (−1)p + o( pn )
3! 4n 5! 42n (2p + 1)! 4pn 4 à x en 0.
2. Appliquons la formule de Taylor-Lagrange à la fonction sin entre 0 et a et à l'ordre 3.
4. Accélération de convergence.
Il existe b ∈ [0, a] tel que
On dénit une nouvelle suite λ(1)
n par a3
n∈N∗ sin a = a − cos(b)
3!
1
λ(1)
n = (−λn + 4λn+1 ) car sin(3) = − cos. En particulier, pour a = π
, on en tire
3 2n
λ(2) (1)
n − π ∈ o(λn − π) En substituant 2πn (qui tend vers 0 quand n tend vers l'inni) à x et en multipliant
par 2n , on obtient la formule demandée.
1 d'après E.S.M de Saint Cyr 1995 4. Accélération de convergence.
Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai Aapproxpi
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
MPSI B 29 juin 2019
Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai Aapproxpi
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/