祖暅[gèng](456年—536年),一作祖暅之,字景烁,范阳遒县(今
河北
涞水)人。中国南北朝时期数学家、
天文学家,
祖冲之之子。同父亲祖冲之一起圆满解决了球面积的计算问题,得到正确的
体积公式,并据此提出了著名的“
祖暅原理”。
祖冲之父子总结了
魏晋时期著名数学家
刘徽的有关工作,提出“幂势既同则积不容异”,即等高的两立体,若其任意高处的水平
截面积相等,则这两立体体积相等,这就是著名的祖暅公理(或刘祖原理)。祖暅应用这个原理,解决了刘徽尚未解决的球体积公式。该原理在西方直到十七世纪才由意大利数学家
卡瓦列利(Bonaventura Cavalieri)发现,比祖暅晚一千一百多年。祖暅是我国古代最伟大的数学家之一。