祖冲之

破除一个误解：祖冲之不只是"背圆周率"的人#

提起祖冲之，多数人记得的是小学课本里那串数字——他把圆周率算到了小数点后七位。但如果只记住这个，就错过了真正了不起的地方。

第一，那串数字在他之后领先世界将近一千年——直到 15 世纪，阿拉伯数学家卡西和欧洲数学家才算得更准。第二，他不只给了一个近似值，还给出了一个用两个小整数表示的极其巧妙的分数 $\frac{355}{113}$，精度高得不可思议。第三，他和儿子祖暅一起解决了刘徽留下的一道千古难题——球的体积，所用的原理比欧洲早了一千年。

祖冲之是数学家，也是天文学家、机械发明家。他代表了中国古典数学在南北朝时期达到的顶峰。

生平#

祖冲之（429—500年）是南北朝时期的数学家、天文学家，祖籍范阳遒县（今河北涞水一带），出生于建康（今南京）。他出身于一个世代研习天文历法的家庭，祖父祖昌曾任掌管土木工程的大匠卿，家学渊源使他从小接触历法与数学。青年时他因博学多闻，被宋孝武帝召入专门的学术机构华林学省从事研究，此后又历任南徐州从事史、娄县令等官职。

祖冲之的代表数学著作《缀术》，曾被唐代列为国子监算学馆的教科书，与《九章算术》《海岛算经》等并称"算经十书"。可惜《缀术》因内容艰深、后人难以读懂，约在宋代失传。我们今天对祖冲之数学成就的了解，主要来自《隋书·律历志》等史书的零星记载——这也是为什么他的具体方法（尤其是如何算出密率）至今仍是一个谜。

他的儿子祖暅（约480—525年）继承父业，同样是杰出的数学家，父子二人在球体积问题上的合作，是中国数学史上最著名的接力之一。

核心贡献#

圆周率的世界纪录#

祖冲之最著名的成就，是把圆周率 $\pi$ 的值精确地夹在两个数之间：

$$3.1415926 < \pi < 3.1415927$$

这是人类历史上第一次把 $\pi$ 算到小数点后七位准确。要体会这有多难：他几乎肯定是沿用了 liu-hui 刘徽的割圆术，但要达到这个精度，需要计算到圆内接正 12288 边形乃至正 24576 边形，每一步都要对庞大的无理数做开方运算——而当时既没有阿拉伯数字，也没有竖式运算，全靠在算板上摆算筹（一根根小竹棍）完成。这是一项惊人的计算耐力工程。

这个纪录保持了大约九百年，直到 15 世纪才被超越。

密率 $\frac{355}{113}$：一个近乎神奇的分数#

祖冲之给出了两个分数形式的近似值：

• 约率（yuelü）：$\dfrac{22}{7} \approx 3.142857$
• 密率（milü）：$\dfrac{355}{113} \approx 3.1415929$

约率 $\frac{22}{7}$ 早已为阿基米德等人所知。但密率 $\frac{355}{113}$ 是祖冲之的独创——它精确到小数点后六位，误差不到千万分之三。密率的神奇之处在于"性价比"：用分母这么小的分数，能达到如此高的精度，是极其罕见的。在祖冲之之后将近一千年里，全世界没有任何人给出过比它更好的、分母又这么小的近似。今天德文、日文里仍称 $\frac{355}{113}$ 为"祖率"。一个好记又好用的口诀是：把 $113355$ 从中间一切，写成 $\frac{355}{113}$。

为什么 $\frac{355}{113}$ 这么"划算"？现代数学用连分数给出了解释。任何实数都能展开成一串分数的嵌套，$\pi$ 的连分数前几项是 $[3; 7, 15, 1, 292, \dots]$。在第 $292$ 这一项之前截断，得到的分数正好是 $\frac{355}{113}$。关键在那个特别大的数 $292$：连分数理论告诉我们，下一项越大，前面截断得到的分数就越"好"——它在所有分母不超过 $113$ 的分数里，是最接近 $\pi$ 的。换句话说，想要比 $\frac{355}{113}$ 更准，分母必须一下子跳到 $33102$ 那么大。祖冲之在没有连分数理论的年代，就凭计算嗅觉抓住了这个"甜点"，至今令人惊叹。

对比一下精度就更直观了： - 约率 $\frac{22}{7}$：准到小数点后 2 位（误差约 $0.04\%$） - 密率 $\frac{355}{113}$：准到小数点后 6 位（误差约 $0.000008\%$）

分母只大了 16 倍，精度却提升了上万倍——这就是密率的过人之处。

球体积：完成刘徽的未竟之业#

liu-hui 刘徽在注《九章算术》时，发现古书给出的球体积公式是错的，并提出了正确的研究思路——他构造了"牟合方盖"（两个直径相同、轴线垂直相交的圆柱的公共部分），指出球恰好内切于牟合方盖。但刘徽算不出牟合方盖的体积，只能坦诚地把问题留给后人。这道悬案由祖冲之父子（主要是祖暅）解决。他们用到了一个关键命题，后世称为祖暅原理：

幂势既同，则积不容异。

翻成白话就是：两个立体，如果在每一个相同的高度上，水平截面的面积都相等，那么它们的体积必定相等。 这正是欧洲数学家卡瓦列里（Cavalieri）在 17 世纪才提出的"卡瓦列里原理"——祖暅父子比他早了约一千年。

关键的几何洞察是：在任意高度上，牟合方盖的水平截面是正方形，内切球的截面则是它的内切圆，二者面积之比恒为 $4:\pi$。由祖暅原理，它们的体积之比也必为 $4:\pi$。于是问题归结为求牟合方盖的体积——祖暅取外切立方体的八分之一来分析：立方体与方盖之间那部分的水平截面，恰好与一个倒立方锥（古称“阳马”）的截面逐层相等，由祖暅原理两者体积相等，从而算出方盖体积正好是外切立方体的 $\frac{2}{3}$。两步相乘，就得到正确的球体积公式：

$$V = \frac{4}{3}\pi r^3$$

与现代结果完全一致。

历法与机械#

祖冲之的才能远不止数学。他于宋大明六年（462年）编成《大明历》，是中国历法史上的一次重大革新。

最关键的突破，是他在中国历法史上第一次把岁差引入计算。岁差，是地轴缓慢摆动造成的天象偏移，使冬至点沿黄道逐年西移。祖冲之据此区分了回归年（太阳两次经过冬至点的间隔）与恒星年（太阳相对恒星转一圈），并测得冬至点约每 45 年 11 个月西移一度。这个数值其实偏大（今测约 71.6 年差一度），但把岁差纳入历法这件事本身，是观念上的一次飞跃。

他测得的回归年长度为 365.24281481 日，与今天的测定值仅差约 50 秒。他还改革了置闰规则，把沿用已久的"19 年 7 闰"改为更精密的"391 年 144 闰"；并首次明确给出交点月（月亮连续两次经过黄道与白道交点的时间）长度为 27.2122 日，误差仅约 1 秒——这对预报日食、月食至关重要。

但《大明历》的命运一波三折。历法献上后，遭到孝武帝宠臣戴法兴的强烈反对——他认为日月星辰的运行规律凡人不可知，古法不可轻改。祖冲之写下著名的《驳议》，用历代文献和自己多年的实测数据，逐条反驳"古法不可改"的成见。孝武帝本已准备改用新历，却在 464 年去世，改历之事被搁置。直到祖冲之去世十年后的梁天监九年（510年），经其子祖暅多次上书、实测验证，《大明历》才正式颁行，沿用至陈朝灭亡（589年），前后约八十年。

除历法外，他还复原制造了指南车、千里船和水碓磨等机械装置——是一位罕见的“理论与工程兼通”的全才。

历史地位与"为什么重要"#

祖冲之的工作，是中国古典数学实用传统与精密计算能力结合的巅峰。他的圆周率纪录说明：在没有现代记号、没有代数符号、纯靠算筹的条件下，中国古代数学家依然能完成极高精度的数值计算。这是一种与古希腊"公理—证明"传统不同、却同样深刻的数学力量——算法与计算的力量。

更重要的是，祖冲之父子的故事打破了一种常见的偏见：仿佛只有古希腊才有"严格证明"。祖暅原理是一条关于体积的普遍命题，它的发现和运用，与卡瓦列里原理在逻辑上完全对等，时间上却早了一千年。把数学史只讲成"从希腊到欧洲"，会遗漏掉中国、印度、阿拉伯数学传统中同样耀眼的高峰。

争议与未解之谜#

祖冲之最大的谜团是：他究竟是怎么算出密率 $\frac{355}{113}$ 的？由于《缀术》失传，史书又只记结果不记方法，后世只能猜测。一种主流看法是：他先用割圆术算出高精度的小数，再用某种方法找到分母尽量小的最佳分数。

不少学者把目光投向"调日法"。这是与祖冲之同时代、稍早的天文学家何承天用于历法计算的一种逼近技巧：给定一个偏小的"弱率"和一个偏大的"强率"，把两者的分子、分母按一定权重相加，得到的新分数会更接近真值；反复施用，理论上能从约率 $\frac{22}{7}$ 一步步逼出密率 $\frac{355}{113}$。这与现代的连分数、中位分数（mediant，即把两个分数的分子分母分别相加）理论一脉相承。但祖冲之是否真的这样做，已无从考证。

也正因为《缀术》失传，祖冲之有些工作我们只能从他人引用中间接得知，存在解读上的不确定性。他的生卒年（429—500）是依据史书推算的，学界基本采信但并非绝对确凿。

跨域连接#

• 古代天文学：历法要预报朔望与节气，必须同时定出多个互不通约的周期，而这些周期只能由长期连续的观测记录反推。推论：精度上限由记录跨度决定，而不由单次观测的精细程度决定——这就是改历总要先积累几十年数据的原因。
• 科举与官学：数学著作被列为官学教材、天文历法由专门机构垄断，知识生产被绑在选官与行政体系上。推论：体制内传承保证了连续性，也决定了失传风险——一旦某部书不再被列入考试与教学，它就没有别的复制渠道。
• 统治正当性：历法由朝廷颁布，日月食预报准与不准被当作天命的检验，改历因此是政治决定而非纯技术决定。推论：反对改历的理由可以完全不涉及数据，于是更准的历法可能长期不被采用——技术优势并不自动转化为制度采纳。
• 实时系统：两个不可通约的周期要在同一系统里对齐，只能用分母尽量小的有理数逼近其比值，分母越小实现越省、误差越大。推论：置闰规则与时钟分频面对的是同一道最佳有理逼近题——把比例换简单一档，误差立刻上升一个量级。
• 积分：等高处截面积相等则体积相等，这实际上是把体积当成截面积沿高度的累积。推论：只要找到一个逐层截面相等的已知立体，未知体积就被换算掉了——这一步不需要极限语言，却已具备定积分的核心结构。

参考文献#

1. 《南齐书·卷五十二·文学传·祖冲之》，（梁）萧子显撰——祖冲之本传，记其生平、官职、机械发明与历法之争。
2. 《隋书·律历志》，（唐）魏徵、长孙无忌等撰——保存了祖冲之圆周率盈、朒两限及约率、密率的原始记载，并录《大明历》数据。
3. 李俨、杜石然，《中国数学简史》，辽宁人民出版社，1983年。
4. Joseph Needham, Science and Civilisation in China, Vol. 3: Mathematics and the Sciences of the Heavens and the Earth, Cambridge University Press, 1959.
5. Jean-Claude Martzloff, A History of Chinese Mathematics, Springer, 1997.
6. 钱宝琮，《中国数学史》，科学出版社，1964年。

「幂势既同，则积不容异。」——祖暅原理，转引自《九章算术》李淳风注