中国南北朝时期，祖冲之与他的儿子祖暅通过对几何体体积的研究，早于西方1100多年，得出一个原理：“幂势既同，则积不容异”，“幂”是面积，“势”是高.也就是说：夹在两个平行平面间的两个几何体，被平行于这两个平行平面的任何平面所截，如果截得两个截面的面积总相等，那么这两个几何体的体积相等.上述原理被称为祖暅原理.现有水平放置的三棱锥和圆锥各一个，用任何一个平行于底面的平面去截它们时，所截得的两个截面面积都相等，若圆锥的侧面展开图是半径为4的半圆，根据祖暅原理可知这个三棱锥的体积为.