Probleme Corrige

Approximation de ln(x) par des suites

Lobjet de ce probleme est letude dun algorithme dapproximation de ln x, pour tout x > 0.
x2 1 x2 1
Pour tout reel strictement positif x, on pose T (x) = 2 et S(x) = .
x +1 2x
f (x) = ln x T (x)

On pose egalement (et avec ces notations, il est clair que f (1) = g(1) = 0)
g(x) = S(x) ln x

I. Quelques inegalites
Dans cette partie, x est un reel quelconque de lintervalle [1, +[.

1. Prouver les inegalites : T (x) 2 T ( x) et 2 S( x) S(x)
1
2. Prouver les encadrements : 0 6 f 0 (x) 6 (x 1)2et 0 6 g 0 (x) 6 (x 1)2
2
1 1
3. En deduire les encadrements : 0 6 f (x) 6 (x 1)3 et 0 6 g(x) 6 (x 1)3
3 6

II. Convergence de deux suites

Dans toute la suite, sauf dans la question III.6, on suppose que x est un reel fixe, avec x > 1.

On definit la suite (un )n>0 par la donnee de u0 = x et par la relation : n N, un+1 = un .
On definit egalement les suites (tn )n>0 et (sn )n>0 par : n > 0, tn = 2n T (un ) et sn = 2n S(un ).
x2 1 x2 1
On remarque les valeurs initiales sont t0 = T (x) = 2 et s0 = S(x) = .
x +1 2x
1
1. Pour tout n de N, montrer que 0 6 un 1 6 n (x 1).
2
Que peut-on en deduire, concernant la limite de la suite (un )n>0 ?
2. Determiner la monotonie des suites (sn )n>0 et (tn )n>0 .
3. Verifier que la suite n 7 2n ln un est constante.
4. Montrer que pour tout n de N, on a lencadrement : tn ln(x) sn .
5. Pour tout n de N, verifier que s2n+1 = sn tn+1 .
6. Deduire de ce qui precede la limite des suites (sn )n>0 et (tn )n>0 .

III. Algorithme dapproximation de ln x

sn x2 + 1
Pour tout entier naturel n, on pose cn = , et en particulier c0 = .
tn 2x
1. Exprimer cn en fonction de un . r
1 + cn sn sn+1
Pour tout n de N, montrer que : cn+1 = , sn+1 = , et tn+1 =
2 cn+1 cn+1
2. Dans cette question, on demande decrire une procedure Maple baptisee approxln.
Cette procedure doit prendre en argument un reel x > 1 et un entier p strictement positif.
Elle doit alors renvoyer [tn , sn ], n, ou n est le plus petit entier naturel tel que 0 6 sn tn < 10p .
Pour cela, la procedure approxln utilisera les relations de la question III.1.
Dans la procedure, il nest pas necessaire de verifier que x est dans [1, +[ et que p est dans N .

Mathematiques en MPSI mathprepa.fr Page 1

Jean-Michel Ferrard
Probleme Corrige

Voici le squelette de la procedure, qui utilise les variables locales n, t, s, c (et seulement elles)
pour y placer les valeurs successives de lindice n et des termes tn , sn , cn .

> approxln := proc(x,p)

local n,t,s,c:
....
return([t,s],n);
end proc:

3. Pour tout n de N, montrer que ln x tn = 2n f (un ) et sn ln x = 2n g(un ).

4. En deduire que pour tout n de N, on a les encadrements :

1 (x 1)3 1 (x 1)3 1 (x 1)3
0 ln x tn , 0 s n ln x , et 0 sn tn
3 4n 6 4n 2 4n

5. Dans cette question seulement, on suppose x = 2.

A partir de quel n est-on certain que lintervalle [tn , sn ] est de longueur inferieure ou egale a 108 ?

6. Les questions precedentes decrivent un algorithme dapproximation du reel ln x par deux suites
adjacentes (tn )n>0 et (sn )n>0 , dans lhypothese ou x est un reel superieur ou egal a 1.
Proposer un algorithme dapproximation de ln x quand 0 < x < 1, et indiquer comment il convient
dadapter la procedure approxln pour quelle gere toute lhypothese x > 0.

Exercice
1
Soit (un )nN la suite definie par la donnee de u0 dans R+ et par : n N, un+1 = 1
un + n+1

1. Montrer que la suite (un )nN est effectivement bien definie.

A supposer que la suite (un )n>0 converge, quelle peut etre sa limite ?

2. Etudier les cas u0 = 0 et u0 = 1. Dorenavant, on suppose u0 distinct de 0 et de 1.

(n + 1)2 (un 1)
3. Prouver que, pour tout n de N, on a : un+2 1 = .
(n + 1)(un 1) + (n + 2)2
4. En deduire, que pour tout n de N, on a : un 6= 1 et (un 1)(un+2 1) > 0.
n+1
5. Prouver egalement que pour tout n de N, on a : 0 < |un+2 1| < |un 1|.
n+2
6. Montrer que les suites extraites (u2n )n>0 et (u2n+1 )n>0 sont monotones et convergentes.

7. Pour tout n de N, demontrer que :

1 1
(u2n 1)2 (u0 1)2 et (u2n+1 1)2 (u1 1)2
2n + 1 n+1
8. Conclusion ?

Mathematiques en MPSI mathprepa.fr Page 2

Jean-Michel Ferrard
Probleme Corrige

Corrige du probleme
I. Quelques inegalites
1. Pour tout x 1, on a :
x 1 x2 1
 
2 x+1
2 T ( x) T (x) = 2 = (x 1)
x + 1 x2 + 1 x + 1 x2 + 1
x2 2x + 1 (x 1)3
= (x 1) = 0
(x + 1)(x2 + 1) (x + 1)(x2 + 1)

x2 1 x 1 x1 x1
S(x) 2 S( x) = = (x + 1 2 x) = ( x 1)2 > 0
2x x 2x 2x

Ces deux resultats montrent que : x > 1, T (x) 2 T ( x) et x > 1, 2 S( x) S(x)

2. Les applications f et g sont derivables sur [1, +[ :

1 1 4x (x2 + 1)2 4x2 (x2 1)2
Pour tout x > 1, on a : f 0 (x) = T 0 (x) = 2 = = .
x x (x + 1)2 x(x2 + 1)2 x(x2 + 1)2
 2
2 1 x+1 1 x+1
0
Il en decoule : 0 6 f (x) = (x 1) 2
6 (x 1)2 , car 0 < 6 1 et 0 < 2 6 1.
x x +1 x x +1
1 1 1 1 x2 + 1 2x (x 1)2
Pour tout x > 1, on a : g 0 (x) = S 0 (x) = + = = >0
x 2 2 x2 x 2 x2 2 x2
1
On a donc obtenu : x > 1, 0 6 f 0 (x) 6 (x 1)2 et x > 1, 0 6 g 0 (x) 6 (x 1)2
2
3. On se donne x quelconque dans lintervalle [0, 1].
1
On sait quon a : 0 6 f 0 (t) 6 (t 1)2 et 0 6 g 0 (t) 6 (t 1)2 pour tout t de [1, x].
2
On integre terme a terme entre t = 0 et t = x et on obtient :
Z x Z x x
(t1)3 (x1)3

0 2
06 f (t) dt 6 (t1) dt, donc 0 6 f (x)f (1) 6 , donc 0 6 f (x) 6
1 1 3 1 3
Z x Z x x
(t1)2 (t1)3 (x1)3

0
06 g (t) dt 6 dt, donc 0 6 g(x)g(1) 6 , donc 0 6 g(x) 6
1 1 2 6 1 6

II. Convergence de deux suites

1. (a) Une recurrence evidente donne un > 1 pour tout n de N.
1
Supposons que linegalite un 1 6 n (x 1) (triviale si n = 0) soit vraie pour un certain n.
2
1 1 1
Alors un+1 1 = un 1 = (un 1) 6 (un 1) 6 n+1 (x 1),
un + 1 2 2
ce qui prouve la propriete au rang n + 1 et acheve la recurrence.
1
Conclusion : n N, 0 6 un 1 6 (x 1) ce qui implique bien sur lim un = 1
2n n+

Mathematiques en MPSI mathprepa.fr Page 3

Jean-Michel Ferrard
Probleme Corrige

2. Pour tout n de N, et en utilisant les resultats de la question I.1, on a :

tn+1 = 2n+1 T (un+1 ) = 2n (2 T ( un )) > 2n T (un ), cest-a-dire tn+1 > tn

sn+1 = 2n+1 S(un+1 ) = 2n (2 S( un )) 6 2n S(un ), cest-a-dire sn+1 6 sn

Ainsi, la suite (tn )n>0 est croissante et la suite (sn )n>0 est decroissante .

3. Pour tout n de N, on a 2n+1 ln un+1 = 2n ln u2n+1 = 2n ln un .

La suite n 7 2n ln un est donc constante : n N, 2n ln un = 20 ln u0 = ln x

4. Pour tout n > 0, la question I.2 donne f (un ) > 0 et g(un ) > 0 donc 0 6 T (un ) ln(un ) 6 S(un ).
On en deduit 0 6 2n T (un ) 2n ln(un ) 6 2n S(un ). Ainsi : n N, 0 6 tn 6 ln x 6 sn

5. Legalite demandee secrit : (2n+1 S(un+1 ))2 = (2n S(un )) (2n+1 T (un+1 )).
Elle equivaut donc a : 2 S(un+1 )2 = S(un ) T (un+1 ) = S(u2n+1 ) T (un+1 ).
Il suffit donc de verifier legalite 2 S()2 = S(2 ) T () pour tout > 1.
 4 1  2 1  (2 1)2  2 1  2
Effectivement : S(2 ) T () = = = 2 = 2 S()2 .
2 2 2 + 1 2 2 2
Conclusion : pour tout n de N, on a s2n+1 = sn tn+1

6. La suite (tn )n>0 , croissante et majoree (par ln(x)), est convergente vers un reel a > 0.
La suite (sn )n>0 , decroissante et minoree (par ln(x)), est convergente vers un reel b.
A ce stade, le resultat de la question II.4 nous assure quon a lencadrement : 0 6 a 6 ln x 6 b.
On passe a la limite dans s2n+1 = sn tn+1 et on trouve b2 = ba, donc b = a (y compris si b = 0).
Ainsi a = b = ln x. Finalement, on a obtenu : lim sn = lim tn = ln x
n n

III. Algorithme dapproximation de ln x

1. Soit n un entier naturel quelconque.
sn 2n S(un ) S(un ) u2 + 1
Par definition, on a : cn = = n = = n .
tn 2 T (un ) T (un ) 2 un
 2 2 r
2un + u2n + 1 (un + 1)2 un+1 + 1 2 1 + cn
Ainsi : 1 + cn = = =2 = 2 cn+1 , donc cn+1 =
2un 2un 2 un+1 2
sn sn tn+1
On a les equivalences : sn+1 = sn+1 = s2n+1 = sn tn+1 .
cn+1 sn+1
sn
Or cette derniere egalite a ete demontree dans la question II.5. On a donc sn+1 =
cn+1
sn+1 sn+1
Enfin, par definition, on a cn+1 = donc tn+1 =
tn+1 cn+1

Mathematiques en MPSI mathprepa.fr Page 4

Jean-Michel Ferrard
Probleme Corrige

2. Voici la procedure approxln :

> approxln:=proc(x,p)
local t,s,c,n:
t:=(x^2-1)/(x^2+1): s:=(x^2-1)/(2*x): c:=s/t: n:=0:
while s-t >= 10^(-p) do
c:=sqrt((1+c)/2): s:=s/c: t:=s/c: n:=n+1
end do:
return([t,s],n)
end proc:

3. Soit n un entier naturel. Rappelons que 2n ln un = ln x.

On en deduit : ln x tn = 2n (ln un T (un )) cest-a-dire : ln x tn = 2n f (un )

De meme : sn ln x = 2n (S(un ) ln un )) cest-a-dire : sn ln x = 2n g(un )

4. Soit n un entier naturel quelconque.

1 x1
On sait que 0 6 f (un ) 6 (un 1)3 (cf I.3) et que 0 6 un 1 6 (cf II.1).
3 2n
2n 2n 1 1 (x 1)3
Ainsi 0 6 ln x tn = 2n f (un ) 6 (un 1)3 6 (x 1)3
donc 0 6 ln x tn 6
3 3 8n 3 4n
1
De meme, on sait que : 0 6 g(un ) 6 (un 1)3 (cf I.3).
6
n 2n 3 2n 1 3 1 (x 1)3
Ainsi 0 6 sn ln x = 2 g(un ) (un 1) 6 (x 1) donc 0 6 sn ln x 6
6 6 8n 6 4n
1 (x 1)3
Enfin, on trouve 0 sn tn en sommant les deux encadrements precedents.
2 4n
1 (x 1)3 1 1
5. Il suffit que n verifie n
= n
6 108 , cest-a-dire 2(4n ) > 108 .
2 4 24
On trouve (de tete) : 2(412 ) = 33554432 < 108 et 2(413 ) = 134217728 > 108 .
On est donc certain que 0 6 sn tn 6 108 a partir de n = 13.
1
6. On se donne un reel x de lintervalle ]0, 1[. Posons X = , donc X > 1.
x
Les questions precedentes fournissent un algorithme dapproximation du reel ln X.
X2 1 X2 1 S0 X2 + 1
Pour cela on pose : T0 = T (X) = 2 , S0 = S(X) = et C0 = = .
X +1 2X T0 X
r
1 + Cn Sn Sn+1
Pour tout n de N, on pose alors : Cn+1 = , Sn+1 = , et Tn+1 = .
2 Cn+1 Cn+1
On sait que dans ces conditions, les suites (Tn )n>0 et (Sn )n>0 sont convergentes vers ln X.
1 (X 1)3
Plus precisement, on sait que : n N, Tn 6 ln X 6 Sn et 0 Sn Tn .
2 4n
On pourrait se contenter dutiliser les suites (Sn )n>0 et (Tn )n>0 , dobtenir ainsi une approximation
de ln X, puis de prendre loppose du resultat et on trouverait ainsi une approximation de ln x.

Mathematiques en MPSI mathprepa.fr Page 5

Jean-Michel Ferrard
Probleme Corrige

Il y a cependant un peu plus elegant.

1/x2 1 1 x2 1/x2 1 1 x2
On note en effet que T0 = = = T (x) et S0 = = = S(x).
1/x2 + 1 1 + x2 2/x 2x
x2 1 x2 1 s0 x2 + 1
On pose donc t0 = T (x) = = T 0 , s 0 = S(x) = = S 0 et c 0 = = = C0 .
x2 + 1 2x t0 2x
r
1 + cn sn sn+1
Pour tout n de N, on pose ensuite : cn+1 = , sn+1 = , et tn+1 = .
2 cn+1 cn+1
Par une recurrence, on a alors : n N : cn = Cn , sn = Sn et tn = Tn .
Ainsi, les suites (sn )n>0 et (tn )n>0 sont convergentes vers ln X = ln x.
1 (X 1)3
Plus precisement, on sait que n N, Tn 6 ln X 6 Sn et 0 Sn Tn
2 4n
1  1 3
On en deduit : n N, sn 6 ln x 6 tn et 0 tn sn n 1
4 x
Linteret de cette approche est quon peut conserver lalgorithme etudie du debut de cette partie,
et notamment la procedure aproxln. Le seul changement tient au signe de tn sn : il faut donc
mettre abs(s-t) dans le listing de la procedure approxln.

> approxln:=proc(x,p)
local t,s,c,n:
t:=(x^2-1)/(x^2+1): s:=(x^2-1)/(2*x): c:=s/t: n:=0:
while abs(s-t) >= 10^(-p) do
c:=sqrt((1+c)/2): s:=s/c: t:=s/c: n:=n+1
end do:
return([t,s],n)
end proc:

Voici deux exemples dutilisation, lun pour calculer ln 2 avec un intervalle de longueur inferieur
a 108 , et lautre pour calculer ln 0.7 (avec la meme precision) :

> approxln(2.,8);
> evalf(ln(2));
[.6931471758, .6931471855], 12
0.6931471806

> approxln(0.7,8);
> evalf(ln(0.7));
[.3566749412, .3566749466], 11
.3566749439

Mathematiques en MPSI mathprepa.fr Page 6

Jean-Michel Ferrard
Probleme Corrige

Corrige de lexercice
1. Une recurrence evidente montre que tous les un sont positifs (strictement a partir de n = 1).
Supposons lim un = ` R.
n  1 
On passe a la limite dans un+1 un + = 1 et on trouve `2 = 1. La seule possibilite est ` = 1
n+1

2 4
2. Supposons u0 = 0 : alors u1 = 1, puis u2 = , u3 = 1, u4 = , u5 = 1.
3 5
2n
On montre alors, par recurrence sur n > 0, la propriete P(n) : u2n = et u2n+1 = 1
2n + 1
Bien sur P(0) est vraie. On suppose donc P(n) vraie pour un certain n > 0.
1 1 2n + 2 1
Alors u2n+2 = = = , et u2n+3 = = 1,
1 1 2n + 3 2n + 2 1
u2n+1 + 1+ +
2n + 2 2n + 2 2n + 3 2n + 3
ce qui prouve la propriete au rang n + 1 et acheve la recurrence.
1 3 5
Supposons u0 = 1 : alors u1 = , puis u2 = 1, u3 = , u4 = 1, u5 = .
2 4 6
2n + 1
On montre alors, par recurrence sur n > 0, la propriete Q(n) : u2n = 1 et u2n+1 =
2n + 2
Bien sur Q(0) est vraie. On suppose donc Q(n) vraie pour un certain n > 0.
1 1 2n + 3
Alors u2n+2 = = 1, et u2n+3 = = ,
2n + 1 1 1 2n + 4
+ 1+
2n + 2 2n + 2 2n + 3
ce qui prouve la propriete au rang n + 1 et acheve la recurrence.
Dans les deux cas (u0 = 0 et u0 = 1) on a bien sur lim un = 1.
n

n+1 n+1
3. Pour tout n de N, on a un+1 = = .
(n + 1)un + 1 (n + 1)(un 1) + n + 2
On en deduit successivement :
n+2 n+2
un+2 1 = 1= 1
(n + 2)un+1 + 1 (n + 2)(n + 1)
+1
(n + 1)(un 1) + n + 2

(n + 2)(n + 1)(un 1) + (n + 2)2 (n + 1)2 (un 1)

= 1, donc u n+2 1 =
(n + 1)(un 1) + (n + 2)2 (n + 1)(un 1) + (n + 2)2

4. Le resultat precedent montre que, pour tout n de N, un 6= 1 un+2 6= 1.

1
Or u0 6= 1 et u1 = 6= 1. On en deduit, de proche en proche, un 6= 1 pour tout n de N.
u0 + 1
Pour tout n de N, on a un > 0 donc (n + 1)(un 1) + (n + 2)2 > (n + 2)2 (n + 1) > 0.

(n + 1)2 (un 1)2

On en deduit : n N, (un+2 1)(un 1) = >0
(n + 1)(un 1) + (n + 2)2
Cette propriete signifie que un et un+2 sont toujours du meme cote de 1.

Mathematiques en MPSI mathprepa.fr Page 7

Jean-Michel Ferrard
Probleme Corrige

(n + 1)2 |un 1|
5. On sait que |un+2 1| = .
(n + 1)(un 1) + (n + 2)2
(n + 1)2 n+1
Linegalite a prouver equivaut donc a <
(n + 1)(un 1) + (n + 2)2 n+2
cest-a-dire a : (n + 1)(n + 2) < (n + 1)(un 1) + (n + 2)2
cest-a-dire a : 0 < (n + 1)(un 1) + (n + 1)2 ou encore : 0 < un 1 + (n + 1)
Par equivalences successives, on est arrive a linegalite evidente un + n > 0 (pour tout n de N)
n+1
On a donc demontre que pour tout n de N : 0 < |un+2 1| < |un 1|
n+2
6. La question 5 implique alors n N, 0 < |un+2 1| < |un 1|.

Supposons 0 < u0 < 1 : alors, pour tout n de N, on a 0 < u2n < 1.

Puisque 0 < |u2n+2 1| < |un 1|, on peut donc ecrire : n N, 0 < u2n < u2n+2 < 1

Supposons u0 < 1 : alors, pour tout n de N, on a u2n > 1.

Puisque 0 < |u2n+2 1| < |un 1|, on peut donc ecrire : n N, 1 < u2n+2 < u2n
1
En revanche, on a toujours 0 < u1 = < 1, donc : n N, 0 < u2n+1 < 1.
u0 + 1
Puisque 0 < |u2n+3 1| < |un+1 1|, on peut donc ecrire : n N, 0 < u2n+1 < u2n+3 < 1

La suite (u2n )n>0 est donc croissante majoree (si u0 < 1) ou decroissante minoree (si u0 > 1).
Dans tous les cas, la suite (u2n+1 )n>0 est croissante majoree.
Conclusion : les suites (u2n )n>0 et (u2n+1 )n>0 sont monotones et convergentes

(u0 1)2 (u1 1)2

7. On montre les inegalites (u2n 1)2 et (u2n+1 1)2 par recurrence sur n.
2n + 1 n+1
Tout daccord, chacune delles est evidente si n = 0.
On suppose quelles sont vraies au rang n, et on utilise le resultat de III.6 :
(2n + 1)2 2 (2n + 1)2 (u0 1)2 (u0 1)2
Alors : (u2n+2 1)2 6 (u 2n 1) 6
(2n + 2)2 (2n + 2)2 2n + 1 2n + 3
NB : On a utilise (2n + 1)(2n + 3) 6 (2n + 2)2 , en effet : (2n + 2)2 (2n + 1)(2n + 3) = 1.
(2n + 2)2 2 (2n + 2)2 (u1 1)2
De meme : (u2n+3 1)2 6 (u 2n+1 1)
(2n + 3)2 (2n + 3)2 n + 1
4(n + 1) 2 (u1 1)2
Ainsi (u2n+3 1)2 6 (u 1 1) 6 , car 4(n + 1)(n + 2) 6 (2n + 3)2 .
(2n + 3)2 n+2
On a ainsi prouve les inegalites au rang n + 1, ce qui acheve la recurrence.
(u0 1)2
2 2 (u1 1)2
Conclusion : n N, (u2n 1) et n N, (u2n+1 1)
2n + 1 n+1

8. La question precedente montre que lim u2n = lim u2n+1 = 1 donc lim un = 1
n n n

Mathematiques en MPSI mathprepa.fr Page 8

Jean-Michel Ferrard