∑ 数学名人档案库
← 返回 布鲁克·泰勒 简介档案 深度档案
微积分分析

布鲁克·泰勒（Brook Taylor）

以一条展开定理闻名于世，却被严重低估的数学家——他创立有限差分演算、发明分部积分、在透视几何中首次系统处理消失点，触及微分方程奇解与弦振动等重大概念却未及展开；其成果的重要性在他生前未获承认，身后由拉格朗日尊为「微分学的基本原理」。

一、生平与时代背景

布鲁克·泰勒于 1685 年 8 月 18 日出生于英格兰米德尔塞克斯郡埃德蒙顿（Edmonton）。父亲约翰·泰勒（John Taylor），母亲奥利维娅·坦佩斯特（Olivia Tempest）。祖父纳撒尼尔·泰勒（Natheniel Taylor）曾任科尔切斯特司法官，并在克伦威尔议会中代表贝德福德郡；外祖父是约翰·坦佩斯特爵士。因此他出身于贵族边缘、家境富裕的家庭。

父亲是严厉的家长，却颇有文化修养，爱好绘画与音乐——这既给儿子带来负面影响（严厉的管教），也正面地赋予他对音乐与绘画的终生热爱。泰勒后来不仅是娴熟的音乐家与画家，还把数学方法应用于这两个领域。

由于家境优渥，他自幼由私人教师在家教育，1703 年 4 月 3 日入剑桥圣约翰学院前，从未进过学校；此时他已在古典学与数学上打下良好基础。在剑桥他全身心投入数学。1709 年获法学学士（LL.B.），但在此之前的 1708 年，他已写出第一篇重要数学论文——只是到 1714 年才发表。他在本科时期就与梅钦（Machin）和凯尔（Keill）通信讨论数学问题。

1712 年 4 月 3 日，他被选入皇家学会——这次选举更多基于梅钦、凯尔等人所知的他的专长，而非已发表的成果（例如他 1712 年致信梅钦给出了关于开普勒行星运动第二定律的一个问题的解答）。同年他被指派加入审查牛顿—莱布尼茨微积分优先权的委员会。

1708 年写就的论文于 1714 年发表在《哲学汇刊》上，主题是物体的振荡中心，由此与约翰·伯努利爆发优先权之争（详见第六节）。这是一篇高度依赖牛顿流数法的力学论文。1714 年他还当选皇家学会书记（1 月 14 日—1718 年 10 月 21 日），后因健康与兴趣原因辞职。这段书记任期正是他数学上最多产的时期：1715 年出版了两部极重要的著作——《正的与反的增量方法》（Methodus incrementorum directa et inversa）与《线性透视》（Linear Perspective），前者含今称「泰勒级数」的公式（当时尚未以此命名）；两书分别在 1717、1719 年出第二版。

他数次赴法国（部分为健康，部分为访友），结识了蒙福尔（Montmort），回国后就无穷级数与概率与之通信；也与棣莫弗通信讨论概率，三人之间时有三方讨论。1712—1724 年，他发表了 13 篇文章，主题多样：毛细作用实验、磁学、温度计；1715 年报告了测定磁引力定律的实验，1717 年给出一种改进的方程根近似法（一种计算对数的新方法）。

约自 1721 年起，他的人生遭遇一连串个人悲剧：1721 年他娶萨里郡沃灵顿的 Brydges 小姐——对方门第尚可但无财产，父亲强烈反对，父子关系破裂，直到 1723 年才恢复；而 1723 年妻子死于难产，孩子也一同夭折。他回到父亲身边，父子和解。两年后（1725 年）他再娶肯特郡 Olantigh 的 Sabetta Sawbridge，这次父亲同意。1729 年 4 月 4 日父亲去世，他继承了 Bifrons 庄园；但更大的悲剧接踵而至：1730 年第二任妻子 Sabetta 也死于难产，所幸女儿伊丽莎白活了下来。

1731 年 12 月 29 日，布鲁克·泰勒在伦敦萨默塞特府（Somerset House）去世，年仅 46 岁。史家琼斯（P. S. Jones）感叹：「健康、家庭变故与悲伤，以及难以估量的因素——包括富裕与家长的支配——限制了他短暂生命中数学产出的部分。」

二、学术生涯年表

年份 事件
1685 8 月 18 日生于英格兰米德尔塞克斯埃德蒙顿，贵族边缘富家
1703 4 月 3 日入剑桥圣约翰学院（此前全为家庭教育）
1708 写出第一篇重要数学论文（振荡中心，1714 年才发表）
1709 剑桥获法学学士（LL.B.）
1712 4 月 3 日当选皇家学会会员；7 月 26 日致信梅钦，首次陈述一种「泰勒定理」版本
1712 加入皇家学会牛顿—莱布尼茨优先权审查委员会
1714 论文在《哲学汇刊》发表（振荡中心），与约翰·伯努利起优先权之争
1714 1 月 14 日当选皇家学会书记
1715 出版《正的与反的增量方法》（含泰勒级数、有限差分、分部积分）
1715 出版《线性透视》（首次系统处理消失点）
1715 报告测定磁引力定律的实验
1717 给出改进的方程根近似法（计算对数的新方法）
1718 10 月 21 日辞去皇家学会书记（健康与兴趣原因）
1719 《线性透视》第二版，更名《线性透视新原理》
1721 娶 Brydges 小姐，父亲反对，父子决裂
1723 妻子与孩子死于难产；回父亲身边，父子和解
1725 再娶 Sabetta Sawbridge，父亲同意
1729 4 月 4 日父亡，继承 Bifrons 庄园
1730 第二任妻子死于难产，女伊丽莎白存活
1731 12 月 29 日卒于伦敦萨默塞特府，年仅 46
1772 拉格朗日宣告泰勒定理是「微分学的基本原理」，其重要性获承认
1786 Lhuilier 首次使用「Taylor series」一词

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

1. 泰勒定理与泰勒级数——分析学的基本工具

问题背景：如何把任意光滑函数在一点附近展开为幂级数，从而用多项式逼近？这是分析与数值计算的核心问题。

关键思想：1715 年《正的与反的增量方法》中，泰勒把一个函数的增量用其各阶差分（导数）表示，得到把函数在一点附近展开为无穷幂级数的一般公式。其思想源自 1712 年与梅钦在 Child's 咖啡馆的一次谈话：梅钦提到可用「牛顿级数」求解开普勒方程、用「哈雷的求根法」提取多项式根——受此启发，泰勒从有限差分的极限过渡推出了展开定理。

精确表述（现代形式）：若 $f$ 在 $a$ 附近充分光滑，则 $$f(x)=\sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}(x-a)^n,$$ 即 $$f(a+h)=f(a)+f'(a)h+\frac{f''(a)}{2!}h^2+\cdots+\frac{f^{(n)}(a)}{n!}h^n+\cdots.$$ 带余项的形式（拉格朗日余项）：$f(a+h)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}h^k+\frac{f^{(n+1)}(a+\theta h)}{(n+1)!}h^{n+1}$（$0<\theta<1$）。

与前人关系：他并非第一个发现者——詹姆斯·格雷戈里（1668 年已知 $\arctan x$ 等展开）、牛顿（1691）、莱布尼茨、约翰·伯努利、棣莫弗都各自独立地发现过变体。泰勒的贡献在于给出一般陈述、并系统地从有限差分推出，且将其作为方法系统应用。他的工作与前人相互独立。

局限性：泰勒没有处理级数的收敛性与余项估计（这是 18 世纪分析的通病，要到柯西才严格化）；且其成果的重要性在生前未获承认——直到 1772 年拉格朗日宣告它是「微分学的基本原理」，「Taylor series」一词则由 Lhuilier 于 1786 年首次使用。

2. 有限差分演算（calculus of finite differences）

问题背景：离散量的差分与求和，是插值、数值积分与级数求和的基础，但此前缺乏统一符号与算法。

关键思想：在《增量方法》中，泰勒系统地引入了有限差分（incrementum）的演算——定义前向差分 $\Delta f(x)=f(x+h)-f(x)$，研究差分的运算规则、与求和（逆差分）的关系，并证明了差分与导数之间的极限联系（这正是他导出泰勒级数的路径）。这为「有限差分演算」这一新分支奠定基础。

精确表述：他给出的核心关系是，差分 $\Delta^n f$ 在 $h\to 0$ 时与 $h^n f^{(n)}(x)$ 等价，从而由「牛顿—格雷戈里插值公式」（有限形式）取极限得到泰勒级数。这把离散插值与连续展开统一起来。

与前人关系：插值公式（牛顿、格雷戈里）已有，但把差分提升为独立演算分支、并系统联结微积分，是泰勒的系统化贡献。

局限性：他的记号和表述对当时读者而言艰涩难读（「简洁而难以跟随」，琼斯语），影响了传播；有限差分法后来由欧拉、拉格朗日、布尔等发展成熟。

3. 分部积分

问题背景：如何把一个积分转化为另一个更易计算的积分？这是积分技术的核心。

关键思想：在《增量方法》中，泰勒给出了分部积分公式，把乘积的微分法则反过来用于积分。

精确表述： $$\int u\,dv = uv - \int v\,du,$$ 对应微分的乘积法则 $d(uv)=u\,dv+v\,du$。他系统地用于级数求和与方程求解。

与前人关系：乘积微分法则源自莱布尼茨；泰勒是把它反向系统化为积分工具并明确陈述者之一（约翰·伯努利也独立用于级数求和）。

局限性：当时积分尚无严格定义，但该公式立即成为分析的标准工具，沿用至今。

4. 线性透视与消失点理论——射影几何的先声

问题背景：如何用数学精确描述三维物体在二维画面上的透视投影？画家凭经验运用透视已久，但缺乏严格的一般理论。

关键思想：1715 年《线性透视》（第二版 1719 年更名《线性透视新原理》）中，泰勒首次给出消失点（vanishing point）与消失线（vanishing line）的一般理论。他是数学家，对艺术家毫不妥协，写得极度抽象，连数学家有时都难以读懂。

精确表述： - 他定义了一条不平行于画面的直线的消失点：过视点作该直线的平行线，与画面的交点即消失点。 - 类似定义了一个不平行于画面的平面的消失线：过视点作该平面的平行平面，与画面的交线即消失线。 - 主定理：一条不平行于画面的直线，其投影必经过它与画面的交点（迹点）及其消失点。 - 他还研究了反问题：如何由画面反求视点位置（即艺术家作画时的观察点）。

与前人关系：「消失点」等术语并非他首创（早有使用），但他是第一个强调其重要性并给出一般数学理论的人；「线性透视（linear perspective）」这一短语由他创造。

局限性：其数学化、非直观的写法使艺术家难以应用，影响传播；但其理论为画法几何与射影几何（蒙日、庞斯列）奠定基础。

5. 未被时人重视的若干萌芽思想

《增量方法》中还包含了若干在当时未获承认、却具前瞻性的思想： - 微分方程的奇解（singular solutions）：他注意到某些解不包含在通解的参数族中，是奇解概念的早期触及。 - 变量代换公式与反函数求导：给出反函数导数与原函数导数的关系 $dx/dy = 1/(dy/dx)$。 - 弦振动问题：受对音乐的热爱驱动，他研究了柔软弦的振荡形状（用等时摆线类比），虽未建立运动方程，但是该问题的早期探索。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源