∑ 数学名人档案库
← 返回 马哈瓦 简介档案 深度档案
数学分析三角学无穷级数

马哈瓦（Mādhava of Sangamagrāma）

喀拉拉数学天文学学派的奠基人，在1400年前后率先把有限算法推向无穷极限，独立发现三角与反三角函数的幂级数、π 的无穷级数及余项估计，被认为是古典数学分析的开创者之一，比欧洲的牛顿、莱布尼茨早了两个多世纪。

一、生平与时代背景

马哈瓦（Mādhava of Saṅgamagrāma，亦拼作 Madhava of Sangamagramma）生于今印度西南部喀拉拉邦科钦（Cochin）附近的 Saṅgamagrāma（多数学者将其比定为今 Irinjalakuda 一带）。他的生卒年份并不完全确定：MacTutor 档案给出 1350—1425，而印度本土研究（如 K. V. Sarma）多作约 1340—1425，二者相差约十年，确切生年存疑。可以确定的是他活跃于 14 世纪后半叶至 15 世纪初的喀拉拉马拉巴尔海岸地区。

马哈瓦所处的时代，北印度因德里苏丹国的扩张而动荡，但喀拉拉因僻处西南海岸、贸易繁荣（与阿拉伯、埃及、中国均有商船往来），保持了相对稳定的学术环境。当地的 南布迪里（Nambudiri）婆罗门 世代以研习吠陀、天文学与数学为业，形成了以师徒父子相承、用梵文诗体写作的知识传统。马哈瓦正是这一传统的集大成者与新学派的开创者，他把此前阿耶波多（Āryabhaṭa）、婆罗摩笈多（Brahmagupta）、婆什迦罗二世（Bhāskara II）的印度数学，尤其是"库塔卡"（粉碎法）与正弦表传统，推进到了无穷级数的新境界。

史料状况的一个基本事实是：马哈瓦本人的数学著作几乎全部失传，仅若干天文计算短论（如《Veṇvāroha》《Sphuṭacandrāpti》）尚有抄本传世。他最重要的数学成果，是通过百余年后的喀拉拉后辈——尤其是 尼拉坎塔（Nīlakaṇṭha，1444—1545） 的《坦特罗详注》（Tantrasaṅgraha 及其匿名注 Tantrasaṅgraha-vākya）与 耶什德瓦（Jyeṣṭhadeva，约1500—1610） 约 1550 年所著、用喀拉拉地方语言马拉雅拉姆语（Malayalam）写成的《理释》（Yukti-bhāṣā）——才为今人所知。因此，关于马哈瓦的任何具体归属，都需注明"见载于后世文献"。

二、学术生涯年表

年份 事件
约 1340（MacTutor 作 1350） 生于喀拉拉科钦附近的 Saṅgamagrāma。
14 世纪后期 活跃于喀拉拉，开创喀拉拉数学天文学学派。
约 1400 发现 sin、cos、arctan 的幂级数展开（由门人转述）。
约 1400 给出 π 的无穷级数（π/4 = 1 − 1/3 + 1/5 − …）及余项校正项。
约 1400 计算 π ≈ 3.14159265359，精确到 11 位小数。
14 世纪末—15 世纪初 编制 24 等分象限的半正弦（jyā）表，精度极高。
15 世纪初 著《Veṇvāroha》《Sphuṭacandrāpti》等天文计算著作（少数传世文本）。
1425 卒于印度（确切地点与日期无载）。
1501 尼拉坎塔《坦特罗详注》引述并扩展马哈瓦的级数成果。
约 1550 耶什德瓦《Yukti-bhāṣā》用马拉雅拉姆语给出这些结果的推导。
1670s 格里高利、莱布尼茨在欧洲重新发现 arctan 级数（即"马德哈瓦—格里高利—莱布尼茨级数"）。

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

1. 反正切（arctan）幂级数——"马德哈瓦—格里高利—莱布尼茨级数"。 问题背景：印度天文学需要把已知的正弦值反求为对应的弧（角度），传统方法依赖插值与查算表，精度受限。关键思想：马哈瓦给出一个把弧长表示为正弦、余弦幂次的无穷级数。精确表述：在《Yukti-bhāṣā》中由耶什德瓦转述的原文（经 R. C. Gupta 等翻译），令印度意义下的正弦为 $r\sin\theta$、余弦为 $r\cos\theta$（$r$ 为半径），则

$$r\theta = r\frac{r\sin\theta}{r\cos\theta} - r\frac{(r\sin\theta)^3}{3r(r\cos\theta)^3} + r\frac{(r\sin\theta)^5}{5r(r\cos\theta)^5} - \cdots$$

约去 $r$ 并令 $\tan\theta = \sin\theta/\cos\theta$，即得

$$\theta = \tan\theta - \tfrac{1}{3}\tan^3\theta + \tfrac{1}{5}\tan^5\theta - \tfrac{1}{7}\tan^7\theta + \cdots$$

等价于现代的 $\tan^{-1}x = x - x^3/3 + x^5/5 - \cdots$（格里高利 1671 年、莱布尼茨 1673 年才在欧洲独立发现）。马哈瓦还特别指出：应取该弧或其余角中较小者的正弦作为"所给正弦"，否则级数项不会趋于零——这其实是对收敛条件 $|\tan\theta|\le 1$ 的早期直觉把握。与前人关系：把印度以弦、弧互求的有限计算（阿耶波多正弦差分、婆罗摩笈多插值）推广为无穷极限过程。局限性：没有给出严格的收敛性证明，收敛条件以经验方式表述。

2. π 的级数与高精度数值。 把 $\theta = \pi/4$ 代入上式（即 $x=1$），得

$$\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots$$

世称"莱布尼茨级数"，实则应优先称 马哈瓦—莱布尼茨级数（或马德哈瓦—格里高利—莱布尼茨级数）。该级数收敛极慢，马哈瓦又令 $\theta = \pi/6$，得到收敛更快的形式

$$\pi = \sqrt{12}\left(1 - \frac{1}{3\cdot 3} + \frac{1}{5\cdot 3^2} - \frac{1}{7\cdot 3^3} + \cdots\right)$$

用此式取 21 项，他给出 $\pi = 3.14159265359$，精确到 11 位小数（Gupta 译出的梵文文本证实此值）。这是当时世界上最精确的 π 值之一，远超中国祖冲之的 3.1415926（7 位）。与前人关系：此前印度用 $\pi\approx 62832/20000 = 3.1416$（阿耶波多），马哈瓦首次用无穷级数把精度推向 11 位。

3. 余项校正（end correction / correction term）。 这是马哈瓦最具分析精神的成果：他意识到 $\pi/4 = 1 - 1/3 + 1/5 - \cdots$ 收敛太慢，于是给部分和加上一个校正项 $R_n$：

$$\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \cdots \pm \frac{1}{2n-1} \pm R_n$$

并给出三种越来越精确的 $R_n$：

$$R_n = \frac{1}{4n}, \qquad R_n = \frac{n}{4n^2+1}, \qquad R_n = \frac{n^2+1}{4n^3+5n}.$$

关键思想：Hayashi、Kusuba 与 Yano（1990）研究表明，这三个校正项恰是某个连分数的前三个收敛分数（convergents），而该连分数可由印度传统的 π 近似值 $62832/20000$ 导出。与前人关系：在没有现代极限与渐近分析工具的条件下，凭直觉与数值试探构造出渐近校正，是分析早熟的惊人证据。局限性：校正项的构造方法在原典中未留推导，现代学者只能事后重建（重建过程存疑）。

4. 正弦与余弦的幂级数。 马哈瓦还给出（同样由后世转述）等价于麦克劳林展开的结果：

$$\sin\theta = \theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \cdots, \qquad \cos\theta = 1 - \frac{\theta^2}{2!} + \frac{\theta^4}{4!} - \cdots$$

牛顿约 1676 年才在欧洲重新得到。这些级数使他能编制高度精确的 24 等分象限的半正弦（ardha-jyā）表——把一个象限（90°）等分为 24 份，每份 3°45′，列出 24 条半弦的近似值，供天文计算插值使用。一般认为，正是利用上述级数逐项计算，他才得到如此高精度的表值。

5. 从有限求和到极限——"逐项积分"的思想。 现代史家（如 Rajagopal 与 Rangachari）指出，马哈瓦（及其学派）推导这些级数的方法，本质上是把圆周长分割为越来越多的小段、对每段用勾股定理逼近、再取极限——即现代所谓的"逐项积分"。耶什德瓦在《Yukti-bhāṣā》中用几何化的语言描述了这一过程。Rajagopal 评价："[马哈瓦] 迈出了决定性的一步，从古代数学的有限程序走向对其取极限到无穷，而这正是现代古典分析的内核。"G. G. Joseph 更进一步称："我们可以把马哈瓦视为数学分析的奠基者。"局限性/存疑：他并未发展出一般的导数、积分概念，也没有现代意义的收敛证明；"逐项积分"是现代史家的解读性重构，不宜等同于严格微积分。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源