历史知识 > 祖暅

一作祖暅之。南朝梁范阳遒县(今河北涞水)人，字景烁。祖冲之之子。继父志，精研历算。梁天监初，修订其父《大明历》，九年(510)得以颁行。曾监造八尺铜表，测量日影长度，发现北极星与北天极不动处相差一度有余。历官员外散骑侍郎、太府卿、南康太守、材官将军、奉朝请等。普通六年(525)被北魏俘获，与信都芳、元延明交往甚密，后南返。唐李淳风注释《九章算术·少广》开立圆术，引祖暅之开立圆术，在刘徽的*牟合方盖及有关截面积原理论述基础上，提出“夫迭棊成立积，缘幂势既同，则积不容异”，今称祖暅原理，彻底解决了球体积公式。祖暅原理早于西方数学家提出同类原理(卡瓦列里〔B.Cavalieri〕原理)千余年。著有《缀术》、《漏刻经》、《天文录》等，大多已佚。