Introduction aux inégalités

-cours-

Razvan Barbulescu
ENS, 8 février 2014

1 Inégalité des moyennes

Faisons d’abord la liste des propritétés simples des inégalités:
• a ≥ a0 et b ≥ b0 ⇒ a + b ≥ a0 + b0 ;
• s ≥ 0 et a ≥ a0 ⇒ sa ≥ sa0 ;
• a ≥ a0 > 0 ⇒ 1
a0 ≤ a1 .
Définition 1. Soit a1 , . . . , anPdes variables. Si E(a1 , . . . , an ) est une expression,
la somme symétrique, notée cyc E(a1 , . . . , an ) est la somme de tous le termes
obtenus en échangeant a1 → a2 , a2 → a3 , · · · , an−1 → an et an → a1 .
Par exemple cyc a2 désigne a2 + b2 + c2 et cyc a3 (b2 + c) désigne a3 (b2 +
P P

c) + b3 (c2 + a) + c3 (a2 + b).

√
Exercice 1. Montrer que, indépendamment du nombre de signes , on a
r
√
q
6+ 6 + ··· + 6 < 3.
P2014 1
Exercice 2. Montrer que n=1 n2 < 2.
1
Remarque 1. Si on continue à sommer des termes n2 on constate qu’on se
2
raproche du nombre π6 .
Théorème 1 (Inégalité des moyennes). Soient x et y deux réels positifs. Mon-
trer que: r
x2 + y 2 x+y √ 2
≥ ≥ xy ≥ 1 1.
2 2 x + y

On résume ainsi: moyenne quadratique ≥ moyenne arithmétique ≥ moyenne

géométrique ≥ moyenne harmonique.
Remarque 2. • Si un train se déplace la moitié du trajet à 320km/h et
l’autre moitité à 80km/h, la vitesse moyenne est la moyenne harmonique.

1
 • La température absolue d’un gaz est la moyenne quadratique des vitesses
des molécules qui le composent.
Proof. L’inégalité arithmético géométrique est équivalente à (x + y)2 ≥ 4xy, ou
de manière équivalente (x − y)2 ≥ 0. Toutes les autres inégalités du théorème
en découle facilement.

Exercice 3. Montrer l’inégalité des moyennes arithétique et géométrique pour

quatre, puis trois, nombres.
a+b c+d
q p√ √ √
2 + 2
Proof. On écrite a+b+c+d
4 = 2 ≥ a+b c+d
2 2 ≥ ab cd = 4 abcd.
a+b+c
Pour passer à trois nombres, on pose d = 3 . Ainsi a+b+c+d
4 = a+b+c
3 .
q
Par ce qu’on vient de prouver, on sait que a+b+c
3 ≥ 4
abc a+b+c
3 . En élevant à
a+b+c 4 a+b+c
la puissance 4-ème on trouve ( 3 ) ≥ xyz 3 et finalement

a+b+c √
≥ 3 4 xyz.
3

Exercice 4 (Inégalité de Nesbitt). Soient a, b, c > 0. Montrer que:

a b c 3
+ + ≥ .
b+c a+c a+b 2
Proof. On rajoute 3 et l’inégalité devient
1 1 1 9
(a + b + c)( + + )≥ .
b+c c+a a+b 2
Or, cela est l’inégalité des moyennes arithmétique et harmonique pour x = b+c,
y = c + a et z = a + b.

2 Convexité
Définition 2. Soit I un intervalle réel et f : I → R une fonction. On dit que
f est convexe si, pour tous x, y ∈ I, on a
 
a+b f (a) + f (b)
f ≤ .
2 2

Une fonction g est concave si −g est convexe.

1
Exercice
√ 5. Montrer que les fonctions f, g :]0, ∞[→]0, ∞[, f (x) = x et g(x) =
x sont convexes.
Remarque 3. En utilisant les dérivées secondes on peut faire un calcul pour
décider si une fonction est convexe.

2
Théorème 2 (Propriété des fonctions convexes, Jensen). Soit f : I → R une
fonction
P continue convexe. Soient a1 , . . . , an des nombres réels positifs tels que
i=1 n ai = 1. Alors, pour tous x1 , . . . , xn ∈ I, on a

n
! n
X X
f ai xi ≤ ai f (xi ).
i=1 i=1

Exercice 6. On admet que, pour tout réel non-nul α, l’application f :]0, ∞[→
R, x 7→ xα est convexe. Montrer que:

m2 ≥ m1 ≥ m−1 ,
q
x2 +y 2 +z 2 x+y+z 3
où m2 = 3 , m1 = 3 et m−1 = 1 1 1 .
x+y+z

Proof. On applique l’inégalité de Jensen à la fonction x 7→ x2 , pour les coeffi-

cients a1 =

3 Inégalité géométriques
1
La plupart des inégalités triangulaires se résolvent par une des techniques
suivantes:

• on se ramène à l’inégalité triangulaire;

• on traduit le problème dans une inégalité algébrique;
• on utilise des formules géométriques.

En guise d’explication, faisons trois exercices.

Exercice 7 (Application de l’inégalité triangulaire). Montrer que dans un tri-
angle ACB, de médienne AM , on a:
AB + AC
AM ≤ .
2
Proof. On considère le symétrique A0 de A par rapport à M . Dans le triangle
ACA0 on a AA0 ≤ AC + CA0 . Comme les triangles BM A et CAA0 sont égaux,
on a CA0 = AB. En utilisant que AA0 = 2AM , on obtient l’inégalité.
Exercice 8 (Application de la traduction en langage algébrique). Dans le tri-
angle ABC on a AB < AC. Montrer que, pour tout D ∈ [BC] on a AD ≤ AC.
Proof. On note H le pied de l’hauter issue de A et h = AH. Comme AB 2 =
h2 + BH 2 et AC 2 = h2 + CH 2 , on déduit que BH < CH. Alors, poiyr tout
D ∈ [BC] on a DH < CH. Donc AD2 = h2 + DH 2 < CH 2 .
1 Exercices de [Link]

3
Exercice 9 (Application des formules géométriques). Si x, y, z sont les longueurs
des côtés d’un triangle, montrer que:

2(xy + yz + zx) ≥ x2 + y 2 + z 2 .

Proof. On rappelle la formule d’Héron: pour a, b, c les côté du triangle ABC on

a p
A4ABC = s(s − a)(s − b)(s − c),
a+b+c
où s = 2 . Cela implique

16A24ABC =(a + b + C)(b + c − a)(a + c − b)(a + b − c)

=[((a + b) + c)((a + b) − c)][(c + (a − b))(c − (a − b))]
=[(a + b)2 − c2 ][c2 − (a − b)2 ]
=[2ab + (a2 + b2 − c2 )][2ab − (a2 + b2 − c2 )]
=4a2 b2 − (a2 + b2 − c2 )2
=2a2 b2 + 2b2 c2 + 2c2 a2 − (a4 + b4 + c4 ).

On conclue que 2(a2 b2 + b2 c2 + c2 a2 ) ≥ (a4 + b4 + c4 ). √ √ √

√ de x,
C’est inégalité recherchée, mais avec a, b, c à la place y, z. √Il suffit
√
donc de montrer qu’il existe un √ triangle de
√ côtés a = x, b = y et c = z. On
√ √
a a ≤ b + c si et seulement si x ≤ y + z, ce qui équivaut à x ≤ y + z + 2 yz.
Or, cette dernière inégalité est vraie car x, y, z sont les côtés d’un triangle.

4
 Exercices – inégalités
Razvan Barbulescu
ENS, 8 février 2014

Exercice 1. Soient a, b, c trois réels positifs. Montrer que a2 + b2 + c2 ≥ ab +

bc + ca.
Démonstration. Par l’inégalité arithmético-géométrique, appliquée à a2 et b2 :
a2 +b2
2 ≥ ab. De manière équivalente

a2 + b2 ≥ 2ab. (1)

De la même manière on obtient :

b2 + c2 ≥ 2bc, (2)
2 2
c + a ≥ 2ac. (3)

Quand on somme les trois équations, on obtient 2a2 +2b2 +2c2 ≥ 2ab+2bc+2ca.
En divisant par 2, on trouve l’inégalité demandée.
Exercice 2. Montrer que a3 + b3 + c3 − 3abc = (a + b + c)(a2 + b2 + c2 − ab −
bc−ca). En déduire une preuve de l’inégalité arithmético-géométrique pour trois
nombres.
Démonstration. L’identité se montre par calcul√ direct. Soient x, y, z toris
√ nombres
√
positifs. On applique l’identité pour a = 3 x, b = 3 y et c = 3 z. Alors
√
x + y + z − 3 3 xyz = (a + b + c)(a2 + b2 + c2 − (ab + bc + ca)). D’après l’Exercice
√
1, cette deuxième parenthèse est positive. Ainsi x + y + z ≥ 3 3 xyz.
27
Exercice 3. Pour a, b, c > 0, montrer que (a + b + c)3 ≥ 8 (a + b)(b + c)(c + a).

Démonstration. On applique l’inégalité arithmético-géométrique aux nombres

x = a + b, y = b + c et z = a + c.
Exercice 4. Si a, b, c > 0 sont les côtés d’un triangle, montrer que

(b + c − a)(a + c − b)(a + b − c) ≤ abc.

Démonstration. Comme a, b, c sont les côtés d’un triangle, on peut poser x =

b + c − a > 0, y = a + c − b > 0 et z = a + b − c > 0. Alors l’inégalité
devient 8xyz ≤ (x + y)(y + z)(z + x) qui s’obtient par l’inégalité arithmético-
géométrique.

1
Exercice 5. Pour a, b, c > 0, montrer que
1 1 1 27
+ + ≥ .
b(a + b) c(b + c) a(c + a) 2(a + b + c)2
Démonstration. On écrit l’inégalité sous la forme
! !
X 1 X X
( a) (a + b) ≥ 27
cyc
b(a + b) cyc cyc

et on applique l’inégalité arithmético-géométrique.

Exercice 6. Soient a, b, c, d > 0 tels que a + b + c = 1. Alors on a
√ √ √ √
1 − a + 1 − b + 1 − c ≤ 2 3.
√
Démonstration. Montrons que la fonction f :]0, 1[→ R, √ f (x) = √ 1 − x est
concave. Pour tout a et b de ]0, 1[ on doit vérifier que 1 − a + 1−b ≤
q
a+b
√ √
2 1 − 2 . Cela est équivalent à 2 1 − a 1 − b ≤ (1 − a) + (1 − b). Or, cela est
vrai par l’inégalité arithmético-géométrique, appliquée à x = 1 − a et y = 1 − b.
Comme f est concave, on peut appliquer l’inégalité de Jensen. On prend
x1 = 1 − a, x2 = 1 − b, x3 = 1 − c et les coefficients a1 = 31 , a2 = 31 et a3 = 13 ,
et on a f (a)+f (b)+f (c)
≤ f a+b+c


3 3 . De manière équivalente, on a
r
√ √ √ a+b+c √
1−a+ 1−b+ 1−c≤3 1− = 2 3.
3

Exercice 7. Soient a, b, c trois nombres tels que 0 ≤ a ≤ b ≤ c ≤ 3. Montrer

que
(a − b)(a2 − 9) + (a − c)(b2 − 9) + (b − c)(c2 − 9) ≤ 36.
Démonstration. On note f (a, b, c) le membre gauche de l’inégalité. On remarque
que, si a > 0 et  est un nombre tel que 0 <  < a, alors f (a, b, c) ≤ f (a − , b −
, c − ). Ainsi on peut supposer que a est nul. On a f (0, b, c) = 9b + 9c − cb2 +
9b − c2 b − c3 + 9c. En faisant les calculs, on trouve que le membre gauche vaut
c(18 − b2 − c2 + bc) = c[18 − (b − 2c )2 − 34 c2 ] ≤ 41 c(24 − c2 ). Il reste à montrer
c3 + 48 ≥ 24c. On applique l’inégalité
√ arithmético-géométrique
√ à x = c3 , y = 24
3 3 3
et z = 24 et on trouve 48 + c ≥ 12 9c > 12 8c = 24c.
Exercice 8. Pour a, b, c ∈ [0, 1], montrer que a2 (1−b)+b2 (1−c)+c2 (1−a) ≤ 1.
Démonstration. On a a2 (1−b)+b2 (1−c)+c2 (1−a) ≤ a(1−b)+b(1−c)+c(1−a)
= a + b + c − (ab + bc + ca) = 1 − (1 − a)(1 − b)(a − c) − abc ≤ 1.
Exercice 9. Soient a, b, c > 0 tels que ab + bc + ca = 3. Monter que

a2 + b2 + c2 + abc ≥ a + b + c + 1.

2
Démonstration. L’inégalité est équivalente à
a2 + b2 + c2 + abc − (a + b + c) − 1 − (ab + bc + ca − 3) ≥ 0.
On pose x = (b − 1)(c − 1), y = (a − 1)(c − 1) et z = (b − 1)(a − 1). Comme
xyz = [(a − 1)(b − 1)(c − 1)]2 ≥ 0, au moins un des nombres x, y et z est non-
négatif. Par symétrie, on peut supposer que x est non-négatif. Le membre gauche
de l’inégalité à prouver s’écrit comme (a + 1)(b − 1)(c − 1) + (a − 1)2 + (b − c)2 =
x(a + 1) + (a − 1)2 + (b − c)2 ≥ 0.
Exercice 10 (Inégalité de Cauchy). Si a, b, c, x, y, z ∈ R, alors
(ax + by + cz)2 ≤ (a2 + b2 + c2 )(x2 + y 2 + z 2 ).
On a égalité si et seulement s’il existe un nombre k ∈ R tel que a = kx, b = ky
et c = kz (les deux triplets sont proportionnels).
Remarque 1. Dans les livres anglais, cette inégalité est parfois notée CBS
comme abréviation pour Cauchy-Bounyakowski-Schwarz.
Démonstration. En développant, l’inégalité est équivalente à
2abxy + 2acxz + 2bcyz ≤ (a2 y 2 + b2 x2 ) + (a2 z 2 + c2 x2 ) + (b2 z 2 + c2 y 2 ).
Or, on montre cela en appliquant l’inégalité des moyennes arithmétique et
géométrique aux couples (a2 y 2 , b2 x2 ), (a2 z 2 , c2 x2 ) et (b2 z 2 , c2 y 2 ).
Exercice 11 (Inégalité de Minkowski). Si a, b, c, x, y, z ∈ R, alors on a
p p p
(a − x)2 + (b − y)2 + (c − z)2 ≤ a2 + b2 + c2 + x2 + y 2 + z 2 .
On a égalité si et seulement si il existe un nombre k ∈ R tel que a = kx, b = ky
et c = kz (les deux triplets sont proportionnels).
Démonstration. En élevant au carré et en développant on obtient que l’inégalité
est équivalente à l’inégalité de Cauchy.
Exercice 12. Soient a, b, c ∈ R tels que a2 +b2 ≥ c2 , a2 +c2 ≥ b2 et b2 +c2 ≥ a2 .
Montrer que
(a + b + c)(a2 + b2 + c2 )(a3 + b3 + c3 ) ≥ 4(a6 + b6 + c6 ).
Démonstration. Par l’inégalité de Cauchy, (a+b+c)(a3 +b3 +c3 ) ≥ (a2 +b2 +c2 )2 .
Sans perte de généralité, on peut supposer que a = max{a, b, c}. Alors a ≥ b,
a ≥ c et b2 + c2 ≥ a2 . Ainsi (a2 + b2 + c2 )2 ≥ 4a4 . Donc le membre gauche est
plus grand ou égal à 4a4 (a2 + b2 + c2 ) ≥ 4(a6 + a4 b2 + a4 c2 ) ≥ 4(a6 + b6 + c6 ).
Exercice 13. Soit un triangle ABC rectangle en A. Soient M ∈ [AB] et N ∈
[AC]. Montrer que :
M N · BC ≥ AM · AC + AN · AB,
où M N désigne la longueur du segment [M N ].

3
Démonstration.
√ On
p note b = AB, c = AC, x = AM et y = AN . Alors l’inégalité
devient b2 + c2 x2 + y 2 ≥ (by + cx), ce qui est vrai par l’inégalité de Cauchy.

Exercice 14. Si M est un point intérieur au triangle ABC, montrer que AM +

BM + CM est compris entre le demi-périmètre et le périmètre.

Démonstration. Dans le triangle ABM , l’inégalité triangulaire donne AM +

BM ≥ AB. De même, on trouve AM + CM ≥ AC et BM + CM ≥ BC. En
sommant, on a 2(AM +BM +CM ) ≥ AB +BC +CA, donc AM +BM +CM ≥
AB+BC+CA
2 .
Pour la deuxième partie de la preuve, on va montrer un lemme.
Lemme 1. Soit ABC un triangle qualconque et M un point intérieur. Alors
AM + M B ≤ AC + CB.

preuve du lemme. Dans la figure ci-dessus on note D le point d’intersection

entre la droite BC et la perpendiculaire de M sur AB. Par le théorème de
Pythagore, on montre que AD > AM et BD > BM , donc AD + DB > AM +
M B. Ensuite, par l’inégalité triangulaire au triangle ACD, on a AC+CD > AD.
En ajoutant DB, on a AC +CD +DB > AD +BD, soit AC +CB > AD +DB.
D’où, AC + CB > AM + M B.

Revenant à la solution de l’exercice, on applique le lemme pour le triangle ABC

avec les couples (A, B), (A, C) et (B, C) jouant le rôle de (A, B) dans le lemme :

AC + CB ≥ AM + M B,
AB + BC ≥ AM + M C,
BA + AC ≥ BM + M C.

En sommant, on trouve 2(AB + BC + CA) ≥ 2(M A + M B + M C), ce qui finit

l’exercice.