旋转体的横截面函数为 $S(z)=\pi R^2(z)$。