x^2+y^2+z^2-xy-yz-zx=(1/2)((x-y)^2+(y-z)^2+(z-x)^2)