Académique Documents
Professionnel Documents
Culture Documents
SUITES ADJACENTES CONVERGEANT VERS ln x (d’après ESIM 1990, Maths appliquées)
Soit x ∈ R∗+ , soient (Sn ) , (Tn ) , (Cn ) les suites réelles définies par les relations de récurrence suivantes :
Ç
1 1 1 1 1 + Cn Sn Sn
(1) S0 = x− C0 = x+ Cn+1 = Sn +1 = et Tn = ·
2 x 2 x 2 Cn +1 Cn
1. On pose ϕ = ln x .
ϕ ϕ
a) Montrer que pour tout entier naturel n , on a Sn = 2n sh n
et Tn = 2n th n ·
2 2
b) En déduire que les suites (Sn ) et (Tn ) sont adjacentes et convergent vers ln x .
Donner de plus un encadrement de ln x à l’aide de Sn et Tn .
c) Dans le cas où x est égal à 2 , donner un programme en MAPLE, utilisant (1) et permettant d’obtenir
les valeurs Sn et Tn lorsque n est élément de l’intervalle [0, 10] .
aS +bT
n n
2. Dans cette question, on considère les suites où (a ,b ) ∈ R2 tels que a + b 6= 0 .
a +b n∈N
a Sn + b Tn
a) Montrer que les suites (Wn ) définies par Wn = sont convergentes vers ln x et donner un
a +b
1
développement limité de ln x − Wn à la précision lorsque n tend vers +∞ .
16n
λ
b) Montrer qu’il existe un choix de (a ,b ) , un réel λ et une suite, que l’on notera u n , tels que u n −ln x ∼ ·
n→+∞ 16n
Préciser a , b , λ et u n .
3. Dans cette question, on accélère la convergence de la suite (Sn ) par la méthode de Richardson. On est ainsi
conduit à construire les trois suites (x n ) , (y n ) et (z n ) vérifiant :
α β γ 1
x n = ln x + + + + o
16n 64n 256n 256n
α0 β0 1
puis des constantes α0 , β0 telles que y n = ln x + n
+ n
+o
64 256 256n
α 00 1
ainsi qu’une constante α00 telle que z n = ln x + n
+o ·
256 256n
On ne demande pas de déterminer les constantes α , β , γ , α , β , α00 .
0 0
b) Lorsque x est égal à 2 , écrire un programme MAPLE donnant sous forme de tableau, lorsque n est
élément de [1, 4] les valeurs correspondantes des suites x n , y n et z n , calculées à partir de celles
de Sn .
? ? ? ?
? ? ?
? ?
?