Cateva generalizari si rafinari ale inegalitatii

x2 + y 2 + z 2 > xy + yz + zx
Mihaly BENCZE1
Abstract. In this paper we present some generalizations and refinements for classical inequlity
x2 + y 2 + z 2 > xy + yz + zx.
Keywords: classical inequalities.
MSC 2010: 97H30.

Propozitia 1. Daca x > 0 si n N, atunci are loc inegalitatea

(1) (x2 + 1)n (xn 1)2 + 2n xn ,
cu egalitate daca si numai daca x = 1.
Demonstratie. Fie functia f : RR denita prin f (x) = (x2 + 1)n (xn 1)2
n n
2 x . Vom scrie f n doua moduri, dupa cum urmeaza (n calcule se tine seama de
P
n
n
n
faptul ca 2n xn = k x ):
k=0
n 
X

n 2(nk)
f (x) = x (x2n 2xn + 1) 2n xn =
k
k=0
n  
X X
n1  
n n
= (x 2(nk)
x )x n 2n
+ 2x 1 =
n
(x2(nk) xn );
k k
k=0 k=1
n  
X X
n1  
n n
f (x) = x2k (x2n 2xn + 1) 2n xn = (x2k xn ).
k k
k=0 k=1

Prin adunare, obtinem:

 
X
n1
n
2f (x) = (xnk xk )2
k
k=1

si, deci, f (x) 0, adica inegalitatea (1).

Corolarul 1.1. Daca ak > 0, k = 1, m, atunci pentru orice n N au loc
inegalitatile
 n
X a21 + a22 X 1 X n X
n 2
(2) (a1 a2 )n + (a1 a2 ) (a1 a2 )n ,
2 2n
ciclic ciclic ciclic ciclic

cu egalitate daca si numai daca a1 = a2 = = am .

a1
Demonstratie. In (1) luam x = si obtinem:
a2
 n
a21 + a22 1 n 2
(a1 a2 )n + (a an2 ) .
2 2n 1
1 Profesor, Colegiul National ,,Aprily Lajos, Brasov

103
Scriind si analoagele acesteia si adunand cele m inegalitati obtinute (convenim ca
am+1 a1 ), deducem prima inegalitate din (2), iar cea de-a doua este evidenta.
Corolarul 1.2. Daca ak > 0, k = 1, m, atunci au loc inegalitatile

X
m X 1 X X
(3) a2k a1 a2 + (a1 a2 )2 a1 a2 ,
2
k=1 ciclic ciclic ciclic

cu egalitate daca si numai daca a1 = a2 = = am .

Observatie. Evident, (3) reprezinta o generalizare si o ranare a inegalitatii
clasice a21 + a22 + a23 a1 a2 + a2 a3 + a3 a1 .
1
Propozitia 2. Daca x, y > 0, n N si fn (x, y) = (xn + xn1 y + +
n+1
xy n1 + y n ), atunci
 x + y n xn + y n
(4) fn (x, y) ,
2 2
cu egalitate daca si numai daca x = y.
Demonstratie. Procedam prin inductie completa atat pentru prima inegalitate
din (4) cat si pentru cea de-a doua.
x+y x + y  x + y 2
Pentru n = 1 si n = 2 se obtin inegalitatile adevarate si
2  2 n 2
1 2 x+y
(x + xy + y 2 ) (echivalenta cu (x y)2 0). Presupunand ca fn (x, y),
3 2
vom arata ca inegalitatea are loc si pentru n + 1. Intr-adevar, deoarece
 x + y n+1 x + y  1
(xn + xn1 y + + xy n1 + y n ),
2 2 n+1
este sucient sa aratam ca
x + y  1 1
(xn +xn1 y ++xy n1 +y n ) (xn+1 +xn y ++xy n +y n+1 ),
2 n+1 n+2
ceea ce revine la

2(xn y + xn1 y 2 + + xy n ) n(xn+1 + y n+1 ).

Aceasta inegalitate rezulta observand mai ntai ca xnk y k+1 + xk+1 y nk xn+1 +
y n+1 (echivalenta cu inegalitatea evidenta (xnk y nk )(xk+1 y k+1 ) 0), apoi
scriind-o pe aceasta pentru k = 0, 1, , n1 si n nal adunand inegalitatile obtinute.
Asadar, prima inegalitate din (4) este adevarata.
A doua inegalitate din (4) se verica imediat pentru n = 1 si n = 2; ntr-adevar,
x+y x+y 1 x2 + y 2
avem: si (x2 + xy + y 2 ) (echivalenta cu (x y)2 0). Sa
2 2 3 2

104
 xn + y n
trecem la etapa inductiva. Presupunem ca are are loc fn (x, y) . Avem:
2


1 x xn + xn1 y + + xy n1 + y n
fn+1 (x, y) = (n + 1) + y n+1
n+2 n+1
n
1 x + yn
x (n + 1) + y n+1 =
n+2 2
(n + 1)xn+1 + (n + 1)xy n + 2y n+1
= .
2(n + 2)
In acelasi mod gasim si inegalitatea
(n + 1)y n+1 + (n + 1)yxn + 2xn+1
fn+1 (y, x) .
2(n + 2)
Dupa adunarea lor, obtinem:
(n + 3)(xn+1 + y n+1 ) + (n + 1)xy(xn1 + y n1 )
2fn+1 (x, y) .
2(n + 2)
Ramane sa aratam ca
(n + 3)(xn+1 + y n+1 ) + (n + 1)xy(xn1 + y n1 )
xn+1 + y n+1 ,
2(n + 2)
care este echivalenta cu xy(xn1 + y n1 ) xn+1 + y n+1 , deci cu (x y)(xn y n ) 0,
care este adevarata. Propozitia este complet demonstrata.
Corolarul 2.1. Daca ak > 0, k = 1, m, atunci
X
m X X  a1 + a2 n X
(5) ank fn (a1, a2 ) ( a1 a2 )n ,
2
k=1 ciclic ciclic ciclic

pentru orice n N , cu egalitate daca si numai daca a1 = a2 = = am (cu

am+1 a1 ).
Demonstratie. Observam ca
X
m X an + an
a2k 1 2
2
k=1 ciclic

si aplicam Propozitia 2.
Corolarul 2.2. In aceleasi conditii, avem:
X
m X X  a1 + a2 2 X
(6) a2k f2 (a1, a2 ) a1 a2 .
2
k=1 ciclic ciclic ciclic

Observatie. (6) ofera noi ranari inegalitatii clasice a21 + a22 + a23 a1 a2 + a2 a3 +
a3 a1 .

Bibliografie
1. Octogon Mathematical Magazine, (1993-2012).

105