(x+1/2y)^2+(y+1/2x)^2
=x^2+(1/2x)^2+x/y+y/x+y^2+(1/2y)^2
>=2x(1/2x)+2(x/y)(y/x)+2y(1/2y)
=1+2+1=4
原式>=4