Figure 1:

A M ET HOD T O CREAT E N EW IN EQU ALIT IES

Lets have an acute-angled triangle ABC as in the figure, with semiperimeter s,

a, b, c the sides and S the area of ABC.

We can now write the following lemma:

Lemma:
There exist infinite groups of triplets x, y, z > 0 and x0 , y 0 , z 0 > 0 satisfying the
identities from above:
√ 0 0
√x0 + y0 = x + y ;
√y + z = y + z ;
x0 + z 0 = x + z ;

x0 + y 0 + z 0 = x2 + y 2 + z 2 + xy + yz + zx ; (1)

x0 y 0 + y 0 z 0 + z 0 x0 = 4xyz(x + y + z) ; (2)

The identity (1) is obvious and (2) follows from:

p p √
S= s(s − a)(s − b)(s − c) = xyz(x + y + z) = 12 x0 y 0 + y 0 z 0 + z 0 x0

Examples:

The first and easiest is:

1
 p
x0 + y 0 + z 0 ≥ 3(x0 y 0 + y 0 z 0 + z 0 x0 ) equivalent with:
p
x2 + y 2 + z 2 + xy + yz + zx ≥ 2 3xyz(x + y + z)

http://artofproblemsolving.com/community/c6h1452305p8337078

The second example:

9(x0 + y 0 )(y 0 + z 0 )(z 0 + x0 ) ≥ 8(x0 + y 0 + z 0 )(x0 y 0 + y 0 z 0 + z 0 x0 )

equivalent with:

9(x + y)2 (y + z)2 (z + x)2 ≥ 32xyz(x + y + z)(x2 + y 2 + z 2 + xy + yz + zx) (3)

The inequality (3) is true for all real numbers, according to Professor L. Giugiuc.

For x, y, z > 0 real numbers, prove that:

q
2(xy+yz+zx) √ √ √
x+y+z + 16
3 (x + y + z) ≥ x + y + y + z + z + x ; (4)

The inequality (4) follows from Schur 4th degree and was posted by me in
AoPS on 21-May 2017.

http://artofproblemsolving.com/community/c6h1449955p8309976

Greetings from Lorian Saceanu!