亲爱的,我们今天不急着背公式。
我们把时间拨回三百多年前,去看两个数学家面对的一个共同问题:
如果一个复杂的函数很难计算,我们能不能用一个简单的多项式来模仿它?
这就是泰勒展开(Taylor expansion)和麦克劳林展开(Maclaurin expansion)背后的核心思想。
它们的故事很有意思,因为它们不只是数学公式,还体现了一种科学思维:
用我们已经理解的简单东西,去逼近尚未完全掌握的复杂东西。
一、故事的开端:数学家为什么需要“模仿”函数?
想象一下,你生活在17世纪。
当时没有计算器,没有电脑。天文学家要预测行星的位置,航海者需要计算天体的位置,物理学家开始研究运动和变化。
他们经常遇到这样的函数:
sinx,ex,log(1+x)
这些函数很有用,但要计算它们在某个位置的数值,并不总是容易。
多项式就不一样了。
例如:
给定一个 x,只需要加减乘除,就能算出结果。
于是,一个极具创造力的问题出现了:
能不能找到一个多项式,让它在我们关心的地方,表现得和原来的函数几乎一样?
但只要求“某一个点的数值一样”还不够。科学家真正想要的是:不仅函数值接近,变化趋势也要接近,甚至连弯曲程度都要接近。
这就把微积分和多项式连接起来了。
二、泰勒登场:一个人的名字,为什么留在了数学史上?
布鲁克·泰勒(Brook Taylor,1685—1731)
英国数学家,曾在剑桥大学学习,后来成为英国皇家学会秘书。他对数学分析、有限差分和透视几何等领域都有贡献。
1712年左右,泰勒开始形成后来以他命名的展开方法,并在1715年出版的《增量直接法与反演法》(Methodus Incrementorum Directa et Inversa)中给出了相关成果。
但这里有一个容易被教科书掩盖的细节:
泰勒并不是第一个想到用无穷级数表示函数的人。
在他之前,印度数学家玛德哈瓦(Madhava)及其学派已经研究过正弦、余弦、反正切等函数的级数;17世纪的詹姆斯·格雷戈里(James Gregory)和牛顿也做过相关工作。泰勒的重要贡献,是把这类思想以更一般的方法明确表达出来。
这件事提醒我们:
科学史通常不是某位天才突然发明一切,而是许多人在不同时间、不同问题下逐渐搭起一座桥。
泰勒究竟发现了什么?
我们先不急着看完整公式。
假设你要模仿一条曲线。你可以从一个点开始,收集它的几种信息:
- 它在这个点有多高?——函数值。
- 它在这个点朝哪个方向变化?——一阶导数。
- 它在这个点弯得有多厉害?——二阶导数。
- 它的弯曲方式还在怎样变化?——三阶导数。
这些信息像一张越来越精细的“局部身份证”。
如果我们能构造一个多项式,让它在同一个点拥有相同的函数值、斜率、弯曲程度……那么这个多项式就有机会在附近模仿原函数。
例如,函数 f(x) 在 x=a 附近,可以写成这样的形式:
这里的关键不是让你马上背下来,而是看懂每一项在做什么。
第一项负责匹配起点;
第二项负责匹配斜率;
第三项负责匹配弯曲;
后面的项继续修正更精细的变化。
泰勒展开的核心直觉:
用一个点附近的变化信息,构造出一个多项式来近似函数。
当然,要让无穷级数真的等于原函数,还需要满足相应条件。不是所有函数都能在所有位置被自己的泰勒级数完整表示。
三、麦克劳林:他并没有重新发明泰勒展开
科林·麦克劳林(Colin Maclaurin,1698—1746)
苏格兰数学家,研究过微积分、几何和引力问题。他在1742年的《流数论》(Treatise of Fluxions)中使用并阐述了后来以他命名的级数。
故事里有个有趣的误会:既然泰勒已经提出了一般方法,为什么还要有麦克劳林展开?
答案很简单:麦克劳林展开,就是把泰勒展开的中心放在零点的一种特殊情况。
泰勒展开可以围绕任意合适的点 a 展开;当 a=0 时,就得到麦克劳林展开。
所以它们并不是两套互不相关的数学工具,而是一般情况和特殊情况的关系。麦克劳林本人也承认了泰勒的相关贡献。
四、用一个例子,看见数学的魔法
假设我们想计算 e的x次方。
指数函数的特点是:它的每一阶导数仍然是 e的x次方。特别是在零点,函数值和所有阶导数都等于 1。
这意味着,麦克劳林展开的每一项系数都能轻松算出来。
你看,一个看起来复杂的指数函数,就这样被一个多项式近似了。
如果取 x=0.1,只用前几项就能得到相当好的近似值。
这件事为什么重要?
因为计算机在进行数值计算时,经常需要用有限的计算步骤逼近数学结果。泰勒展开提供了一种系统的方法:我们可以根据精度需求,决定保留多少项。
它也广泛出现在物理学的近似分析、数值方法和工程计算中。
不过要记住,增加项数并不保证在任意位置都更准确。近似效果取决于函数、展开点和计算位置之间的关系。
五、这段历史真正值得记住的是什么?
我想把故事停在三个地方。
第一,数学概念往往是问题的产物。 数学家并不是为了让课本多出一个公式才研究级数,而是需要更有效的方法去处理函数、运动和计算问题。
第二,数学的力量在于压缩。 一个函数可能很复杂,但它在某个点附近的行为,可以通过一组导数和一个多项式来描述。这是一种把复杂问题变得可计算的方式。
第三,科学发现往往是集体积累的结果。 麦克劳林的名字留在了一个特殊情形上,泰勒的名字留在了一般方法上,而更早的数学家也已经走出了重要的步伐。
这也是科学史吸引我的地方:
我们今天习以为常的知识,曾经是人类面对未知时,一步一步寻找出来的工具。
最后留给你一个小问题,我们可以下一次再讨论:
为什么泰勒展开里,二阶导数要除以 2!,三阶导数要除以 3!?
这个看似只是公式细节的问题,其实能让你真正理解:为什么一组导数可以精准地决定一个多项式的系数。
热门跟贴