《九章算术·商功》：「斜解立方，得两壍堵。斜解壍堵，其一爲阳马，一爲鼈臑。阳马居二，鼈臑居一，不易之率也。合两鼈臑三而一，验之以棊，其形露矣。」刘徽注：「此术臑者，背节也，或曰半阳马，其形有似鼈肘，故以名云。中破阳马，得两鼈臑，鼈臑之起数，数同而实据半，故云六而一即得。」