6lA国学网 >历史百科>诗词百科>阳马

阳马

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

阳马

猜你喜欢

  • 宣节校尉

    官名。唐太宗贞观十一年(637)置,为正八品上武散官。宋初因之。神宗元丰(1078—1085)改制,唯蕃官蕃兵仍授,余者并罢。官名,唐代武散官正八品上授宣节校尉。见《新唐书·百官一·兵部》。宋代武散官

  • 吐卢氏

    见“高车十二姓”(1919页)。

  • 面头皮

    本指旧时舞狮子时所戴的道具假皮。后比喻伪装。王梵志《天下恶官职》:“脱却面头皮,还共人相似。”

  • 登鹿门山

    【介绍】:孟浩然作。一作《登鹿门山怀古》,又作《题鹿门山》。鹿门山,在今湖北襄阳东南三十里,相传后汉高士庞德公曾隐居此处。诗写于作者早年尚未隐居鹿门山时。它记述了清晨乘兴顺流往游鹿门山途中所见景色,及

  • 拜香会

    清代福建天地会系统秘密结社。创于嘉庆年间。

  • 杜辂

    【介绍】:明山东泗水人,字从殷。嘉靖四十一年进士。由中书舍人累官河南按察副使,备兵汝南,娴于吏治。万历间见权臣倾轧,引疾归。

  • 武库署令

    官名。即武库令。官名。北齐和隋皆置,为武库署长官,掌盔甲武器及吉凶仪仗。见《隋书·百官中、下》。

  • 读礼通考

    书名。清徐乾学撰。一百二十卷。始撰于康熙十六年(1677)。二十九年续加订定。得阎若璩、万斯同、胡渭等协助,三易其稿而成。著者去世二年后,于康熙三十五年刊行。分丧期、丧服、丧仪节、葬考、丧具、变礼、丧

  • 吴福孙

    【生卒】:1280—1348【介绍】:元杭州人,字子善,号清容野叟。成宗元贞初,补嘉兴路儒学录,迁宁国路儒学正。善楷书,兼工篆籀。赵孟頫极称许之。顺帝至正初累迁上海县主簿卒。

  • 孤云野鹤

    同“闲云野鹤”。明李贽《喜杨凤里到摄山》诗:“今日还从江上来,孤云野鹤在山寺。”并列 旧喻闲居野处的隐士,过着闲散生活。唐·范摅《云溪友议》卷6:“娄吕二生,~,不知栖宿何处。”明·李贽《喜杨凤里到摄