Convexit

I - Parties convexes dun espace vectoriel

1) Barycentres
Si on place dans chacun des deux plateaux dune balance des masses respectives de 1 kg et 2 kg, le point dquilibre est
aux deux tiers . On partage le segment [A, B] en trois segments gaux. On laisse un segment du ct de B qui est deux
fois plus lourd et deux segments du ct de A et on place le flau de la balance au point G dessin ci-dessous.

A G B
b b b

2
Le point G vrifie lgalit AG = AB ou aussi 2GA + GB = 0 . On rappelle alors une notation donne en maths sup. Si
3

u = AB, on peut crire

u = B A ou aussi B = A +

u . Donc,

2A + B
2GA + GB = 0 2(A G) + (B G) = 0 G = .
2+1
On gnralise cette situation :
Dfinition 1. Soit E un K-espace vectoriel. Soient n N puis a1 , . . . , an n lments de E. Soit (1 , . . . , n ) Rn
tel que 1 + . . . + n 6= 0.
1 a 1 + . . . + n a n
Le barycentre du systme de points pondrs (a1 (1 ) , . . . , an (n )) est g = .
1 + . . . + n
Notation. Le barycentre du systme (a1 (1 ) , . . . , an (n )) se note bar (a1 (1 ) , . . . , an (n )).
On a immdiatement

Thorme 1. g est lunique point de E vrifiant 1 + . . . +

ga 1 n gan = 0 .

Exemple. Soit ABC un triangle du plan. Construisons G = bar(A(2), B(1), C(1)). Notons I le milieu de [BC].


2GA + GB + GC = 0 2GA + GI + IB + GI + GI = 0 2GA + 2GI = 0 GA + GI = 0 .
Le point G est donc le milieu du segment [AI].

B I C

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

1 http ://www.maths-france.fr
Thorme 2. Soit E un K-espace vectoriel. Soient n N puis a1 , . . . , an n lments de E. Soit (1 , . . . , n ) Rn
tel que 1 + . . . + n 6= 0. Soit k R \ {0}. Alors

bar (a1 (k1 ) , . . . , an (kn )) = bar (a1 (1 ) , . . . , an (n )) .

Dmonstration. k1 + . . . + kn 6= 0 et de plus
k1 a1 + . . . + kn an 1 a 1 + . . . + n a n
bar (a1 (k1 ) , . . . , an (kn )) = = = bar (a1 (1 ) , . . . , an (n )) .
k1 + . . . + kn 1 + . . . + n

    
1 1
Par exemple, le milieu du segment [AB] est bar (A(1), B(1)) et est aussi bar A ,B . De manire plus gnrale,
2 2
si 1 + . . . + n 6= 0,

bar (a1 (1 ) , . . . , an (n )) = bar (a1 (1 ) , . . . , an (n )) ,

i
o i J1, nK, i = . Les coefficients i vrifient
1 + . . . + n
Xn n
X
1
i = i = 1.
1 + . . . + n
i=1 i=1

On peut donc toujours se ramener au cas o la somme des coefficients est gale 1.
2) Convexes
2-a) Segments
Soient A et B deux points dun K-espace vectoriel E. Le segment [A, B] est lensemble des points M de E tel quil existe

un rel [0, 1] tel que AM = AB.
Bb

M
b

Ab

Cette dernire galit scrit encore M A = (B A) ou enfin M = (1 )A + B. Donc

Dfinition 2. Soit E un K-espace vectoriel. Soient a et b deux lments de E.
Le segment [a, b] est {(1 )a + b, [0, 1]} ou encore {bar(a(1 ), b), [0, 1]}.

Commentaire. La prsentation dun segment comme ensemble des (1)a+b, [0, 1], est meilleure que la prsentation
comme ensemble des a + (1 )b. Quand crot de 0 1, (1 )a + b parcourt le segment [a, b] de a b alors que
a + (1 )b parcourt le segment [a, b] de b a. Notons que, lorsque a 6= b, lapplication 7 (1 )a + b est une
bijection du segment [0, 1] de R sur le segment [a, b] de E.

b
b

(1 )a + b
b
a
b

b b b

0 1
2-b) Parties convexes dun espace vectoriel
Dfinition 3. Soit C une partie non vide dun K-espace vectoriel E. C est convexe si et seulement si pour tout
(x, y) C 2 , [x, y] C .

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

2 http ://www.maths-france.fr
Commentaire. Il revient au mme de dire :

C est convexe (x, y) C 2 , [0, 1], (1 )x + y C .

Convention. est convexe.

C C

y
b

x x
b b

y
b

C est convexe car C nest pas convexe car

(x, y) C 2 , [x, y] C (x, y) C 2 , [x, y] 6 C

Thorme 3. Soit C une partie non vide dun K-espace vectoriel E. C est convexe si et seulement si
n n
!
X X
n n
n N , (x1 , . . . , xn ) C , (1 , . . . , n ) [0, 1] , i = 1 i x i C .
i=1 i=1

n n
!
X X
Dmonstration. = / Supposons que n > 2, (x1 , . . . , xn ) C n , (1 , . . . , n ) [0, 1]n , i = 1 i x i C .
i=1 i=1
En particulier, pour n = 2, on a

(x1 , x2 ) C 2 , (1 , 2 ) [0, 1]2 , (1 + 2 = 1 1 x1 + 1 x2 C ) .

Ceci scrit encore (x1 , x2 ) C 2 , [0, 1], (1 )x1 + x2 C ce qui est la dfinition dun convexe.
= / Supposons que C est convexe. !
n
X n
X
n n
Montrons par rcurrence que n > 2, (x1 , . . . , xn ) C , (1 , . . . , n ) [0, 1] , i = 1 i x i C (le
i=1 i=1
rsultat tant immdiat quand n = 1).
La proprit est vraie quand n = 2 par dfinition dun convexe.
n n
!
X X
n n
Soit n > 2. Supposons que (x1 , . . . , xn ) C , (1 , . . . , n ) [0, 1] , i = 1 i x i C .
i=1 i=1
Soient (x1 , . . . , xn , xn+1 ) C n+1 puis (1 , . . . , n , n+1 ) [0, 1]n+1 tel que 1 + . . . + n + n+1 = 1.
n+1
X
Si n+1 = 1, alors i J1, nK, i = 0 et donc i xi = xn+1 C .
i=1
Sinon, n+1 [0, 1[ et on peut crire
n+1 n
!
X X i
i xi = (1 n+1 ) xi + n+1 xn+1 .
1 n+1
i=1 i=1

i
Pour tout i J1, nK, > 0. De plus,
1 n+1
Xn n
X
i 1 1 n+1
= i = = 1.
1 n+1 1 n+1 1 n+1
i=1 i=1

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

3 http ://www.maths-france.fr
 i
Les rels , 1 6 i 6 n, sont donc n rels de [0, 1] et de somme gale 1. Par hypothse de rcurrence,
1 n+1 !
n
X Xn
i i
xi C puis, daprs le cas n = 2, (1 n+1 ) xi + n+1 xn+1 C .
1 n+1 1 n+1
i=1 i=1

Le rsultat est dmontr par rcurrence.

Thorme 4. Soit E un K-espace vectoriel. Soient I un ensemble non vide dindices puis (Ci )iI une famille de
\
convexes de E indexe par I. Alors Ci est un convexe de E.
iI
\
Dmonstration. Posons C = Ci . Si C est vide, alors C est un convexe de E par convention.
iI

Supposons C 6= . Soit (x, y) E2 .

(x, y) C 2 i I, (x, y) Ci2 i I, [x, y] Ci [x, y] C

et donc C est convexe.

2-c) Enveloppe convexe

Thorme 5. Soit E un K-espace vectoriel. Soit A une partie de E. Il existe une plus petite partie convexe (au sens
de linclusion) contenant A .
Dmonstration. Il existe au moins un convexe contenant A savoir lespace E tout entier. Soit C lintersection de tous
les convexes de E contenant A .
C contient A en tant quintersection de parties contenant A et C est un convexe en tant quintersection de convexes. Donc,
C est un convexe contenant A . Enfin, tout convexe contenant A contient lintersection de tous les convexes contenant A
cest--dire C .

Dfinition 4. Soit A une partie de E. Le plus petit convexe (au sens de linclusion) de E contenant A sappelle
lenveloppe convexe de A et se note conv(A ).

Thorme 6. Soit E un K-espace vectoriel. Soit A une partie non vide de E. Lenveloppe convexe de A est lensemble
n
X n
X
des i xi o n N , (x1 , . . . , xn ) A n , (1 , . . . , n ) [0, 1]n et i = 1.
i=1 i=1

Dit autrement, conv(A ) est lensemble des barycentres coefficients positifs dlments de A .
Dmonstration. Notons C lensemble des barycentres coefficients positifs dlments de A .
conv(A ) contient les lments de A et donc les barycentres coefficients positifs dlments de A daprs le thorme 3,
page 3, et donc C conv(A ).
Inversement, un lment de A est un barycentre coefficients positifs dlments de A et donc C contient A . De plus,
n
X n
X p
X
soit x = i xi o les xi sont dans A et les i sont dans [0, 1] et tels que i = 1 et soit y = i yi o les yi sont
i=1 i=1 i=1
p
X
dans A et les i sont dans [0, 1] et tels que i = 1. Alors, pour [0, 1],
i=1

(1 )x + y = (1 )1 x1 + . . . + (1 )n xn + 1 y1 + . . . p yp ,
avec i J1, nK, 0 6 (1 )i 6 1 6 1, j J1, pK, 0 6 j 6 6 1 et enfin
n
X p
X n
X p
X
(1 )i + j = (1 ) i + j = 1 + = 1.
i=1 j=1 i=1 j=1

Donc (1 )x + y C . Ainsi, C est un convexe contenant A et donc conv(A ) C . On a montr que conv(A ) = C .

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

4 http ://www.maths-france.fr
II - Fonctions convexes
1) Dfinition
Dfinition 5. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R. Lpigraphe de f est
{(x, y) I R/ y > f(x)}.

1 1 2 3 4
1

Dfinition 6. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R.

On dit que f est convexe sur I si et seulement si lpigraphe de f est une partie convexe de R2 .
On dit que f est concave sur I si et seulement si f est convexe sur I.

Thorme 7. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R.

f est convexe sur I si et seulement si (x, y) I2 , [0, 1], f((1 )x + y) 6 (1 )f(x) + f(y).
f est concave sur I si et seulement si (x, y) I2 , [0, 1], f((1 )x + y) > (1 )f(x) + f(y).
Commentaire. Il existe des fonctions qui sont la fois convexes et concaves : les fonctions affines. On peut montrer que
ce sont les seules fonctions tre la fois convexes et concaves.
Dfinition 7. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R.
On dit que f est strictement convexe sur I si et seulement si si et seulement si (x, y) I2 tel que x 6= y, ]0, 1[,
f((1 )x + y) < (1 )f(x) + f(y).
On dit que f est strictement convave sur I si et seulement si si et seulement si (x, y) I2 tel que x 6= y, ]0, 1[,
f((1 )x + y) > (1 )f(x) + f(y).

f(y) b

(1 )f(x) + f(y) b

f(x) b

b
f((1 )x + y)

x (1 )x + y y

Dmonstration du thorme 7.
Supposons que f est convexe sur I et donc que lpigraphe E de f est un convexe de R2 .
Soient (x1 , x2 ) I2 et [0, 1]. Les points A1 = (x1 , f (x1 )) et A2 = (x2 , f (x2 )) sont des points de E . Donc, le segment
[A1 , A2 ] est contenu dans E . En particulier, le point (1 )A1 + A2 est un point de E . Lordonne de ce point, savoir
(1 )f (x1 ) + f (x2 ), est suprieure ou gale limage de son abscisse, savoir f ((1 )x1 + x2 ).

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

5 http ://www.maths-france.fr
On a montr que f ((1 )x1 + x2 ) 6 (1 )f (x1 ) + f (x2 ).
Supposons que (x1 , x2 ) I2 , [0, 1], f ((1 )x1 + x2 ) 6 (1 )f (x1 ) + f (x2 ). Montrons que E est un convexe
de R2 .
Soient A1 = (x1 , y1 ) et A2 = (x2 , y2 ) deux points de E et [0, 1]. Soit M = (1 )A1 + A2 . Posons M = (x, y). Alors

y = (1 )y1 + y2 > (1 )f (x1 ) + f (x2 ) > f ((1 )x1 + x2 ) = f(x),

et donc M est un point de E . Ainsi, pour tout (A1 , A2 ) E 2 et tout point M de [A1 , A2 ], M est un point de E . On a
montr que E est un convexe de R2 .
Enfin, f concave sur I f convexe sur I (x, y) I2 , [0, 1], f((1 )x + y) 6 (1 )(f(x)) + (f(y))
(x, y) I2 , [0, 1], f((1 )x + y) > (1 )f(x) + f(y).

Thorme 8. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R.

f est convexe sur I si et seulement si
n n
! n
!
X X X
n n
n N , (xi )16i6n I , (i )16i6n [0, 1] , i = 1 f i x i 6 i f (xi ) .
i=1 i=1 i=1

Dmonstration.
n n
! n
!
X X X
Si n N , (xi )16i6n In , (i )16i6n [0, 1]n , i = 1 f i x i 6 i f (xi ) , quand n = 2, on
i=1 i=1 i=1
obtient la dfinition dune fonction convexe.
Rciproquement, si f est convexe, son pigraphe est convexe et le thorme 3, page 3, montre le rsultat.

2) Caractrisation par la fonction pente

Thorme 9. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R.
f est convexe sur I si et seulement si

x0 I, la fonction pente en x0 x0 : I \ {x0 } R est croissante sur I \ {x0 } .

f(x) f (x0 )
x 7
x x0
f est strictement convexe sur I si et seulement si la fonction pente en tout x0 de I est strictement croissante sur I.
Dmonstration.
Supposons que pour tout x0 de I, la fonction x0 est croissante sur I \ {x0 }.
Soit (x1 , x2 ) I2 tel que x1 < x2 et ]0, 1[. On a donc x1 < (1 )x1 + x2 < x2 . La fonction x1 est croissante sur
I \ {x1 }. Donc, x1 ((1 )x1 + x2 ) 6 x1 (x2 ). Cette ingalit scrit explicitement

f ((1 )x1 + x2 ) f (x1 ) f (x2 ) f (x1 )

6
((1 )x1 + x2 ) x1 x2 x1
f ((1 )x1 + x2 ) f (x1 ) f (x2 ) f (x1 )
ou encore 6 puis f ((1 )x1 + x2 ) f (x1 ) 6 (f (x2 ) f (x1 )) et finalement
(x2 x1 ) x2 x1
f ((1 )x1 + x2 ) 6 (1 )f (x1 ) + f (x2 ) .
Cette ingalit reste claire quand = 0 ou = 1 ou x1 = x2 et on a donc montr que f est convexe. Enfin, si pour tout
x0 de I, la fonction x0 est strictement croissante sur I \ {x0 }, on remplace ci-dessus les ingalits larges par des ingalits
strictes et on obtient le fait que f est strictement convexe sur I.
Supposons f convexe sur I. Soit x0 I. On supposera dans ce qui suit que x0 nest pas une borne de I, la dmonstration
sadaptant facilement dans le cas contraire. Soit (x1 , x2 ) I2 tel que x1 < x2 .
Trois cas de figure se prsentent :
1er cas. Supposons x0 < x1 < x2 .
x1 x0
Soit = . est un rel de ]0, 1[ tel que x1 = (1 )x0 + x2 . Puisque f est convexe sur I,
x2 x0
c Jean-Louis Rouget, 2015. Tous droits rservs.
6 http ://www.maths-france.fr
 x2 x1 x1 x0
f (x1 ) = f ((1 )x0 + x2 ) 6 (1 )f (x0 ) + f (x2 ) = f (x0 ) + f (x2 )
x2 x0 x2 x0
puis

(x1 x0 ) x1 x0 x1 x0
f (x1 ) f (x0 ) 6 f (x0 ) + f (x2 ) = (f (x2 ) f (x0 ))
x2 x0 x2 x0 x2 x0
f (x1 ) f (x0 ) f (x2 ) f (x0 )
et donc 6 aprs division des deux membres de lingalit par x1 x0 > 0.
x1 x0 x2 x0
2me cas. Supposons x1 < x2 < x0 .
x2 x1
Soit = . est un rel de ]0, 1[ tel que x2 = (1 )x1 + x0 . Puisque f est convexe sur I,
x0 x1
x0 x2 x2 x1
f (x2 ) 6 (1 )f (x1 ) + f (x0 ) = f (x1 ) + f (x0 )
x0 x1 x0 x1
puis
x0 x2 x2 x0 x2 x0
f (x2 ) f (x0 ) 6 f (x1 ) + f (x0 ) = (f (x1 ) f (x0 ))
x0 x1 x0 x1 x1 x0
f (x1 ) f (x0 ) f (x2 ) f (x0 )
et donc encore 6 aprs division des deux membres de lingalit par x2 x0 < 0.
x1 x0 x2 x0
3me cas. Supposons x1 < x0 < x2 . Daprs les deux premiers cas,

f (x1 ) f (x0 ) f (x2 ) f (x0 )

= x0 (x1 ) = x1 (x0 ) 6 x1 (x2 ) = x2 (x1 ) 6 x2 (x0 ) = .
x1 x0 x2 x0
Ceci montre que la fonction pente en x0 est croissante sur I \ {x0 }. Dautre part, si f est strictement convexe sur I, on
remplace toutes les ingalits larges prcdentes par des ingalits strictes et on obtient le fait que la fonction pente en x0
est strictement croissante sur I \ {x0 }.

Notons au passage cette configuration usuelle concernant les fonctions convexes : si x < z < y,

f(z) f(x) f(y) f(x) f(y) f(z)

6 6 .
zx yx yz

f(y) b

f(x) b

b
f(z)

x z y

3) Caractrisation des fonctions convexes drivables

Thorme 10. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R. On suppose de plus que f est
drivable sur I.
f est convexe sur I si et seulement si f est une fonction croissante sur I.
f est concave sur I si et seulement si f est une fonction dcroissante sur I.
Dmonstration.
Supposons f croissante sur I. Soit (x, y) I2 tel que x < y.

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

7 http ://www.maths-france.fr
Pour [0, 1], posons g() = (1 )f(x) + f(y) f((1 )x + y). La fonction 7 (1 )x + y est drivable sur [0, 1]
valeurs dans [x, y] I et la fonction f est drivable sur I. Donc la fonction 7 f((1 )x + y) est drivable sur [0, 1]
et il en est de mme de la fonction g. De plus, pour [0, 1],

g () = f(y) f(x) (y x)f ((1 )x + y).

Daprs le thorme des accroissements finis, il existe un rel c ]x, y[ tel que f(y) f(x) = (y x)f (c) ou encore, il existe
cx
un rel 0 ]0, 1[, savoir 0 = , tel que f(y) f(x) = (y x)f ((1 0 ) x + 0 y). Donc,
yx
[0, 1], g () = (y x) [f ((1 0 ) x + 0 y) f ((1 ) x + y)] .
La fonction affine 7 (1 ) x + y = (y x) x est croissante sur [0, 1] (car x < y) et donc la fonction 7
f ((1 ) x + y) est croissante sur [0, 1] puis la fonction g est dcroissante sur [0, 1]. Puisque g (0 ) = 0, on en dduit
que g est positive sur [0, 0 ] et ngative sur [0 , 1].
Ainsi, la fonction g est croissante sur [0, 0 ] et dcroissante sur [0 , 1]. Puisque g(0) = g(1) = 0, la fonction g est positive
sur [0, 1] ou encore

[0, 1], f((1 )x + y) 6 (1 )f(x) + f(y).

Donc, la fonction f est convexe sur I.
f(t) f(x)
Supposons f convexe sur I. Soit (x, y) I2 tel que x < y. Puisque la fonction x : t 7 est croissante sur
tx
f(y) f(x)
I \ {x} (daprs le thorme 9), pour tout t I]x, +[, x (t) > ux lim x (u) = f (x) et en particulier, > f (x).
u>x
yx
f(t) f(y)
De mme, la fonction y : t 7 est croissante sur I \ {y} et donc y (x) 6 uy lim y (u) = f (y) et en particulier,
ty u<y
f(y) f(x)
6 f (y).
yx
f(y) f(x)
On a donc f (x) 6 6 f (y) et en particulier f (x) 6 f (y). On a montr que f est croissante sur I.
yx

On dmontre de manire analogue le thorme suivant :

Thorme 11. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R. On suppose de plus que f est
drivable sur I.
f est strictement convexe sur I si et seulement si f est une fonction strictement croissante sur I.
f est strictement concave sur I si et seulement si f est une fonction strictement dcroissante sur I.
et on en dduit :
Corollaire. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R. On suppose de plus que f est deux
fois drivable sur I.
f est convexe sur I si et seulement si f > 0.
f est concave sur I si et seulement si f 6 0.
Si f > 0 sur I sauf peut-tre en un nombre fini de points, alors f est strictement convexe sur I.
Si f < 0 sur I sauf peut-tre en un nombre fini de points, alors f est strictement concave sur I.
Dmonstration. On sait que f est croissante sur I si et seulement si (f ) = f est positive sur I.

Dfinition 8. Soit f une fonction dfinie sur un intervalle I de R valeurs dans R, deux fois drivable sur I.
Si x0 est un rel de I en lequel f sannule en changeant de signe, on dit que le point (x0 , f (x0 )) est un point
dinflexion de la courbe reprsentative de f.
Un point dinflexion est un point de la courbe en lequel la concavit change de sens. On verra aussi quen un point
dinflexion, la courbe traverse sa tangente .

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

8 http ://www.maths-france.fr
 f < 0

f > 0
f (x0 ) = 0
b

x0

4) Tangentes au graphe dune fonction convexe

Soit f une fonction drivable et convexe sur un intervalle I de R valeurs dans R. Soit a un rel. On va montrer que
la courbe reprsentative Cf de f est au-dessus de sa tangente (Ta ) en son point dabscisse a sur I. Une quation de la
tangente Cf en le point (a, f(a)) est

y = f (a)(x a) + f(a).
Pour x I, posons g(x) = f(x) (f (a)(x a) + f(a)). g est drivable sur I et pour tout x de I, g (x) = f (x) f (a).
Puisque f est convexe sur I, f est croissante sur I. Puisque g (a) = 0, on en dduit que g est ngative sur I] , a] et
positive sur I [a, +[. La fonction g admet donc un minimum en a gal g(a) = 0. Ceci montre que la fonction g est
positive sur I et donc que

x I, f(x) > f (a)(x a) + f(a).

On a montr que Cf est au-dessus de (Ta ) sur I.
Commentaire 1. On peut aussi constater que pour x I,
Zx

f(x) (f (a)(x a) + f(a)) = (f(x) f(a)) f (a)(x a) = (f (t) f (a)) dt
a
et vrifier que cette intgrale est positive en discutant suivant le fait que x > a ou x 6 a.
Commentaire 2. Dans le cas o f est strictement convexe, en adaptant la dmonstration ci-dessus, on montre que Cf
est strictement au-dessus de (Ta ) sur I \ {a}.
Commentaire 3. Enfin, si f est concave sur I (resp. strictement concave sur I), Cf est au-dessous de (Ta ) sur I (resp.
strictement au-dessous de (Ta ) sur I \ {a}).

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

9 http ://www.maths-france.fr
5) Ingalits de convexit
De ce qui prcde, on a lhabitude de dduire que le graphe dune fonction convexe est au-dessus de ses tangentes et
au-dessous de ses cordes (tant entendu que le graphe est au-dessus de sa tangente sur I tout entier et au-dessous de la
corde joignant les points (a, f(a)) et (b, f(b)) sur le segment [a, b] uniquement).

b b

Cette constatation explicitement utilise fournit des ingalits appeles ingalits de convexit . On donne ci-dessous
un certain nombre dingalits de convexit classique connatre.
La fonction exponentielle est strictement convexe sur R car sa drive seconde savoir x 7 ex , est strictement positive
sur R. Son graphe est donc au-dessus de sa tangente en (0, e0 ) = (0, 1) sur R et strictement au-dessus sur R . Ceci fournit

x R, ex > 1 + x et x R , ex > 1 + x.

5 4 3 2 1 1 2 3 4 5
1

1
La fonction x 7 ln(1 + x) est strictement concave sur ] 1, +[ car sa drive seconde savoir x 7 , est
(1 + x)2
strictement ngative sur ] 1, +[. Son graphe est donc au-dessous de sa tangente en (0, ln 1) = (0, 0) sur ] 1, +[ et
strictement au-dessous sur ] 1, 0[]0, +[. Ceci fournit

x ] 1, +[, ln(1 + x) 6 x et x ] 1, 0[]0, +[, ln(1 + x) < x.

1 1 2 3 4
1

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

10 http ://www.maths-france.fr
 h i
La fonction x 7 sin x est strictement concave sur 0, car sa drive seconde savoir x 7 sin x, est strictement
i i 2 h i
ngative sur 0, . Son graphe est donc au-dessous de sa tangente en (0, sin 0) = (0, 0) sur 0, et strictement au-dessous
i i 2   h 2 i
sur 0, et son graphe est au-dessus de sa corde joignant les points (0, 0) et , 1 sur 0, . Ceci fournit entre autre
2 2 2
h i 2
x 0, , x 6 sin x 6 x.
2

1 2

Signalons enfin lingalit usuelle entre la moyenne gomtrique et la moyenne arithmtique de n nombres positifs.
Soient n > 2 puis (x1 , . . . , xn ) ]0, +[n . La fonction ln est concave sur ]0, +[ et donc
 
1 1 1 1
ln (x1 ) + . . . + ln (xn ) 6 ln x1 + . . . + xn ,
n n n n
ce qui scrit encore
 
x1 + . . . + xn
ln ( n
x1 . . . xn ) 6 ln
n
et finalement
x1 + . . . + xn
n
x1 . . . xn 6 .
n
Cette ingalit reste claire quand lun des xi est nul et donc

x1 + . . . + xn
n > 2, (x1 , . . . , xn ) [0, +[n , n
x1 . . . xn 6 .
n

La moyenne gomtrique de n nombres est toujours infrieure ou gale la moyenne arithmtique de ces n nombres.

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

11 http ://www.maths-france.fr