1/2+1/2+x^2+y^2≥xy+x+y
1/2(x^2+y^2-2xy)+1/2(x^2+2x+1)+1/2(y^2+2y+1)≥0
(x+y)^2+(x+1)^2+(y+1)^2≥0
恒成立...
老题了..开始两边都乘以2也可以..