祖暅（Zu Geng，祖暅之，字景烁）
中国古代体积理论的完成者，以「祖暅原理」与球体积公式闻名，与父祖冲之共同把刘徽开创的极限/不可分量方法推至高峰；同时完成了父亲未竟的历法颁行事业。
一、生平与时代背景
祖暅（又名祖暅之，字景烁；亦作 Zu Gengzhi、Tsu Keng），约生活于公元 5—6 世纪（南北朝），是祖冲之之子，出身于世代相传的天算世家。
生卒年两说并存，标存疑： - MacTutor 定约 450—约 520； - 英文维基《Zu Gengzhi》定约 480—约 525。 两者相差约 30 年，反映史料之不足。可确定的是，他主要活动于南齐至梁初，继承并完成了父亲的数学与历法工作。
生平主要线索： - 自幼从父祖冲之学数学与天文，「家学渊源」； - 梁天监六年（507）前后，重新修订父亲的《大明历》，上书梁朝请求颁行； - 天监九年（510），《大明历》终于被梁朝正式采用——完成了祖冲之生前未能实现的愿望； - 曾任梁朝太府卿等职； - 其子祖皓亦为数学天文学家，参与历法工作，祖氏家族四代相传。
时代背景：祖暅处于南北朝数学的尾声。他的工作上承刘徽、父祖冲之，下启唐代算学；其体积理论是中国古代几何在微积分前夜的最高成就之一。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约 450/480 年 | 出生（存疑；MacTutor 约 450，英文维基约 480），祖冲之之子 |
| 约 480—490 年代 | 从父学习，参与《缀术》撰写与球体积研究 |
| 约 5 世纪末—6 世纪初 | 提出「祖暅原理」，完成球体积公式证明 |
| 约 507 年（梁天监六年） | 修订父亲《大明历》，上书梁朝请颁行 |
| 510 年（梁天监九年） | 《大明历》正式颁行（距父上书 462 年已近半个世纪） |
| 6 世纪 | 任职梁朝，传家学于子祖皓 |
| 约 520/525 年 | 逝世（存疑） |
| 7 世纪 | 其球体积成果经李淳风录入《九章算术注》（少广章）而传世 |
| 1635 年 | 西方卡瓦列里独立发表等价原理，比祖暅晚约 1100 年 |
三、核心成果（逐条技术解析）
1. 祖暅原理（「刘徽—祖暅原理」）
问题背景：刘徽构造「牟合方盖」（两正交等径圆柱的相交体）并证明 $V_{\text{球}}/V_{\text{牟合方盖}}=\pi/4$，但未能求出牟合方盖的体积，留下「以俟能言者」。祖暅完成此业，其关键工具即祖暅原理。
精确表述（据李淳风《九章算术注》引祖暅语）：
「缘幂势既同，则积不容异。」
直译：若两立体在等高处的截面积（幂）恒相等（势同），则它们的体积必然相等。这等价于西方的卡瓦列里原理（Cavalieri's principle，1635），但早约 1100 年。
与前人关系：刘徽在体积研究中已触及「幂势」思想（故又称「刘徽—祖暅原理」），但把它明确表述为一般原理并系统应用于求球体积，归功于祖暅。
局限：该原理是一种不可分量/积分思想，但祖暅未发展出一般的积分算法，只用于特定立体。
2. 球体积公式的推导
祖暅沿刘徽「牟合方盖」思路完成证明（载于李淳风《九章算术注》第四章「少广」）：
- 取球的外切立方体，沿三个方向切成 8 个相等的小立方体（每块边长为半径 $r$），只需考察其中一块；
- 在小立方体内作两正交圆柱的切割，得到牟合方盖的 1/8，并将小立方体分成 4 个小块；
- 对「外棋」（牟合方盖之外的部分）应用祖暅原理：在高 $h$ 处，外棋的截面积等于一个倒置阳马（四棱锥）在同高处的截面积，故外棋体积 = 阳马体积 = $\tfrac{1}{3}r^3$；
- 于是牟合方盖 1/8 的体积 = $r^3 - \tfrac{1}{3}r^3 = \tfrac{2}{3}r^3$，整个牟合方盖体积 = $8\times\tfrac{2}{3}r^3 = \tfrac{16}{3}r^3$；
- 由刘徽的比例关系 $V_{\text{球}}/V_{\text{牟合方盖}}=\pi/4$，得： $$V_{\text{球}} = \frac{\pi}{4}\cdot\frac{16}{3}r^3 = \frac{4}{3}\pi r^3 = \frac{\pi}{6}d^3.$$
取 $\pi=\tfrac{22}{7}$ 时，祖暅给出的实用法则为：
「体积 = 直径³ × 11 ÷ 21」（因 $\tfrac{\pi}{6}=\tfrac{22}{7\times 6}=\tfrac{11}{21}$）。
意义：完成了刘徽未竟的工作，是中国古代正确球体积公式的首次严格推导，体现了高度的几何直观与不可分量推理能力。
3. 修订与颁行《大明历》
祖冲之 462 年上呈的《大明历》因政治阻力在刘宋朝未及颁行。祖暅于梁朝天监六年（507）重新修订并上书，终于在天监九年（510）使其正式颁行，实现了父亲的遗愿。这是祖暅在天文历法方面最重要的实践贡献。
4. 北极星与北天极的角距测量
据英文维基《Zu Gengzhi》引述，祖暅还测量了北极星（勾陈一）与北天极之间的角距离。由于岁差，1600 年前这个角距比今天更大——这一观测反映了他对恒星位置与岁差现象的精细认识，是其父《大明历》引入岁差工作的延续。
四、代表著作与文献
- 《缀术》（与父祖冲之合著，约 5—6 世纪之交）：已失传，其中球体积内容由唐代李淳风录入《九章算术注》而部分保存；
- 《大明历》修订本（510 年颁行）；
- 现存核心史料：李淳风《九章算术注》第四章「少广」（引祖暅「开立圆术」）。
五、师承、学派与同时代交往
- 师承：家学，父祖冲之直接传授；学术上继承刘徽的体积与极限思想；
- 子：祖皓，亦为数学天文学家，参与历法，祖氏四代（祖昌—祖朔之—祖冲之—祖暅—祖皓）连续传承；
- 同时代：与梁朝天算家的交往史料有限，其历法工作得到梁朝朝廷采纳。
六、争议、公案与历史评价
- 生卒年两说：约 450—520（MacTutor）与约 480—525（英文维基）并存，标存疑，反映史料稀缺。
- 原理的原创归属：祖暅原理是否完全由祖暅提出？刘徽已有「幂势」思想的萌芽，故学界常称「刘徽—祖暅原理」。一般原理的明确表述与系统应用归功祖暅，这一点无争议。
- 证明的传世状态：祖暅的原始证明随《缀术》失传，今天所见来自李淳风的转述（7 世纪），细节可能经李淳风整理，但核心思路应属祖暅。
- 与卡瓦列里的优先权：祖暅原理与卡瓦列里原理数学等价，时间上早约 1100 年，但两者是独立发现，无传播关系。
七、身后影响与学术谱系
- 祖暅原理是中国古代积分思想的最高表达之一，与刘徽的极限思想共同构成了前微积分时代东方的「无穷小分析」传统；
- 球体积公式正确推导后，成为中国后世算学的标准结论，至唐代列入官方教材；
- 在刘徽（牟合方盖，未竟）→ 祖冲之 → 祖暅（祖暅原理，完成）的谱系中，祖暅是收官者；
- 国际上，该原理在中文数学文献中称「祖暅原理」，西方文献常称「Cavalieri's principle」，近年数学史著作（如 Siu 1996）多指出其中国优先权。
八、延伸阅读与权威来源
- MacTutor: Zu Geng（Biography）：最权威英文传记，详述祖暅原理、球体积证明步骤与李淳风转述。
- Wikipedia: Zu Gengzhi：交叉核对生卒年、字景烁、北极星观测等。
- MacTutor: Overview of Chinese mathematics：祖冲之父子在中国数学通史中的定位。
- MacTutor: Liu Hui（Biography）：理解祖暅工作的刘徽背景（牟合方盖、「以俟能言者」）。
- J-C Martzloff, A History of Chinese Mathematics (Springer, 1997)：标准中国数学史专著，祖暅原理章节。
- L. Y. Lam & K. S. Shen, "The Chinese concept of Cavalieri's principle and its applications," Historia Math. 12(3) (1985), 219–228：专门研究祖暅原理与卡瓦列里原理的学术论文。
- M. K. Siu, "The story of calculus I," Math. Medley 23(1) (1996), 28–32：从微积分史视角评介祖氏父子的工作。