祖暅之

林小夕

祖暅之 南朝齐梁间数学家，一作祖暅，字景烁，祖冲之的儿子。梁时任太府卿。从幼继承家学，潜心钻研天算之术。其父精治《大明历》，但由于戴法兴等人的顽固阻挠，在祖冲之生前，始终没有能够施行。祖冲之死后，经他再三请求，《大明历》终于在梁武帝天监九年（公元510年）正式颁布采用。他还首次得出计算球体积的正确公式。《九章算术》正确解决了圆面积和圆柱体积的计算问题，但关于球体的计算公式却是错误的。刘徽虽已指出，也并未完成这一任务。祖暅之提出：“幂势即同，则积不容异”，即形状不同的物体，只要它们等高处的横截面积相等，那么它们的体积也必然相等。这个计算球体积的公理被称为“祖式公理”。这一结论国外在一千年后才由意大利数学家卡瓦列里提出来。他还制成铜日圭、漏壶等精密观测仪器多种，为后世所取法。他的儿子祖皓再传家学，也长于历法。