中国古代关于多面体体积理论的关键性原理。刘徽认为，多面体都可分解成长方体、堑堵（斜解长方体得二堑堵）、阳马（直角四棱锥）、鳖臑（四面体，斜解堑堵得一阳马一鳖臑）而求其体积。他提出：在堑堵中“阳马居二，鳖臑居一，不易之率也”。并用无穷小分割和极限思想证明了这一原理，进而由堑堵的体积是长方体之二分之一，证明了阳马、鳖臑体积分别是长方体的三分之一与六分之一。