在圆柱中旋转的正四面体