形，可以用勾股弦定理求出其边长与圆半径的关系式。令圆半径（立方体边长）为 r，底面到截面的高为 h ，则正方形边长为 formula_7，面积为 formula_8；也就是说外棋截面的面积为 formula_9。现在以立方体的一个底面和底面以外的一个顶点作一个四角锥（这个形状称为阳马）。对阳马距离角锥h处横向切开，则截面是一个正方形，面积等于 formula_10。祖氏父子在此解释：所有等高处横截面积相等的两个同高立体，其体积也必然相等。这就是今天所称的「祖暅原理」。套用此定理，所以外棋体积也等