3S国学网 >历史百科>诗词百科>阳马

阳马

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

阳马

猜你喜欢

  • 石头渚

    又名石头津步、投书渚。在今江西南昌市西郊红石岗上。《寰宇记》卷106洪州南昌县:石头渚“晋太守殷羡,建元中为豫章太守,去郡,人多附书一百余封,行至江西石头渚岸, 以书掷水中,咒曰:‘沉者自沉,浮者自浮

  • 邵阳县

    西晋武帝避其父司马昭名讳改昭阳县置。治今湖南邵东县东。属邵陵郡。隋开皇九年(589)移治今邵阳市。属长沙郡。唐为邵州治,南宋为宝庆府治,元为宝庆路治,明、清又为宝庆府治。1913年改为宝庆县,1936

  • 清太祖实录

    书名。清官修。十卷,又首卷之一至之三为圣祖序、修纂凡例、目录、进实录表、修纂官及高宗序、进实录表、校对官。起自癸未(明万历十一年,1583),止于天命十一年(明天启六年,1626),记述满洲起源及太祖

  • 领外

    即岭外。指今广东、广西、海南三省区及越南北部地区。即“岭外”。

  • 张绪

    【生卒】:1520—1593【介绍】:明四川汉川人,字无意。嘉靖十九年举人。官桐城教谕。官至南京户部员外郎。受业于邹守益,与耿定向、罗汝芳讲学不辍。为时宰所忌,谪繁昌教谕。量移为德阳知县。仅一年,与当

  • 鹑衣鹄面

    源见“子夏衣”。鹄面,瘦削的面形。形容穷苦落魄的样子。清 捧花生《画舫馀谭》:“尝见某者,鹑衣鹄面,彳亍泮宫前。”并列 破烂的衣服,瘦削的面孔。形容穷苦落魄的样子。清·捧花生《面舫馀谭》:“尝见某者,

  • 阿蛮

    宋乐史《杨太真外传》卷上:“时新丰初进女伶谢阿蛮,善舞,上与妃子钟念,因而受焉。”后以“阿蛮”泛指女伶。《古今小说.杨谦之客舫遇侠僧》:“马上琵琶催去急,阿蛮空恨艳阳春。”源见“樊素”。指唐代白居易家

  • 勒尔锦

    ?—1706清宗室。礼亲王代善曾孙,顺承郡王勒克德浑子。顺治九年(1652)袭爵顺承郡王。康熙十一年(1672)掌宗人府事。次年吴三桂反,以宁南靖寇大将军驻荆州,累年迁延失机,毫无进展。十九年诏取重庆

  • 别里古台

    蒙古国宗王、大将。又译别里古带、别勒古台、孛鲁古台、伯勒格德依。孛儿只斤氏。※也速该庶子,※成吉思汗异母弟。勇力多智谋。幼年全家屡遭泰赤乌部、蔑儿乞部凌辱追逼,生母为蔑儿乞人所掠,后得克烈部、札只刺部

  • 雄义将军

    官名。将军名号。南朝梁置。武帝天监七年(508)定为施用于境外的武职二十四班中的二十四班,班阶最高,拟车骑将军; 大通三年(529)定制后,仍拟车骑将军等号。