握这个非凡的圆周率分数比欧洲早出整整一千年之久”。为纪念这位伟大的中国古代数学家，三上义夫要求把formula_13称为“祖率”。祖沖之（或祖暅）并以直截面积相比的方法，解决球体体积问题（在西方，球体体积问题前三世纪阿基米德已解决），其法今存于唐代李淳风的《九章算术注》中。祖沖之计算方法巧妙，应用现今所谓「卡瓦列里定理」：「等高处的截面面积相等，则二立体的体积相等。」此定理今人公认是意大利数学家卡瓦列里(Gavalieri)所创，因而命名，其实早已为祖沖之所应用。历法方面，祖沖之编定「大明历」，在身