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