另眼看字典-汇聚中文经典 >历史百科>诗词百科>阳马

阳马

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

阳马

猜你喜欢

  • 典膳所

    官署名。明代王府长史司下辖机构。洪武四年(1371)设,隶王相府。十三年罢王相府后,隶王府长史司。设典膳正一人,正八品;副一人,从八品。掌祭祀、宾客、亲王及王妃之膳羞。

  • 青姑娘

    白族民间古老叙事长诗。长期在云南剑川等地口头流传演唱。从其中一些古代白语词汇今已无人解释来看,产生时间很早,但从妇女受虐待的内容判断,应是阶级社会的产物,并经历代口传者不断加工补充,今有几种记录本和整

  • #元灏

    【生卒】:?——1860江苏邳州(今邳县)人。咸丰举人,充刑部员外郎。咸丰八年,集办乡团截击捻军于邳州。两年后战死。赠太仆寺卿衔,封世职。

  • 党峪集

    即今河北遵化市南四十五里党峪镇。清同治 《畿辅通志》 卷54遵化州图: 南有党峪集。

  • 浙江

    即钱塘江,上游指今新安江。此水《庄子》作制河,《山海经》、《史记》、《越绝书》、《吴越春秋》作浙江,《汉书·地理志》、《水经》作渐江水,制、浙、渐本系一声之转。《说文》以此水为渐水,别以“江水东至会稽

  • 阴密县

    西汉置。治今甘肃灵台县西百里镇。属安定郡。东汉废。三国魏复置,北周废。

  • 为别

    分别,相别。李白《送友人》:“此地一为别,孤蓬万里征。”权德舆《送句容王少府簿领赴上都》:“春风若为别,相顾起尊前。”

  • 梨园

    ①唐宫廷教练歌舞艺人场所。中宗时,禁苑内有梨园亭,供帝后宴侍臣、学士悠游雅乐之用。玄宗知音律,爱法曲。开元二年(714)选*坐部伎子弟三百人教法曲于梨园,号皇帝梨园弟子。专习歌、舞及乐器演奏。又选宫女

  • 千秋港镇

    即今江苏射阳县北千秋乡。旧属阜宁县,初名下尖头港。1919年华成垦殖公司总部迁此,取“立业千秋”之义改今名。

  • 协审官

    官名。见“审计官”。