x^2 + y^2 + z^2 ≧ xy + yz + zx + (3/4)*(x-y)^2

これって既出だっけ?