我国南北朝时期的数学家祖暅在计算球的体积时，提出了一个原理（祖暅原理）：“幂势既同，则积不容异”这里的“幂”指水平截面的面积，“势”指高．这句话的意思是：两个等高的几何体若在所有等高处的水平截面的面积相等，则这两个几何体体积相等．利用祖暅原理可以将半球的体积转化为与其同底等高的圆柱和圆锥的体积之差．图1是一种“四脚帐篷”的示意图，其中曲线
和
均是以1为半径的半圆，平面
和平面
均垂直于平面
，用任意平行于帐篷底面
的平面截帐篷，所得截面四边形均为正方形．模仿上述半球的体积计算方法，可以构造一个与帐篷同底等高的正四棱柱，从中挖去一个倒放的同底等高的正四棱锥（如图2)，从而求得该帐篷的体积为（ ）
