已知抛物线顶点在原点,对称轴为y, 焦点坐标f(0,1) 球抛物线方程