EXERCICE 4

Partie A
1.

a) La fonction g est drivable sur [1, +[ en tant que somme de fonctions drivables sur [1, +[ et pour x ! 1,
g ! (x) =

1
1x
2
1= 1=
.
2x
x
x

On a g ! (1) = 0 et pour x > 1, g ! (x) < 0. Donc la fonction g est strictement dcroissante sur [1, +[.
!
"
!
"
ln(2x) 1
ln(2x) 1
ln(2x)
ln X
Pour tout rel x ! 1, g(x) = x 1
= x 1 2
. Or, lim

= lim
= 0
x
+
X
+
x
x
2x
x
2x
X
"
!
ln(2x) 1
1
= 1. Comme
= 0 et donc lim
12

daprs un thorme de croissances compares. Dautre part, lim

x +
x + x
2x
x
lim (x) = , on en dduit que lim g(x) = .
x +

x +

Ainsi, la fonction g est continue et strictement dcroissante sur [1, +[. Par suite, pour tout rel k de ] lim g(x), g(1)] =
x +

] , ln 2], lquation g(x) = k admet une solution et une seule dans [1, +[. Comme 0 appartient ] , ln 2] (car
ln 2 > 0), on a montr en particulier que lquation g(x) = 0 admet une unique solution dans [1, +[.
Lquation g(x) = 0 admet une unique solution dans [1, +[.
b) Lgalit g() = 0 scrit ln(2) + 1 = 0 ou encore ln(2) + 1 = .
2.

a) Construction des quatre premiers termes de la suite (un )nN

( )

u0
1

u1
1

u2
2

u3
3

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

!

b) Montrons par rcurrence que pour tout entier naturel n, un est dfini et 1 " un " 3.
Cest vrai pour n = 0 car u0 = 1.
Soit n ! 0. Supposons que un est dfini et 1 " un " 3. Alors tout dabord 2un > 0 et donc un+1 existe. Ensuite, par
croissance de la fonction ln sur ]0, +[, ln(21)+1 " ln(2un )+1 " ln(23)+1 ou encore 1 " un+1 " 1+ln 6 = 2, 7 . . . " 3.
On a montr par rcurrence que
pour tout entier naturel n, 1 " un " 3.
A partir dici, on doit constater que lnonc nest pas rsoluble tel quil est pos : le signe de un+1 un ne peut tre
prcis que si lon connat la position de un par rapport . La question qui devait tre pose tait donc : Montrer que
pour tout entier naturel n, 1 " un " un+1 " . Cest cette question que lon rsout dornavant.
Montrons par rcurrence que pour tout entier naturel n, un est dfini et 1 " un " .
Cest vrai pour n = 0 car u0 = 1 et puisque ! 1 daprs la question 1.a).
Soit n ! 0. Supposons que un est dfini et 1 " un " . Alors tout dabord 2un > 0 et donc un+1 existe. Ensuite, par
croissance de la fonction ln sur ]0, +[, ln(2 1) + 1 " ln(2un ) + 1 " ln(2 ) + 1 ou encore 1 " un+1 " daprs la
question 1.b).
On a montr par rcurrence que
pour tout entier naturel n, 1 " un " .
Soit alors n N. un+1 un = ln(2un ) + 1 un = g(un ). Or 1 " un " et donc, puisque la fonction g est dcroissante
sur [1, ], g(un ) ! g() ou encore g(un ) ! 0 et enfin un+1 ! un . On a montr que
pour tout entier naturel n, 1 " un " un+1 " .
c) Ainsi, la suite (un )nN est croissante et majore par . On en dduit que la suite (un )nN converge vers un certain rel
# lment de [1, ]. Maintenant, en faisant tendre n vers + dans lgalit un+1 = ln(2un ) + 1, on obtient # = ln(2#) + 1
ou encore g(#) = 0. Mais alors # = par unicit de . On a montr que
la suite (un )nN converge vers .
Partie B
1.

a) 1 re solution. Soient x et y deux rels de [1, +[ tels que x " y.

#y
#x
#y
F(y) F(x) = (t 1)e1t dt (t 1)e1t dt = (t 1)e1t dt.
1

Pour tout rel t de [x, y], on a (t 1)e1t ! 0 (car t ! x ! 1) et donc, par positivit de lintgrale, F(y) F(x) ! 0. Ainsi,
pour tous rels x et y de [1, +[, x " y F(x) " F(y) et donc
la fonction F est croissante sur [1, +[.

2 me solution. La fonction f est continue sur [1, +[. On sait alors que la fonction F est dfinie et drivable sur [1, +[
et plus prcisment que la fonction F est la primitive de la fonction f qui sannule en 1. Par suite, pour tout rel x ! 1,
F ! (x) = f(x) = (x 1)e1x ! 0. Puisque la fonction F ! est positive sur [1, +[, la fonction F est croissante sur [1, +[.
b) Soit x ! 1. Pour t dans [1, x], posons u(t) = t 1 et v(t) = e1t . Les fonctions u et v sont drivables sur [1, x] et
pour t dans [1, x] on a
u(t) = t 1

v(t) = e1t

u ! (t) = 1

v ! (t) = e1t

De plus, les fonctions u ! et v ! sont continues sur [1, x]. On peut donc effectuer une intgration par parties et on obtient

F(x) =

#x

1t

(t 1)e

1t

dt = (t 1)(e

$x
) 1

#x
1

= (x 1)e1x (e1x e0 ) = xe1x + 1.

$x
#
1 (e1t ) dt = (x 1)e1x 0 e1t 1

Pour tout rel x de [1, +[, F(x) = xe1x + 1.

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

!

c) Soit x un rel de [1, +[.

F(x) =

2.

%
&
1
1
xe1x + 1 = 2xe1x = 1 ln 2xe1x = ln 1 ln(2x) + ln(e1x ) = 0
2
2
ln(2x) + 1 x = 0 ln(2x) + 1 = x.

La fonction f est continue et positive sur [1, a]. Donc aire de (Da ) =

#a

f(t) dt = F(a).

Maintenant, daprs la question prcdente, F(a) =

1
ln(2a) + 1 = a g(a) = 0 a = .
2

( )

(C)
1

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

!