已知圆m的方程为x^2 (y-4)^2=1