xy满足 x^2+y^2-4x+0 求x-y最小值