现在以立方体的一个底面和底面以外的一个顶点作一个四角锥（这个形状称为阳马）。对阳马距离角锥h处横向切开，则截面是一个正方形，面积等于 formula_10。祖氏父子在此解释：所有等高处横截面积相等的两个同高立体，其体积也必然相等。这就是今天所称的「祖暅原理」。套用此定理，所以外棋体积也等于阳马体积。《九章算术》中已有提到，阳马的体积等于其外接立方体的体积的 formula_13，所以内棋的体积是立方体的 formula_14，即 formula_15。由于内棋是牟合方盖的 formula_5，故