D OMAINE : Algbre

N IVEAU : Avanc
C ONTENU : Exercices

A UTEUR : Franois L O J ACOMO

S TAGE : Grsillon 2011

Ingalits : exercices

Exercice 1 Soient a, b, c trois nombres rels strictement positifs.

(a) Montrer que
a
b
c
3
+
+
> .
b+c c+a a+b 2
(b) On suppose en outre que abc = 1. Montrer que
b2
c2
3
a2
+
+
> .
b+c c+a a+b 2
c) Toujours dans lhypothse o abc = 1, montrer que :
1
1
1
3
+ 3
+ 3
> .
+ c) b (c + a) c (a + b) 2

a3 (b

Exercice 2 Soient a, b, c trois rels strictement positifs vrifiant abc = 1. Montrer que :




1
1
1
a1+
b1+
c1+
6 1.
b
c
a
Exercice 3 Soient a, b, c les trois longueurs des cots dun triangle. Dmontrer
que :
a2 b(a b) + b2 c(b c) + c2 a(c a) > 0
Dans quel cas a-t-on lgalit ?
Exercice 4 Soient x, y, z trois nombres rels strictement positifs. En remar2
2
quant que si x > 1, x2 + y x+z
< x2 + y2 + z2 , montrer que si xyz > 1,
3
x5 x2
y5 y 2
z5 z2
+
+
> 0.
x5 + y2 + z2 y5 + z2 + x2 z5 + x2 + y2
1

- Correction Solution de lexercice 1

a)

a
b+c

b
c
a+b+c
a+b+c
+ c+a
+ a+b
= a+b+c

1
+

1
+

1
. Il suffit donc
b+c
c+a

a+b 9
1
1
1
de dmontrer que : (a + b + c) b+c + c+a + a+b 6 2 , ce qui rsulte im

mdiatement de : (u + v + w) u1 + 1v + w1 > 9 (la moyenne harmonique
est infrieure ou gale la moyenne arithmtique), en posant u = b + c,
v = c + a, w = a + b.

b) Cest un cas particulier de l "ingalit des mauvais lves", tudie ce

matin. On peut utiliser lingalit de Tchebychev : si a > b > c, b + c 6

1


a2
b2
c2
1
1
c + a 6 a + b, donc : b+c
+ c+a
+ a+b
> 13 a2 + b2 + c2 b+c
+ c+a
+ a+b

2
3
a+b+c
or a2 + b2 + c2 > (a+b+c)
abc = 1
et
>
3
3
c) Il suffit de poser a = u1 , b = 1v , c = w1 , pour se ramener la question
prcdente. Cette question est un problme 2 dOlympiade Internationale
(1995).
Solution de lexercice 2 Cest aussi un problme 2 dOlympiade Internationale
(2000). Deux questions se posent : quel est le signe de chacun des facteurs ?
Si le produit est ngatif, il est a fortiori infrieur 1, mais peut-on avoir deux
facteurs ngatifs ? Et si chaque terme est positif, il faut majorer le produit.
Pour cela, posons A = b 1 + 1c , B = c 1 + a1 et C = a 1 + b1 . Comme,
par hypothse abc = 1, Ab = 1 b1 + a et aB = b1 a + 1, donc : Ab + aB = 2,
et de mme : Bc + bC = 2 et Ca + cA = 2 : si deux des termes A, B et C taient
ngatifs, lune de ces trois sommes serait ngative, ce qui nest pas le cas. Ds
lors, soit un (et au plus un) des termes A, B et C est ngatif auquel cas le
produit, ngatif, vrifie trivialement lingalit. Soit tous trois sont positifs, et

2
lon a : Ab aB = 1 b1 a 6 1, et de mme Bc bC 6 1, Ca cA 6 1 do,
en multipliant ces trois ingalits, (ABC)2 6 1 et comme ABC est suppos
u
positif, ABC 6 1. Une autre possibilit est de poser : a = wv , b = w
u , c = v , avec
u, v et w strictement positifs, ce qui nous ramne une ingalit classique :
(u + v + w)(u v + w)(u + v w) 6 uvw. Mais la dmonstration nest pas
trs diffrente : la somme de deux des termes u + v + w, u v + w, u + v w
tant positive, au plus un seul peut tre ngatif, et sils sont tous trois positifs,
on majore chacun des produits : (u + v + w)(u v + w) = w2 (u v)2 6
w2 , (u v + w)(u + v w) 6 u2 et (u + v w)(u + v + w) 6 v2 . On
2

peut aussi se ramener lingalit de Schur, vraie pour tout n entier naturel :
un (u v)(u w) + vn (v w)(v u) + wn (w u)(wv ) > 0, et quivalente
celle ci-dessus dans le cas n = 1.
Solution de lexercice 3 Ctait le problme 6 de lOlympiade Internationale de
Paris (1983). La technique la plus sre est la transformation : a = v + w, b =
w + u, c = u + v : a, b et c sont les trois cots dun triangle si et seulement si
u, v et w sont tous trois strictement positifs. En dveloppant proprement (on
regroupe les termes sur diffrentes lignes, classs par exposants) :




a2 b(a b) = (v + w)2 (w + u)(v u) = v2 + 2vw + w2 vw + uv wu u2
= v3 w + uv3 + vw3 w3 u
wuv2 + 2uv2 w 2uvw2 2u2 w + uvw2
u2 v2 + 2v2 w2 w2 u2




= v3 w w3 u + uv3 + vw3 + uvw (v w 2u) + u2 v2 + 2v2 w2 w2 u2
Les autres termes b2 c(bc) et c2 a(ca) sobtiennent sans refaire le calcul, par


permutation circulaire sur u, v, w. La somme vaut donc : 2 uv3 + vw3 + wu3
2uvw(u + v + w) et prouver que cette somme est positive ou nulle revient
dmontrer, aprs simplification par uvw :
v2 w2 u2
+
+
>u+v+w
w
u
v
Cest une consquence immdiate de lingalit du rordonnement : si u2 >
2
2
2
2
2
2
v2 > w2 , u1 6 1v 6 w1 donc uu + vv + ww 6 uv + vw + wu , et si u2 > w2 > v2 (ce cas
2
2
2
2
2
2
nest pas identique au prcdent), u1 6 w1 6 1v donc uu + ww + vv 6 uv + wu + vw .
Daprs lingalit du rordonnement, le seul cas dgalit (qui ntait pas
demand aux Olympiades Internationales) est u = v = w, donc a = b = c
(triangle quilatral).
On remarquera enfin que, si a, b, c ne sont pas les longueurs des cts dun
triangle, il se peut que lingalit soit quand mme vrifie, par exemple pour
le triplet (1, 6, 4), mais il y a des valeurs pour lesquelles elle nest pas vrifie,
par exemple le triplet (1, 4, 6).
Solution de lexercice 4 La relation signale, vidente, suggre la solution particulirement lgante propose par Iurie Boreico et prime par un prix spcial du jury au cours de lOlympiade Internationale 2005. Dans tous les cas,
3

x5 x2
5
x +y2 +z2

>

x2 x1
2
2
x2 + y x+z
3

>

x2 x1
x2 +y2 +z2

car si x > 1, le dnominateur x2 +

y2 +z2
x3
2

x2 + y2 + z2 et le numrateur x2 x1 > 0, alors que si x 6 1, x2 + y x+z

>
3
1
2
2
2
2
x + y + z mais x x 6 0. La somme cherche est donc majore par :
(x2 +y2 +z2 )( x1 + y1 + z1 )
, or comme xyz > 1, x1 + y1 + 1z 6 yz + zx + xy 6 x2 + y2 + z2
x2 +y2 +z2
(car (y z)2 + (z x)2 + (x y)2 > 0). Mais il existe dautres manires de casser
lasymtrie des dnominateurs. Notamment lingalit de Cauchy-Schwartz :





2
x5 + y2 + z2 ) x1 + y2 + z2 6 x2 + y2 + z2 suffit dmontrer que A 6 B
2
2
( x1 + y1 + z1 )+2(x2 +y2 +z2 )
+z2
x2 +y2 +z2
x2 +y2 +z2
en posant : A = xx5 +y
+
+
et
B
=
. Or
+y2 +z2
y5 +z2 +x2
z5 +x2 +y2
x2 +y

 2 +z2
1
1
1
on cherche prouver que 3 A > 0 et, dans B, on majore le x + y + z 6
x2 + y2 + z2 comme prcdemment.