波那文图拉·卡瓦列里（Bonaventura Francesco Cavalieri）

不可分量法的集大成者——把图形视为由无数"不可分量"叠合而成，提出等积原理并算出幂函数积分，是连接阿基米德穷竭法与近代积分学的关键人物，伽利略誉其为"阿基米德以来几何学最精深者"。

一、生平与时代背景

波那文图拉·卡瓦列里 1598 年生于米兰（当时属哈布斯堡帝国的米兰公国，今意大利）。他出生时取名弗朗切斯科（Francesco），"波那文图拉"是其父之名；1615 年他在米兰加入耶稣会的一个旁支修会耶稣会士会（Jesuati）时，按会规取了会名"波那文图拉"，后世即以此名称呼他。该修会由锡耶纳的乔瓦尼·科隆比尼与友人弗朗切斯科·米亚尼于 1360 年创立，最初照料黑死病患者；布道时首尾都要高呼"耶稣"之名，故得名 Jesuati。会士终生穿凉鞋、每日自笞。该修会后来招募日衰，1668 年被教皇克雷芒九世解散。

1615 年入会于米兰，一年后（1616）转赴比萨的圣吉罗拉莫修道院，其间约 1617 年在佛罗伦萨待过一年，直到 1620 年。在比萨，他跟随比萨大学数学讲师贝内代托·卡斯泰利（Benedetto Castelli）学习数学。卡斯泰利 1611 年受聘于比萨，是位名师，门生来自各地；他本人是本笃会士，因比萨无本笃会修道院，便住在耶稣会士会修道院中。卡斯泰利教卡瓦列里几何学，并向他介绍了伽利略的思想。卡瓦列里对数学的兴趣最初由欧几里得《几何原本》激发，结识伽利略后，他自视为伽利略的门徒。这次会面是由费德里科·博罗梅奥（Federico Borromeo）枢机促成的——枢机曾与卡斯泰利通信，在米兰修道院时就看出了卡瓦列里的天才。由此开始了 1619—1641 年间卡瓦列里致伽利略的百余封书信，但伽利略只偶尔回复，且回信大多已散佚。

卡瓦列里显示出过人天赋，有时甚至代卡斯泰利授课。其学生兼首位传记作者乌尔巴诺·迪维索（在他去世约三十年后写作）声称，卡斯泰利曾劝卡瓦列里研究数学以治愈其抑郁症——但此说无其他旁证，且迪维索记述中若干可核验的事实有误，不足全信。

1619 年，他申请博洛尼亚数学讲席（因马吉尼去世空缺），因被认为太年轻而未获选；此后罗马、比萨等多个讲席也均告失败（卡斯泰利 1626 年赴罗马后比萨空缺，他亦未得）。卡瓦列里自己把失利归咎于耶稣会士会在罗马不受欢迎——这是事实，否能解释其落选则无法确证。不过他在神职上持续晋升：1621 年任执事，担任博罗梅奥枢机在米兰圣吉罗拉莫修道院的助手，在米兰教授神学至 1623 年；随后任洛迪圣伯多禄修道院院长，三年后赴帕尔马的耶稣会士会修道院任院长。

正是在米兰时期，他开始发展出令后世闻名的不可分量法。1626 年秋，他从帕尔马赴米兰途中痛风发作（该病自幼缠身，折磨他至死），在米兰滞留数月。1626—1629 年他在帕尔马度过，1627 年 12 月 16 日致信伽利略和博罗梅奥枢机，告知已完成《几何学》书稿。1629 年，他被任命为博洛尼亚大学第一数学讲席教授——这次申请得到了伽利略的强力推荐。伽利略在致博洛尼亚绅士、猞猁学社成员切萨雷·马尔西利的信中写道："自阿基米德以来，很少有人（如果有的话）像他那样深入而精深地钻研了几何学。"伽利略的推荐信使"绅士团"把第一数学讲席托付给卡瓦列里，他从此担任该职直至去世（1629—1647），同时任博洛尼亚圣玛丽亚·德拉·马斯卡雷拉教堂附属耶稣会士会修道院院长。

在博洛尼亚的十八年间，他出版了十一部著作。但健康持续恶化：约 1629 年起腿部出问题，痛风反复发作。1636 年夏他赴阿切特里的温泉疗养，其时伽利略正被软禁于阿切特里，卡瓦列里得以与他整夏讨论数学。回到博洛尼亚后，校方施压要他研究天文学而非他挚爱的数学。他曾有机会转赴比萨讲席，但谢绝了；博罗梅奥枢机也为他谋过米兰安布罗西亚纳图书馆的职位。1647 年 11 月 30 日，卡瓦列里在博洛尼亚去世，享年约 49 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 不可分量法（《几何学》，1635）

问题背景：求曲边形面积与曲面体体积是古典数学的核心难题。阿基米德用穷竭法（严格但每次都需精巧构造与归谬），开普勒在《葡萄酒桶的新立体几何》（1615）中把圆视为无穷多边、把立体视为无穷薄片（微元），但都未形成通用算法。

关键思想：卡瓦列里在 1627 年完稿、1635 年出版的《用新方法推进的连续不可分量几何学》（Geometria indivisibilibus continuorum nova quadam ratione promota）中提出：一个平面图形可看作由无穷多条平行弦（"面的不可分量"）组成，一个立体可看作由无穷多个平行截面（"体的不可分量"）组成。把图形"拆开"为这些不可分量，再比较两组不可分量的"总和"，即可求面积/体积之比。

精确表述（霍华德·伊夫斯的解释）：不可分量不是零宽度的线/零厚度的面，而是组成图形的基本单元。若把一组平行不可分量沿各自轴线平移（端点仍描出连续边界），所得新图形面积不变——因为由相同的不可分量组成（一摞卡片推歪后体积不变的直观）。

与前人关系：继承并发展了阿基米德的穷竭思想与开普勒的微元观念，但卡瓦列里的"不可分量"更系统、更算法化。其学生托里拆利盛赞此法是"数学荆棘丛中的王道"，是"卡瓦列里首先为公众开辟铺设的奇妙发明"。

局限性：不可分量的概念从未被严格定义——它究竟是不是"零厚度"？线如何能"组成"面？古典几何学家（如古尔丁）猛烈抨击其逻辑基础。卡瓦列里本人也承认它只是"发现的工具"而非严格证明；其严格化要等到黎曼积分与测度论。

2. 卡瓦列里原理（等积原理，与中国祖暅原理独立等价）

问题背景：如何不直接计算而比较两个图形的面积或体积？

关键思想：从不可分量法直接导出两条等积原理。

精确表述： 1. 平面情形：若两个平面图形夹在两条平行线之间，且任意一条平行于这两条线的直线在两图形上截得的线段长度恒相等，则两图形面积相等。 2. 立体情形：若两个立体夹在两个平行平面之间，且任意一个平行于这两个面的平面在两立体上截得的截面积恒相等，则两立体体积相等。

更一般地，若对应截面（线段/面积）之比恒为常数 $k$，则两图形面积/体积之比也为 $k$。

与前人关系：该原理与中国祖暅（祖冲之之子，5—6 世纪）提出的"幂势既同，则积不容异"完全等价，是独立发现。古希腊也有类似思想但未一般化。卡瓦列里原理在西方成为计算体积的标准工具。

局限性：原理本身正确，但其证明依赖未经严格化的不可分量观念；现代用富比尼定理可使其严格化。

3. 幂函数积分公式（卡瓦列里求积公式）

问题背景：求曲线 $y=x^n$ 下的面积，即计算 $\int x^n\,dx$。

关键思想：用不可分量法，把区间 $[0,a]$ 上 $y=x^n$ 下的面积表示为"所有线段 $x^n$ 之和"，然后求前 $N$ 个正整数的 $n$ 次幂之和 $\sum_{k=1}^{N} k^n$，并研究其与 $N^{n+1}$ 之比当 $N\to\infty$ 时的极限。

精确表述：卡瓦列里计算了 $n=1,2,\dots,9$ 的情形，得到： $$\int_0^a x^n\,dx = \frac{a^{n+1}}{n+1} \quad (n=1,2,\dots,9).$$ 他还猜出对任意正整数 $n$ 该式成立（"我心中已对此有了一般证明"），但只显式算出到 9 次幂。这就是卡瓦列里求积公式，是积分学中幂函数积分的第一个一般结果。

与前人关系：阿基米德求过抛物线弓形（即 $n=2$），但卡瓦列里把它系统化并推广到高次幂，是积分学直接的前驱。费马后来把它推广到有理指数。

局限性：依赖幂和公式，每提高一次幂都要重新计算 $\sum k^n$，极其繁琐（到 9 次已是巨大计算量）；未给出任意 $n$ 的统一处理，也未触及微积分基本定理。

4. 把对数引入意大利与三角学贡献

问题背景：纳皮尔（Napier）1614 年发明对数，但在意大利传播缓慢。

关键思想：卡瓦列里通过《测天总表》（Directorium Generale Uranometricum，作为其博洛尼亚职位续任的考核成果出版）把对数作为计算工具系统引入意大利。

精确表述：该书分三部分——对数、平面三角、球面三角，含三角函数对数表供天文学家使用，并对纳皮尔球面三角规则给出重要证明，还证明了球面三角形面积定理（通常归于阿尔贝·吉拉尔，后来拉格朗日亦声称）。1639 年出版《一百道杂题》（A hundred varied problems to illustrate the use of logarithms），伽利略专门为此称赞他。

与前人关系：纳皮尔发明对数，布里格斯（Briggs）推广常用对数；卡瓦列里是意大利引入对数的关键人物。

5. 光学与反射望远镜的先驱

问题背景：阿基米德"用燃烧镜焚毁罗马舰队"的古老传说，以及望远镜的改进。

关键思想：在《燃烧镜》（Specchio ustorio，1632 年出版，1650 年重印）中，卡瓦列里系统研究了圆锥曲线的反射性质、光/声/热的反射、运动学问题，并提出可把凹面镜与凹透镜组合得到望远镜。

精确表述：他论证了抛物线反射镜能把平行光汇聚于焦点（阿基米德燃烧镜的原理）。他还提出组合凹面镜与凹透镜制造望远镜的构想。

与前人关系：有部分史学观点认为卡瓦列里在格雷戈里（James Gregory，1663）和牛顿（1668）之前就提出了反射望远镜的设想，但其是否真正制成或仅为构想，学界有争议。

局限性：未制造出可用的反射望远镜；其贡献更多在于理论设想。

四、代表著作与文献

• 《用新方法推进的连续不可分量几何学》（Geometria indivisibilibus continuorum nova quadam ratione promota，1635）：不可分量法的奠基之作，1627 年完稿，1635 年出版。
• 《六篇几何练习》（Exercitationes geometricae sex，1647）：为回应古尔丁的批评而作的改进版阐述，成为 17 世纪数学家学习不可分量法的主要来源。
• 《燃烧镜》（Lo specchio ustorio，1632，1650 重印）：反射光学、圆锥曲线性质、望远镜构想。
• 《测天总表》（Directorium Generale Uranometricum，1632 前后）：对数、平面与球面三角，把对数引入意大利。
• 《一百道杂题》（1639）：对数应用示范，获伽利略称赞。
• 另有论圆锥曲线、三角学、天文学的著作，以及两部以占星为名、实为严肃天文的著作（1639、1646）；卡瓦列里明确表示不信占星、也从不从事占星实践。

五、师承、学派与同时代交往

• 师承：师从贝内代托·卡斯泰利（比萨），而卡斯泰利是伽利略的学生与长期通信者；故卡瓦列里属伽利略学派。他自视为伽利略的门徒，与伽利略通信百余封。
• 学派归属：伽利略学派（"新科学"阵营），耶稣会士会神职人员；在数学上是不可分量法的代表。
• 同时代交往：
• 伽利略：学术偶像与庇护人，推荐其获博洛尼亚讲席，1636 年在阿切特里整夏讨论数学。
• 贝内代托·卡斯泰利：恩师。
• 托里拆利：伽利略的另一位学生、同代人，高度评价卡瓦列里的不可分量法并继续发展。
• 维维亚尼：伽利略的学生，通信同行。
• 梅森：巴黎学术圈联络人，有通信。
• 保罗·古尔丁：主要批评者，古典几何学家，抨击不可分量法不严谨并指控剽窃。
• 学生：最著名的学生是斯特凡诺·德利·安杰利（Stefano degli Angeli），在卡瓦列里晚年病痛时为他代笔了许多书信。

六、争议、公案与历史评价

• 与古尔丁的论战：古尔丁（古典几何学家，追随古希腊严格方法）从两方面攻击卡瓦列里：①指控其剽窃开普勒《葡萄酒桶立体几何》（1615）和索弗（Sover）1630 年的著作——关于开普勒有一定关联（开普勒确把圆视为无穷多边形），但卡瓦列里的不可分量与开普勒的微元不同；关于索弗，卡瓦列里答辩称自己的书写于索弗著作出版之前。②哲学上抨击不可分量概念不自洽："线无论怎样多，都不能组成面。"这场辩论促使卡瓦列里在 1647 年《六篇几何练习》中改进了阐述。现代判断：方法本身是正确且富有成果的，严格化是后来的事。
• 反射望远镜的优先权：卡瓦列里是否先于格雷戈里、牛顿提出反射望远镜，学界有争议，多数认为他只是提出了组合构想而非制成实物。
• 出生日期：1598 年为约数，具体日期不详。
• 健康记述的可信性：其传记作者迪维索关于"学数学治抑郁"等说法无旁证，且有错误，不足全信。
• 历史评价：卡瓦列里是从阿基米德穷竭法到近代积分学之间最关键的桥梁。其不可分量法直接启发了托里拆利、费马、沃利斯、帕斯卡，最终汇入牛顿—莱布尼茨的微积分。伊夫斯评价其著作"冗长且不够清晰，不易确切把握他所谓'不可分量'究竟何指"，但其方法论贡献不可磨灭。

七、身后影响与学术谱系

• 对积分学：不可分量法与幂函数求积公式直接被托里拆利、费马、沃利斯、帕斯卡继承和推广，是积分学诞生前最重要的工具。牛顿、莱布尼茨正是在这条路线上完成了微积分的统一。
• 对体积计算：卡瓦列里原理（祖暅原理）至今仍是中学与大学数学中计算体积的基本工具。
• 对意大利数学：把对数引入意大利，推动了意大利的数学与天文计算；其在博洛尼亚的教席培养了安杰利等传人。
• 方法论遗产："把连续体拆为不可分量再求和"的思想，虽在 19 世纪被极限理论严格化，但其精神（分割—求和—取极限）仍是现代积分学的核心直觉。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Bonaventura Cavalieri：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Cavalieri (PDF, MacTutor 托管)：科学史权威传记条目。
• Wikipedia: Bonaventura Cavalieri：交叉核对生平与著作。
• Wikipedia: Cavalieri's principle：等积原理及其与祖暅原理的关系。
• Wikipedia: Method of indivisibles：不可分量法的历史与技术。
• Britannica: Bonaventura Cavalieri：百科条目交叉核对。
• Wikipedia: Zu Gengzhi：祖暅原理的中国独立发现。
• Kirsti Andersen, Cavalieri's Method of Indivisibles (Springer, 2016)：现代研究专著，技术细节最详。