已知实数x y满足x^2 y^2-2y