Simone
历史知识
①古代算学术语。其一棱垂直于底面的四棱锥。将堑堵斜解，则得阳马一与鳖臑一。方 亭、刍甍、刍童、羡除等多面体必须借助它以求其积。《九章算术》商功章提出其体积求法为：“广袤相乘，以高乘之，三而一。”此即公式V=
abh。刘徽《九章算术注》指出：“邪解堑堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。”此即堑堵中，阳马体积：鳖臑体积=2：1。今称刘徽原理。据此及堑堵体积公式，则上述公式及鳖臑体积公式是显然的。刘徽用无穷小分割和极限思想证明了该原理。略云：平分堑堵之长、宽、高，出入相补，证明其四分之三中上述原理成立。“若为数而穷之，置余广、袤、高之数各半之，则四分之三又可知也。半之弥少，其余弥细。至细曰微，微则无形。由是言之，安取余哉？”完成了证明。此一原理是中国多面体理论的基础。刘徽先于西方数学家高斯、希尔伯特一千六百多年便考虑了不用无穷小分割无法解决多面体体积这一体积理论的核心问题。②建筑术语。引出以承短椽的屋周四角。《文选》三国魏何平叔《景福殿赋》：“承以阳马，接以员方。”李善注：“阳马，四阿长桁也。”
阳马
阳马的解释 1.房屋四角承檐的长桁条。其顶端刻有马形，故称。文选·何晏＜景福殿赋＞：“承以阳马，接以员方。” 李善 注：“阳马，四阿长桁也。”文选·张协＜七命＞：“阴虬负檐，阳马承阿。” 吕向 注：“马为阳物，谓刻作其象负荷檐梁之势，承接木石之曲。”2.四角锥体。底面为正方形。 宋 沉括 梦溪笔谈·技艺：“算术求积尺之法，如芻萌、芻童、方池、冥谷、堑堵、鳖臑、圆锥、阳马之类，物形备矣，独未有隙积一术。”
阳的字典解释 阳 （陽） yáng 明亮
马的字典解释 马 （馬） mǎ 哺乳动物，颈上有鬃，尾生长毛，四肢强健，善跑，供人骑或拉东西：马匹
①一作马驎。南宋钱塘今浙江杭州人。马远子。宁宗朝画院祗候。善画山水、人物及花鸟，能世其家学，然不逮其父，远时以己画题作麟画，以是得誉。今存静听松风图轴有理宗题字;层叠冰绡图轴有宁宗后杨氏题字。②?—
