(x+y+z)^2=x^2+y^2+z^2+2(xy+yz+zx)
x^2+y^2>=2xy
y^2+z^2>=2yz
z^2+x^2>=2zx
相加得x^2+y^2+z^2>=xy+yz+zx
等号成立当且仅当x=y=z
于是(x+y+z)^2>=3(xy+yz+zx)
(x+y+z)^2=x^2+y^2+z^2+2(xy+yz+zx)
x^2+y^2>=2xy
y^2+z^2>=2yz
z^2+x^2>=2zx
相加得x^2+y^2+z^2>=xy+yz+zx
等号成立当且仅当x=y=z
于是(x+y+z)^2>=3(xy+yz+zx)