Asupra unei clase de inegalitati

Dan Stefan MARINESCU 1 , Mihai MONEA 2

Abstract. The purpose of this note is to analyze a special class of inequalities proposed in
various elementary math journals.
Keywords: inegalitatea Cauchy-Buniakovski-Schwarz, increasing function, convex function.
MSC 2010: 97H30.

In [1] gasim problema nr. 113 cu urmatorul enunt:

Daca a, b, c sunt trei numere reale strict pozitive, atunci
r r r
2a 2b 2c
(1) + + 3,
a+b b+c c+a
iar n [2] este propusa o inegalitatea asemanatoare:
Sa se demonstreze ca
r r r
11a 11b 11c
(2) + + 3, a, b, c R .
5a + 6b 5b + 6c 5c + 6a

Rezolvarea acestora, pe baza inegalitatii Cauchy-Buniakovski-Schwarz, se poate

gasi n [1], pag. 106, respectiv n [3].
Vom examina mai jos si urmatoarele doua inegalitati de acelasi fel:
r r r
4a 4b 4c
(3) + + 3, a, b, c R+ ,
a + 3b b + 3c c + 3a
r r r
7a 7b 7c
(4) + + 3, a, b, c R+ .
4a + 3b 4b + 3c 4c + 3a
Scopul prezentei note este studiul clasei de inegalitati de tipul celor de mai sus.
Pentru aceasta, sa consideram functia f : [0, 1] R denita prin
r r
a b c
f (x) = + + ,
xa + (1 x) b xb + (1 x) c xc + (1 x) a

unde numerele a, b, c > 0 sunt xate si macar doua dintre ele diferite.
1
Se observa ca inegalitatile (1), (2), (3), (4) sunt echivalente cu f 3,
2
5 1 4
f 3, f 3, respectiv f 3.
11 4 7
In acest context, ne punem problema determinarii elementelor multimii

S = {x [0, 1] | f (x) 3} ,
1 Colegiul National ,,Iancu de Hunedoara, Hunedoara; e-mail: marinescuds@gmail.com
2 Profesor, Colegiul National ,,Decebal, Deva; e-mail: mihaimonea@yahoo.com

19
 1 5
despre care stim deja ca , S. Prin calcul direct obtinem:
2 11
X

a 3
f (x) = (a b) (xa + (1 x) b) 2 ,
2
ciclic
X 3 a

5
f (x) =
2
(a b) (xa + (1 x) b) 2 .
4
ciclic

Evident f (x) > 0 pentru orice x [0, 1], deci f este strict convexa, iar f este
strict crescatoare. Avem:
X
X ba

a 1 b c a
(a b) a 2 =
3
f (1) = = + + 3 .
2 2a 2 a b c
ciclic ciclic

si, conform inegalitatii mediilor, rezulta ca f (1) > 0. Apoi,

X a 1 a a a b b b c c c
32
f (0) = (a b) b = + + .
2 2 b b b c c c a a a
ciclic

Pentru studiul valorii f (0) folosim functia ajutatoare g : R R denita prin

 x
a x b 
c x
g (x) = + + .
b c a
Aceasta functie este strict convexa, deci are un singur punct de minim. Gasim imediat
ca  x x
a a b b  c x c
g (x) = ln + ln + ln ,
b b c c a a
de unde g (0) = 0. Cum g este strict crescatoare, deducem ca x = 0 este singurul
punct de minim. Ca urmare, g (x) > 0 oricare ar x (0, ), deci g este strict
crescatoare pe acest interval. Atunci, avem:

1 1 3
f (0) = g g < 0.
2 2 2
Deoarece f este strict crescatoare si are proprietatea lui Darboux, exista un unic
(0, 1) astfel ncat f () = 0. Rezulta ca f (x) < 0 pentru orice x [0, ) si
f (x) > 0 pentru orice x (, 1] .
Din faptul ca f este strict crescatoare pe intervalul [, 1] si din f (1) = 3, deducem
ca f () < 3. Mai avem ca f este strict descrescatoare pe intervalul [0, ] si
r
a b c
f (0) = + + .
b c a
Conform inegalitatii mediilor, avem ca f (0) > 3. Atunci exista un unic (0, )
astfel ncat f () = 3. Prin urmare f (x) > 3 pentru orice x [0, ) si f (x) 3
pentru orice x [, 1].

20
 5 1
Deoarece inegalitatile (1) si (2) sunt adevarate, deducem ca , [, 1] , deci
11 2
5
0< . Cum valoarea numarului este dependenta de numerele a, b, c, nu vom
11
putea determina cu exactitate un interval pentru care f (x) 3 oricare ar a, b, c > 0.

Observatii. 1) Inegalitatile (1) si (2) sunt adevarate pentru orice numere

strict
4 1 4 4
pozitive a, b, c. Cum > , obtinem ca [, 1] , adica inegalitatea f 3
7 2 7 7
este adevarata, deci si inegalitatea (4).
1 5
2) Pe de alta parte, < si nu putem oferi informatii despre inegalitatea (3).
4 11
Mai mult, alegand a = 3 , b = 2 si c = 1 avem:
r r r r r r
4a 4b 4c 12 8 4
+ + = + + > 1, 15 + 1, 26 + 0, 63 = 3, 04,
a + 3b b + 3c c + 3a 9 5 10

ceea ce demonstreaza ca inegalitatea (3) nu este adevarata oricare ar a, b, c > 0.

In continuare, vom aborda inegalitatea f (x) 3 folosind aceeasi idee de rezolvare
ca si pentru inegalitatile (1) si (2); cu ajutorul inegalitatii Cauchy-Buniakovski-
Schwarz. Avem:
r r 2
2 a b c
[f (x)] = + +
xa + (1 x) b xb + (1 x) c xc + (1 x) a

1 1
+ +
[xa + (1 x) b][xb + (1 x) c] [xb + (1 x) c][xc + (1 x) a]

1
+
[xc + (1 x) a][xa + (1 x) b]
(a[xb + (1 x) c] + b[xc + (1 x) a] + c[xa + (1 x) b])
(a + b + c) (ab + bc + ca)
= .
[xa + (1 x) b][xb + (1 x) c][xc + (1 x) a]

Ar sucient sa demonstram ca

(a + b + c) (ab + bc + ca) 9[xa + (1 x) b][xb + (1 x) c][xc + (1 x) a].

Dar

(a + b + c) (ab + bc + ca) = a2 b + ab2 + a2 c + ac2 + bc2 + b2 c + 3abc,

iar

9 (xa + (1 x) b) (xb + (1 x) c) (xc + (1 x) a) =

3
= 9 x3 + (1 x) abc + 9x2 (1 x) a2 b + b2 c + c2 a +

2
+ 9x (1 x) ab2 + bc2 + ca2 .

21
 Din inegalitatea mediilor avem: a2 b + b2 c + c2 a 3abc si ab2 + bc2 + ca2 3abc.
Daca ar ndeplinite conditiile

(5) 9x2 (1 x) 1

si
2
(6) 9x (1 x) 1,

atunci am avea

3 2
9 x3 + (1 x) abc + 9x2 (1 x) a2 b + b2 c + c2 a + 9x (1 x) ab2 + bc2 + ca2 =

3
= 9 x3 + (1 x) abc + 9x2 (1 x) 1 a2 b + b2 c + c2 a +

2
+ 9x (1 x) 1 ab2 + bc2 + ca2 + a2 b + ab2 + a2 c + ac2 + bc2 + b2 c

3
9 x3 + (1 x) abc + 9x2 (1 x) 1 3abc+

2
+ 9x (1 x) 1 3abc + a2 b + ab2 + a2 c + ac2 + bc2 + b2 c
= 3abc + a2 b + ab2 + a2 c + ac2 + bc2 + b2 c,

ceea ce trebuia demonstrat.

Dar conditiile (5), (6) si x [0, 1] conduc la concluzia x [u, v] , unde u 0, 4491
si v 0, 5509. In afara acestui interval nu avem certitudinea obtinerii rezultatului
prin aceasta metoda.
Observatii. 1) Inegalitatea (4) este adevarata, dar nu poate demonstrata pe
calea de mai nainte.
2) Inegalitatea (3), dovedita ca falsa prin contraexemplu, este n afara ariei de
aplicare a celor doua procedee discutate mai sus.

Bibliograe
1. T. Andreescu, V. Crtoaje, G. Dospinescu, M. Lascu Old and New Inequali-
ties, Ed. Gil, Zalau, 2004.
2. M. Chirciu Problema 26512, Gazeta Matematica, CXVI, 10/2011, pag. 482.
3. *** Rezolvarea Problemei 26512, Gazeta Matematica, CXVII, 4/2012, pag. 205.

Vizitati pagina web a revistei Recreatii Matematice:

http://www.recreatiimatematice.ro

22