(a, b, c > 0 ( ab )2 + ( cb )2 + ( ac )2 + 6 32 ( a+b

+
c

b+c
a

c+a
))
b

a
b
c
3
1 1 1
y = x = x2 +y 2 +z 2 +6
x+y+z+ + + )
b
c
a
2
x y z
(1)
If we substitute x1 for x, y1 for y and z1 for z, into the inequality (1), we get
an equivalent inequality:


(a, b, c > 0x =

 2
1

 2

1
+
y

 2
1

3 1 1 1
+6
+ + +x+y+z
2 x y z


(2)

If we sum inequalities (1) and (2), we get inequality:

 2

1
x +y +z +
x
2

x+

1
x

2

+ y+

1
y

 2
1

2

 2

1
+
x

+ z+

(1) x, y, z > 0 A = x +

1
x

1
z

2

1 1 1
+ 12 3
+ + +x+y+z
x y z




+6 3

x+

2B =y+

1
y

1
x

+ y+

1
y

+ z+

2C =z+

1
z

A2 + B 2 + C 2 + 6 3 (A + B + C)
x, y, z > 0 A 1 = x +

C 1=z+
2

1
z

1
x

11B1=y+

1
y

11

11
2

(A 1) + (B 1) + (C 1) (A 1) + (B 1) + (C 1) .
The last inequality is true because the following implication is true:
A11B11C 11
(A 1)2 (A 1) (B 1)2 (B 1) (C 1)2 (C 1).
Q.E.D

(3)
1
z