EXERCICE 3 (9 points )

Commun tous les candidats

On sintresse des courbes servant de modle la distribution de la masse salariale dune entreprise.
Les fonctions f associes dfinies sur lintervalle [0; 1] doivent vrifier les conditions suivantes :
(1) f (0) = 0 et f (1) = 1 ;
(2) f est croissante sur lintervalle [0; 1] ;
(3) Pour tout rel x, f (x) x.

Le plan est rapport un repre orthonormal R = (O, i , j ). Unit graphique 10 cm.

I. Premire partie. Etude dun modle.
On appelle g la fonction dfinie sur lintervalle [0; 1] par
g(x) = xex1 .
1)

Prouver que g vrifie les conditions (1) et (2).

2)

Montrer que g(x) x =

3)

Tracer les droites dquations y = x et x = 1 et la courbe reprsentative de g dans le repre R.

x x
(e e) et en dduire que g vrifie la condition (3).
e

II. Seconde partie. Un calcul dindice.

Pour une fonction f vrifiant les conditions (1), (2) et (3), on dfinit un indice I gal laire exprime
en unit daire, du domaine plan M dlimit par les droites dquations y = x, x = 1 et la courbe
reprsentative de f .
1)

Justifier que I =

[x f (x)] dx.

2)

A laide dune intgration par parties, calculer lindice Ig , associ g.

3)

On sintresse aux fonctions fn , dfinies sur lintervalle [0; 1] par

fn (x) =

2xn
.
1+x

o n est un entier naturel suprieur ou gal 2. On admet que ces fonctions vrifient les conditions
(1), (2) et (3) et on se propose dtudier lvolution de leur indice In lorsque n tend vers linfini.
a) On pose In =

[x fn (x)] dx et un =
0

fn (x) dx. Prouver que In =

0

1
un .
2

tn
tn+1
et
sur lintervalle [0; 1] ; en dduire que la suite (un ) est dcroissante.
1+t 1+t
c) Prouver que pour tout rel t appartenant lintervalle [0; 1],
b) Comparer

tn
tn .
1+t

2
.
n+1
e) Dterminer alors la limite de In quand n tend vers linfini.

d) En dduire que pour tout entier naturel n 2, 0 un

EXERCICE 3
I. Premire partie
1. g(0) = 0 e1 = 0 et g(1) = 1 e0 = 1. Dautre part la fonction g est drivable sur [0; 1] en tant que produit de
fonctions drivables sur [0; 1] et pour tout rel x de [0; 1],
g (x) = ex1 + x ex1 = (1 + x)ex1 .
Pour tout rel x de [0; 1], on a 1 + x 0 et ex1 0 et donc g (x) 0. Par suite, la fonction g est croissante sur [0; 1].
La fonction g vrifie les conditions (1) et (2).

2.

Soit x un rel lment de [0; 1].

g(x) x = xex1 x = x(ex1 1) = x(

ex e
x
ex
1) = x
= (ex e).
e
e
e

Soit x un rel lment de [0; 1]. Puisque la fonction exponentielle est croissante sur R, on a ex e1 ou encore ex e et
x
x
donc ex e 0. Dautre part, 0 et finalement (ex e) 0.
e
e
Ainsi, pour tout rel x de [0; 1], g(x) x 0 ou encore g(x) x.
La fonction g vrifie la condition (3).

3.

xe x

x=1

http ://www.maths-france.fr

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

II. Seconde partie

1.

Par hypothse, pour tout rel x de [0; 1], on a f(x) x. On sait alors que laire du domaine considr, exprime en
Z1
unit daire, est [x f(x)] dx.
0

2.

Calculons tout dabord

Z1

g(x) dx cest--dire

Z1

xex1 dx.

Pour x rel lment de [0; 1], posons u(x) = x et v(x) = ex1 . u et v sont drivables sur [0; 1] et pour tout rel x de [0; 1], on
a u (x) = 1 et v (x) = ex1 . De plus les fonctions u et v sont continues sur [0; 1]. On peut donc effectuer une intgration
par parties et on obtient
Z1

x1

xe

dx =

1
xex1 0

Z1
0

1

ex1 dx = (1 e0 0 e1 ) ex1 0

= 1 (e0 e1 ) = e1 =

1
.
e

Mais alors, par linarit de lintgrale,

 2 1
Z1
Z1
Z1
1
1 1
x
= .
Ig = [x g(x)] dx = x dx xex1 dx =
2 0 e
2 e
0
0
0
Ig =

3.

1 1
.
2 e

a. Soit n un entier naturel. Par linarit de lintgrale on a

Z1
Z1
Z1
1
In = [x fn (x)] dx = x dx fn (x) dx = un .
2
0
0
0

b. Soit n un entier naturel.

Soit t un rel de [0; 1]. On a t 1 et donc, puisque tn 0, on a tn t tn 1 ou encore tn+1 tn . Puisque
on obtient finalement

2tn
2tn+1

.
1+t
1+t

2tn+1
2tn

. Par croissance de lintgrale, on a alors

1+t
1+t
Ainsi, pour tout entier naturel n, on a un+1 un et donc
Ainsi, pour tout rel t de [0; 1], on a

Z1
0

2tn+1
dt
1+t

2
0,
1+t

Z1
0

2tn
dt.
1+t

la suite (un )nN est dcroissante.

c. Soit n un entier naturel.
Soit t un rel lment de [0; 1]. On a dune part

1
1
1+t
1
0 et dautre part,

ou encore
1. En rsum,
1+t
1+t
1+t
1+t

1
1. Puisque tn 0, aprs multiplication des trois membres de cet encadrement par tn , on obtient
1+t
tn
0
tn .
1+t
Z1
2tn
2tn
0 et donc, par positivit de lintgrale on a
dt 0. Pour tout rel t de
d. Pour tout rel t de [0; 1], on a
1+t
0 1+t
Z
Z
1
1
2tn
2tn
[0; 1], on a aussi
2tn et donc, par croissance de lintgrale on a
dt 2tn dt avec
1+t
0 1+t
0

 n+1 1
 n+1
Z1
2
0n+1
t
1
=
2tn dt = 2
=2

.
n+1 0
n+1 n+1
n+1
0
Z1
2
2tn
dt
.
Finalement 0
1
+
t
n
+
1
0
0

Pour tout entier naturel n, 0 un

http ://www.maths-france.fr

2
.
n+1

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

2
tend vers 0 quand n tend vers +, le thorme des gendarmes permet daffirmer que un tend vers 0
n+1
quand n tend vers + et donc que
e. Puisque

lim In =

n +

http ://www.maths-france.fr

1
.
2

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