直线{x=1;y=0}绕z轴旋转一周的曲面方程是什么