D OMAINE : Gomtrie

N IVEAU : Avanc
C ONTENU : Exercices

A UTEUR : Margaret B ILU

S TAGE : Montpellier 2013

Ingalits

- Quelques ingalits secondaires, mais utiles Proposition 1. (Ingalit de Nesbitt) Soient a, b, c > 0 des rels. Alors
b
c
3
a
+
+
> ,
b+c c+a a+b 2
avec galit si et seulement si a = b = c.
Dmonstration. Appelons I le ct gauche de lingalit, et J = a(b + c) + b(c +
a) + c(a + b). Alors par Cauchy-Schwarz, IJ > (a + b + c)2 . On se ramne donc
montrer
3
(a + b + c)2
> ,
2(ab + bc + ca) 2
ce qui est quivalent
2(a2 + b2 + c2 ) > 2(ab + bc + ca),
vrai car quivalent
(a b)2 + (b c)2 + (c a)2 > 0.
Cette dernire ingalit fait aussi apparatre clairement le cas dgalit.
Proposition 2. (Ingalit de Schur) Soient x, y, z des rels positifs et r un nombre rel. Alors
xr (x y)(x z) + yr (y x)(y z) + zr (z x)(z y),
lgalit tant atteinte lorsque x = y = z, ou bien lorsque deux rels parmi
x, y, z sont gaux et le troisime est nul.
1

Dmonstration. Lingalit tant symtrique en x, y, z, on peut supposer x >

y > z. On peut rcrire le ct gauche sous la forme
xr (x y)2 + (xr yr + zr ) + zr (y z)2 .
Le premier et le troisime terme sont positifs. En ce qui concerne le deuxime,
si r > 0 alors xr > yr et si r < 0 alors zr > yr , donc il est positif aussi, ce qui
conclut.
Le cas r = 1 est particulirement important. Il scrit aprs dveloppement
x3 + y3 + z3 (x2 y + x2 z + y2 x + y2 z + z2 x + z2 y) + 3xyz > 0.
Il y a dautres formes quivalentes, par exemple
xyz > (x + y z)(y + z x)(z + x y).

(1)

En posant x + y + z = k, cela se rcrit

xyz > (k 2x)(k 2y)(k 2z).
Dautre part, en remarquant que lingalit correspond la positivit dun
polynme symtrique en x, y, z, on peut rcrire cela en terme des fonctions
symtriques lmentaires :
1 = x + y + z, 2 = xy + yz + zx, 3 = xyz.
Un calcul simple montre que x3 + y3 + z3 = 31 31 2 + 33 et x2 y + x2 z +
y2 x + y2 z + z2 x + z2 y = 1 2 33 . Ainsi, lingalit de Schur se rcrit
31 41 2 + 93 > 0,
cest--dire
(x + y + z)3 + 9xyz > 4(x + y + z)(xy + yz + zx).

(2)

Il est aussi utile davoir en tte la reformulation suivante de Cauchy-Schwarz

(parfois appele ingalit des mauvais lves, ou lemme de T2), qui facilite
lapplication de Cauchy-Schwarz dans certains cas.
Proposition 3. Soient a1 , . . . , an et x1 , . . . , xn des rels strictement positifs. Alors
a21
a2
(a1 + . . . + an )2
+ ... + n >
,
x1
xn
x1 + . . . + xn
avec galit lorsque les vecteurs (a1 , . . . , an ) et (x1 , . . . , xn ) sont colinaires.
2

Exercice 1 (IMO 1995) Soient a, b, c > 0 tels que abc = 1. Montrer que
1
1
1
3
+
+
>
.
a3 (b + c) b3 (c + a) c3 (a + b) 2

- Ingalits avec condition sur le produit des variables De nombreuses ingalits olympiques font intervenir des variables a1 , . . . , an
soumises une condition du type a1 . . . an = 1. Une mthode trs utile pour
aborder ce genre dingalits consiste se dbarrasser de cette contrainte en
oprant un changement de variables du type
 
 
 
x2
x3
x1
a1 =
, a2 =
, . . . , an =
,
x1
x2
xn
o est un rel choisir, souvent pris gal 1.
Exemple 4. Soient a, b, c des rels positifs tels que abc = 1. Montrer que
b
c
3
a
+
+
> .
ab + 1 bc + 1 ca + 1 2
La substitution la plus simple a = yx , b = yz , c = xz (obtenue en prenant par
exemple x = 1 = abc, y = bc, z = c) transforme le ct gauche en
x
y
x
z

+1

y
z
y
x

+1

z
x
z
y

+1

zx
xy
yz
+
+
.
xy + yz yz + zx zx + xy

On applique lingalit de Nesbitt pour conclure.

Remarque 5. Puisque les substitutions de ce genre peuvent compliquer sensiblement lingalit prouver, on a tout intrt, pour gagner en clart, effectuer la substitution la plus judicieuse possible. Par exemple, ici, mme si
dans ce cas cela ne changeait pas grand chose la lisibilit de lingalit, on
aurait pu choisir la substitution de sorte ce que a et ab soient automatiquement rduits au mme dnominateur, savoir a = yx , b = yz , c = xz , ce qui
donnait lingalit de Nesbitt directement.
Exercice 2 (Russie 2004) Montrer que si n > 3 et x1 , . . . , xn sont des rels
strictement positifs de produit 1, alors
1
1
1
+
+ ... +
> 1.
1 + x1 + x1 x2 1 + x2 + x2 x3
1 + xn + xn x1
3

Exercice 3 Soient a, b, c > 0 avec abc = 1. Montrer que

3+

1 1 1
a b c
+ + >a+b+c+ + + .
b c a
a b c

Exercice 4 Soient a, b, c, d > 0 avec abcd = 1. Montrer que

1
1
1
1
+
+
+
> 2.
a(1 + b) b(1 + c) c(1 + d) d(1 + a)
Exercice 5 Soit n > 3 et soient x1 , . . . , xn > 0 tels que x1 . . . xn = 1. Montrer
que
1
n
1
1
+ 2
+ ... + 2
> ,
2
xn + xn x1
2
x1 + x1 x2 x2 + x2 x3
lorsque n vaut 3 ou 4.
- Autres ingalits Les exercices suivants tournent autour de la transformation de Ravi, de lingalit de Schur, de lingalit de Cauchy-Schwarz, et de la manipulation de
racines carres.
Exercice 6 (Olympiades indiennes 1989) Soient a, b, c les longueurs des cts
dun triangle. Prouver que
b
c
a
+
+
< 2.
b+c c+a a+b
Exercice 7 (APMO 1996) Soient a, b, c les longueurs des cts dun triangle.
Dmontrer que

a + b c + b + c a + c + a b 6 a + b + c.

Exercice 8 Soient a, b, c > 0 tels que abc = 1. Montrer que

s
s
s
2
2
1+a b
1+b c
1 + c2 a
+
+
> 3.
1 + ab
1 + bc
1 + ca
4

Exercice 9 Soient a, b, c les longueurs des cts dun triangle. Montrer que
q

3( ab + bc + ca) > a + b c + b + c a + c + a b.

Exercice 10 (APMO 2004) Soient a, b, c > 0. Montrer que

(a2 + 2)(b2 + 2)(c2 + 2) > 9(ab + bc + ca)

- Solutions des exercices Solution de lexercice 1 On applique Cauchy-Schwarz de la manire suivante

(en saidant ventuellement de la proposition 3 ci-dessus).


1
1
1 2
+
+
1
1
1
1
1
1
a
b
c
+ 2
+ 2
>
.
2
a a(b + c) b b(c + a) c c(a + b) a(b + c) + b(c + a) + c(a + b)
En simplifiant et en utilisant abc = 1, le ct droit devient
2
(ab + bc + ca)2
3
1
3
> (ab + bc + ca) > (abc) 3 =
2(ab + bc + ca) 2
2
2

o la dernire ingalit vient de lIAG.

Solution de lexercice 2 On utilise les substitutions x1 = aa21 , x2 = aa23 , . . . , xn = aan1
(qui ont lavantage de mettre xi et xi xi+1 au mme dnominateur pour tout i
automatiquement). Alors on obtient :
X
a1
an
ai
+ ... +
>
= 1.
a1 + a2 + a3
an + a1 + a2
a1 + . . . + an
n

i=1

Solution de lexercice 3 Ici, pour navoir aucun carr au dnominateur, ce qui

va faciliter la mise au mme dnominateur ultrieure, on va prendre a = yx ,
b = yz , c = xz , ce qui donne
y2
z2
x2
y z x x y z
3+
+
+
> + + + + + .
xz yx zy
x y z y z x
5

On multiplie par xyz des deux cts pour obtenir

x3 + y3 + z3 + 3xyz > y2 z + z2 x + x2 y + x2 z + xy2 + yz2 ,
qui est juste lingalit de Schur.
Solution de lexercice 4 De mme, on essaye de se dbrouiller pour que a et ab
soient au mme dnominateur. La substitution quon choisit est donc
a=

y
z
t
x
, b= , c= , d= .
x
y
z
t

Lingalit devient donc

x
y
z
t
+
+
+
> 2.
y+z z+t t+x x+y
Puis, on a applique Cauchy-Schwarz pour obtenir
y
z
t
(x + y + z + t)2
x
+
+
+
>
.
y + z z + t t + x x + y xy + xz + yz + yt + zt + zx + tx + ty
Il reste donc prouver
(x + y + z + t)2 > 2(xy + xz + yz + yt + zt + zx + tx + ty),
ce qui est quivalent
x2 + y2 + z2 + t2 > 2(xz + yt),
qui son tour est quivalent
(x z)2 + (y t)2 > 0.

Solution de lexercice 5 Cette fois-ci, histoire davoir le moins de carrs possible,

et davoir x2i et xi xi+1 au mme dnominateur, nous allons poser
r
r
r
a2
a3
a1
x1 =
, x2 =
, . . . , xn =
.
a1
a2
an
Lingalit devient alors
a1
a2
an
n
+
+ ... +
> .

a2 + a1 a3 a3 + a2 a4
a1 + an a1
2
6

Daprs lIAG, on a

ai ai+2 6

ai +ai+2
,
2

ce qui nous conduit montrer

a1
a2
an
n
+
+ ... +
> .
2a2 + a1 + a3 2a3 + a2 + a4
2a1 + an + a2
4
En appliquant Cauchy-Schwarz, cela revient prouver
n
(a1 + . . . + an )2
> .
a1 (a1 + 2a2 + a3 ) + a2 (a2 + 2a3 + a4 ) + . . . + an (an + 2a1 + a2 )
4
Distinguons maintenant suivant si n = 3 ou n = 4. Si n = 4, lingalit se
rcrit
(a1 +a2 +a3 +a4 )2 > a21 +2a1 a2 +a1 a3 +a22 +2a2 a3 +a2 a4 +a23 +2a3 a4 +a3 a1 +a24 +2a4 a1 +a4 a2 ,
et on constate que cest en fait mme une galit. Si n = 3, on doit prouver
4(a1 + a2 + a3 )2 > 3(a21 + 2a1 a2 + a1 a3 + a22 + 2a2 a3 + a2 a1 + a23 + 2a3 a1 + a3 a2 ),
ce qui est quivalent
a21 + a22 + a23 > a1 a2 + a2 a3 + a3 a1 ,
qui est classique.
Solution de lexercice 6 On applique la transformation de Ravi : a = x + y, b =
y + z, c = z + x, o x, y, z > 0. On a donc
x+y
y+z
z+x
x+y
y+z
z+x
+
+
<
+
+
= 2.
x + 2y + z y + 2z + x z + 2x + y x + y + z y + z + x z + x + y
Solution de lexercice 7 Aprs avoir appliqu la transformation de Ravi, on obtient

2x + 2y + 2z 6 x + y + y + z + z + x.
q

x+ y
x+y
Par concavit de la fonction racine carre, on a
, et de mme
2 >
2
avec y et z, puis avec z et x. En sommant ces trois ingalits, on obtient ingalit cherche.
Solution de lexercice 8 En utilisant la condition sur abc, on peut rcrire lingalit sous la forme
r
r
r
a+b
b+c
c+a
+
+
>3
a+1
b+1
c+1
7

En appliquant lIAG, on se ramne

(a + b)(b + c)(c + a) > (a + 1)(b + 1)(c + 1).
Pour dmontrer cette ingalit, deux mthodes.
Premire mthode : on fait la substitution a = yx , b = yz , c = xz , ce qui donne
(y2 + xz)(z2 + xy)(x2 + yz) > xyz(x + y)(x + z)(y + z).
On applique Cauchy-Schwarz sous la forme

y 2
1+
(x + yz) > (x + y)2
z

z
(y2 + xz) > (y + z)2
1+
x

x
(z2 + xy) > (x + z)2 .
1+
y
On a le rsultat en multipliant les trois ingalits.
Deuxime mthode : on pose p = a + b + c, q = ab + bc + ca. On remarque
que
pq = (a + b + c)(ab + bc + ca) = (a + b)(b + c)(c + a) + 1,
donc lingalit cherche revient
pq 1 > 1 + p + q + 1,
cest--dire pq > p + q + 3. Dautre part, lIAG donne p > 3 et q > 3, donc on
a
pq pq
3p 3q
p+q
pq =
+
>
+
>p+q+
> p + q + 3.
2
2
2
2
2

Solution de lexercice 9 On effectue une transformation de Ravi et on met tout

au carr. On obtient
p
p
p

3 (x + y)(y + z)+3 (y + z)(z + x)+3 (z + x)(x + y) > 2(x+y+z)+4( xy+ yz+ zx)
p

Par Cauchy-Schwarz, (x + y)(y + z) > (y + xz), et de mme pour les deux

autres termes. On doit alors prouver

3(x + y + z) + 3( xy + yz + zx) > 2(x + y + z) + 4( xy + yz + zx),

cest--dire
x+y+z>

xy + yz + zx.
8

Or lIAG applique trois fois nous donne

x+y y+z z+x

+
+
> xy + yz + zx,
2
2
2
ce qui conclut.
Solution de lexercice 10 Quand on dveloppe tout, cela donne
(abc)2 + 2(a2 b2 + b2 c2 + c2 a2 ) + 4(a2 + b2 + c2 ) + 8 > 9(ab + bc + ca).
On va essayer de faire ressembler a la variante (2) de lingalit de Schur,
rcrite sous la forme
xyz
9
> 4(xy + yz + zx) (x + y + z)2 .
x+y+z
En particulier, nous allons faire disparatre les termes en a2 b2 grce lingalit
2(a2 b2 +b2 c2 +c2 a2 )+6 > 2(a2 b2 +1)+2(b2 c2 +1)+2(c2 a2 +1) > 4(ab+bc+ca)
obtenue partir de lIAG. Dautre part 3(a2 + b2 + c2 ) > 3(ab + bc + ca), et il
nous reste donc prouver
(abc)2 + 2 > 2(ab + bc + ca) (a2 + b2 + c2 ).
Pour obtenir a, on applique lIAG deux fois, puis la variante (2) de lingalit
de Schur telle quelle est crite ci-dessus :
2

(abc)2 + 2 = (abc)2 + 1 + 1 > 3(abc) 3

abc
>9
a+b+c
> 4(ab + bc + ca) (a + b + c)2
= 2(ab + bc + ca) (a2 + b2 + c2 ).