已知实数x,y满足方程x的平方+y的平方-4x-1=0