球圆x^2+y^2-2x-1=0关于直线2x-y+3=0对称的方程