求曲线x^2 z^2=3 y=1绕y轴旋转一周所成的旋转面方程如题