详细释义

1. 指三角锥体。
   斜解立方，得兩壍堵。斜解壍堵，其一爲陽馬，一爲鼈臑。陽馬居二，鼈臑居一，不易之率也。合兩鼈臑三而一，驗之以棊，其形露矣。

   斜解立方，得两堑堵。斜解堑堵，其一为阳马，一为鳖蠕。阳马居二，鳖蠕居一，不易之率也。合两鳖蠕三而一，验之以棋，其形露矣。

   此术蠕者，背节也，或曰半阳马，其形有似鳖肘，故以名云。中破阳马，得两鳖蠕，鳖蠕之起数，数同而实据半，故云六而一即得。 —刘徽注

   九章算术·商功

   算術求積尺之法，如芻萌、芻童、方池、冥谷、塹堵、鼈臑、圓錐、陽馬之類，物形備矣，獨未有𨻶積一術。

   算术求积尺之法，如刍萌、刍童、方池、冥谷、堑堵、鳖蠕、圆锥、阳马之类，物形备矣，独未有隙积一术。

   沈括·宋·梦溪笔谈·技艺