阳马,中国古代算数中的一种几何形体,是底面为长方形,两个三角面与底面垂直的四棱锥体。
九章算术·商功:“斜解立方,得两壍堵。斜解壍堵,其一为阳马,一为鳖臑。阳马居二,鳖臑居一,不易之率也。合两鳖臑三而一,验之以棊,其形露矣。”
“阳马居二,鳖臑居一,不易之率也”,今”
“阳马居二,鳖臑居一,不易之率也”,今称为刘徽原理。刘徽注《九章算术》关于体积问题的论述已经接触到现代体积理论的核心问题,指出四面体体积的解决是多面体体积理论的关键,而用有限分割和棋验法无法解决其体积。为了解决这个问题,他提出了一个重要原理:斜解壍堵,其一为阳马,一为鳖臑。
考驾照网【KaoJiaZhao.COM】