历史知识 > 阳马

①古代算学术语。其一棱垂直于底面的四棱锥。将堑堵斜解，则得阳马一与鳖臑一。方 亭、刍甍、刍童、羡除等多面体必须借助它以求其积。《九章算术》商功章提出其体积求法为：“广袤相乘，以高乘之，三而一。”此即公式V=abh。刘徽《九章算术注》指出：“邪解堑堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。”此即堑堵中，阳马体积：鳖臑体积=2：1。今称刘徽原理。据此及堑堵体积公式，则上述公式及鳖臑体积公式是显然的。刘徽用无穷小分割和极限思想证明了该原理。略云：平分堑堵之长、宽、高，出入相补，证明其四分之三中上述原理成立。“若为数而穷之，置余广、袤、高之数各半之，则四分之三又可知也。半之弥少，其余弥细。至细曰微，微则无形。由是言之，安取余哉?”完成了证明。此一原理是中国多面体理论的基础。刘徽先于西方数学家高斯、希尔伯特一千六百多年便考虑了不用无穷小分割无法解决多面体体积这一体积理论的核心问题。②建筑术语。引出以承短椽的屋周四角。《文选》三国魏何平叔《景福殿赋》：“承以阳马，接以员方。”李善注：“阳马，四阿长桁也。”

阳马