formula_9。日本数学家三上义夫说，“约率formula_10，无非是几百年前希腊数学家阿基米德已经得到的数值，但是formula_11 这个分数，却是翻遍古希腊，古印度和阿拉伯的数学文献都找不到的分数，希腊人肯定不知道它；在欧洲直到1586年才由荷兰人安托尼斯宗（Adriaan Anthoniszoon）求出了formula_9这个比值。因此，中国人掌握这个非凡的圆周率分数比欧洲早出整整一千年之久”。为纪念这位伟大的中国古代数学家，三上义夫要求把formula_13称为“祖率”。祖沖之（或祖暅）