阳马术注 刘微在证明从一般情形下的一个堑堵（斜割长方体后所得 的直三棱柱)中分割出来的阳马（一棱垂直于底的四棱锥 和鳖臑（各面为直角三角形的四面体），其体积之比为2 比1的定理（吴文俊称之为刘微原理）时，采取这样的步骤 堵和鳖臑，然后重新组合，便得到在原堑堵的四分之三 歌不是 其余弥细，至细口微，微则无形，由是言之，安取余哉？ 无限进行分割的结果最后得到一个“至细”“无形”的东 西，它刘徽认为可以舍弃不要了！阳马术注 • 刘徽在证明从一般情形下的一个堑堵（斜割长方体后所得 的直三棱柱）中分割出来的阳马（一棱垂直于底的四棱锥） 和鳖臑（各面为直角三角形的四面体），其体积之比为2 比1的定理(吴文俊称之为刘徽原理)时，采取这样的步骤 ： 首先，把堑堵的三度分割成两半，成为一些小的阳马、堑 堵和鳖臑，然后重新组合，便得到在原堑堵的四分之三中 阳马和鳖臑所占体积之比为2比1，那就只要考虑余下的四 分之一部分中情况了，由于这四分之一部分又是二个与原 堑堵结构完全一样的堑堵，于是刘徽又可以进行同样的分 割，然后重新组合这些更小的形体，这样他又证明了在这 四分之一部分的四分之三中，阳马和鳖臑的体积之比为2 比1，这个过程可以不断地进行下去，他说“半之弥少， 其余弥细，至细曰微，微则无形，由是言之，安取余哉？” 无限进行分割的结果最后得到一个“至细”“无形”的东 西，它刘徽认为可以舍弃不要了!