已知实数满足方程x^2+y^2-4x+1=0