已知圆x,y满足x^2+y^2