科林·麦克劳林（Colin Maclaurin）

苏格兰启蒙时代最杰出的数学家与数学教育家——牛顿亲自举荐的爱丁堡教授，以两卷本《流数论》回应贝克莱对微积分的攻击，用古希腊的穷竭法为牛顿流数术披上几何严格性的外衣，并以其名字命名的级数与求和公式垂范后世。

一、生平与时代背景

科林·麦克劳林 1698 年 2 月生于苏格兰阿盖尔郡考尔地区的基尔莫丹（Kilmodan，位于鲁埃尔河畔，今属格拉斯哥西南）。父亲约翰·麦克劳林是当地教区牧师，颇有学识，曾把《诗篇》译成盖尔语。科林是家中幼子，上面有两个哥哥——长兄约翰后来也做了牧师（与美国形而上学家乔纳森·爱德华兹通信），次兄丹尼尔早夭而已显露非凡天资。约翰在科林出生仅六周后便去世，母亲继承了阿盖尔的一处小庄园，在庄园里度过了科林的幼年。为让两个儿子接受良好教育，母亲举家迁往敦巴顿（Dumbarton），兄弟俩在那里上学。

1707 年，科林九岁时母亲也去世了，抚养两个孩子的责任落到了叔叔丹尼尔·麦克劳林（洛赫菲恩湖畔基尔芬南的牧师）肩上。1709 年，十一岁的科林进入格拉斯哥大学——当时苏格兰的中学与大学竞争优质生源，十一岁入大学并不像今天这般惊人。入学一年后，他在朋友房间里偶然发现一本欧几里得《几何原本》，便自学通读了前六卷。在格拉斯哥他受教于数学教授罗伯特·西姆森（Robert Simson），后者对古希腊几何的热情深深影响了他，二人在圆锥曲线上保持了长达二十五年的通信。

14 岁时，麦克劳林以一篇题为《论重力之能力》（On the power of gravity）的论文通过公开答辩，获颁文学硕士学位——这在古老的苏格兰大学里本是第一学位（相当于文学学士），但当时需公开答辩。一篇发展牛顿理论的论文出自一个 14 岁少年之手，在那个时代只有极少数顶尖数学家才能领会。毕业后他又留校一年修习神学，本欲进入长老会，但因对教会内部的纷争感到厌恶而放弃。

1714 年离开格拉斯哥后，他回到叔叔在基尔芬南的牧师宅邸，度过了几年潜心研读、山间漫步的快乐时光——他笔记中未完成的片段透露了敏感的诗人气质，常对自然之美与造物主之完善发出诗意的赞叹。他的数学造诣显然极高：1717 年 8 月，年仅 19 岁的他经十天考试后被任命为阿伯丁大学马修学院（Marischal College）的数学教授，尽管另有一位出色的候选人，他在高深课题上的知识仍胜出一筹。

1719 年他第一次赴伦敦，结识了牛顿并"时常与之相处"（他自己信中语），此行中还当选为皇家学会会员。（牛顿的某些传记作者如 A. Rupert Hall 竟声称二人从未谋面，与麦克劳林本人的书信相矛盾。）此后一段插曲颇具戏剧性：国王乔治二世的外交代理人波尔沃思勋爵邀他陪其子乔治·休姆（George Hume, 1704—1724）做欧洲"大旅行"，他未获阿伯丁校方许可便动身，还找了人代课，在欧洲游历近两年。在法国期间他因关于物体碰撞的工作获法兰西科学院大奖。但旅行以悲剧告终——在蒙彼利埃，休姆患病去世。他回到阿伯丁，校方对他两年不尽职责极为不满，虽恢复其教席，他仍另谋出路。

爱丁堡大学的数学教授詹姆斯·格雷戈里（并非那位著名的詹姆斯·格雷戈里，而是大卫·格雷戈里之弟、名气较小的一位，1666—1742）病重无法履职，校方欲找人联合任职。1725 年 8 月 21 日，牛顿致信麦克劳林力荐，又于同年 11 月写信给爱丁堡市长约翰·坎贝尔表示支持，并主动提出在格雷戈里去世前每年出资 20 英镑补贴其薪水（没有证据表明校方接受了这笔钱）。麦克劳林于 1725 年 11 月 3 日开始在爱丁堡任职，余生皆在此度过。他课上得极好，班级超过 100 人，被当时的教会领袖亚历山大·卡莱尔誉为"最受欢迎的教授……使数学成为时髦学问"，但他直到 1742 年才拿到全薪。

1733 年 7 月 8 日，他与苏格兰副总检察长之女安妮·斯图尔特结婚，育有七子（其中两男三女长大成人）。婚后不久，他推动把爱丁堡医学会扩为涵盖更广学科的学会，自己任两名秘书之一，常在月会上宣读论文或外国科学家的来信——这个学会在他身后演变为爱丁堡皇家学会。

1745 年雅各比叛乱爆发，麦克劳林积极参与爱丁堡的防务，为抵御高地军队日夜操劳，并记下了守城日记。当雅各比军队逼近时他南逃，途中落马，疲劳、焦虑与受寒埋下了水肿病（dropsy）的病根。雅各比军队南下后他返回爱丁堡，但已一病不起，仍在口授《牛顿哲学发现述解》（Account of Sir Isaac Newton's Philosophical Discoveries）的最后一章。1746 年 6 月 14 日卒于爱丁堡，享年 48 岁，葬于灰衣修士教堂（Greyfriars Church）西南角。

二、学术生涯年表

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

1. 麦克劳林级数——泰勒级数在原点的特例（《流数论》，1742）

问题背景：如何用幂级数表示函数并用于计算与研究？布鲁克·泰勒（Brook Taylor）已于 1715 年给出一般的泰勒展开，但在任意点展开的形式未被系统使用。

关键思想：在《流数论》中，麦克劳林大量使用了函数在原点（$x=0$）处的幂级数展开这一特例，以研究函数性质与做数值计算。

精确表述：对足够光滑的函数 $f(x)$，其在原点的展开为 $$f(x)=f(0)+f'(0)x+\frac{f''(0)}{2!}x^2+\cdots+\frac{f^{(n)}(0)}{n!}x^n+\cdots$$ 即今天所称的麦克劳林级数，是泰勒级数 $f(a+h)=\sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}h^n$ 在 $a=0$ 时的特例。

与前人关系：麦克劳林本人明确承认此为泰勒一般结果的特例，并非独立发现；因他在《流数论》中系统、广泛地使用这一形式，后世遂以他命名。

局限性：当时缺乏收敛性的严格判别（直到柯西），级数的适用范围主要靠几何与物理直觉判断。

2. 《流数论》——为牛顿微积分提供几何严格化辩护（1742）

问题背景：1734 年，爱尔兰哲学家、主教乔治·贝克莱（George Berkeley）发表小册子《分析学家》（The Analyst），攻击牛顿流数术逻辑基础薄弱——流数（导数）被说成"消失量的鬼魂"，推理中先设增量非零再令其为零，自相矛盾。贝克莱借此暗示数学家在嘲笑宗教信仰时，自己的科学同样建立在神秘之上。

关键思想：麦克劳林用 763 页的篇幅，诉诸古希腊几何与阿基米德的穷竭法（method of exhaustion），试图把牛顿的流数术化归为严格的几何证明——以有限量的比值与极限论证代替含混的"无穷小"。

精确表述：他把流数定义为速度，用几何方式证明导数的运算法则，并给出微积分基本定理的处理、函数极值的判别（二阶导数判别法），以及无穷级数的积分判别法等。Grabiner 指出此书在五个领域影响深远：基本定理、极值问题、椭球引力、椭圆积分、欧拉—麦克劳林求和公式。

与前人关系：直接回应贝克莱的攻击，其辩护的对象是牛顿（而非莱布尼茨）体系；在严格化路径上走的是几何化路线，与后来柯西、魏尔斯特拉斯的算术化严格化不同。

局限性：该书常被评价为"广受赞誉而影响有限"——语言冗长、几何方法繁琐，欧洲大陆学者更偏爱莱布尼茨的解析符号；其严格化最终被 19 世纪的极限理论取代。

3. 欧拉—麦克劳林求和公式

问题背景：如何把离散求和与连续积分联系起来，从而对和式 $\sum_{k=1}^{n}f(k)$ 做高精度近似？这在计算与级数求和中极为重要。

关键思想：麦克劳林与欧拉各自独立发现了把求和转化为积分加一列修正项的公式。欧拉 1735 年发表，麦克劳林 1742 年在《流数论》中给出。

精确表述： $$\sum_{k=a}^{b}f(k)=\int_a^b f(x)\,dx+\frac{f(a)+f(b)}{2}+\sum_{j=1}^{m}\frac{B_{2j}}{(2j)!}\bigl(f^{(2j-1)}(b)-f^{(2j-1)}(a)\bigr)+R$$ 其中 $B_{2j}$ 为伯努利数。它用伯努利数把离散和与积分之差展开成渐近级数，是数值分析与渐近分析的基石。

与前人关系：欧拉与麦克劳林独立发现，故以二人联名。它与雅格布·伯努利引入的伯努利数自然衔接。

局限性：展开一般为渐近（发散）级数，需在适当项处截断；完整的余项与适用范围分析要到后世。

4. 积分判别法（级数收敛判别）

问题背景：正项级数 $\sum a_n$ 何时收敛？需要能用对应函数积分判断的准则。

关键思想：麦克劳林在《流数论》中给出了以他命名（也常与柯西联名，称麦克劳林—柯西判别法）的积分判别法。

精确表述：设 $f(x)$ 是 $[1,+\infty)$ 上非负递减函数，则正项级数 $\sum_{n=1}^{\infty}f(n)$ 收敛当且仅当反常积分 $\int_1^{\infty}f(x)\,dx$ 收敛。由此可判别 $p$ 级数 $\sum 1/n^p$ 当 $p>1$ 收敛、$p\le 1$ 发散。

与前人关系：麦克劳林首先给出；19 世纪柯西重新表述并严格化，故也称柯西积分判别法。

局限性：要求函数单调递减，对一般级数不直接适用。

5. 潮汐与椭球引力——麦克劳林椭球（1740 获奖论文，《流数论》）

问题背景：牛顿用万有引力解释潮汐，但数学细节尚不完备；均匀旋转流体在自引力下的平衡形状是什么？

关键思想：在 1740 年获法兰西科学院奖的潮汐论文中，他用牛顿引力证明：被足够深海洋覆盖的光滑球体，在单一引潮天体作用下呈长椭球（prolate spheroid），长轴指向引潮天体。在《流数论》中他进一步研究两个旋转椭球之间的相互引力。

精确表述：麦克劳林证明了均匀旋转流体的平衡形状可以是旋转椭球（即麦克劳林椭球），并给出椭球对其外部/内部质点引力的精确结果。这些结果后被克莱罗用于地球形状研究（见本批次克莱罗档案）。

与前人关系：建立在牛顿《自然哲学的数学原理》之上；该奖项与欧拉、丹尼尔·伯努利并列，标志他跻身当时顶尖数学家之列。其椭球引力工作后由拉格朗日、拉普拉斯发展。

局限性：限于轴对称旋转情形；更一般的平衡形状（雅可比椭球等）要到 19 世纪。

6. 高次平面曲线的有机描述（《有机几何学》，1720）

问题背景：如何用机械运动（连杆机构）统一生成各类代数曲线，并研究其性质？

关键思想：在阿伯丁期间出版的第一部著作《有机几何学》（Geometria Organica; Sive Descriptio Linearum Curvarum Universalis，1720）中，麦克劳林给出了用两个以定点为枢轴的旋转角相交生成曲线的方法，系统研究了高次平面曲线。

精确表述：他证明了若干关于曲线交点与极点的定理，包括后来引发争议的结论：若一多边形的各边经过定点，除一个顶点外其余顶点都在定直线上，则剩下的顶点描出一条圆锥曲线或直线（这与布瑞金里奇的优先权之争相关）。

与前人关系：受牛顿《原理》中有机生成曲线思想与西姆森的古典几何训练影响。

局限性：用纯几何方法处理高次曲线，计算繁复；其影响后被解析几何方法取代。

7. 精算学的奠基——苏格兰牧师遗孀基金

问题背景：如何为苏格兰牧师遗孀与孤儿的年金基金做可持续的精算计算？

关键思想：1743 年 5 月 23 日，他致信苏格兰长老会大会主席罗伯特·华莱士，对牧师遗孀年金方案重新做了仔细计算，"以防任何错误"，为该基金奠定了健全的精算基础。

精确表述：他基于死亡率与利率计算年金现值与基金累积，使该基金长期可持续运转——这是精算科学最早的制度化应用之一，该基金至今仍在帮助苏格兰牧师与教授的遗孀子女。

与前人关系：与哈雷（Halley）的布雷斯劳生命表及棣莫弗的年金理论一脉相承。

局限性：使用当时较粗的死亡率假设，但方法论影响深远。

四、代表著作与文献

• 《有机几何学》（Geometria Organica，1720）：第一部重要著作，论高次平面曲线的有机生成。
• 《论潮汐的物理原因》（De Causa Physica Fluxus et Reflexus Maris，1740）：与欧拉、丹尼尔·伯努利共获科学院奖的潮汐论文。
• 《流数论》（Treatise of Fluxions，2 卷，1742，763 页）：为牛顿流数术辩护的集大成之作，含麦克劳林级数、积分判别法、欧拉—麦克劳林公式、椭球引力等。
• 《代数论》（Treatise of Algebra，身后 1748 出版）：代数方程与解的存在性判别。
• 《牛顿哲学发现述解》（Account of Sir Isaac Newton's Philosophical Discoveries，身后 1748 出版）：临终前口授完成，向大众介绍牛顿体系。
• 散篇：1737 年日环食观测、蜂巢结构、精算通信等。

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

• 师承：格拉斯哥大学数学教授罗伯特·西姆森（古希腊几何方向），是其唯一正式数学老师；牛顿虽非正式导师，但对其学术路径与职业晋升影响至深（亲自举荐爱丁堡职位）。
• 学派归属：英国牛顿学派的中坚，苏格兰启蒙运动的代表数学家。
• 同时代交往：
• 艾萨克·牛顿：1719 年在伦敦结识，牛顿两次写信力荐其爱丁堡职位并愿出资补贴；麦克劳林是牛顿最忠实的解释者与辩护者。
• 罗伯特·西姆森：格拉斯哥时期的老师，终生保持圆锥曲线通信。
• 莱昂哈德·欧拉：1740 年科学院潮汐奖并列获奖者；欧拉—麦克劳林公式二人独立发现。
• 丹尼尔·伯努利：潮汐奖另一位并列获奖者。
• 威廉·布瑞金里奇（William Braikenridge）：因"多边形顶点描圆锥曲线"定理的优先权发生争议。
• 乔治·坎贝尔（George Campbell）：因复根问题发生优先权之争，麦克劳林称之为"不愉快的争论"。
• 加百列·克莱姆（Gabriel Cramer）：通信好友。
• 学生：培养了众多苏格兰学生；其教学被卡莱尔誉为使"数学成为时髦学问"。

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

• 与布瑞金里奇的优先权之争：关于"多边形各边过定点、除一顶点外其余在定直线上，则余顶点描圆锥曲线或直线"这一结果的归属，双方各执一词。
• 与乔治·坎贝尔的复根之争：又一场优先权争议，麦克劳林本人称之为"a disagreeable dispute"。
• 牛顿是否与麦克劳林见过面：牛顿传记作者 A. Rupert Hall（1992）称二人从未谋面，但麦克劳林本人信中明言与牛顿"时常相处"，Hall 的说法被学界视为有误。
• 牛顿的 20 英镑补贴是否兑现：牛顿主动提出每年出资 20 英镑补贴麦克劳林薪水，直至格雷戈里去世，但没有证据显示爱丁堡校方接受了这笔钱。
• 历史评价：麦克劳林是牛顿学派最出色的系统阐释者与严格化者。《流数论》是英语世界 18 世纪最重要的微积分著作之一，但其几何化严格化路径最终让位于大陆的解析与极限方法。有史家（Grabiner）论证其对大陆学者的影响被长期低估。他亦是一位卓越的教师，其课程在爱丁堡极受欢迎。其 48 岁的早逝（因 1745 年守城操劳）使许多工作未竟。

七、身后影响与学术谱系

• 对微积分严格化：《流数论》是分析学严格化长链中的重要一环，虽其几何方法被取代，但积分判别法、极值判别等成果直接进入后世教材。
• 对级数与渐近分析：麦克劳林级数与欧拉—麦克劳林求和公式成为数值分析、渐近分析的标准工具，直至今日。
• 对天体力学与地球形状：其椭球引力与潮汐理论经克莱罗、拉格朗日、拉普拉斯发展；"麦克劳林椭球"成为旋转流体平衡形状研究的起点。
• 对精算学：苏格兰牧师遗孀基金的精算工作开创了制度化精算应用。
• 对苏格兰科学：推动的学会演变为爱丁堡皇家学会，其教学传统影响了苏格兰几代数学家与工程师。
• 命名纪念：麦克劳林级数、麦克劳林不等式（凸函数）、麦克劳林椭球皆以他命名。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Colin Maclaurin：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Oxford Dictionary of National Biography — Maclaurin：权威传记条目，含叛乱与逝世细节。
• Wikipedia: Colin Maclaurin：交叉核对生平与著作。
• Wikipedia: Maclaurin's inequality 与 Euler–Maclaurin formula：技术细节核对。
• MacTutor: Treatise of fluxions 序言：《流数论》原序。
• MacTutor: 马修学院任职考试记录：1717 年任命的一手材料。
• Judith V. Grabiner, "Was Newton's Calculus a Dead End? The Continental Influence of Maclaurin's Treatise of Fluxions" (American Mathematical Monthly, 1997)：论证其大陆影响被低估的经典论文。
• H. W. Turnbull, Colin Maclaurin (Aberdeen, 1947)：标准现代传记。
• A. Rupert Hall, Isaac Newton: Adventurer in Thought (1992)：注意其关于二人未见面的说法已被证误。