何新老江湖
26-06-22 10:22

何新数理杂记:为什么李善兰不可能独立创建微积分?(1)

1845年前后,在微积分尚未传入中国的情况下,李善兰创立了"尖锥术"——把待求积的图形分成无限多个尖锥,再求总和。本质上已经接近积分法的思路。

但是,李善兰的堆垛算法思路是静态求和法,与微积分求导思路有本质区别,因此他没有建立微积分系统。

这个区分很关键!

很多人(包括不少科普文章)把垛积术和微积分的公式形似当成了思路相通,其实是两码事。

垛积术的核心操作:
给定一个离散序列(比如1², 2², 3², ..., n²),找一个求和的封闭公式。本质是离散对象的静态结构性求和——你这个序列长什么样,我找到一种技巧把它折叠、重组,得出Σ的显式表达。

微积分的核心操作:不是求和本身,而是求导与积分的互逆关系。
牛顿的流数是"量随时间连续变化的瞬时速率",莱布尼茨的微分是"无穷小增量之间的比例关系"。
关键步骤是Δy/Δx当Δx→0时的极限——而这个操作在李善兰垛积术里根本不存在。

区别在哪:

1. 离散 vs 连续之别:
垛积术处理的是整数序列,步长永远是1,不存在"趋向无穷小"的问题。微积分处理的是连续变量,步长Δx要趋于0。一个是数格子,一个是抹平格子。

2. 单向求和 vs 双向互逆之别:
垛积术只有一个方向:已知序列,求总和。微积分有两条路,而且它们互为逆运算——这才是核心突破。
垛积术没有"求导"这个操作,更没有"求导和积分是逆运算"的认知。

3. 技巧 vs 体系:
垛积术是一种解题技巧,每个问题需要单独构造巧妙的组合方式。
微积分是一套普适算法——给我一个任意函数,我有通用的求导法则和积分法则,不需要对每个问题重新发明一种解题技巧。

实际上,李善兰的尖锥术确实比垛积术更接近微积分——尖锥术至少有了"把面积分成无穷多个细条再求和"的几何直觉,类似于积分的黎曼和思路。但尖锥术只有积分方向,没有导数方向,更没有发现二者存在互逆关系。

所以说"垛积术接近微积分",就像说"发明算盘的人接近发明计算机"——其实操作对象和处理逻辑完全不在一个层面上。

【李善兰简介】

李善兰(1811-1882),浙江海宁人,晚清最重要的数学家,没有之一。生平如下:

自学成才
10岁偷看架上的《九章算术》,15岁读完《几何原本》前六卷,乡试落第后弃科举专心算学研究。那个时代这选择等于弃绝功名,自绝仕途。

京师同文馆总教习
1868年起被英国人聘任任京师同文馆(翻译公司)天文算学总教习,直到1882年去世。麾下门生百余人,启蒙开创中国近代新法数学教育。

独立发展堆垛算法技巧接近微积分
1845年前后,在微积分方法尚未传入中国的情况下,李善兰创立了"尖锥术"——把待求积的图形分成无限多个尖锥,再求总和。已经接近建立积分法的思路。李善兰还独立得出了二项平方根的幂级数展开式、对数函数展开式等。但止步于此——有了直觉,没有做出普适性数学工具。

不懂英语的翻译家
1852年到上海墨海书馆,与英国人伟烈亚力合作翻译,八年译出《几何原本》后九卷、《代微积拾级》(第一部引入中国的微积分教材)、《代数学》、《重学》、《谈天》、《植物学》等。
李善兰不通外语,靠西人口译、自己解读后笔述,但翻译文字公认极其精当。

近代许多数理名词术语,例如:代数、函数、微分、积分、方程、级数、细胞——这些词都是李善兰首造的,不仅中国沿用至今,还东渡日本被采纳。
"细胞"一词尤其有意思:本来cell应译"小(胚)胞",但他是海宁人,方言里"小"叫"细",译成"细胞"反而比"小胞"更贴切。

发明“李善兰恒等式”
在组合数学论域,李善兰发明了著名的“李善兰恒等式”。
作为高阶等差级数的研究成果,这个恒等式自20世纪30年代以来受到国际数学界关注,是数学中第一个以中国人命名的数学公式。
李善兰堆垛法恒等式(用现代符号写)就是:
$$\sum_{j=0}^{m} \binom{n}{j}^2 \binom{n+2m-j}{2m} = \binom{n+m}{m}^2$$

其中 n, m 为正整数,n ≥ m ≥ 1。

用大白话说:左边是一堆组合数的加权平方和,右边居然能化简成单独一个组合数的平方——这种"散装求和坍缩成单一项"的对称效果,就是它最漂亮的地方。

【附注】
李善兰恒等式出自李著《垛积比类》卷三"三角自乘垛"。是李善兰在研究高阶等差级数求和时归纳出来的。

注意——是归纳,不是证明。(数学人会明白这个差别。)李善兰只是列出了等式,没有给出证明。但是现代数学有多种证法:范德蒙恒等式推导、华罗庚的数学归纳法、多项式系数比较等。

意义:
这本质上是一个组合恒等式,属于组合分析/组合数学范畴。它和超几何函数有联系,也涉及第一类/第二类Stirling数、欧拉数等组合计数函数。20世纪30年代起受到国际组合数学界关注,被称为"Li Jen-Shu Identity"。

但此式跟微积分无关。
核心区别:垛积术是离散求和的技巧,李善兰恒等式是离散组合结构的恒等关系。没有极限,没有连续,没有导数-积分互逆。它很精妙,但精妙的层面是组合结构的对称性,不是分析学的动态过程。

某种程度上,李善兰恒等式恰恰是中国古算学特色的极致体现:在离散结构里能做出非常精巧的结果,但这个方向再怎么深挖,也不会自然长出微积分来。
李善兰的尖锥术也许是中国古算学最接近微积分的时刻——直觉到了,方法到了,但缺的是从"解题技巧"上升到"一般理论体系"的那一跃。

李善兰本人1845年就做出了尖锥术,但直到1852年他翻译了《代微积拾级》才真正认知和掌握到西方微积分学原理体系。

发布于 上海