1. 先弄明白泰勒公式究竟在做什么
很多同学一看到“泰勒公式展开”这几个字,首先想到的就是一串又一串的长公式,背了忘、忘了背,最后做题还是出错。但你有没有停下来认真想过这样一个问题:为什么我们要把一个像e^x或者sin x这样的函数,硬生生写成一个无穷多项的多项式?
我在刚开始教这门课的时候,就喜欢先用一个特别朴素的类比来解释这件事。你去朋友家吃饭,想夸一道菜好吃,你可能会说“这个鱼很鲜,肉质特别嫩,味道很干净”。这句话的本质,是用几个简单直接的词,去描述一道非常复杂的菜。泰勒公式干的事一模一样:它把“函数”这一道复杂的菜,用一堆“幂函数”这样的简单词汇描述出来。你说一句“肉质嫩”,厨师就知道大概是什么样的口感;你把e^x展开成1 + x + x²/2 + x³/6 + ...,数学家就知道在x=0附近,这个函数的行为模式和这个多项式是几乎完全一致的。
那为什么要用多项式而不是其他函数来作为“描述语言”呢?因为多项式是所有函数里面脾气最好、最容易计算、最容易求导、最容易积分的类型。你说我想知道sin(0.1)精确到小数点后十位是多少,用计算器按当然很快,但你有没有想过计算器里面的结果是怎么来的?它不可能真的画一个单位圆去量,计算器内部的逻辑之一,就是泰勒展开。把sin x展开成多项式,然后代入x=0.1算出每一项的值,再相加,就能得到一个足够精确的数字。所以泰勒公式不是教材上死板的理论,它就是现代科学计算的地基。
再说说泰勒公式的核心思想是怎么一步步建立的。第一个关键点是“在哪里展开”。我们把某一点称为展开点,比如常见的x=0点,那这个时候的展开有个专门的名字叫“麦克劳林展开”。为什么要选x=0?因为0这个数在做多项式计算的时候最方便,任何x的幂次项在代入0的时候,除了常数项以外全都消失了。第二个关键点是“逼近到什么程度”。一个函数在某个点附近的行为,肯定要由它在这一点的函数值、它的走向(一阶导数)、它的弯曲程度(二阶导数)、它的弯曲变化率(三阶导数)等等共同决定。所以泰勒公式展开的时候,就按顺序把一个函数的0阶信息(函数值)、1阶信息(一阶导数)、2阶信息(二阶导数)逐项全部“榨取”出来,写成一个多项式的系数。
我给学生上课的时候有一个非常常见的比喻:泰勒公式展开的过程,就相当于你在跟一个人做自我介绍。你说“我是谁”(函数值),然后说“我性格开朗”(一阶导数,能看出大致走向),再说“我遇事容易激动”(二阶导数,能看出拐弯的快慢)。每一层高阶导数,都在补充更多关于这个函数性格的细节信息。如果你把无穷阶的信息都补齐,那你就完完全全了解了这个人;如果把泰勒展开写成无穷级数,那这个级数在大多数收敛范围内就和原来的函数划上等号了。
所以你要记住,泰勒展开的每一项系数都是带着“从属感”的,它不属于自己本身,而是归属于对应的(x-a)^n这个结构的组合。展开点a的选择,决定了整个多项式长的模样,也决定了它适合在哪里用。
2. 常见函数展开式:不止背公式,我会带你一条一条推导
你要说泰勒公式哪块内容最需要啃下来,那必然是那几个常见函数的展开式。它们分别是:
- 指数函数:
e^x - 三角正弦:
sin x - 三角余弦:
cos x - 对数函数:
ln(1+x) - 幂函数族:
(1+x)^α - 反三角:
arctan x、arcsin x - 正切函数:
tan x
这些公式在每一本高等数学教材的附录里都能找到,但你要是只把它们背下来,不到一个礼拜就会混。所以我这里想把它们逐一展开,并告诉你这些系数是怎么跑出来的,这样你就算哪天忘了公式,也能临时推出来。
2.1 指数函数e^x的展开
我们先从最简单的指数函数开始。设f(x) = e^x,它的一个伟大特性是求多少次导数都还是它自己:f'(x)=e^x、f''(x)=e^x,一直到第n阶导数都是e^x。
我们要在x=0处展开,那就把0代入所有导数。结果非常有意思:f(0)=1,f'(0)=1,f''(0)=1,所有阶导数在0处的取值全部都是1。于是泰勒公式的每一项系数就是1/n!,整串展开式就是:
e^x = 1 + x + x²/2! + x³/3! + x⁴/4! + ...
注意这里的阶乘是从n=0开始的,我们约定0! = 1,所以第一项写成x⁰/0!也是成立的,也就是常数项1。这个式子漂亮在哪儿呢?它把指数运算变成加法运算。你想象一下,如果要手算e^0.5的值,直接算肯定算不了,但利用这个展开式,取前6项,算出来就能非常接近真实值1.6487...,而且每多取一项,精度就会往前进一位。这就是我特别推崇先记住这个展开的原因:它的结构最简单,每一项都是x的幂次除以阶乘,没有正负号交替,没有复杂的组合数。
2.2 正弦函数sin x的展开
正弦函数比指数函数稍微绕一点,但也不难。f(x) = sin x,对它求导:一阶导是cos x,二阶导是-sin x,三阶导是-cos x,四阶导又回到sin x。这四步是一个循环,所以在0处的取值也呈现周期性:
f(0) = 0f'(0) = cos(0) = 1f''(0) = -sin(0) = 0f'''(0) = -cos(0) = -1f''''(0) = sin(0) = 0
于是,所有偶数阶的项全部消失,剩下奇数阶的项,而且符号是正负交替的:一阶为正、三阶为负、五阶为正、七阶为负。最终得到:
sin x = x - x³/3! + x⁵/5! - x⁷/7! + ... = Σ_{n=0}^∞ (-1)^n x^(2n+1) / (2n+1)!
你看,这个式子天然只含奇数次幂,这是由sin x这个函数本身的奇函数性决定的。展开之后只保留奇次项,也正好验证了“奇函数展开式中不应有偶次项”这个规律。我们平时做选择题或者填空题,看到某个展开式中混入了x²项,就可以立刻判断它是错的,这就是利用函数奇偶性做快速验证的典型套路。
2.3 余弦函数cos x的展开
有了sin x的经验,cos x可以直接求导,也可以在sin x的展开式两边逐项求导来得到。我更推荐后一种方式,因为省事。对sin x = x - x³/3! + x⁵/5! - ...两边同时关于x求导,左边变成cos x,右边变成:
1 - 3x²/3! + 5x⁴/5! - 7x⁶/7! + ...
注意到3/3! = 1/2!、5/5! = 1/4!,所以右边化为:
cos x = 1 - x²/2! + x⁴/4! - x⁶/6! + ...
这个展开式只含偶次幂,也符合偶函数展开式的预期。记这个公式的时候有个技巧:把sin x和cos x当一对姐妹来记,姐姐是sin,从x开始,符号正负交替;妹妹是cos,从1开始,符号同样是正负交替。写出来每项的分母都是阶乘,指数也是跟分母同一个数字,非常整齐。
2.4 对数函数ln(1+x)的展开
这是初学者最容易在收敛域上栽跟头的公式,我们要多说两句。设f(x) = ln(1+x),直接求它在0处的各阶导数。
f'(x) = 1/(1+x) = (1+x)^(-1),所以f'(0) = 1;f''(x) = -(1+x)^(-2),所以f''(0) = -1;f'''(x) = 2(1+x)^(-3),所以f'''(0) = 2;f''''(x) = -6(1+x)^(-4),所以f''''(0) = -6。
你观察一下规律,n阶导数在0处的值是(-1)^(n-1) * (n-1)!。代进泰勒公式的系数f^(n)(0)/n!,阶乘约分之后就留下(-1)^(n-1)/n。展开式就是:
ln(1+x) = x - x²/2 + x³/3 - x⁴/4 + ...
请注意,这里分母是正整数n,不是阶乘,而且是从一次方开始,没有常数项,因为ln(1)=0。这个公式很重要,但你使用时必须反复确认它的前提:|x| < 1。别忘了,x=-1时ln(0)根本没有定义;x=1时右侧的级数是一个交错调和级数,它是收敛到ln 2的,所以端点x=1是允许的,但x=-1绝对不允许。很多考试题就喜欢在这个点上设陷阱。
2.5 幂函数族(1+x)^α的展开
这个展开可以说是二项式定理的“广义升级版”。如果你熟悉初等数学里的(1+x)^n的二项式展开,那这里就是把指数从正整数推广到了任意实数α。
展开式长这样:
(1+x)^α = 1 + αx + α(α-1)x²/2! + α(α-1)(α-2)x³/3! + ...
其中每一项的系数是一个广义组合数:C(α, k) = α(α-1)(α-2)...(α-k+1)/k!。
我来说说为什么这个公式特别值得重视。因为很多表面上完全不像幂函数的函数,经过变形之后都可以归入这个公式的管辖范围。比如:
1/(1+x) = (1+x)^(-1) = 1 - x + x² - x³ + ...,这个展开就是把α=-1代入,然后系数规律地正负交替,跟等比数列求和公式一致。√(1+x) = (1+x)^(1/2),这时候α=1/2,展开式就有分数系数,比如x²项系数是(1/2)(-1/2)/2 = -1/8。
在使用这个公式的时候,最容易忽略的是|x| < 1这个收敛条件。因为只有当底数(1+x)落在合理的范围里,这个级数才保证收敛。如果题目给出了大范围,比如让你展开√(4+x),那你就不能直接套公式,要先提一个因子出来变成2√(1+x/4),再套用公式,这时候新的自变量x/4就满足了绝对值小于1的要求。这是一个很经典的处理手法,后面实操部分我再具体展开。
2.6 反三角函数arctan x与arcsin x的展开
反三角函数的展开在数学竞赛和考研题里也常露面,尤其是arctan x,它的展开式可以直接从1/(1+x²)的幂级数出发,两边积分得到。
先写1/(1+x²)的展开:把上一小节里的α=-1公式中的x替换成x²,得到:
1/(1+x²) = 1 - x² + x⁴ - x⁶ + ...
由于d/dx [arctan x] = 1/(1+x²),所以两边从0到x积分,右边逐项积分:
arctan x = x - x³/3 + x⁵/5 - x⁷/7 + ...
这个形式和ln(1+x)很像,但分母只是奇数,而且没有x²、x⁴这样偶次项,因为arctan x本身也是奇函数。这个级数的收敛域是[-1, 1],x=1时得到非常出名的莱布尼茨公式:π/4 = 1 - 1/3 + 1/5 - 1/7 + ...。
arcsin x的展开就稍微复杂一点,因为它的导数1/√(1-x²) = (1-x²)^(-1/2)是一个带有α=-1/2的幂函数。你如果手工去推,式子会逐渐出现组合数占比很大的系数:
arcsin x = x + x³/6 + 3x⁵/40 + 5x⁷/112 + ...
对于这个公式,我自己的建议是考前不用记太深,前两项x + x³/6是经常用到的,高阶项需要用的时候翻书也比自己推概率大。而且这类函数在计算题里更多是作为中间过程出现,必要的时候对前几项做截断就够了。
2.7 正切函数tan x的展开
最后说tan x,它的展开式和sin x、cos x都不一样,系数不是由简单阶乘直接给出的,而是和伯努利数有关。如果只知道前几项,那长这个样子:
tan x = x + x³/3 + 2x⁵/15 + 17x⁷/315 + ...
我为什么会把这几个系数单独列出来?因为有些同学在做极限题目的时候会习惯性把tan x等价替换成x,但如果是求x - tan x这类高阶抵消的极限,只换到一阶肯定不够,必须知道它的三阶项是x³/3。我在上课时候一直强调:sin x、tan x、arcsin x这三个函数在0附近长得很像,但各自的三阶项系数分别是-1/6、+1/3、+1/6,这三个数字就是考试里最喜欢挖坑的地方,有意识地记住它们能帮你省下大量思考时间。
3. 展开式之间的“亲戚关系”:用网络记忆代替死记硬背
上一节我们把常见函数的展开式从头到尾推了一遍。你可能已经发现了,这些公式并不是孤立的,它们之间充满了各种“亲戚关系”。会利用这些关系的人,脑子里不是装着一个一个孤立的公式,而是装着一张公式关系网。这张网络,比死记硬背有价值的得多。
3.1 指数函数与三角函数的桥梁:欧拉公式
把e^x展开式里的x替换成ix,其中i是虚数单位,你会得到:
e^(ix) = 1 + ix + (ix)²/2! + (ix)³/3! + (ix)⁴/4! + ... = 1 + ix - x²/2! - ix³/3! + x⁴/4! + ...
把实部和虚部分别收集起来:实部恰好是cos x的展开式,虚部系数恰好是sin x的展开式。于是你得到一个至高无上的欧拉公式:
e^(ix) = cos x + i sin x
这个关系告诉我们,e^x、sin x、cos x其实是同一个“大家族”的三个不同切面。你如果记不住sin x和cos x的展开,完全可以从e^x的展开式临时推导出来:把指数展开式中的x换成ix,然后合并实部虚部,正负号自然就出来了。这个过程花不到两分钟,比背错符号导致的丢分要划算得多。
3.2 导数与积分关系:从sin到cos,从1/(1+x)到ln(1+x)
我在上面已经展示了cos x可以通过对sin x逐项求导得出。同样的思路,arctan x和ln(1+x)的展开都可以从1/(1±x)类型的展开通过积分来得到。具体来说:
- 从
1/(1+x) = 1 - x + x² - x³ + ...两边积分,得到ln(1+x) = x - x²/2 + x³/3 - ...。 - 从
1/(1+x²) = 1 - x² + x⁴ - x⁶ + ...两边积分,得到arctan x = x - x³/3 + x⁵/5 - ...。
这个方法在数学上叫幂级数的逐项积分或逐项求导,它之所以合法,是因为幂级数在其收敛区间内部是一致收敛的。你不需要掌握严格的数学证明,只需要知道在实际操作中,先求导再展开最后积分回去,是一个非常高效的推导工具。
3.3 四则运算关系:tan x可以由sin x除以cos x得到
tan x = sin x / cos x,既然分子分母都有展开式,那可不可以直接做长除法求出tan x的展开?完全可以。你把sin x的展开和cos x的展开写成前几项,然后做多项式除法,能得到tan x的前几项。这个方法虽然有点笨,但对于验证公式特别有效。比如你忘了tan x的三次项系数到底是正的还是负的,用除法笔算一下,就能确认是+x³/3而不是-x³/3。类似的,sec x、csc x的展开式也能这样推出来。
这些关系的存在,说明一个核心问题:泰勒展开不是一个需要记忆的孤岛,而是一个可以互相推导、互为验证的系统。你心里有了这整张网络图,就算哪天忘了一条公式,你也能通过旁边的一条路把它重新找回来。
4. 四种常见形式怎么选:从皮亚诺余项到拉格朗日余项
泰勒公式展开,很多人只盯着“展开式本身”看,忽略了余项的选择。我这里说的“余项”,简单理解就是因为只取了有限多项,而丢掉的无穷多项的总和。这个被丢掉的部分长得什么样,直接决定你在什么场景下能放心使用展开式。
我敢打赌,不少同学在做题的时候,看到题目只说“求函数在某点的泰勒展开”,就随便写个展开式把后面加个省略号或者写个o(x^n)就完事。但如果这道题涉及误差估计、近似计算、证明题,那余项形式就非常重要了。
4.1 皮亚诺余项:适合算极限
皮亚诺余项是最简单的形式,它的表述是:展开到x^n时,后面所有项的和记为o(x^n),意思是当x趋近于0时,这个余项除以x^n的极限是0。也就是说,剩下的部分是比x^n更高阶的无穷小。
这种余项最大的优点就是形式简洁,写起来方便,计算极限的时候特别好用。比如你要计算lim_{x→0} (sin x - x)/x³,只需要把sin x展开到三阶,写成sin x = x - x³/6 + o(x³),然后代入得( - x³/6 + o(x³))/x³,极限就是-1/6。整个过程干净利落,不需要讨论x究竟是多少,因为反正要求极限。
使用皮亚诺余项时要牢记一个技巧:展开的阶数要和分母的幂次匹配或者略高。比如分母是x³,你至少要把分子展到x³项,如果展到x²就少了关键项,结果必然算错;如果展到x⁴项,多出的项在极限中也趋于0,不会影响结果,只是多花了一点计算时间。
4.2 拉格朗日余项:适合估计误差
拉格朗日余项是另一种经典形式,它长得和泰勒展开的下一个带导数的项差不多:R_n(x) = f^(n+1)(ξ) / (n+1)! * (x-a)^(n+1),其中ξ在a和x之间。这里f^(n+1)(ξ)是某个未知中间点的导数,你没法精确知道,但你可以估计它的范围。
它的价值在于可以给出误差界限。近似计算题里,如果题目要求“精确到小数点后四位”,你就可以用拉格朗日余项来判定:到底要展开到第几项,才能保证误差不超过5×10⁻⁵。这时候皮亚诺余项就用不上了,因为它只告诉你误差是“高阶无穷小”,但具体多小,得由拉格朗日余项来严格控制。
我建议在实际使用中把拉格朗日余项的理解拆分两层:第一层是知道它的存在,知道它代表真正被截掉的误差;第二层是能利用不等式把|f^(n+1)(ξ)|放缩成一个简洁的上界。如果你能做到第二层,那所有近似计算题在你眼里就变成了一种不等式应用题。
4.3 带拉格朗日型余项的麦克劳林公式选择策略
现在总结一下我的选择习惯。如果是应对考试中的极限题,我优先使用皮亚诺余项,因为拼的就是速度和准确度。如果是近似计算、不等式证明、判断误差范围,我使用拉格朗日余项,因为要紧扣精度要求。
还有一点需要提醒,有些教材里还会给出柯西余项和积分余项。它们在实际题目中出现频率较低,一般不需要在初学阶段深究。但如果你复习到位了,可以把它们作为了解项,因为你不会知道某次模拟卷会不会突然考一个冷门考点。从底层逻辑上看,所有这些余项都是在回答同一个问题:你截断之后,到底丢了多少东西?只是从不同的角度去刻画这个损失而已。
5. 实操:一步一步写出任意函数的泰勒展开
这一章我们进入最有“工程感”的部分。前面我们讲了公式和原理,但你真的拿到一个函数的时候,第一步干什么、第二步干什么,很多人还是晕。下面我给出一个通用的四步走流程,配合几个典型例子,保证你学完就能上手。
5.1 标准流程:求导、代值、构建通项、写展开
第一步:确定展开点a和要展开的阶数n。如果题目没有明确说明展开点,默认就是x=0,即麦克劳林展开。阶数取决于你要用来做什么,如果求极限,就根据分母的最高阶次来定;如果是近似计算,就根据精度要求来定。
第二步:逐阶求导。把你要求导的函数从一阶导开始算,一直算到第n阶导。每求一阶,立刻把展开点a代入,得到一个个数值f(a)、f'(a)、f''(a)、...。这里我推荐一个一个算,每算完一阶就把数字记在草稿纸的对应位置上。求完之后就不用返工,直接根据f^(k)(a)/k!来安排各项系数。
第三步:判定哪些项为0。很多函数的偶数阶导数或奇数阶导数在展开点处恰好为0,比如sin x在0处的偶数阶导全是0,cos x在0处的奇数阶导全是0。你如果提前发现这一规律,就可以跳过很多重复计算,直接写稀疏的展开式。
第四步:写出通项和余项。把求出来的系数乘以对应的(x-a)^k,连接起来,同时根据题目要求补上余项形式。如果题目要求写全展开式,就把通项Σ写成求和符号;如果只要求写到特定阶数,就用省略号加余项收尾。
5.2 实操演示一:展开e^x到四阶麦克劳林
这个例子算是热身。展开点是0,要求展开到四阶。
- 零阶:
f(0)=1 - 一阶:
f'(x)=e^x,f'(0)=1 - 二阶:
f''(x)=e^x,f''(0)=1 - 三阶:
f'''(x)=e^x,f'''(0)=1 - 四阶:
f''''(x)=e^x,f''''(0)=1
于是系数分别是1/0! = 1,1/1! = 1,1/2! = 1/2,1/3! = 1/6,1/4! = 1/24,所以:
e^x = 1 + x + x²/2 + x³/6 + x⁴/24 + ...
整个过程没有意外,因为e^x太有规律了。但注意,如果你要展开到五阶,不要写成x⁵/5,必须写成x⁵/120,分母是5!,这是最基础也最容易笔误的小地方。
5.3 实操演示二:展开f(x) = √(4+x)到三阶麦克劳林
这道题如果直接在0处求导,也行,但容易出错。我们采用更好的策略——变形之后再展开。
把√(4+x)改写为:
√(4+x) = 2√(1 + x/4) = 2(1 + x/4)^(1/2)
现在令t = x/4,套用(1+t)^α的展开式,取α=1/2:
(1+t)^(1/2) = 1 + (1/2)t + (1/2)(-1/2)t²/2! + (1/2)(-1/2)(-3/2)t³/3! + ...
分别化简:t项系数是1/2,t²项系数是-1/8,t³项系数是(1/2)(-1/2)(-3/2)/6 = 1/16。代回t=x/4:
√(4+x) = 2[1 + (1/2)(x/4) - (1/8)(x/4)² + (1/16)(x/4)³ + ...]
=2[1 + x/8 - x²/128 + x³/1024 + ...]
=2 + x/4 - x²/64 + x³/512 + ...
这个方法的好处是省去了大量直接求导的繁琐工作,尤其适合分式、根式嵌套型函数。它背后的本质是利用了“复合函数换元”的思想:先通过代数变形把函数化成标准展开式的样子,再通过变量替换得到最终结果。我在考研复习期间几乎碰到所有带根号的分式函数,都会优先考虑这种方案,因为计算量小很多,而且不容易错。
注意: 换元之后,要确保新变量满足
|t|<1的收敛条件。以上面√(4+x)为例,要求|x/4|<1,即|x|<4。如果题目给出的范围超出了这个限制,就不要用麦克劳林展开,而应该在x=a处展开。
5.4 实操演示三:用多项式的乘法组合求展开
第三个比较经典的场景是形如e^x * sin x这种乘积型函数的展开。如果你直接求导,会陷入两个函数乘积的高阶导数的泥潭,用莱布尼茨公式也会非常痛苦。但如果你已经有了e^x和sin x各自的展开式,就可以直接把两个多项式乘起来,保留所需的阶数。
比如展开到x³项:
e^x * sin x = (1 + x + x²/2 + x³/6 + ...)(x - x³/6 + ...)
乘积里,要得到常数项,只能来自前一个括号的常数乘以0,所以没有常数项;要得到x项,来自1 * x = x;要得到x²项,来自x * x = x²;要得到x³项,来自1 * (-x³/6) + (x²/2) * x = x³( -1/6 + 1/2 ) = x³/3。
所以:
e^x * sin x = x + x² + x³/3 + ...
这个过程让你真正体会到“泰勒展开是多项式运算的狂欢”。如果你觉得展开两个三阶多项式相乘很繁琐,那你的速度会在练习中越来越快,因为大部分项都会被截断,你只需要关注阶数不超过目标值的组合。
5.5 展开到几阶才算够?一个判断准则
“展开到几阶”这个问题困扰了大量学生。我的经验法则很简单:看分母或者看最低保留项。
如果是求极限题,比如lim_{x→0} (sin x - x)/x³,分母是三次方,那分子就必须展开到三次,因为展开完之后,三次项就是最低有效项。如果你只展开到一次,分子是0,什么信息都拿不到;如果展开到二次,二次项系数也是0,依然无用。只有当阶数不低于分母的阶次时,你才能看到一个非零的有效系数。
如果是近似计算题,比如要算e^0.1精确到0.001,那就看第n+1项在x=0.1时的绝对值是否小于0.001。试一下:六阶项0.1^6/720 ≈ 1.39×10⁻⁹,远远小于0.001,甚至五阶项0.1^5/120 ≈ 8.3×10⁻⁷也在精度范围内。所以取到五阶足够。
这个判断过程建议你在草稿纸上写明确,因为考试时虽然以结果论英雄,但你的草稿条理清晰,会大幅提高算对的可能性。
6. 典型应用与常见错误:求极限、近似计算、判断函数性态
这一章我们聊应用。泰勒公式不是用来摆着好看的理论工具,它在考试和实际工程中都有很高的出镜率。以下三个方向,是我觉得最有价值的应用场景,也是检验你有没有真正理解泰勒公式的试金石。
6.1 求极限的进阶用法
用等价无穷小替换求极限大家都很熟,比如lim_{x→0} sin x/x = 1。但等价无穷小有一个致命弱点:当两个函数等价替换之后相减,你得到的是0,可真实的差值里藏着高阶无穷小,那个才是决定极限的关键。这时候泰勒展开就有无可替代的优势。
看一个典型例子:
lim_{x→0} (tan x - sin x) / x³
你要是用等价无穷小,tan x ≈ x,sin x ≈ x,分子直接变成0,条件反射告诉你有问题。改用泰勒展开:
tan x = x + x³/3 + o(x³)sin x = x - x³/6 + o(x³)
相减得(x³/3 + x³/6) + o(x³) = x³/2 + o(x³),除以x³,极限是1/2。
这道题的教训非常直接:当你发现等价无穷小替换后分子或分母变成0,就立刻切换到泰勒展开,把分子分母展开到能出现非零系数的最低阶。这个“零判断法”能帮你化解考试中一半以上的极限难题。
6.2 近似计算的实际操作
在计算器没有普及的年代,泰勒展开是手算各种函数值的利器。即使今天一切都能用计算器解决,理解近似计算的原理,也能让你在设计数值算法时更有底气。
例如计算√(1.02)的近似值。直接把x=0.02代入(1+x)^(1/2)的展开:
√(1.02) ≈ 1 + (1/2)(0.02) - (1/8)(0.02)² = 1 + 0.01 - 0.00005 = 1.00995
真实值是多少?用计算器按是1.00995049...,你看,两个高阶项已经让精度高得惊人。这背后的原因是,当|x|比较小的时候,展开式后面的项快速衰减,截断误差很小。在金融复利计算、物理运动近似等场景里,这种方法到现在依然是手算估计值的首选方案。
6.3 判断函数的局部性态:极值与拐点
泰勒展开不仅能“算数字”,还能帮我们判断一个函数在某个点附近到底长什么样。具体来说,如果你只展开到一阶,你看到的是切线的斜率,能判断单调性;展开到二阶,你能看到凹凸方向,能判断极值;展开到三阶,你甚至能看到拐点两侧的弯曲变化是否对称。
原理是什么?就是因为泰勒展开将一个复杂的函数像一个“现场直播”一样层层展开,在展开点附近的微小区域里,低阶项决定了函数的大致走向,高阶项只是在做细节修正。判断极值点时,如果f'(a)=0且f''(a)>0,那二阶项就是f''(a)(x-a)²/2 > 0,无论正方向还是负方向,函数值都比f(a)大,所以是局部极小值。这个逻辑用泰勒展开来说非常直观,而且无需背很多判别法则。
6.4 常见错误和避坑清单
我在改作业和答疑的时候,发现学生在泰勒公式这块的错误高度集中,我整理成一个清单,你可以收藏备用。
- 符号错误:
sin x展开式的正负号容易漏。记住它从正开始,接着负正负交替。不放心的时候可以用sin(π/6)=1/2大致验证一下各项的和。 - 分母错误:三阶项的分母是
3! = 6,不是3。这是最经典的错误,尤其是sin x和cos x的展开式,很多同学会把x³/3!误写成x³/3。 - 忘记收敛域:
ln(1+x)和(1+x)^α在|x|≥1时不一定成立。除非题目明确说明“形式展开”,否则使用时必须关注范围。 - 展开点不是0时硬套麦克劳林:让你在
x=a处展开,你却还在用0点的公式,得到结果肯定是错的。比如要展开sin x在x=π/2处,你就应该令t=x-π/2,把问题转移到t=0处,用sin(t+π/2)=cos t来处理。 - 求极限时展开阶数不足:分母是三次方,分子只展开到两次,丢失关键信息,答案要么不对要么过程被扣分。标准做法是展开到与分母同阶甚至高一阶。
这个清单里的每一条,我都亲眼见过同学踩坑。你自己做题的时候,也可以在草稿纸旁贴一张这样的自查表,做完一圈检查过去,正确率会提升一个档次。
7. 常见问题排查速查表
为了让你以后复习的时候能快速定位问题,我把上面讲过的要点整理成一张速查表,按场景检索:
| 场景 | 关键操作 | 注意点 |
|---|---|---|
| 记忆公式 | 按“指对幂三反”分类记忆 | 对sin/cos可用欧拉公式推导 |
| 求极限 | 先用等价无穷小预判,不行再泰勒 | 展开阶数要与分母幂次匹配 |
| 近似计算 | 确定精度,用拉格朗日余项估误差 | 展开项数宁多勿少 |
| 判断极值与拐点 | 展开到二阶,看二次项系数 | f''(a)=0时需展开到三阶以上 |
| 复合函数变形 | 提公因子或换元,化成标准展开式 | 注意新的自变量范围 |
| 乘积型函数 | 先分别展开再相乘 | 只保留目标阶数以内的项 |
| 分段点展开 | 令t=x-a后重新展开 | 不能直接套用0点公式 |
| 收敛域处理 | 检查展开式有效范围 | ln(1+x)、(1+x)^α要格外小心 |
这张表不是让你把泰勒公式学成一门“查表学”,而是说遇到具体问题时,你可以按图索骥,找到一条最稳妥的路径。等你熟练了之后,这张表会从你的大脑里长出来,完全不需要打开电脑翻找。
我个人在实际操作中的体会是,泰勒公式的掌握过程,本质上是一个从“背公式”走向“建立网络”的过程。一开始我盯着sin x的展开式,觉得那些阶乘和符号就像迷宫;后来我养成了自己推导、用已知公式去验证待推导公式的习惯,慢慢发现这棵树变得越来越清晰。每多掌握一个函数,就是在网络里多连一条边;每多处理一道难题,就是在网络里多点亮一个节点。
最后再分享一个小技巧:如果你备考时间有限,不用追求把七八个公式全部背得滚瓜烂熟。你只需要把e^x、sin x、cos x、ln(1+x)、(1+x)^α这五个当成“母公式”,剩下arctan x、arcsin x、tan x都可以在考场上用不到一分钟从母公式推出来。有了这张网络,心里就稳了。