求圆x^2+y^2-x+2y=0关于y轴对称的圆的方程