我国南北朝时期的数学家祖暅提出了计算几何体体积的祖暅原理：“幂势既同，则积不容异”.意思是两个等高的几何体，如果在同高处的截面积都相等，那么这两个几何体的体积相等，现有等高的三棱锥和圆锥满足祖暅原理的条件，若圆锥的侧面展开图是圆心角为90°､半径为4的扇形，由此推算三棱锥的体积为.