Với mọi x, y, z ta có:
(x-y)^2 +(y-z)^2+ (z-x)^2>=0
<=>2x^2 +2y^2 + 2z^2 - 2xy -2yz - 2xz >=0
<=>x^2 + y^2 +z^2 - xy -yz -zx >=0
<=>(x+y+z)^2 >= 3(x+y+z)
<=>[(x+y+z)^2]/3 >= xy+yz+ zx
=>xy +yz + zx <=3
dấu = xảy ra khi x=y=z =1.