解析几何中,旋转抛物面的方程推导