Với mọi x,y,z ta luôn có
(x-y)2+(y-z)2+(z-x)2\(\ge\)0
<=> 2x2+2y2+2z2-2xy-2yz-2zx\(\ge\)0
<=> x2+y2+z2-xy-yz-zx\(\ge\)0
<=> (x2+y2+z2+2xy+2yz+2zx)-3xy-3yz-3zx \(\ge\)0
<=> (x+y+z)2\(\ge\)3(xy+yz+zx)
<=> 9\(\ge\)3(xy+yz+zx)
<=> 3\(\ge\)xy+yz+zx = B
Dấu "=" xảy ra khi x=y=z=1
Vậy max B=3 <=> x=y=z=1