把x的用代解代入圆方程,