考研高数概念科普 · 第 3 期(通俗版)· 上一期结尾的"逼近"思想,这一期玩到极致:只凭一个点的情报,仿造整条曲线。
掏出手机计算器,按一下 sin 0.5,屏幕显示 0.4794255……
奇怪了:计算器根本不认识正弦曲线。它的芯片里没有画着一条弯弯的波浪线,那这个数是哪来的?
答案是:它在偷偷做加法。它把 sin 0.5 算成几个简单的数相加:
| 只加到第几块 | 加出来的结果 | 和真值的差距 |
|---|---|---|
| 第 1 块 | 0.5 | 差 0.02 |
| 加到第 2 块 | 0.47917 | 差 0.0003 |
| 加到第 3 块 | 0.479427 | 差 0.000002 |
| ……继续加 | 想要多准,就多加几块 | |
加的这几块东西是什么?是几个"形状最简单的曲线"(直线、弯一点、再弯一点……)。把它们一层层叠起来,就能拼出一条和正弦曲线几乎一模一样的仿造品。这套"叠积木仿造法",就是泰勒公式。
它凭什么仿造得出来?秘诀是:只站在一个点上,把曲线在这一点的"情报"收集齐全——
高度(在哪)、坡度(往哪走、多陡)、弯度(弯得多厉害)、弯的变化……每收集一条情报,就多一块积木、多对齐一样"姿态"。
泰勒的宣言:只要这点情报够全,我就能在这一点附近,造出一条以假乱真的曲线。
高数说法:把 \(f(x)\) 在 \(x=0\) 处展开(称麦克劳林展开)。"情报"就是各阶导数 \(f(0), f'(0), f''(0), \dots\);积木就是 \(\dfrac{f^{(n)}(0)}{n!}x^n\)。上表即 \(\sin 0.5 = 0.5 - \dfrac{0.5^3}{3!} + \dfrac{0.5^5}{5!} - \cdots\) 的部分和。
以仿造 sin x(在 x=0 附近)为例,积木是这么叠的:
第 1 块(对齐高度):sin 0 = 0,所以先放一条贴着地面的平线。——只会"在哪儿",还不会动。
第 2 块(对齐坡度):sin x 在 0 处正在上坡、坡度是 1,于是加一块"斜板 x"。现在它在该上坡的地方上坡了。——会动,但不会拐弯。
第 3 块(对齐弯度):真品爬着爬着越来越缓、要往下弯,于是减一块"弯板 x³/6"把弯曲 corrected 过来。——会拐弯了,但拐得还不够讲究。
第 4 块、第 5 块……:继续对齐"弯是怎么变的""弯的弯是怎么变的"……每叠一块,仿造品就跟着真品走得更远才露馅。
"积木"的课本名字叫泰勒多项式:\(P_n(x)=f(a)+f'(a)(x-a)+\dfrac{f''(a)}{2!}(x-a)^2+\cdots+\dfrac{f^{(n)}(a)}{n!}(x-a)^n\)。"露馅"的部分叫余项(皮亚诺余项写成 \(o((x-a)^n)\),拉格朗日余项写成 \(\dfrac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}\))。
下图靛蓝线是真品 sin x。拖动"积木层数",看珊瑚色的仿造品从一条平线开始,一层层长出坡度、弯度、再弯……拖动"位置"滑块,对比真假两条线在该处贴得多紧。
① 点 "看它长出来":仿造品像吹气球一样从平线一路长成 9 阶,盯住它每次"接管"多大一片地盘。
② 积木只剩 1 块(一条平线)时,把观察位置拖远——误差瞬间爆炸。"只对齐高度"的情报太少了。
③ 积木加到 6 块,再把位置拖到屏幕边缘:看看要"露馅"有多难。这就是计算器敢用它的底气。
交互里的展开中心固定在 \(a=0\)(麦克劳林)。课本要求会换中心:在 \(a\) 处展开就是 \(\sum \dfrac{f^{(n)}(a)}{n!}(x-a)^n\),"情报"全在 \(a\) 点收集。
泰勒公式(带佩亚诺余项,考研最常用):
$$f(x)=f(a)+f'(a)(x-a)+\frac{f''(a)}{2!}(x-a)^2+\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^n+o\big((x-a)^n\big)$$当 \(a=0\) 时称麦克劳林公式。若 \(f\) 在 \(a\) 的某邻域有 \(n+1\) 阶导数,还有拉格朗日余项形式:\(R_n(x)=\dfrac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}\)(\(\xi\) 介于 \(a\) 与 \(x\) 之间)。
| 函数 | 展开式 |
|---|---|
| \(e^x\) | \(1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots\)(全正) |
| \(\sin x\) | \(x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\cdots\)(奇次,正负交替) |
| \(\cos x\) | \(1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots\) |
| \(\ln(1+x)\) | \(x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\cdots\)(注意第二项是负的!) |
| \((1+x)^{\alpha}\) | \(1+\alpha x+\dfrac{\alpha(\alpha-1)}{2!}x^2+\cdots\) |
| \(\dfrac{1}{1-x}\) | \(1+x+x^2+x^3+\cdots\)(等比) |