跳到内容
返回探索
微积分 / 英语

泰勒级数入门:超强函数逼近

Dr. Trefor Bazett · YouTube · 12:43

打开原视频
阅读与收藏

把讲解展开来看。

已审核学习内容 · 视频分析 · 中文
阅读完整概览

这个 155秒的微积分入门片段通过在 exe^x 处对 x=0x=0 进行近似,来引出泰勒级数。它首先提出一个数值问题:如何计算 e0.2e^{0.2},然后构建一系列精度不断提高的多项式近似:常数近似 y=1y=1、切线近似 y=1+xy=1+x、二次近似 y=1+x+x22y=1+x+\frac{x^2}{2},以及最终的三次近似 y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}动画垂直间隔标记直观展示近似误差,说明为何更高次项能改善局部拟合效果。 本微积分入门片段通过提出以下问题来引出泰勒级数:如何构造多项式近似?它们是否最优?其精度如何?借助 y=exy=e^x 的图像以及低次与高次多项式近似图像,讲师观察到:提高次数可改善在 x=0x=0 附近的局部拟合效果。接着他回顾线性化:切线必须在基点处同时匹配函数值与斜率。他以一般直线 c0+c1xc_0+c_1x 为出发点,代入 x=0x=0 得到 c0=1c_0=1,再求导以匹配斜率,得到 c1=1c_1=1,最终得出 exe^x ≈ 1+x1+x。最后,他将此推广为 f(x)f(x) ≈ f(0)+ff(0)+f'(0)x,并提示下一步将探讨二次近似。 本段时长为155秒的微积分课,通过匹配函数值、斜率与凹凸性,为exe^x在x=0x=0处构建一个类泰勒二次近似;黑板推演与口述共同确定c0=1c_0=1、c1=1c_1=1和c2=1/2c_2=1/2,从而得出ex≈1+x+12x2e^x\approx 1+x+\frac12x^2;随后主讲人将该方法推广至幂级数f(x)=c0+c1x+c2x2+c3x3+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots,并在片段结束前展示了逐项求得的一阶与二阶导数。 本段时长155秒的讲座内容,通过逐项求导的方法,推导以0为中心的幂级数的系数公式:观察到第n阶导数仅留下常数项n!·cnc_n,再代入x=0x=0,从而解出cn=f(n)(0)/nc_n = f^{(n)}(0)/n!。随后,它用统一的阶乘记号重写前几项系数,给出麦克劳林级数的定义,并将这一模式推广至任意中心a,得到泰勒级数公式cn=f(n)(a)/nc_n = f^{(n)}(a)/n!;最后开始将该结果应用于f(x)=exf(x)=e^x,取a=0a=0。视频片段在该例题的设定阶段结束,尚未展示exe^x的简化级数形式。 这段时长为 143 秒的片段,通过一个代数例子和一个图形例子讲解泰勒级数。首先,教师指出:若 f(x)=∑cn(x−a)nf(x)=\sum c_n(x-a)^n,则 cn=f(n)(a)/nc_n=f^{(n)}(a)/n!;并将该公式应用于 f(x)=exf(x)=e^x、a=0a=0 的情形。由于 exe^x 的各阶导数均为 exe^x,且 e0=1e^0=1,该级数简化为 ex=∑xn/ne^x=\sum x^n/n!。后半部分则绘制 cos⁡(x)\cos (x) 与其在 a=0a=0 处的前两个泰勒多项式(即 1 和 1−x2/21-x^2/2)的图像,说明近似在中心附近效果良好,但在远处效果较差。随后,视频将中心移至 a=πa=π,得到新的二次近似 -1+(x-π)^2/22/2,从而强调泰勒级数所编码的是在选定某点处的局部信息。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00标题:泰勒级数0:02引例:计算e0.2e^{0.2}0:18将泰勒定理作为强大的近似工具加以介绍0:45常数近似y=1y=1及其误差增长1:25线性切线近似y=1+xy=1+x2:01二次近似y=1+x+x22y=1+x+\frac{x^2}{2}2:30三次近似y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}2:35泰勒级数的启发性问题3:00高次多项式能提供更优的逼近效果3:20回顾在 x=0x=0 处的线性化3:49解出 c0c_0 和 c1c_1,其中表达式为 c0+c1xc_0 + c_1x4:36结果为 exe^x ≈ 1+x1+x 及其局部适用性4:51一般线性逼近公式5:10从切线直线到二次近似5:29含三个系数的一般二次函数5:43在x=0x=0处匹配函数值:c0=1c_0=15:58在x=0x=0处匹配斜率:c1=1c_1=16:21在x=0x=0处匹配凹凸性:c2=1/2c_2=1/26:38结果:ex≈1+x+12x2e^x\approx 1+x+\frac12x^26:59推广至f(x)f(x)的幂级数7:18该幂级数的一阶导数7:38该幂级数的二阶导数7:45对幂级数逐项求导8:00第n阶导数的规律8:35代入x=0x=0并解出系数9:10用阶乘统一系数表达式9:27麦克劳林级数的定义9:46推广至以a为中心的泰勒级数10:09例题设定:exe^x在a=0a=0处展开10:20泰勒系数规则及示例:函数 f(x)=exf(x)=e^x 在 a=0a=0 处的展开10:40化简为 ex=∑xn/ne^x = \sum x^n / n!10:50cos⁡(x)\cos (x) 的图像,及其在 0 处的一阶与二阶泰勒多项式11:16近似法的局部性,以及在远离中心处失效的现象12:06将中心平移至 a=πa=π,并得到一个新的二次近似

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

视频以标题“泰勒级数”开场,表明本节主题是通过多项式展开来逼近函数。

屏幕上显示函数y=exy=e^x的图像,主讲人提问:如何计算某个特定值,例如e0.2e^{0.2}?计算器界面显示结果为e0.2=1.221402758e^{0.2}=1.221402758,从而将课程引向对数值计算背后机制的探讨,而非仅仅关注答案本身。

主讲人介绍泰勒定理——这是微积分、计算机科学与应用数学中广泛使用的一种强大工具。此处暂未强调其形式化表述,而是突出这样一个核心思想:存在一种系统化的方法,可逐步构造出越来越精确的逼近。

从已知事实 e0=1e^0=1出发,视频首先尝试最粗略的近似:将 exe^x 替换为常函数 y=1y=1。屏幕上绘制一条穿过点 (0,1)(0,1) 的橙色水平线,并与蓝色指数曲线对比。

主讲人指出,用11来逼近e0.2e^{0.2}在00附近尚可接受,但动画呈现的黄色竖直间隔标记揭示了逐点误差;当求值点逐渐向右移动时,y=exy=e^x与y=1y=1之间的间隙迅速扩大,直观展现了零阶逼近的局限性。

微积分通过在展开点处使用切线来改进该近似。橙色常数线被替换为紫色直线 y=1+xy=1+x,该直线与 exe^x 在点 (0,1)(0,1) 处相切。x=0x=0这使得函数值和斜率在点

接着主讲人提问:能否比线性逼近做得更好?答案是肯定的:加入一个二次项。一条标有y=1+x+x22y=1+x+\frac{x^2}{2}的黄色抛物线被绘制出来,它仍在(0,1)(0,1)处与指数曲线相切并保持相近斜率,同时还能模拟曲线的弯曲程度。

在x=0x=0附近,该二次逼近与exe^x之间几乎看不出视觉可辨的间隙,说明更高次的多项式项能够更精细地刻画函数的局部行为。

最后,这一模式再次推广至三次情形:一条标有y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}的灰色曲线出现,主讲人指出这提供了更优的逼近效果。视频在此结束,为继续向更高阶推广埋下伏笔。

本片段开场时,主讲人已在讨论函数的多项式逼近,并以 y=exy=e^x 的图像作为参考曲线。他指出可继续推进至四次多项式,甚至更多项,由此引出核心问题:应如何构造这类逼近多项式?它们的逼近效果又如何?

他指出,这些问题正是泰勒级数的核心所在。屏幕上对常数、线性、二次、三次与四次逼近的直观对比,印证了“提高多项式次数可改善在展开点附近的局部拟合效果”这一结论。

为建立直观理解,他回归线性化概念。在 x=0x=0 处,切线逼近由两个匹配条件定义:逼近直线必须与原函数具有相同的函数值,且具有相同的斜率。屏幕上的标签“函数值相同”与“斜率相同”明确表达了这两个条件。

接着,他将几何思想转化为代数操作。从一般线性函数 c0+c1xc_0+c_1x 出发,在 x=0x=0 处施加相等条件。代入得 e0=c0+c1⋅0e^0 = c_0 + c_1\cdot 0,从而得出 1=c01 = c_0,即常数项被唯一确定。

随后,他通过求导使斜率匹配。由于 d/dx(ex)=exd/dx(e^x) = e^x 且 d/dx(1+c1x)=c1d/dx(1+c_1x) = c_1,在 x=0x=0 处取值得 e0=c1e^0 = c_1,故 c1=1c_1 = 1。因此,exe^x 在原点处的线性逼近为 1+x1+x。

主讲人强调,这是一个近似而非恒等式:它在 0 附近效果良好,但远离该点时误差增大。接着,他将该结果推广为标准形式 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x,并指出这正是微积分1课程中熟知的线性逼近公式。

本小节最后宣布下一步内容:从一次逼近推进到二次多项式。

该线段通过将切线近似拓展为二次近似而展开。讲解者指出,该二次近似必须保留先前的两个限制条件,即相同的yy值和相同的斜率,同时还必须具有相同的凹凸性。在图像上,点(0,1)(0,1)处的接触点被标注为“函数值相同”、“斜率相同”以及“凹凸性相同”,从而在几何上直观呈现这三项要求。

为用代数方式表达这三项要求,黑板上写出一个一般形式的二次函数c0+c1x+c2x2c_0+c_1x+c_2x^2。讲解强调一种数量匹配关系:存在三个待定系数,同时将施加三个条件,因此在此具体演算设定下,该方程组预期能唯一确定该多项式。

第一个条件是在x=0x=0处函数值相等。将x=0x=0代入c0+c1x+c2x2c_0+c_1x+c_2x^2,消去xx项和x2x^2项,剩下c0c_0。由于e0=1e^0=1,视频得出c0=1c_0=1,并将近似式更新为1+c1x+c2x21+c_1x+c_2x^2。

第二个条件是在x=0x=0处斜率相等,因此对等式两边求导。exe^x的导数仍为exe^x,而1+c1x+c2x21+c_1x+c_2x^2的导数为c1+2c2xc_1+2c_2x。在x=0x=0处取值得到e0=c1+2c2(0)e^0=c_1+2c_2(0),故得1=c11=c_1。随后将多项式更新为1+1x+c2x21+1x+c_2x^2。

第三个条件是凹凸性相等,讲解者将其等同于二阶导数相等。再次求导后,指数函数一侧的二阶导数为exe^x,多项式一侧为2c22c_2。在x=0x=0处代入得e0=2c2e^0=2c_2,因此1=2c21=2c_2,进而c2=1/2c_2=1/2。黑板代入这一最终系数。

三个系数全部确定后,显示的近似表达式为 ex≈1+x+12x2e^x\approx 1+x+\frac12x^2。主讲人将此描述为能在 exe^x 附近 x=0x=0。该片段未提供误差界,也未给出除构造本身局部性之外的精确有效性区间。

随后,讲座从具体例子推广到以幂级数形式表示的一般函数:f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots。主讲人指出,该形式至少适用于具有幂级数展开的函数,并说明该级数在某个收敛半径内收敛,但未指明该半径的具体数值。

为与系数匹配法保持一致,对幂级数逐项求导。常数项c0c_0消失,c1xc_1x变为c1c_1,每一般项cnxnc_nx^n变为ncnxn−1nc_nx^{n-1}。所显示的结果为f′(x)=c1+2c2x+3c3x2+⋯+ncnxn−1+⋯f'(x)=c_1+2c_2x+3c_3x^2+\cdots+nc_nx^{n-1}+\cdots。

第二次求导消去了常数项c1c_1,并得到f′′(x)=2c2+3⋅2c3x+⋯+n(n−1)cnxn−2+⋯f''(x)=2c_2+3\cdot 2c_3x+\cdots+n(n-1)c_nx^{n-2}+\cdots。主讲人指出,2c22c_2仍作为新的常数项保留下来。该片段在完成于x=0x=0处的通式求值之前结束,且尚未推导出完整的泰勒系数公式。

该片段以黑板风格画面开场,展示一个幂级数及其前两阶导数: f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots f′(x)=c1+2⋅c2x+3⋅c3x2+⋯+n⋅cnxn−1+⋯f'(x)=c_1+2\cdot c_2x+3\cdot c_3x^2+\cdots+n\cdot c_nx^{n-1}+\cdots f′′(x)=2⋅c2+3⋅2⋅c3x+⋯+n⋅(n−1)⋅cnxn−2+⋯f''(x)=2\cdot c_2+3\cdot 2\cdot c_3x+\cdots+n\cdot(n-1)\cdot c_nx^{n-2}+\cdots。 视觉重点在于递减的数值因子:在x3x^3项中,3先被“带下来”,然后是2;而在一般的xnx^n项中,nn先被“带下来”,然后是n−1n-1。

再添加第四行:f(n)(x)=n!⋅cn+⋯f^{(n)}(x)=n!\cdot c_n+\cdots。其理由是:对原级数求nn阶导后,所有原幂次小于nn的项均已变为零;而原xnx^n项则贡献常数n! cnn!\,c_n;更高幂次的项仍保留,但其中仍含有xx的正整数次幂。

接着,黑板上在各处代入x=0x=0。此举消去了所有仍含xx的剩余项,得到一组方程,从而逐个分离出各个系数。所显示的结果为 c0=f(0)c_0=f(0), c1=f′(0)c_1=f'(0), c2=f′′(0)2c_2=\frac{f''(0)}{2}, 以及一般情形 cn=f(n)(0)n!c_n=\frac{f^{(n)}(0)}{n!}。 其逻辑很简单:第nn阶导数在中心处留下的常数项是n!cnn!c_n,因此解出cnc_n即得上述公式。

接下来,将前几个特例改写为统一的阶乘记号: c0=f(0)0!c_0=\frac{f(0)}{0!}, c1=f′(0)1!c_1=\frac{f'(0)}{1!}, c2=f′′(0)2!c_2=\frac{f''(0)}{2!}, cn=f(n)(0)n!c_n=\frac{f^{(n)}(0)}{n!}。 之所以可行,是因为0!=10!=1、1!=11!=1与2!=22!=2,故此前分母实质上已是阶乘的隐式表达。

一个标有“麦克劳林级数:”的方框语句总结了该结果: 如果f(x)f(x)具有幂级数表示 f(x)=∑n=0∞cnxn,∣x∣<Rf(x)=\sum_{n=0}^{\infty}c_nx^n,\quad |x|<R, 那么 cn=f(n)(0)n!c_n=\frac{f^{(n)}(0)}{n!}。 这一结论将推导过程封装为以0为中心的级数的标准系数公式。

随后,方框标题变为“泰勒级数:”,方法是将中心0替换为任意点aa: 如果f(x)f(x)具有幂级数表示 f(x)=∑n=0∞cn(x−a)n,∣x−a∣<Rf(x)=\sum_{n=0}^{\infty}c_n(x-a)^n,\quad |x-a|<R, 那么 cn=f(n)(a)n!c_n=\frac{f^{(n)}(a)}{n!}。 口述讲解强调,选择0并非本质所需;它仅是一个方便的展开中心。推广到一般的aa便得到泰勒级数,而麦克劳林级数则是特例a=0a=0。

最后,讲座开始一个例子,其中给出f(x)=exf(x)=e^x和a=0a=0。黑板上写出 ex=∑n=0∞(dndxn[ex]x=0)xne^x=\sum_{n=0}^{\infty}\left(\frac{d^n}{dx^n}[e^x]_{x=0}\right)x^n。 这是将函数与中心直接代入系数公式所得的结果。该片段在此设定阶段结束,尚未对dndxn[ex]x=0\frac{d^n}{dx^n}[e^x]_{x=0}进行化简,也未写出exe^x所对应的熟知最终级数形式。

视频片段以黑板上书写的泰勒级数系数规则开场。所展示的前提设定为:若 f(x)f(x) 具有幂级数表示 f(x)=∑n=0∞cn(x−a)nf(x)=\sum _{n=0}^{\infty }c_n(x-a)^n,且 |x-a|<R,则 cn=f(n)(a)/nc_n = f^{(n)}(a) / n!。下方示例将该规则特化为 f(x)=exf(x)=e^x 且 a=0a=0。

教师讲解指数函数的关键化简:对 exe^x 求导不改变其本身。因此,其 n 阶导数仍为 exe^x;代入中心 0 后得 e0=1e^0 = 1。在所显示的莱布尼茨记号系数 dndxn[ex]x=0\frac{d^n}{dx^n}[e^x]_{x=0} 中,分子因而对每个 n 均变为 1。

将该值代入系数公式后,每个系数均变为 1/n1/n!,于是屏幕上级数化简为 ex=∑n=0∞xnn!e^x = \sum _{n=0}^{\infty } \frac{x^n}{n!}。此即 exe^x 在中心 0 处的泰勒级数。

课程随后由代数转入几何。一幅蓝色曲线图呈现 cos⁡(x)\cos (x),并附有两条以 a=0a=0 为中心的近似曲线:一条标为 1 的黄色水平线,被认定为一阶泰勒多项式(即切线近似);另一条标为 1−x221-\frac{x^2}{2} 的紫色抛物线,被认定为二阶泰勒多项式。

教师强调,这些公式高度依赖于中心点 a=0a=0 的选取。在 x=0x=0 附近,尤其是二次近似,其轨迹与 cos⁡(x)\cos (x) 高度吻合;但在远离 0 处,该抛物线趋向负无穷,而余弦函数始终有界,因此近似效果变差。

这一对比引出核心概念要点:系数仅利用单点 a=0a=0 处的导数信息计算得出,所得多项式却能在该点的整个邻域内提供有用信息。讲者明确指出,本片段尚未对“良好”近似的精确含义作出量化界定。

为凸显中心依赖性,图像经动画处理,使展开点从 0 移动至 π。近似曲线随中心变动,新的二次多项式标记为 -1+(x−π)22\frac{(x-\pi)^2}{2}。其中 (x−πx-\pi)^2 的出现表明,该多项式现以 π 为中心,其精度体现在该新中心点附近,而非 0 附近。

结尾总结重申了核心思想:泰勒级数利用某一点 a 处的信息,将其转化为该点附近的局部信息。以 cos⁡(x)\cos (x) 在 a=0a=0 与 a=πa=π 处的展开为例,说明改变展开中心会改变所得多项式,也会改变近似效果良好的区域。

知识卡片

01

泰勒级数:一种系统化的函数逼近方法

本开场段落将泰勒定理呈现为一种强大方法,能比基础的常值或线性估计更精细地逼近函数。其动机性问题是:计算器如何得出诸如e0.2e^{0.2}这样的数值?这暗示着隐藏于背后的计算方法依赖于结构化的逼近理论。

02

在展开点处的常值逼近

最简单的近似仅保留中心点处的已知值。由于e0=1e^0=1,函数exe^x首先被常数函数y=1y=1所替代。视频显示,该近似在00附近效果尚可,但一旦xx远离该点,精度便迅速下降。

y=1y=1
03

用切线进行线性近似

一个更优的局部模型是在展开点处使用切线。对于exe^x在x=0x=0处的切线,屏幕上显示的切线为y=1+xy=1+x。它优于常数近似,因为它在中心点处同时匹配函数值与斜率。

y=1+xy=1+x
04

二次近似引入曲率

下一步改进是添加一个二次多项式:它仍在x=0x=0处与目标函数相交,且具有相似的斜率,同时还通过弯曲来更紧密地跟随指数函数的变化。所展示的例子是y=1+x+x22y=1+x+\frac{x^2}{2},其局部误差明显减小。

y=1+x+x22y=1+x+\frac{x^2}{2}
05

三次近似延续这一模式

该序列通过再增加一项多项式继续推进。片段中将y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}展示为三次近似,作为exe^x在x=0x=0附近更优的局部拟合。

y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}
06

逐次近似的误差可视化

动画形式的竖直间距标记将蓝色曲线y=exy=e^x与各近似图像进行比较。在远离00处,常数直线的间距较大;在靠近00处,切线的间距变小;而在所展示的邻域内,二次近似的间距几乎不可见。这种直观的递进过程,促使我们考虑更高阶的泰勒多项式。

07

为何引入泰勒级数

本讲通过三个相互关联的问题引出泰勒级数:如何构造多项式逼近、所选多项式是否为最佳的局部逼近,以及该逼近的实际精度如何。这些问题被明确表述为本主题的核心目标。

08

更高次数可提升局部逼近效果

通过对比 exe^x 的若干逼近曲线,主讲人观察到:从低次多项式逐步过渡到高次多项式(例如四次多项式)时,其在展开点附近的逼近效果更优。这一结论是视频片段中基于图像的直观经验观察,而非严格证明。

y=1+x+x22+x36+x424y = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24}
09

线性化即匹配函数值与斜率

在 x=0x=0 处的切线逼近由两个条件定义:逼近直线与原函数在 x=0x=0 处函数值相等,且在 x=0x=0 处斜率相等。这两个基本约束用于唯一确定该直线。

10

一般线性模型 c0+c1xc_0 + c_1 x

为代数推导切线,本讲从任意线性函数 c0+c1xc_0+c_1x 出发,再依据在基点处的匹配条件确定其系数。

c0+c1xc_0 + c_1 x
11

求 c0c_0 使得函数在 x = 处取值相等0

令函数与直线在 x=0x=0 处相等,得 e0=c0+c1⋅0e^0=c_0+c_1\cdot 0。由于 e0=1e^0=1 且第二项为零,解得 c0=1c_0=1。

1=c01 = c_0
12

求 c1c_1 使得函数在 x = 处斜率相等0

代入 c0=1c_0=1 后,本讲对等式两边求导:d/dx(ex)=exd/dx(e^x)=e^x,d/dx(1+c1x)=c1d/dx(1+c_1x)=c_1。在 x=0x=0 处取值得 e0=c1e^0=c_1,故 c1=1c_1=1。

1=c11 = c_1
13

exe^x 在原点处的线性近似

将两个系数结果合并,得到局部近似式 exe^x ≈ 1+x1 + x。讲解者强调,这并非全局的精确等式;它主要在 x=0x = 0 附近有用。

ex≈1+xe^x \approx 1 + x
14

一般线性近似公式

该例题被推广至任意可导函数 f,其公式为 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x,即以 0 为中心的标准切线近似。

f(x)≈f(0)+f′(0)xf(x) \approx f(0) + f'(0)x
15

在x=0x=0处的二次近似条件

视频通过要求在展开点处满足三项匹配——函数值相同、斜率相同、凹凸性相同——来构建exe^x在x=0x=0附近的二次近似。图像在接触点(0,1)(0,1)处将这三项分别标注为“函数值相同”、“斜率相同”和“凹凸性相同”。

P2(0)=e0,P2′(0)=(ex)′∣x=0,P2′′(0)=(ex)′′∣x=0P_2(0)=e^0,\quad P_2'(0)=(e^x)'|_{x=0},\quad P_2''(0)=(e^x)''|_{x=0}
16

一般二次函数形式

一般二次函数以三个待定系数写出。主讲人将三个系数与三个条件之间的对应关系,作为该构造能够唯一确定该多项式的理由。

c0+c1x+c2x2c_0+c_1x+c_2x^2
17

函数值条件给出c0=1c_0=1

将x=0x=0代入二次函数后,仅剩常数项。由于e0=1e^0=1,函数值相同的条件迫使c0c_0等于11,黑板上随之将多项式更新为1+c1x+c2x21+c_1x+c_2x^2。

c0+c1(0)+c2(0)2=e0=1⇒c0=1c_0+c_1(0)+c_2(0)^2=e^0=1\Rightarrow c_0=1
18

斜率条件给出c1=1c_1=1

主讲人通过对等式两边求导,以强制函数在x=0x=0处具有相同斜率。二次函数的导数为c1+2c2xc_1+2c_2x,在x=0x=0处取值后,含xx的项被消去。由于(ex)′=ex(e^x)'=e^x且e0=1e^0=1,该条件得出c1=1c_1=1。

ddx(1+c1x+c2x2)=c1+2c2x,e0=c1+2c2(0)⇒c1=1\frac{d}{dx}(1+c_1x+c_2x^2)=c_1+2c_2x,\quad e^0=c_1+2c_2(0)\Rightarrow c_1=1
19

凹性条件给出c2=1/2c_2=1/2

凹性由二阶导数判定。再次求导后,二次函数的二阶导数为2c22c_2,而exe^x仍求导得到exe^x。在x=0x=0处取值,结果为1=2c21=2c_2,因此c2=1/2c_2=1/2。

d2dx2(1+1x+c2x2)=2c2,e0=2c2⇒c2=12\frac{d^2}{dx^2}(1+1x+c_2x^2)=2c_2,\quad e^0=2c_2\Rightarrow c_2=\frac12
20

exe^x的二次近似

将求得的三个系数合并,得到黑板上所示的二阶近似。主讲人将其描述为一个能很好逼近 exe^x 的二次函数;x=0x=0;片段中未给出误差界。

ex≈1+x+12x2e^x\approx 1+x+\frac{1}{2}x^2
21

一般幂级数设定

该方法从exe^x推广至一个表示为无穷幂级数的函数f(x)f(x)。主讲人假定该级数在某个收敛半径内收敛,但视频片段未明确该半径,也未证明收敛性质。

f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots
22

幂级数的一阶导数

逐项求导消去了常数项系数c0c_0,并将每一项的指数降为乘性因子。屏幕上显示的一般规律是:cnxnc_nx^n变为ncnxn−1nc_nx^{n-1}。

f′(x)=c1+2c2x+3c3x2+⋯+ncnxn−1+⋯f'(x)=c_1+2c_2x+3c_3x^2+\cdots+nc_nx^{n-1}+\cdots
23

幂级数的二阶导数

第二次逐项求导将常数项c1c_1从f′(x)f'(x)中消去,并使2c22c_2成为新的常数项。通项ncnxn−1nc_nx^{n-1}变为n(n−1)cnxn−2n(n-1)c_nx^{n-2}。该片段在利用f′′(0)f''(0)推导通项系数公式之前即结束。

f′′(x)=2c2+3⋅2c3x+⋯+n(n−1)cnxn−2+⋯f''(x)=2c_2+3\cdot 2c_3x+\cdots+n(n-1)c_nx^{n-2}+\cdots
24

幂级数的逐项求导

视频从f(x)=c0+c1x+c2x2+⋯f(x)=c_0+c_1x+c_2x^2+\cdots出发,对每个单项式分别求导。所展示的一阶与二阶导数揭示了规律:每次求导都将当前指数作为乘性因子提出,并使xx的幂次降低1。因此,cnxnc_nx^n经一次求导变为ncnxn−1n c_n x^{n-1},经两次求导变为n(n−1)cnxn−2n(n-1)c_nx^{n-2}。

f′(x)=c1+2⋅c2x+3⋅c3x2+⋯+n⋅cnxn−1+⋯f'(x)=c_1+2\cdot c_2x+3\cdot c_3x^2+\cdots+n\cdot c_nx^{n-1}+\cdots

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 51

y=exy=e^x

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    该图像在坐标平面上以浅蓝色标为y=exy=e^x。

  2. 声音
    观察依据

    说话人说:“考虑 e 的 x 次方的图像。”

符号

y=exy=e^x

含义

本片段中全程被逼近的指数函数。

适用范围

x∈Rx\in\mathbb{R}

y=1y=1

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条水平的橙色直线标为y=1y=1,且经过点(0,1)(0,1)。

  2. 声音
    观察依据

    说话人提出使用“仅 y 等于1,即常数函数1”作为近似。

符号

y=1y=1

含义

exe^x在x=0x=0处的零阶常数近似。

适用范围

常数函数

y=1+xy=1+x

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条紫色直线在点(0,1)(0,1)处与蓝色曲线相切,并标为y=1+xy=1+x。

  2. 声音
    观察依据

    说话人描述用切线替代常数直线,以获得更优的近似。

符号

y=1+xy=1+x

含义

exe^x在x=0x=0处的一阶线性(切线)近似。

适用范围

线性函数

y=1+x+x22y=1+x+\frac{x^2}{2}

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条黄色抛物线在(0,1)(0,1)处与蓝色曲线相切,该抛物线标记为y=1+x+x22y=1+x+\frac{x^2}{2}。

  2. 声音
    观察依据

    说话者表示,他可以改用一个在x=0x=0处相切且斜率非常接近的“二次函数”。

符号

y=1+x+x22y=1+x+\frac{x^2}{2}

含义

函数exe^x在x=0x=0处的二阶二次逼近。

适用范围

二次多项式

y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条灰色三次曲线出现,并标有y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}。

  2. 声音
    观察依据

    说话者说:“如果我能对二次函数做到这一点,那么对三次函数也能做类似的事情。”

符号

y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}

含义

函数exe^x在x=0x=0处的三阶三次逼近。

适用范围

三次多项式

e0.2e^{0.2}

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者询问如何计算形如“e 的0.2次方”这样的值。

  2. 图示
    观察依据

    计算器界面图形显示输入为e0.2e^{0.2}、输出为1.2214027581.221402758。

符号

e0.2e^{0.2}

含义

一个具体的数值示例,用以说明近似方法的必要性。

适用范围

实数表达式

e0e^0

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“e 的零次方是一个你熟悉的数。e 的零次方就是一。”

符号

e0e^0

含义

用于论证常数近似的已知底数值y=1y=1附近x=0x=0。

适用范围

实数表达式

x

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    变量 x 出现在所绘制的函数中,也出现在线性形式 c0+c1xc_0 + c_1 x 中。

  2. 声音
    观察依据

    说话者反复提到在 x=0x = 0 处求值以及乘以 x。

符号

x

含义

在函数和多项式逼近中使用的独立实变量。

适用范围

强调了靠近 0 的实数值;所显示的图像大致呈现 -2 ≤ x≤2x \le 2。

exe^x

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    蓝色曲线标注为 y=exy = e^x。

  2. 声音
    观察依据

    说话者说“蓝色的 e 的 x 次方”,并将 exe^x 与一个通用线性函数作比较。

符号

exe^x

含义

本片段中正被多项式逼近的指数函数。

适用范围

对所有实数 x 都有定义;此处研究其在 x=0x = 0 附近的性质。

c0c_0

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    所展示的通用线性表达式为 c0+c1xc_0 + c_1 x。

  2. 公式
    观察依据

    代入 x=0x = 0 后,黑板上显示 1=c01 = c_0。

符号

c0c_0

含义

通用线性逼近中的常数项系数;通过令其在 x=0x = 0 处的函数值与原函数相等来确定。

适用范围

实常数。

c1c_1

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    所示的一般线性表达式为 c0+c1xc_0 + c_1 x。

  2. 公式
    观察依据

    导数行显示 d/dx(1+c1x)=c1d/dx(1 + c_1 x) = c_1,然后 1=c11 = c_1。

符号

c1c_1

含义

一般线性近似中 x 的系数;由在 x=0x = 0 处匹配斜率确定。

适用范围

实常数。

f

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    所示的广义公式为 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x。

  2. 声音
    观察依据

    主讲人说:“线性近似就是:f 的 x 次函数值近似等于 f 在零处的函数值加上 f 在零处的导数值再乘以 x。”

符号

f

含义

用于表述线性近似公式的通用可微函数。

适用范围

在 0 处可微的函数;视频未进一步限定条件。

知识点 · 35

将泰勒级数作为一种精巧的近似方法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人介绍了“整个微积分中,乃至整个数学中,最强大的定理之一:泰勒定理。”

  2. 图示
    观察依据

    开场标题卡显示“泰勒级数”。

待核验内容
  1. 该片段提到了泰勒定理,但在此节选中并未陈述其形式化的条件或公式。

定义
解释

本段将泰勒级数/泰勒定理定位为一种比基础的常数或线性方法更精确的函数近似手段,并强调它在数学与计算机计算中居于核心地位。

公式
适用条件
  1. 当需要围绕某个选定的点对函数进行系统化近似时使用。

在x=0x=0处的零阶常数近似

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人建议近似计算e0.2e^{0.2},方法是注意到e0=1e^0=1并考虑y=1y=1而非exe^x。

  2. 图示
    观察依据

    一条标有y=1y=1的橙色水平线画在(0,1)(0,1)处。

方法
解释

最简单的近似是用目标函数在展开点处的已知值来代替该函数。此处,exe^x被常数11所代替,因为e0=1e^0=1。视频指出,这种近似在非常靠近00时是可以接受的,但当xx离得越远,误差增长得越快。

公式
y=1y=1
适用条件
  1. 以x=0x=0为中心的近似。

  2. 仅使用中心点处的函数值。

先修条目
  1. e0e^0

通过切线实现的一阶线性近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,微积分提供了一种更优的方法:在零点处利用切线进行线性近似。

  2. 图示
    观察依据

    一条标为y=1+xy=1+x的紫色直线与y=exy=e^x在(0,1)(0,1)。

待核验内容
  1. 得出斜率11的导数计算过程在此片段中未明确展示。

方法
解释

视频未采用水平直线,而是使用了exe^x在x=0x=0处的切线。该切线在中心点处既匹配函数值,也匹配斜率,因此其局部近似效果明显优于y=1y=1。

公式
y=1+xy=1+x
适用条件
  1. 以x=0x=0为中心的近似。

  2. 在中心点处同时匹配函数值与一阶导数值。

先修条目
  1. 在x=0x=0处的零阶常数近似
  2. y=exy=e^x

二阶二次逼近

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提问:能否比线性近似做得更好?并提出一个在x=0x=0处与原函数相切、且具有相似斜率的二次函数。

  2. 图示
    观察依据

    一条标有 y=1+x+x22y=1+x+\frac{x^2}{2} 的黄色抛物线与 y=exy=e^x 在 (0,1)(0,1) 处相切,并更紧密地贴合该曲线。

待核验内容
  1. 系数12\frac12以可视化方式呈现,但本片段未口头说明其如何由二阶导数数据推导得出。

方法
解释

下一次改进是用一个二次多项式替代切线:该多项式仍经过同一点、在该点处具有相同的斜率,同时还弯曲以更紧密地匹配目标函数。图中展示的例子是y=1+x+x22y=1+x+\frac{x^2}{2}。

公式
y=1+x+x22y=1+x+\frac{x^2}{2}
适用条件
  1. 以x=0x=0为中心的逼近。

  2. 在中心点处同时匹配函数值与斜率;视觉上,其曲率匹配程度也优于线性情形。

先修条目
  1. 通过切线实现的一阶线性近似。

三阶三次逼近

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者指出,若此方法对二次函数成立,则同样可将其推广至三次函数,从而得到更优的逼近。

  2. 图示
    观察依据

    一条标有y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}的灰色三次曲线出现。

待核验内容
  1. 视频片段结束前,仅展示了三次函数讨论的开头部分。

方法
解释

该模式通过增加一项多项式继续延伸。图中展示的三次逼近为y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6},其作为逼近效果优于二次逼近。

公式
y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}
适用条件
  1. 以x=0x=0为中心的逼近。

  2. 将相同的匹配思想进一步扩展至更高一阶的多项式次数。

先修条目
  1. 二阶二次逼近

驱动泰勒级数研究的核心问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提问:这些多项式是如何构造出来的?它们是否是局部近似的最优多项式?这种近似究竟有多好?

  2. 声音
    观察依据

    他说道:“这正是我们研究泰勒级数的核心内容。”

方法
解释

本段将泰勒级数定位为一种构造多项式近似的方法,用于判断所选多项式是否为局部近似的最优选择,并衡量该近似的精度。

适用条件
  1. 讨论聚焦于在某一点附近的微小区域内对函数进行近似。

  2. 视频以 exe^x 作为贯穿始终的示例函数。

先修条目
  1. 通过匹配函数值与斜率实现线性化

次数更高的多项式能提供更优的局部近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,他可以进一步扩展到四次多项式,或任意多的项数。

  2. 声音
    观察依据

    他指出:“你可以看到,多项式的次数越高——例如四次多项式——近似效果就越好。”

  3. 图示
    观察依据

    该图像展示了函数 y=exy = e^x 及其多项式近似,包括 y=1+x+x2/2+x3/6y = 1 + x + x^2/2 + x^3/6 和 y=1+x+x2/2+x3/6+x4/24y = 1 + x + x^2/2 + x^3/6 + x^4/24。

待核验内容
  1. 本视频片段在展开点附近以图像方式支持该结论,但并未在此处给出严格证明。

方法
解释

通过比较 exe^x 的若干近似曲线,讲座指出:增大多项式次数可提升其在展开点附近的拟合效果。

适用条件
  1. 比较均在相同的基点附近进行,此处为 x=0x = 0。

  2. 该陈述在此片段中被呈现为所展示近似图形的一个观察现象,而非已证明的定理。

先修条目
  1. 驱动泰勒级数研究的核心问题

通过匹配函数值与斜率实现线性化

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“让我们回到线性化阶段,即仅用切线进行近似的阶段。”

  2. 声音
    观察依据

    他解释道:在 x=0x = 0 处,函数与其切线具有完全相同的函数值和相同的斜率。

  3. 图示
    观察依据

    图像上交点处出现黄色标签:“函数值相同”与“斜率相同”。

定义
解释

线性近似被引入为:在某一点附近,用该点处的切线替代原函数;这要求函数值与一阶导数值在该点完全一致。

适用条件
  1. 该方法应用于一个特定点,此处为 x=0x = 0。

  2. 该函数在该点处必须具有明确定义的斜率。

通用线性近似形式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上并列显示 exe^x 和 c0+c1xc_0 + c_1 x。

  2. 声音
    观察依据

    主讲人将 c0+c1xc_0 + c_1 x 称为“一个完全通用的线性函数”。

定义
解释

为了代数地推导切线近似式,讲座从一个任意的线性函数 c0+c1xc_0 + c_1 x 出发,并通过施加匹配条件来确定其系数。

适用条件
  1. c0c_0 和 c1c_1 最初是未知常数。

  2. 该方法以 f(x)=exf(x) = e^x 在 x=0x = 0 处为例进行演示。

先修条目
  1. 通过匹配函数值与斜率实现线性化

exe^x 在 0 处的线性近似

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 ex≈1+xe^x \approx 1 + x。

  2. 声音
    观察依据

    主讲人总结道:“因此我们的近似式就是:这个 e 的 x 次方被 1 加 x 近似。”

  3. 声音
    观察依据

    他补充说,离 0 越远,这一近似效果越差;但在其附近,近似效果尚可。

公式
解释

对于指数函数,令其在 x=0x = 0 处的函数值与斜率均相匹配,即可得到局部近似式 ex≈1+xe^x \approx 1 + x。

适用条件
  1. 在 x=0x = 0附近作为局部近似是有效的。

  2. 它并非对所有 x 都成立的恒等式。

先修条目
  1. 通用线性近似形式

在0处的一般线性近似公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x。

  2. 声音
    观察依据

    主讲人称这是更一般的线性近似,并将其与微积分1联系起来。

待核验内容
  1. 视频未明确将可微性列为前提条件,但通过使用 f'(0) 已隐含了这一条件。

公式
解释

exe^x 的具体结果被推广至任意函数 f,得到公式 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x,即以0为中心的切线近似。

适用条件
  1. f 必须在0处可微。

  2. 该近似在 x=0x = 0附近是局部的。

先修条目
  1. 通过匹配函数值与斜率实现线性化
  2. exe^x 在 0 处的线性近似

在x=0x=0处的二次近似条件

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者表示,他将用一个二次函数来近似切线思想。

  2. 声音
    观察依据

    他指出限制条件仍是原先那两个:相同的yy值与相同的斜率,再加上相同的凹性。

  3. 图示
    观察依据

    图像在接触点处标注为“函数值相同”、“斜率相同”,然后是“凹性相同”。

定义
解释

视频通过要求在展开点处满足三个匹配条件,来定义函数exe^x在x=0x=0附近的理想二次逼近:函数值、一阶导数(即斜率)和二阶导数(即凹凸性)。这在之前切线逼近的基础上,进一步加入了曲率信息。

公式
P2(x)=c0+c1x+c2x2,P2(0)=e0,P2′(0)=(ex)′∣x=0,P2′′(0)=(ex)′′∣x=0P_2(x)=c_0+c_1x+c_2x^2,\quad P_2(0)=e^0,\quad P_2'(0)=(e^x)'|_{x=0},\quad P_2''(0)=(e^x)''|_{x=0}
适用条件
  1. 该逼近以x=0x=0为中心。

  2. 所用的逼近对象是一个二次多项式。

  3. 这三个匹配量分别是函数值、斜率和凹凸性。

先修条目
  1. 通用幂级数表示
定理与条件 · 18

泰勒定理被呈现为极具威力的定理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,泰勒定理是微积分中乃至整个数学领域中最强大的定理之一,它构成了计算机与现实世界中大量数学实践的基础。

待核验内容
  1. 这是一种修辞性的评价,而非带有前提与结论的严格数学命题。

命题
命题

泰勒定理被描述为微积分与数学中最强大的结论之一,对实际计算具有核心意义。

量词

该片段中未出现任何形式化的量词。

常数近似的误差随远离展开点而增大

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,若考虑exe^x离零点更远,则常数近似所产生的误差会变得非常大,并且迅速增大。

  2. 图示
    观察依据

    在y=exy=e^x与y=1y=1之间的一条黄色垂直间隙标记,随着取值点从靠近00处向右移动至约x=1x=1处而逐渐变大。

命题
命题

对于常数近似 y=1y=1 在 exe^x 处对 x=0x=0 的近似,当 xx 远离 00 时,近似误差迅速变大。

前提
  1. 以x=0x=0为中心的近似。

  2. 将exe^x与常数函数11进行比较。

量词

关于离00更远的点的非正式陈述;未给出确切的定量界。

线性切线近似优于常数近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,切线近似要好得多,且越靠近切点,近似效果就越好。

  2. 图示
    观察依据

    紫色直线y=1+xy=1+x在(0,1)(0,1)附近比橙色直线y=1y=1更贴近蓝色曲线。

命题
命题

在x=0x=0处使用切线所得到的exe^x近似,优于常数近似y=1y=1,尤其在x=0x=0附近。

前提
  1. 以x=0x=0为中心的近似。

  2. 目标函数为exe^x。

量词

这是关于展开点附近的局部陈述;未给出明确的误差公式。

添加更高次项可得到更优的局部近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,可通过使用二次近似来改进线性近似,类似地还可使用三次近似,从而获得更优的近似效果。

  2. 图示
    观察依据

    逐次图像分别显示y=1+xy=1+x、y=1+x+x22y=1+x+\frac{x^2}{2}、y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}在x=0x=0附近越来越紧密地贴合蓝色曲线。

待核验内容
  1. 该片段通过视觉与口头方式展示了这一趋势,但在此节选中并未证明关于所有更高阶情形的一般定理。

命题
命题

用二次近似替代线性近似,再用三次近似替代二次近似,可依次得到对 exe^x 附近 x=0x=0。

前提
  1. 近似函数以x=0x=0为中心。

  2. 每个新的多项式都比前一个多项式高一次。

量词

在展开点附近给出局部近似声明。

泰勒级数探讨多项式近似的构造方法、最优性以及精度

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提问:如何构造这类多项式?这是否是最佳的近似多项式?该近似的实际精度如何?

  2. 声音
    观察依据

    他回答:这将成为泰勒级数研究的核心内容。

命题
命题

选择近似多项式、判断其是否为最优选择,以及估计其精度,这些核心问题构成了泰勒级数的主题。

前提
  1. 背景是函数的局部多项式逼近。

  2. 本片段将此作为动机呈现,而非严格证明。

量词

针对本导论中所讨论的多项式逼近。

提高多项式次数可改善在展开点附近的近似效果。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“多项式的次数越高,例如四次多项式,近似效果就越好。”

  2. 图示
    观察依据

    多条近似曲线与 y=exy = e^x 重叠显示,其中高次多项式在更大的邻域内明显更贴近蓝色曲线。

待核验内容
  1. 该陈述是在所展示示例中通过观察得出的比较结论,并非本片段中给出的完全量化定理。

命题
命题

在本片段展示的 exe^x 示例中,高次近似多项式比低次多项式在局部提供更优的逼近效果。

前提
  1. 比较均在相同的展开点 x=0x = 0附近进行。

  2. 该主张通过所展示的近似函数族,在视觉和语言上均得到支持。

量词

针对本片段中所展示的 exe^x 的多项式逼近。

切线近似要求在基点处函数值相等且斜率相等。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者指出,在 x=0x = 0 处,函数与切线具有相同的实际函数值和相同的斜率。

  2. 图示
    观察依据

    “函数值相同”和“斜率相同”这两个标签分别标出了二者共有的点和共有的倾斜程度。

命题
命题

在 x=0x = 0 处由切线构造的线性近似,在该点处与原函数的函数值和一阶导数值均一致。

前提
  1. 函数在 x=0x = 0 处被考察。

  2. 该处存在切线。

量词

仅在单个点 x=0x = 0 处。

exe^x 在 0 处的局部线性近似

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 ex≈1+xe^x \approx 1 + x。

  2. 声音
    观察依据

    说话者指出,exe^x 正被 1+x1 + x 近似,并提醒:该近似在偏离 0 时并不严格相等。

命题
命题

在 x=0x = 0 附近,指数函数满足 ex≈1+xe^x \approx 1 + x。

前提
  1. 该近似以 x=0x = 0 为中心。

  2. 它适用于 x 在 0 附近的情形,而非全局适用。

量词

当 x 接近 0 时。

在 0 处的线性近似通用公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x。

  2. 声音
    观察依据

    主讲人称这是更一般的线性近似,并回顾了微积分中关于 1 的概念。

待核验内容
  1. 在 0 处可导性隐含于记号 f'(0) 中,但并未用文字单独说明。

命题
命题

对函数 f,在 0 处的线性近似为 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x。

前提
  1. f 在 0 处有定义。

  2. f'(0) 存在。

量词

当 x 在 0 附近时。

三个匹配条件可确定一个二次逼近函数。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,该二次函数有三个不同的限制条件,而一般形式的二次函数恰好有三个不同的系数。

  2. 公式
    观察依据

    所展示的形式c0+c1x+c2x2c_0+c_1x+c_2x^2恰好包含三个系数。

待核验内容
  1. 视频并未证明所得二次函数的唯一性;而是将系数个数作为该方法应可行的理由提出。

命题
命题

二次多项式具有三个自由系数,因此在x=0x=0处令其函数值、一阶导数值和二阶导数值分别与目标函数相等,可得到三个方程,用以确定c0c_0、c1c_1和c2c_2。

前提
  1. 所构造的逼近多项式是二次的。

  2. 匹配点为x=0x=0。

  3. 目标函数与该多项式在该点处至少可二阶求导。

量词

对于具体例子exe^x在x=0x=0附近的逼近,这三个条件均施加于单一点x=0x=0。

例题中所用到的exe^x的导数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    每一阶导数行在应用 exe^x 后仍保持 ddx\frac{d}{dx}。

  2. 声音
    观察依据

    主讲人在每次求导后反复将e0e^0计算为11。

命题
命题

在例题演算中,exe^x的一阶导数与二阶导数再次均为exe^x,且在x=0x=0处,它们的取值均为e0=1e^0=1。

前提
  1. 该函数为exe^x。

  2. 求导是关于xx进行的。

  3. 求值是在x=0x=0处进行的。

量词

视频中展示的每一步求导过程,都将exe^x的导数视作exe^x;所有求值实例均在x=0x=0处进行。

二次构造的幂级数推广

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲话者提出,将这一思想推广至所有函数,至少推广至具有幂级数表示的函数。

  2. 公式
    观察依据

    黑板上将具体的exe^x设定替换为f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots。

待核验内容
  1. 视频未明确说明收敛性假设,仅提及“在某个收敛半径内收敛”。

命题
命题

用于exe^x二次逼近的系数匹配法,通过将一般函数f(x)f(x)写作幂级数,并探究其系数必须为何值,从而得到推广。

前提
  1. f(x)f(x)具有幂级数表示。

  2. 该幂级数在某个收敛半径内收敛。

量词

对于能表示为这种幂级数的函数,其系数由所展示级数中的nn来标记索引。

推导与证明 · 10

从常数近似逐步推进到线性近似、二次近似、三次近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者从已知的e0=1e^0=1出发,接着使用y=1y=1,然后是切线,再是二次函数,最后是三次函数。

  2. 图示
    观察依据

    黑板上依次展示y=1y=1、y=1+xy=1+x、y=1+x+x22y=1+x+\frac{x^2}{2}和y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}相对于y=exy=e^x的图像。

待核验内容
  1. 导数与系数的计算未逐步呈现;该过程仅以概念性与可视化方式呈现。

直观解释
步骤
  1. 公式
    e0=1e^0=1
    解释

    从指数函数在展开点处的已知值出发。

    步骤依据

    由讲解者直接陈述。

    视频直接表达
  2. 公式
    y=1y=1
    解释

    使用等于该已知值的常数函数作为最简单的近似。

    步骤依据

    主讲人建议用常数函数 exe^x 替代 11。

    视频直接表达
  3. 公式
    y=1+xy=1+x
    解释

    通过改用过x=0x=0点的切线(而非水平直线)来改进近似。

    步骤依据

    主讲人指出,微积分提供了一种更优的方法:通过切线进行线性近似。

    视频直接表达
  4. 公式
    y=1+x+x22y=1+x+\frac{x^2}{2}
    解释

    添加一个二次项,使近似曲线在x=0x=0处与目标函数接触,并具有相似的斜率,且弯曲程度也更接近目标函数。

    步骤依据

    主讲人明确提出了一个二次多项式,其公式显示在屏幕上。

    视频直接表达
  5. 公式
    y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}
    解释

    沿相同模式再提升一次幂次,得到三次近似。

    步骤依据

    主讲人表示,对三次多项式也可做同类操作,相应公式出现在屏幕上。

    视频直接表达
结论

该片段通过逐次添加更高次数的多项式项来改进在 exe^x 处对 x=0x=0 的局部拟合,以此引出泰勒式逼近的思想。

近似误差的视觉对比

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    一条黄色的垂直双向箭头标出了蓝色曲线与当前近似直线之间的间隙,先标在y=1y=1处,后标在y=1+xy=1+x处。

  2. 声音
    观察依据

    主讲人指出,常数近似在00附近仅产生微小误差,但稍远离该点时误差便迅速增大;随后指出切线近似效果更好。

待核验内容
  1. 屏幕上未计算具体的数值误差。

视觉说明
步骤
  1. 公式
    解释

    在y=exy=e^x与近似曲线之间放置一条垂直标记,以表示逐点误差。

    步骤依据

    动画在两条图像之间绘制了一条黄色垂直线段。

    视频直接表达
  2. 公式
    解释

    将求值点从00移开,同时与y=1y=1比较;二者之间的垂直间距增大。

    步骤依据

    当点从原点附近向右移动时,标记长度变长。

    视频直接表达
  3. 公式
    解释

    用切线 y=1y=1 替代 y=1+xy=1+x;在 00 附近的可见间隙变小了。

    步骤依据

    紫色切线比橙色常数直线更贴近蓝色曲线。

    视频直接表达
结论

动画显示:常数近似在00之外的误差迅速增大,而切线近似则减小了局部误差。

确定 c0c_0 通过匹配 x = 处的函数值。0

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说应代入 x=0x = 0,因为此时函数与直线的值完全相等。

  2. 公式
    观察依据

    黑板上显示 e0e^0 和 c0+c10c_0 + c_1 0,然后写出 1=c01 = c_0。

严格证明
步骤
  1. 公式
    ex且c0+c1xe^x \quad \text{且} \quad c_0 + c_1 x
    解释

    从目标函数和一个通用的线性近似式出发。

    步骤依据

    这是为便于比较而并列显示的两个表达式。

    视频直接表达
  2. 公式
    x=0x = 0
    解释

    在基点处令二者相等。

    步骤依据

    讲解者指出,在 x=0x = 0 处,函数与切线具有相同的函数值。

    视频直接表达
  3. 公式
    e0=c0+c1⋅0e^0 = c_0 + c_1 \cdot 0
    解释

    将 x=0x = 0 分别代入等式两边。

    步骤依据

    直接代入等式条件。

    依据视频推导
  4. 公式
    1=c01 = c_0
    解释

    利用 e0=1e^0 = 1 和 c1⋅0=0c_1 \cdot 0 = 0 进行化简。

    步骤依据

    对代入后的方程进行代数化简。

    视频直接表达
结论

令函数在 x=0x = 0 处的值相等,可得 c0=1c_0 = 1。

确定 c1c_1 通过匹配 x = 处的斜率。0

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说要令斜率相等,即对两边分别求导。

  2. 公式
    观察依据

    黑板上写出 d/dx(ex)=exd/dx(e^x) = e^x 和 d/dx(1+c1x)=c1d/dx(1 + c_1 x) = c_1,再代入 x=0x = 0,得到 1=c11 = c_1。

严格证明
步骤
  1. 公式
    ex且1+c1xe^x \quad \text{且} \quad 1 + c_1 x
    解释

    在求得 c0=1c_0 = 1 后,使用更新后的线性形式。

    步骤依据

    上一步已确定了常数项。

    视频直接表达
  2. 公式
    ddx(ex)=ex,ddx(1+c1x)=c1\frac{d}{dx}(e^x) = e^x, \qquad \frac{d}{dx}(1 + c_1 x) = c_1
    解释

    对两个表达式分别关于 x 求导。

    步骤依据

    主讲人指出,匹配斜率即为求导。

    视频直接表达
  3. 公式
    x=0x = 0
    解释

    在基点处计算导数相等式。

    步骤依据

    切线条件要求在 x=0x = 0 处斜率相等。

    视频直接表达
  4. 公式
    e0=c1e^0 = c_1
    解释

    将 x=0x = 0 代入导数表达式。

    步骤依据

    直接计算求导后表达式的值。

    依据视频推导
  5. 公式
    1=c11 = c_1
    解释

    利用 e0=1e^0 = 1 进行化简。

    步骤依据

    基本指数恒等式。

    视频直接表达
结论

在 x=0x = 0 处匹配斜率迫使 c1=1c_1 = 1,因此线性近似为 1+x1 + x。

ex≈1+x+12x2e^x\approx 1+x+\frac12x^2的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者依次代入 x=0x=0,求导,再次代入零,再次求导,并代入已求得的系数。

  2. 公式
    观察依据

    黑板上的推演过程依次经过c0+c1x+c2x2c_0+c_1x+c_2x^2、1+c1x+c2x21+c_1x+c_2x^2、1+1x+c2x21+1x+c_2x^2,最后到达1+x+12x21+x+\frac12x^2。

严格证明
步骤
  1. 公式
    ex≈c0+c1x+c2x2e^x\approx c_0+c_1x+c_2x^2
    解释

    从一个关于exe^x在x=0x=0附近的通用二次近似式出发。

    步骤依据

    视频指出,一个通用二次式含有三个系数,且将施加三个条件。

    视频直接表达
  2. 公式
    c0+c1(0)+c2(0)2=e0=1c_0+c_1(0)+c_2(0)^2=e^0=1
    解释

    通过将x=0x=0同时代入等式两边,施加函数值相等的条件。

    步骤依据

    讲解者指出第一个限制条件是该近似函数在 yy 处具有相同的 x=0x=0 值。

    视频直接表达
  3. 公式
    c0=1c_0=1
    解释

    含xx和x2x^2的项消失,使得常数项等于11。

    步骤依据

    代入x=0x=0并利用e0=1e^0=1后进行代数化简。

    视频直接表达
  4. 公式
    1+c1x+c2x21+c_1x+c_2x^2
    解释

    将二次式中的c0c_0替换为刚刚求得的值。

    步骤依据

    将已解出的系数代入近似式中。

    视频直接表达
  5. 公式
    ddx(ex)=ex,ddx(1+c1x+c2x2)=c1+2c2x\frac{d}{dx}(e^x)=e^x,\quad \frac{d}{dx}(1+c_1x+c_2x^2)=c_1+2c_2x
    解释

    分别对指数函数和当前的二次近似式求导。

    步骤依据

    说话者表示,他求导是为了让两者的斜率相等。

    视频直接表达
  6. 公式
    e0=c1+2c2(0)e^0=c_1+2c_2(0)
    解释

    在x=0x=0处利用导数表达式施加斜率相等的条件。

    步骤依据

    视频指出,斜率相等的要求必须在x=0x=0处满足。

    视频直接表达
  7. 公式
    1=c11=c_1
    解释

    由于e0=1e^0=1和2c2(0)=02c_2(0)=0,线性系数被确定为11。

    步骤依据

    代入求值并进行代数化简。

    视频直接表达
  8. 公式
    1+1x+c2x21+1x+c_2x^2
    解释

    在二次近似式中,将c1c_1替换为11。

    步骤依据

    代入已解出的系数。

    视频直接表达
  9. 公式
    ddx(1+1x+c2x2)=1+2c2x\frac{d}{dx}(1+1x+c_2x^2)=1+2c_2x
    解释

    对更新后的二次近似式再求一次导,为求二阶导数做准备。

    步骤依据

    逐项应用幂法则。

    视频直接表达
  10. 公式
    ddx(1+2c2x)=2c2\frac{d}{dx}(1+2c_2x)=2c_2
    解释

    对二次近似式求二阶导数。

    步骤依据

    说话者将凹凸性与二阶导数联系起来,并再次求导。

    视频直接表达
  11. 公式
    e0=2c2e^0=2c_2
    解释

    在x=0x=0处施加相同凹凸性条件,即令二阶导数相等。

    步骤依据

    视频指出第三个限制条件是该二次函数在 exe^x 在 x=0x=0。

    视频直接表达
  12. 公式
    1=2c2⇒c2=121=2c_2\quad\Rightarrow\quad c_2=\frac12
    解释

    求解二次项系数。

    步骤依据

    利用e0=1e^0=1并除以22。

    视频直接表达
  13. 公式
    ex≈1+x+12x2e^x\approx 1+x+\frac12x^2
    解释

    将c0=1c_0=1、c1=1c_1=1和c2=1/2c_2=1/2代入通用二次函数表达式。

    步骤依据

    汇总由三个匹配条件所求得的系数。

    视频直接表达
结论

匹配 exe^x、其一阶导数和二阶导数在 x=0x=0 处的二次函数是 1+x+12x21+x+\frac12x^2。

对通用幂级数进行求导。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上展示了f(x)f(x)的一阶与二阶导数级数。

  2. 声音
    观察依据

    主讲人解释道:求导时指数下移,而低阶常数项则消失。

待核验内容
  1. 推导过程在一般情形下止步于代入x=0x=0或求解cnc_n之前。

严格证明
步骤
  1. 公式
    f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots
    解释

    从f(x)f(x)的通用幂级数表示式出发。

    步骤依据

    主讲人设一个通用的f(x)f(x)等于一个幂级数,并假设该幂级数在某个收敛半径内收敛。

    视频直接表达
  2. 公式
    f′(x)=c1+2⋅c2x+3⋅c3x2+⋯+n⋅cnxn−1+⋯f'(x)=c_1+2\cdot c_2x+3\cdot c_3x^2+\cdots+n\cdot c_nx^{n-1}+\cdots
    解释

    逐项求导:常数项c0c_0消失,c1xc_1x变为c1c_1,每个cnxnc_nx^n变为ncnxn−1nc_nx^{n-1}。

    步骤依据

    对所展示的级数中每一单项式应用幂法则。

    视频直接表达
  3. 公式
    f′′(x)=2⋅c2+3⋅2⋅c3x+⋯+n⋅(n−1)⋅cnxn−2+⋯f''(x)=2\cdot c_2+3\cdot 2\cdot c_3x+\cdots+n\cdot(n-1)\cdot c_nx^{n-2}+\cdots
    解释

    再次对一阶导数级数求导:常数项c1c_1消失,2c2x2c_2x变为2c22c_2,ncnxn−1nc_nx^{n-1}变为n(n−1)cnxn−2n(n-1)c_nx^{n-2}。

    步骤依据

    对所展示的f′(x)f'(x)逐项应用幂法则。

    视频直接表达
结论

在本片段中,通用幂级数已被求导两次,从而得到f′(x)f'(x)和f′′(x)f''(x)的展示公式,但在x=0x=0处的系数确定尚未完成。

麦克劳林系数公式的推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    板书推导依次从f(x)f(x)到f′(x)f'(x)、再到f′′(x)f''(x)、再到f(n)(x)f^{(n)}(x),然后代入x=0x=0并解出c0,c1,c2,cnc_0,c_1,c_2,c_n。

  2. 声音
    观察依据

    讲解同步遵循相同步骤:反复求导,指出哪些项保留下来,代入x=0x=0,再读出各项系数。

待核验内容
  1. 该片段并未证明无穷级数可逐项求导;而是直接呈现了相关运算过程。

严格证明
步骤
  1. 公式
    f(x)=c0+c1x+c2x2+c3x3+⋯+cnxn+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots+c_nx^n+\cdots
    解释

    从一个以xx的升幂形式写出的幂级数出发。

    步骤依据

    推导中所展示的假设条件。

    视频直接表达
  2. 公式
    f′(x)=c1+2⋅c2x+3⋅c3x2+⋯+n⋅cnxn−1+⋯f'(x)=c_1+2\cdot c_2x+3\cdot c_3x^2+\cdots+n\cdot c_nx^{n-1}+\cdots
    解释

    逐项求导一次。

    步骤依据

    对每个单项式应用幂法则。

    视频直接表达
  3. 公式
    f′′(x)=2⋅c2+3⋅2⋅c3x+⋯+n⋅(n−1)⋅cnxn−2+⋯f''(x)=2\cdot c_2+3\cdot 2\cdot c_3x+\cdots+n\cdot(n-1)\cdot c_nx^{n-2}+\cdots
    解释

    再次求导,以观察下一个递降因子的规律。

    步骤依据

    幂法则的重复应用。

    视频直接表达
  4. 公式
    f(n)(x)=n!⋅cn+⋯f^{(n)}(x)=n!\cdot c_n+\cdots
    解释

    经过nn次求导后,原始的xnx^n项贡献常数n!cnn!c_n,而更高次幂的项仍含有xx。

    步骤依据

    较低次幂的项已消失,所余下的常数来自对n,n−1,…,1n,n-1,\ldots,1的连乘。

    视频直接表达
  5. 公式
    x=0x=0
    解释

    将x=0x=0代入导数公式。

    步骤依据

    这使得所有仍含有因子xx的剩余项全部变为零。

    视频直接表达
  6. 公式
    c0=f(0),c1=f′(0),c2=f′′(0)2,cn=f(n)(0)n!c_0=f(0),\quad c_1=f'(0),\quad c_2=\frac{f''(0)}{2},\quad c_n=\frac{f^{(n)}(0)}{n!}
    解释

    对每个所得方程分别求解对应的系数。

    步骤依据

    通过代数运算,从代入后剩余的常数项中分离出ckc_k。

    视频直接表达
  7. 公式
    c0=f(0)0!,c1=f′(0)1!,c2=f′′(0)2!,cn=f(n)(0)n!c_0=\frac{f(0)}{0!},\quad c_1=\frac{f'(0)}{1!},\quad c_2=\frac{f''(0)}{2!},\quad c_n=\frac{f^{(n)}(0)}{n!}
    解释

    将前几个分母改写为阶乘形式,使所有情况都符合同一模板。

    步骤依据

    由于0!=10!=1、1!=11!=1和2!=22!=2,前述公式等价于统一的阶乘形式。

    视频直接表达
结论

以0为中心的幂级数的系数由cn=f(n)(0)n!c_n=\frac{f^{(n)}(0)}{n!}给出,即麦克劳林系数公式。

从麦克劳林级数到泰勒级数:通过平移中心实现

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    框出的麦克劳林表述在视觉上被泰勒表述替代,其中xx改为x−ax-a,00改为aa。

  2. 声音
    观察依据

    主讲人指出,可以平移该公式,使得原来出现零的每一处,都可替换为aa。

待核验内容
  1. 该片段将这一变换视为直接推广,未在一般中心处重新进行导数计算。

直观解释
步骤
  1. 公式
    f(x)=∑n=0∞cnxn,∣x∣<R,cn=f(n)(0)n!f(x)=\sum_{n=0}^{\infty}c_nx^n,\quad |x|<R,\quad c_n=\frac{f^{(n)}(0)}{n!}
    解释

    从以0为中心的麦克劳林形式出发。

    步骤依据

    此前已推导出的带框定义。

    视频直接表达
  2. 公式
    f(x)=∑n=0∞cn(x−a)n,∣x−a∣<R,cn=f(n)(a)n!f(x)=\sum_{n=0}^{\infty}c_n(x-a)^n,\quad |x-a|<R,\quad c_n=\frac{f^{(n)}(a)}{n!}
    解释

    在整个公式中,将中心0替换为一般点aa。

    步骤依据

    视频将此描述为向更一般情形的轻微平移。

    视频直接表达
结论

泰勒级数是同一系数提取思想在中心为aa时的版本,其导数在aa处取值,而非在0处取值。

推导exe^x在0处的泰勒级数。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上首先写出exe^x = sum ((dn/dxn[ex]x=0d^n/dx^n[e^x]_{x=0})/n!)xnx^n,随后化简为exe^x = sum xn/nx^n/n!。

  2. 声音
    观察依据

    讲话者解释:exe^x的各阶导数仍为exe^x;代入0得e0=1e^0 = 1,因此系数简化为1/n1/n!。

严格证明
步骤
  1. 公式
    f(x)=∑n=0∞cn(x−a)n,cn=f(n)(a)n!f(x)=\sum_{n=0}^{\infty}c_n(x-a)^n,\quad c_n=\frac{f^{(n)}(a)}{n!}
    解释

    从黑板上展示的、以a为中心的幂级数泰勒系数规则出发。

    步骤依据

    由黑板上的定理陈述给出。

    视频直接表达
  2. 公式
    a=0,f(x)=exa=0,\quad f(x)=e^x
    解释

    将该一般规则特化为黑板上所示的具体函数与中心点。

    步骤依据

    显式写出,例如:f(x)=exf(x) = e^x,a=0a = 0。

    视频直接表达
  3. 公式
    ex=∑n=0∞(dndxn[ex]x=0n!)xne^x=\sum_{n=0}^{\infty}\left(\frac{\frac{d^n}{dx^n}[e^x]_{x=0}}{n!}\right)x^n
    解释

    将 f(n)(0)f^{(n)}(0)(莱布尼茨记法)代入级数公式。

    步骤依据

    直接代入系数公式。

    视频直接表达
  4. 公式
    dndxnex=ex\frac{d^n}{dx^n}e^x=e^x
    解释

    exe^x 的各阶导数仍为 exe^x。

    步骤依据

    由说话者口头陈述。

    视频直接表达
  5. 公式
    dndxnex∣x=0=e0=1\left.\frac{d^n}{dx^n}e^x\right|_{x=0}=e^0=1
    解释

    在 0 处计算第 n 阶导数的值。

    步骤依据

    说话者称,代入 0 得到 e 的 0 次方,即 1。

    视频直接表达
  6. 公式
    ex=∑n=0∞xnn!e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}
    解释

    将每个系数替换为 1/n1/n!,从而得到最终级数。

    步骤依据

    对上一行进行代数化简。

    视频直接表达
结论

exe^x 在 0 处的泰勒级数为 sum_{n=0n=0}^infty xn/nx^n/n!。

将余弦函数 cos⁡(x)\cos (x) 的展开中心从 0 改为 π 所产生的影响。

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    图像从以 0 为中心的近似过渡到以 π 为中心的近似。

  2. 公式
    观察依据

    二次项标签由 1−x2/21-x^2/2 变为 −1+(x−π)2/21+(x-π)^2/2。

  3. 声音
    观察依据

    主讲人指出,若将展开点从 a=0a=0 改为 a=πa=π,则线性近似与二次近似均随之改变。

待核验内容
  1. 采样画面中未能清晰显示以 a=πa=π 为中心的新线性近似公式,但主讲人明确提到线性近似也会发生变化。

视觉说明
步骤
  1. 公式
    Original center: a=0\text{Original center: } a=0
    解释

    第一张图像展示了以 0 为中心构建近似的 cos⁡(x)\cos (x) 函数图像。

    步骤依据

    图中可见标签 1 和 1−x2/21-x^2/2,且主讲人口头提到了 a=0a=0。

    视频直接表达
  2. 公式
    New center: a=π\text{New center: } a=\pi
    解释

    动画将泰勒展开点平移至 π。

    步骤依据

    主讲人明确表示:‘我们把它下移到 a 等于 π 的位置。’

    视频直接表达
  3. 公式
    −1+(x−π)22-1+\frac{(x-\pi)^2}{2}
    解释

    二次近似被一条新的抛物线所取代,该抛物线含有 (x-π)^2 项。

    步骤依据

    更新后的图像上可见该近似,且主讲人也口头描述其以 π 为中心。

    视频直接表达
  4. 公式
    Approximation region moves with the center\text{Approximation region moves with the center}
    解释

    近似效果良好的区域现在位于 x=πx=π 附近,而非原先的 x=0x=0 附近。

    步骤依据

    主讲人指出:‘在 a=πa=π 附近,近似效果相当好。’

    视频直接表达
结论

改变展开中心点不仅改变了泰勒多项式本身,也使近似效果显著的区间发生位移。

例题详解 · 7

数值动机:计算e0.2e^{0.2}。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提问:如何计算像e0.2e^{0.2}这样的值?计算器又是如何知道它的结果的?

  2. 图示
    观察依据

    一台TI-84 Plus Silver Edition计算器的图形界面显示输入e0.2e^{0.2}和输出1.2214027581.221402758。

待核验内容
  1. 本节未解释计算器所使用的内部算法。

题目

如果不单纯依赖计算器,该如何计算像e0.2e^{0.2}这样的值?

已知条件
  1. 目标表达式:e0.2e^{0.2}。

  2. 已知参考值:e0=1e^0=1。

目标

引出一种系统化的指数值近似方法。

步骤
  1. 公式
    e0.2e^{0.2}
    解释

    明确所要求的数值量。

    步骤依据

    由主讲人口述并显示在计算器图形界面上。

    视频直接表达
  2. 公式
    1.2214027581.221402758
    解释

    计算器返回该小数值。

    步骤依据

    在计算器显示屏上可见。

    视频直接表达
  3. 公式
    e0=1e^0=1
    解释

    以邻近的精确已知值作为近似的起点。

    步骤依据

    主讲人明确指出e0e^0已知为11。

    视频直接表达
结果

该片段并未手工完成e0.2e^{0.2}的计算;而是利用该例子引出泰勒式近似。

检验

计算器显示屏提供了数值基准1.2214027581.221402758。

例题:求 exe^x 在 x=0x = 0 处的线性近似。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    所演示的比较是在 exe^x 与 c0+c1xc_0 + c_1 x 之间进行的,最终得到近似式 ex≈1+xe^x \approx 1 + x。

  2. 声音
    观察依据

    讲解者逐步代入 x=0x = 0,再令导数值相等,最终得出该近似式为 1+x1 + x。

题目

求 exe^x 在 x = 附近的线性近似。0 通过确定一条通用直线 c0+c1xc_0 + c_1 x,使其在 处与 exe^x 的函数值和斜率均相等。0。

已知条件
  1. 目标函数:exe^x。

  2. 近似形式:c0+c1xc_0 + c_1 x。

  3. 基点:x=0x = 0。

  4. 匹配要求:在 x=0x = 0 处函数值相同、斜率相同。

目标

求出 c0c_0 和 c1c_1,并写出所得的线性近似式。

步骤
  1. 公式
    e0=c0+c1⋅0e^0 = c_0 + c_1 \cdot 0
    解释

    令函数与直线在 x=0x = 0 处的值相等。

    步骤依据

    线性化要求在基点处具有相同的实际函数值。

    视频直接表达
  2. 公式
    1=c01 = c_0
    解释

    解出常数项。

    步骤依据

    由于 e0=1e^0 = 1 且 c1c_1 ⋅ 0=00 = 0。

    视频直接表达
  3. 公式
    ddx(ex)=ex,ddx(1+c1x)=c1\frac{d}{dx}(e^x) = e^x, \qquad \frac{d}{dx}(1 + c_1 x) = c_1
    解释

    在代入 c0=1c_0 = 1 后,对等式两边求导。

    步骤依据

    线性化还要求在基点处具有相同的斜率。

    视频直接表达
  4. 公式
    e0=c1e^0 = c_1
    解释

    在 x=0x = 0 处计算导数相等式。

    步骤依据

    斜率匹配条件施加于同一点 x=0x = 0。

    依据视频推导
  5. 公式
    1=c11 = c_1
    解释

    解出 x 的系数。

    步骤依据

    再次利用 e0=1e^0 = 1。

    视频直接表达
  6. 公式
    ex≈1+xe^x \approx 1 + x
    解释

    整理出最终的线性近似式。

    步骤依据

    将 c0=1c_0 = 1 与 c1=1c_1 = 1 代入 c0+c1xc_0 + c_1 x。

    视频直接表达
结果

e 的 x 次方约等于1加 x

检验

主讲人从概念上验证:该近似在 0 附近效果良好,但在远离 0 处变差,这与所展示的切线图像一致。

例题:求exe^x在00处的二次近似

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人具体处理exe^x,并说明他正是以这种方式处理exe^x的。

  2. 公式
    观察依据

    黑板上展示了从ex≈c0+c1x+c2x2e^x\approx c_0+c_1x+c_2x^2到ex≈1+x+12x2e^x\approx 1+x+\frac12x^2的推导过程。

  3. 图示
    观察依据

    图像显示了exe^x以及一条在(0,1)(0,1)处与之相切的抛物线状曲线,并标出二者具有相同的函数值、相同的斜率和相同的凹凸性。

题目

求一个二次多项式,用于在 exe^x 附近近似 x=0x=0,方法是使该多项式在 x=0x=0 处的函数值、斜率和凹性均与原函数一致。

已知条件
  1. 目标函数:exe^x。

  2. 近似形式:c0+c1x+c2x2c_0+c_1x+c_2x^2。

  3. 在x=0x=0处的条件:函数值相同、斜率相同、凹凸性相同。

  4. 已知的函数值:e0=1e^0=1。

目标

确定c0c_0、c1c_1和c2c_2,并写出所得的二次近似式。

步骤
  1. 公式
    c0+c1(0)+c2(0)2=e0=1c_0+c_1(0)+c_2(0)^2=e^0=1
    解释

    使函数值在x=0x=0处相等。

    步骤依据

    说话人陈述的函数值相等条件。

    视频直接表达
  2. 公式
    c0=1c_0=1
    解释

    由函数值相等条件解出常数项系数。

    步骤依据

    含因子00的项为零。

    视频直接表达
  3. 公式
    ddx(1+c1x+c2x2)=c1+2c2x\frac{d}{dx}(1+c_1x+c_2x^2)=c_1+2c_2x
    解释

    代入c0=1c_0=1后对二次式求导。

    步骤依据

    幂函数求导法则。

    视频直接表达
  4. 公式
    e0=c1+2c2(0)e^0=c_1+2c_2(0)
    解释

    使斜率在x=0x=0处相等。

    步骤依据

    说话人陈述的斜率相等条件。

    视频直接表达
  5. 公式
    c1=1c_1=1
    解释

    根据斜率条件求解线性系数。

    步骤依据

    e0=1e^0=1和2c2(0)=02c_2(0)=0。

    视频直接表达
  6. 公式
    d2dx2(1+1x+c2x2)=2c2\frac{d^2}{dx^2}(1+1x+c_2x^2)=2c_2
    解释

    在代入c1=1c_1=1后,对二次函数求二阶导数。

    步骤依据

    幂法则应用两次。

    视频直接表达
  7. 公式
    e0=2c2e^0=2c_2
    解释

    使函数在x=0x=0处的凹凸性一致。

    步骤依据

    凹凸性一致的条件通过二阶导数来确定。

    视频直接表达
  8. 公式
    c2=12c_2=\frac12
    解释

    根据凹凸性条件求解二次项系数。

    步骤依据

    e0=1e^0=1,因此1=2c21=2c_2。

    视频直接表达
  9. 公式
    ex≈1+x+12x2e^x\approx 1+x+\frac12x^2
    解释

    将求得的三个系数全部代入二次函数。

    步骤依据

    将已解出的系数组合起来。

    视频直接表达
结果

ex≈1+x+12x2e^x\approx 1+x+\frac{1}{2}x^2在x=0x=0附近。

检验

视频通过检验在x=0x=0处显示的三个条件来验证该构造:多项式函数值为11,一阶导数在00处为11,二阶导数为11,均与exe^x所对应的显示值一致。

建立 exe^x 的麦克劳林级数

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上先写出Ex:f(x)=ex,a=0Ex: f(x)=e^x,\quad a=0,再写出ex=∑n=0∞(dndxn[ex]x=0)xne^x=\sum_{n=0}^{\infty}\left(\frac{d^n}{dx^n}[e^x]_{x=0}\right)x^n。

  2. 声音
    观察依据

    主讲人说:“我们从ee的xx次幂开始,而我现在是在aa等于零处展开”,随后开始代入公式。

待核验内容
  1. 本片段仅完成了该例题的设定;dndxn[ex]x=0\frac{d^n}{dx^n}[e^x]_{x=0}的化简及最终级数∑xn/n!\sum x^n/n!均未在本段结束前展示。

题目

利用系数公式,求f(x)=exf(x)=e^x在a=0a=0处的泰勒/麦克劳林展开式。

已知条件
  1. f(x)=exf(x)=e^x

  2. a=0a=0

  3. 由前述讨论得出的一般公式cn=f(n)(a)n!c_n=\frac{f^{(n)}(a)}{n!}。

目标

将导数数据代入一般公式,把exe^x表示为以0为中心的幂级数。

步骤
  1. 公式
    f(x)=ex,a=0f(x)=e^x,\quad a=0
    解释

    明确指出所选函数与中心点。

    步骤依据

    明确书写在黑板上。

    视频直接表达
  2. 公式
    ex=∑n=0∞(dndxn[ex]x=0)xne^x=\sum_{n=0}^{\infty}\left(\frac{d^n}{dx^n}[e^x]_{x=0}\right)x^n
    解释

    将函数与中心点代入系数模式,导数的取值保持显式形式。

    步骤依据

    直接应用前文展示的麦克劳林/泰勒系数公式。

    视频直接表达
结果

该片段结束于设定式ex=∑n=0∞(dndxn[ex]x=0)xne^x=\sum_{n=0}^{\infty}\left(\frac{d^n}{dx^n}[e^x]_{x=0}\right)x^n;本段内未显示化简后的最终级数。

检验

在该片段可见部分中,未进行任何验证。

exe^x 在 a=0a = 0 处的泰勒级数示例

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板示例:例如,f(x)=exf(x) = e^x,a=0a = 0,随后展示级数构造过程及最终化简后的级数。

  2. 声音
    观察依据

    主讲人逐步演算导数值,并指出这就是 e 的 x 次方的泰勒级数。

题目

利用系数公式,求 f(x)=exf(x) = e^x 在 a=0a = 0 处的泰勒级数。

已知条件
  1. f(x)f(x) 等于 e 的 x 次方

  2. a=0a = 0

  3. 〔cnc_n〕等于〔f〕的〔n〕阶导数在〔a〕处的值除以〔n〕的阶乘。

目标

求 exe^x 在 0 处的显式级数表示。

步骤
  1. 公式
    cn=f(n)(0)n!c_n=\frac{f^{(n)}(0)}{n!}
    解释

    将泰勒系数公式应用于中心点 0。

    步骤依据

    依据屏幕上显示的定理。

    视频直接表达
  2. 公式
    f(n)(x)=exf^{(n)}(x)=e^x
    解释

    对 exe^x 进行多次求导。

    步骤依据

    主讲人指出,exe^x 的各阶导数均为 exe^x。

    视频直接表达
  3. 公式
    f(n)(0)=e0=1f^{(n)}(0)=e^0=1
    解释

    在中心点处求值。

    步骤依据

    主讲人代入0,并指出 e0=1e^0 = 1。

    视频直接表达
  4. 公式
    ex=∑n=0∞xnn!e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}
    解释

    将 cn=1/nc_n = 1/n! 代入幂级数。

    步骤依据

    化简过程在黑板上展示。

    视频直接表达
结果

e 的 x 次方等于从 n 等于0到无穷的求和,x 的 n 次方除以 n 的阶乘。

检验

最终公式明确写在黑板上,主讲人口头指出这是 exe^x 的泰勒级数。

cos⁡(x)\cos (x) 在 a=0a = 0 处的图形化泰勒近似

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    图像中,cos⁡(x)\cos (x) 用蓝色表示,一条黄色水平线标为1,一条紫色抛物线标为1−x2/21-x^2/2。

  2. 声音
    观察依据

    主讲人称这些是余弦函数关于 a=0a = 0 的一阶和二阶泰勒多项式近似。

待核验内容
  1. 该片段未通过导数推导这些多项式,而是以图形方式呈现。

题目

图示 cos⁡(x)\cos (x) 在中心点0处的一阶和二阶泰勒多项式近似。

已知条件
  1. 函数:cos⁡(x)\cos (x)

  2. 中心:a=0

  3. 显示的近似式:1 和 1-x2x^2/2

目标

将原函数与其在中心附近的低次泰勒多项式进行比较。

步骤
  1. 公式
    P1(x)=1P_1(x)=1
    解释

    第一个近似式是切线水平的多项式,以高度为1的水平直线表示。

    步骤依据

    图中标注可见,且语音中会指出其名称。

    视频直接表达
  2. 公式
    P2(x)=1−x22P_2(x)=1-\frac{x^2}{2}
    解释

    第二个近似式是二次多项式,以开口向下的抛物线表示。

    步骤依据

    图中标注可见,且语音中会指出其名称。

    视频直接表达
  3. 公式
    Good near x=0, poor far from x=0\text{Good near }x=0,\ \text{poor far from }x=0
    解释

    图像显示:在中心附近吻合良好,远离中心时则显著偏离。

    步骤依据

    讲解者指出:这些近似式在零点附近看起来相当好,但在远处则非常差。

    视频直接表达
结果

显示的近似式为 P1(x)P_1(x)=1 和 P2(x)P_2(x)=1-x2x^2/2,二者均以0为中心。

检验

公式直接写在图像上,并与语音描述一一对应。

将余弦函数近似的中心改为 a=πa = π

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    当讲解者说“将中心移至 a=pi”后,图像随之更新。

  2. 公式
    观察依据

    新的二次近似表达式为 -1+(x-π)^2/22/2。

  3. 声音
    观察依据

    说话者指出该多项式含有 (x-π)^2 因子,且以 π 为中心。

待核验内容
  1. 在采样帧中,新的线性近似表达式未能清晰呈现,但说话者提到线性近似也随之改变。

题目

展示当余弦函数 cos⁡(x)\cos (x) 的泰勒近似中心从 0 移至 π 时,近似结果如何变化。

已知条件
  1. 函数:cos(x

  2. 原始中心:a=0a = 0

  3. 新中心:a=πa = π

目标

在中心平移后,识别新的局部近似表达式。

步骤
  1. 公式
    Move center from 0 to π\text{Move center from }0\text{ to }\pi
    解释

    动画将展开点重新定位。

    步骤依据

    由说话者明确指出。

    视频直接表达
  2. 公式
    −1+(x−π)22-1+\frac{(x-\pi)^2}{2}
    解释

    二次近似变为一条包含 (x-π)^2 的新抛物线。

    步骤依据

    更新后的图像上显示的标签。

    视频直接表达
  3. 公式
    Approximation is now good near x=π\text{Approximation is now good near }x=\pi
    解释

    高度吻合的区域移动到了 π 附近。

    步骤依据

    讲解者称,在 a=πa = π 附近,近似效果相当好。

    视频直接表达
结果

当 a=πa = π 时,屏幕上显示的二次近似式为 -1+(x-pi)^2/22/2,表明该多项式以 π 为中心。

检验

该公式在屏幕上清晰可见,并通过口头说明与中心的平移关联起来。

图示与动画 · 20

片头标题卡

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    大幅粉笔风格文字在深色背景上显示“TAYLOR SERIES”。

图中对象
  1. 文字“TAYLOR SERIES”

变化过程
  1. 标题在视频片段开始时出现。

不变量
  1. 尚未显示任何数学公式。

数学含义

本段被介绍为关于泰勒级数的课程。

y=exy=e^x的主图像

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    坐标平面上显示一条标有y=exy=e^x的蓝色曲线,坐标轴已标注,且该曲线经过点(0,1)(0,1)。

图中对象
  1. 蓝色曲线y=exy=e^x

  2. 坐标轴

  3. 点(0,1)(0,1)

变化过程
  1. 蓝色指数曲线在整个视频片段中作为固定的靶函数保持不变。

不变量
  1. 所绘制的靶函数不发生变化。

数学含义

所有后续曲线均与这条固定的指数图像进行比较。

计算器演示e0.2e^{0.2}

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一台TI-84 Plus Silver Edition计算器出现在左侧,其输入为e0.2e^{0.2},输出为1.2214027581.221402758。

图中对象
  1. 计算器图形

  2. 输入e0.2e^{0.2}

  3. 输出1.2214027581.221402758

变化过程
  1. 计算器叠加层出现,显示计算过程,随后消失。

不变量
  1. 函数exe^x的主图像保留在叠加层后方。

数学含义

该例确立了一个具体的数值目标,其求值过程推动了逼近理论的发展。

常数逼近及其误差增长

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条标有y=1y=1的橙色水平线经过点(0,1)(0,1)。

  2. 动画
    观察依据

    一条黄色双向垂直箭头标记了y=exy=e^x与y=1y=1之间的距离,该距离随取值点向右移动而增大。

图中对象
  1. 橙色直线y=1y=1

  2. 蓝色曲线y=exy=e^x

  3. 黄色垂直误差标记

变化过程
  1. 常数直线出现。

  2. 误差标记先置于x=0x=0附近,随后在更大的xx处显示,此时两者之间的间隙明显增大。

不变量
  1. 目标曲线保持为y=exy=e^x。

  2. 在此区间内,近似函数保持为常数11。

数学含义

图像表明:仅匹配x=0x=0处的函数值所得到的近似十分粗糙,其误差会迅速随离中心点距离的增加而增大。

线性切线近似

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条标有y=1+xy=1+x的紫色直线在(0,1)(0,1)处与蓝色曲线相切。

  2. 动画
    观察依据

    一条黄色垂直误差标记再次出现在y=exy=e^x与紫色直线之间,靠近00处的误差明显小于常数近似情形。

图中对象
  1. 紫色直线y=1+xy=1+x

  2. 蓝色曲线y=exy=e^x

  3. 黄色垂直误差标记

变化过程
  1. 橙色的常数直线被替换为紫色的切线。

  2. 误差标记根据新的近似重新绘制。

不变量
  1. 相切点保持为(0,1)(0,1)。

  2. 目标函数保持为y=exy=e^x。

数学含义

使用切线可提升局部近似效果,因为它在展开点处同时匹配函数值和斜率。

二次近似

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    画出一条标有y=1+x+x22y=1+x+\frac{x^2}{2}的黄色抛物线,它在(0,1)(0,1)处与蓝色曲线相切,并更紧密地跟随该曲线。

图中对象
  1. 黄色抛物线y=1+x+x22y=1+x+\frac{x^2}{2}

  2. 蓝色曲线y=exy=e^x

变化过程
  1. 线性近似被一条向上弯曲、与指数函数形状一致的曲线型二次近似所替代。

不变量
  1. 接触点保持为(0,1)(0,1)。

  2. 该二次近似在该点附近仍保持相同的初始线性行为。

数学含义

添加一个二阶项,可使近似函数捕捉曲率,从而减小在x=0x=0附近的明显偏差。

三次近似

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一条灰色的三次曲线出现,并标注为y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}。

待核验内容
  1. 该片段在深入讨论三次近似的误差行为之前就结束了。

图中对象
  1. 灰色三次曲线y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}

  2. 蓝色曲线y=exy=e^x

变化过程
  1. 作为序列中的下一次精化,加入了一个三阶多项式。

不变量
  1. 这个新多项式在先前的二次多项式基础上增加了一项。

数学含义

该序列继续向更高阶的泰勒多项式延伸。

exe^x 函数图像与若干多项式近似图像的叠加图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    坐标平面上绘制了蓝色曲线 y=exy = e^x,以及若干多项式近似式,包括 y=1+x+x2/2+x3/6y = 1 + x + x^2/2 + x^3/6 和 y=1+x+x2/2+x3/6+x4/24y = 1 + x + x^2/2 + x^3/6 + x^4/24。

  2. 声音
    观察依据

    主讲人表示,他可以将多项式展开到四次项,或任意多的项数,并指出:次数越高,近似效果越好。

待核验内容
  1. 部分中间曲线仅短暂可见,因此它们的颜色与对应公式的映射关系在整个区间上并非完全稳定。

图中对象
  1. 标有 y=exy = e^x 的蓝色曲线。

  2. 标有 y=1+x+x2/2+x3/6y = 1 + x + x^2/2 + x^3/6 的紫色三次曲线。

  3. 标有 y=1+x+x2/2+x3/6+x4/24y = 1 + x + x^2/2 + x^3/6 + x^4/24 的黄色四次曲线。

  4. 坐标轴带有可见的刻度标签:x 轴上为 -2、2;y 轴上为 -1、1、2、3。

变化过程
  1. 除 exe^x 外,还展示了其他多项式曲线。

  2. 视觉重点从单个近似曲线逐步转向一族次数逐次升高的近似曲线。

不变量
  1. 所有被比较的曲线均绘制在同一坐标系中。

  2. 目标函数 y=exy = e^x 始终作为参考曲线。

数学含义

该图像说明:增加更多多项式项,可使近似曲线在展开点附近的更大邻域内更紧密地贴合 exe^x。

对两条切线匹配条件的注释说明

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黄色文字“函数值相同”指向横坐标为0处的公共点。

  2. 图示
    观察依据

    黄色文字“斜率相同”出现在同一位置的切线旁。

  3. 声音
    观察依据

    讲解者指出,该函数与切线在 x=0x = 0 处具有相同的函数值和相同的斜率。

图中对象
  1. 蓝色曲线 y=exy = e^x。

  2. 紫色切线,位于 x=0x = 0 处。

  3. 黄色标签:“函数值相同”和“斜率相同”。

变化过程
  1. 先标注公共点,再标注公共斜率。

不变量
  1. 两个标签均指向同一个基准点 x=0x = 0。

  2. 底图保持不变,仅逐步添加注释。

数学含义

视觉注释编码了线性化的定义条件:函数值相等,且一阶导数值在展开点处相等。

在一个方框面板内进行分步代数推导。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    一个带方框的显示区域依次呈现 exe^x 和 c0+c1xc_0 + c_1 x,随后更新为1=c01 = c_0、1+c1x1 + c_1 x、导数相关行,以及1=c11 = c_1。

  2. 声音
    观察依据

    讲解者叙述代入 x=0x = 0,然后令导数相等。

图中对象
  1. 左上区域显示带方框的公式。

  2. 表达式 exe^x、c0+c1xc_0 + c_1 x、1=c01 = c_0、1+c1x1 + c_1 x、导数相关陈述,以及 1=c11 = c_1。

变化过程
  1. 该方框首先给出通用线性形式。

  2. 接着写出函数值匹配方程。

  3. 再将 c0c_0 替换为 1。

  4. 最后对等式两边求导并解出 c1c_1。

不变量
  1. 整个推导始终聚焦于同一对函数:exe^x 和线性模型。

  2. 基准点在整个过程中保持为 x=0x = 0。

数学含义

该面板将几何上的切线概念转化为明确的代数操作:先令 f(0)f(0) 相等,再令 f'(0) 相等,从而确定近似直线的系数。

从具体结果推广到一般线性近似公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 ex≈1+xe^x \approx 1 + x。

  2. 公式
    观察依据

    第二个方框公式出现:f(x)f(x) ≈ f(0)+ff(0) + f'(0)x。

  3. 声音
    观察依据

    主讲人从该例题推广到标准的线性近似公式。

图中对象
  1. 公式 exe^x ≈ 1+x1 + x。

  2. 公式 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x。

  3. 保留带有切线标注的图像。

变化过程
  1. 先展示具体的指数函数结果。

  2. 然后在其下方补充适用于任意函数 f 的更一般公式。

不变量
  1. 两个公式均描述在 x=0x = 0 附近的近似。

  2. 图像持续呈现切线解释。

数学含义

该视觉序列将已演算的例题与原点处线性化的标准微积分公式联系起来。

函数值、斜率与凹凸性匹配的几何含义

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    坐标平面上显示一条蓝色的类指数曲线和一条黄色的类抛物线曲线,二者在(0,1)(0,1)处相交。

  2. 图示
    观察依据

    黄色标签分别显示“函数值相同”和“斜率相同”,约在11秒处又添加了“凹凸性相同”。

待核验内容
  1. 每条曲线的确切颜色分配在视觉上清晰可辨:蓝色为类指数曲线,黄色为类抛物线曲线;但屏幕上未提供图例来命名这些曲线。

图中对象
  1. 蓝色曲线表示exe^x。

  2. 黄色类抛物线曲线表示二次逼近。

  3. 坐标轴带有可见的刻度标签,包括−2-2、22、−1-1、11、22和33。

  4. 接触点位于(0,1)(0,1)。

  5. 标签分别为“函数值相同”、“斜率相同”和“凹凸性相同”。

变化过程
  1. 图像首先强调在接触点处函数值相同与斜率相同。

  2. 在11秒左右,标签“凹凸性相同”被添加在接触点旁。

  3. 黄色曲线被置于恰好与蓝色曲线在(0,1)(0,1)处相切的位置,而非简单穿过它。

不变量
  1. 接触点保持在x=0x=0,y=1y=1。

  2. 蓝色曲线始终作为参考的类指数图像。

  3. 所显示的匹配条件是逐次累加而非相互替换。

数学含义

视觉标签将代数要求转化为:函数值相等、一阶导数相等、以及在展开点处二阶导数相等。

易错点 · 10

将一个在邻近点表现良好的近似误认为是全局准确的

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,用 e0.2e^{0.2} 近似 11“还不错”,但如果考虑离零点更远的 exe^x,误差会迅速变得非常大。

  2. 动画
    观察依据

    在 y=exy=e^x 和 y=1y=1 之间的黄色竖直间隙,会随着求值点远离 00 而显著扩大。

误区

由于 y=1y=1 在 exe^x 处与 x=0x=0 相等,人们可能认为它是一个总体上良好的近似。

说明

视频表明,常数近似仅在00附近略微有用;当xx远离展开点时,其误差迅速增大。

将切线视为近似过程的终点

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在赞扬了切线之后,演讲者立即问道:“但我们能否做得更好?能否超越线性近似?”

误区

人们可能认为线性近似是目前可用的最佳局部方法。

说明

该片段明确地在切线之后继续介绍二次和三次近似。

混淆局部近似与精确相等

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“这并不是说它们完全相等。”

  2. 声音
    观察依据

    他补充说,远离0时,该近似效果会越来越差,但在其附近尚可接受。

误区

有人可能认为,因为 exe^x ≈ 1+x1 + x 附近 0,这两个表达式作为函数是相等的。

说明

视频明确区分了近似与相等:这种匹配仅在展开点附近效果良好,而离该点越远,匹配效果越差。

过度外推切线近似的有效范围

时间近似
依据视频推导
来源依据
  1. 声音
    观察依据

    主讲人警告说,远离0时,该近似效果会越来越差。

  2. 图示
    观察依据

    在 x=0x = 0 之外,切线明显偏离蓝色的指数曲线。

待核验内容
  1. 这一结论由口头警告和图像推断得出,而非作为单独命名的误解被明确提出。

误区

将切线近似当作处处可靠的方法,而非仅在局部有效。

说明

讲座将线性化呈现为一种以 x=0x = 0 为中心的局部工具,其精度随远离该点而下降。

以二阶导数作为判断凹性的条件

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“现在我想考察凹性,即二阶导数。”

误区

人们在改进切线近似时,或许只尝试匹配函数值与斜率,而对曲率不加约束。

说明

视频明确添加了第三个条件:近似二次函数必须与目标函数具有相同的凹性,这一要求具体化为二者在x=0x=0处的二阶导数相等。

求导与代入的先后顺序

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    对于斜率条件,主讲人首先求导,然后说明将代入零。

  2. 公式
    观察依据

    所展示的导数c1+c2⋅2xc_1+c_2\cdot 2x在x=0x=0处取值,从而消去含xx的项。

误区

若在求导前就代入x=0x=0,则会抹去确定高阶系数所需的信息。

说明

视频所采用的方法是先求导、再在x=0x=0处取值,因此导数条件能分别揭示c1c_1和c2c_2,而非将所有内容坍缩为c0c_0。

认为0的选择在数学上至关重要

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“我在此处代入xx等于零这一事实,从某种意义上讲并不重要”,随后解释道,可以将这个零替换为aa。

误区

人们可能以为系数提取法之所以奏效,仅仅是因为该级数以0为中心。

说明

视频指出,0只是所选定的中心;同样的思路可推广至任意中心aa,从而导出泰勒级数公式,其中各阶导数均在aa处取值。

将前几个系数视为彼此无关的特例

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    由于0!=10!=1、1!=11!=1和2!=22!=2,前几项分母可改写为阶乘形式。

误区

早期公式c0=f(0)c_0=f(0)、c1=f′(0)c_1=f'(0)和c2=f′′(0)2c_2=\frac{f''(0)}{2}看似是脱离一般规则的特殊情形。

说明

一旦写成f(0)0!\frac{f(0)}{0!}、f′(0)1!\frac{f'(0)}{1!}和f′′(0)2!\frac{f''(0)}{2!}的形式,它们便符合同一模板。

假设低次泰勒多项式在所有地方都表现良好

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者指出,这些近似在零附近看起来相当不错,但在远离零处,二次近似会趋向负无穷,从而成为极差的近似。

  2. 图示
    观察依据

    紫色抛物线在远离 x=0x=0 处明显偏离蓝色余弦曲线。

误区

泰勒多项式可能看似能全局替代原函数,因为它在中心点处吻合得很好。

说明

该片段强调:这种近似是局部的——它在所选中心点 a 附近可能极为精确,但在远离 a 处则可能很差。

将“良好近似”视为已定义的概念

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说:“我们尚未严格量化‘相当不错’究竟意味着多好的近似。”

误区

观众可能认为视频此前已给出近似效果良好的精确定义标准。

说明

讲话者明确指出,在本段摘录中,“良好近似”的概念尚未被量化。

概念关系 · 25

在x=0x=0处的零阶常数近似 → 通过切线实现的一阶线性近似。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    演讲者将常数直线与切线对比,指出后者是一种更优的、基于微积分的近似。

  2. 图示
    观察依据

    橙色直线y=1y=1被紫色切线y=1+xy=1+x所取代。

推广
解释

线性近似通过在展开点处加入斜率信息,从而扩展了常数近似。

通过切线实现的一阶线性近似。 → 二阶二次逼近

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    演讲者先提问能否超越线性近似,随后引入了二次近似。

  2. 图示
    观察依据

    紫色直线被黄色抛物线y=1+x+x22y=1+x+\frac{x^2}{2}所取代。

推广
解释

二次近似通过添加一个二阶项,进一步扩展了线性近似,从而更紧密地匹配曲率。

二阶二次逼近 → 三阶三次逼近

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者指出,同样的方法也可用于三次函数。

  2. 图示
    观察依据

    黄色抛物线之后是灰色三次函数y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}。

推广
解释

三次逼近通过再增加一项多项式,延续了相同的模式。

将泰勒级数作为一种精巧的近似方法 → 三阶三次逼近

依据清楚
依据视频推导
来源依据
  1. 声音
    观察依据

    说话者将泰勒定理介绍为支撑高阶逼近的强大方法。

  2. 图示
    观察依据

    视频其余部分展示了函数exe^x在点00处的常数、线性、二次和三次逼近。

待核验内容
  1. 本片段尚未给出泰勒定理的正式表述。

应用
解释

屏幕上展示的多项式阶梯被呈现为泰勒级数思想的一种应用或动机。

通过匹配函数值与斜率实现线性化 → 驱动泰勒级数研究的核心问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,要先回到线性化,再加以推广。

  2. 公式
    观察依据

    该片段以 ex≈1+xe^x \approx 1 + x 为起点,推进到 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x,并宣布下一步将转向二次多项式。

推广
解释

泰勒级数被引入作为切线线性化的推广,用于更高次的多项式逼近。

通用线性近似形式 → exe^x 在 0 处的线性近似

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    推导过程从 c0+c1xc_0 + c_1 x 开始,最终得到 ex≈1+xe^x \approx 1 + x。

应用
解释

通用线性模型被应用于具体函数 exe^x,从而得到具体逼近式 1+x1 + x。

exe^x 在 0 处的线性近似 → 在0处的一般线性近似公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上先显示 ex≈1+xe^x \approx 1 + x,然后显示 f(x)≈f(0)+ff(x) \approx f(0) + f'(0)x。

  2. 声音
    观察依据

    说话者说:“更一般一点地说,线性近似就是:f 的 x 次函数值近似等于 f 的零次函数值加上 f 在零处的导数再乘以 x。”

特例
解释

exe^x 的公式是中心在 0 处的一般线性逼近公式的特例。

次数更高的多项式能提供更优的局部近似。 → 驱动泰勒级数研究的核心问题

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人比较了常数、线性、二次、三次和四次逼近。

  2. 图示
    观察依据

    多条多项式曲线与 y=exy = e^x 叠加显示。

包含
解释

观察到更高次的多项式能改善局部逼近效果,这是研究泰勒级数的重要动机之一。

通过匹配函数值与斜率实现线性化 → 通用线性近似形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,这两个条件是函数值相同和斜率相同。

  2. 公式
    观察依据

    这些条件随后被用来求解 c0c_0 和 c1c_1。

证明依赖
解释

c0c_0 和 c1c_1 的代数确定过程,直接依赖于在 x=0x = 0 处函数值相等和斜率相等的几何匹配条件。

在x=0x=0处的二次近似条件 → exe^x在00处的二次逼近

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提到切线,并表示将用一个二次函数来近似它,该二次函数满足相同的初始限制条件,外加凹凸性相同。

  2. 图示
    观察依据

    图像上标注了函数值相同、斜率相同,然后补充了凹凸性相同。

推广
解释

二次近似通过保留函数值匹配与斜率匹配,并增加二阶导数匹配,从而推广了切线的思想。

在x=0x=0处的二次近似条件 → 一般二次多项式的标准形式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上列出了三个系数c0,c1,c2c_0,c_1,c_2和三条基于导数的条件。

  2. 声音
    观察依据

    主讲人指出,三条限制条件与三个系数应当恰好对应求解。

应用
解释

将三条近似条件应用于一般二次函数的三个系数,从而确定该多项式。

exe^x在00处的二次逼近 → 通用幂级数表示

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,他此前对exe^x正是这样做的,接着提出将这一思想推广到具有幂级数展开的函数。

  2. 公式
    观察依据

    黑板上的表达式由ex≈1+x+12x2e^x\approx 1+x+\frac12x^2变为f(x)=c0+c1x+c2x2+c3x3+⋯f(x)=c_0+c_1x+c_2x^2+c_3x^3+\cdots。

推广
解释

将针对具体exe^x的二次构造推广为针对一般函数f(x)f(x)的无穷幂级数。

问题定位 · 28

为什么泰勒定理对于函数逼近与计算至关重要?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者将泰勒定理介绍为计算中所使用的一种强大方法。

涉及知识点
  1. 将泰勒级数作为一种精巧的近似方法

为什么在展开点处使用切线近似比使用常数值更优?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    该视频片段将y=1y=1和y=1+xy=1+x与y=exy=e^x进行比较。

  2. 声音
    观察依据

    说话者解释道,切线近似比常数近似更精确。

涉及知识点
  1. 在x=0x=0处的零阶常数近似
  2. 通过切线实现的一阶线性近似。

常数近似值的误差会发生什么变化 y=1y=1 当 xx 远离 00 时?

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    黄色的垂直间隔标记随着点远离00而增大,这对应于常数近似。

涉及知识点
  1. 在x=0x=0处的零阶常数近似
  2. 常数近似的误差随远离展开点而增大

添加一个二次项如何改善exe^x在x=0x=0附近的近似效果?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黄色抛物线y=1+x+x22y=1+x+\frac{x^2}{2}比紫色直线更紧密地拟合蓝色指数曲线。

  2. 声音
    观察依据

    说话者指出,二次函数可以比线性近似做得更好。

涉及知识点
  1. 二阶二次逼近
  2. 添加更高次项可得到更优的局部近似。

在这个序列中,二次近似之后的下一个近似是什么?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    灰色三次曲线y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}出现在二次曲线之后。

  2. 声音
    观察依据

    说话者指出,同样的方法也可用于三次近似。

待核验内容
  1. 视频片段在详细阐述三次误差行为之前就结束了。

涉及知识点
  1. 三阶三次逼近

根据本节介绍,泰勒级数解决的是什么问题?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提出如何构造这些多项式、它们是否最优,以及近似效果有多好,随后引出泰勒级数的概念。

涉及知识点
  1. 驱动泰勒级数研究的核心问题

视频为何称四次多项式近似比低次多项式近似更优?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,多项式的次数越高,近似效果就越好。

  2. 图示
    观察依据

    屏幕上展示了多条逼近曲线与函数 y=exy=e^x 的对比图像。

涉及知识点
  1. 次数更高的多项式能提供更优的局部近似。

使用切线进行线性近似时,必须使哪两个量相等?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,该函数与切线在 x=0x=0 处具有相同的函数值和相同的斜率。

  2. 图示
    观察依据

    图像上标有“函数值相同”和“斜率相同”两个标签。

涉及知识点
  1. 通过匹配函数值与斜率实现线性化

系数 c0c_0 和 c1c_1 如何确定 exe^x 在 0?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板推导出 1=c01=c_0 来自 x=0x=0 且 1=c11=c_1 来自导数相等。

涉及知识点
  1. 通用线性近似形式
  2. 确定 c0c_0 通过匹配 x = 处的函数值。0
  3. 确定 c1c_1 通过匹配 x = 处的斜率。0

视频中展示的 exe^x 在 x=0x=0 附近的线性近似是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 ex≈1+xe^x \approx 1 + x。

涉及知识点
  1. exe^x 在 0 处的线性近似
  2. 例题:求 exe^x 在 x=0x = 0 处的线性近似。

在 exe^x 的例子之后,给出的在 0 处线性近似的通用公式是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x。

涉及知识点
  1. 在0处的一般线性近似公式

视频是否将 1+x1+x 呈现为与 exe^x 严格相等?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出该近似不是精确相等,且离 0 越远,近似效果越差。

涉及知识点
  1. 混淆局部近似与精确相等
  2. exe^x 在 0 处的线性近似
覆盖情况与待核验内容

已覆盖 · 标题卡片将本节主题介绍为泰勒级数。

已覆盖 · 说话者以exe^x及数值例子e0.2e^{0.2}作为引入动机。

已覆盖 · 泰勒定理被介绍为一种强大的近似工具。

已覆盖 · 常数近似y=1y=1被提出,并解释了它在远离00时的局限性。

已覆盖 · 切线近似y=1+xy=1+x被引入,并与常数直线进行直观对比。

已覆盖 · 二次近似y=1+x+x22y=1+x+\frac{x^2}{2}被引入,作为更优的局部拟合。

已覆盖 · 三次近似y=1+x+x22+x36y=1+x+\frac{x^2}{2}+\frac{x^3}{6}在本片段结束前被展示为下一步。

已覆盖 · 音频介绍泰勒级数的启发性问题,同时屏幕上显示 exe^x 的图像及多项式近似图像。

已覆盖 · 主讲人依次叠加常数项至四次项的近似,并指出更高次数可提升近似精度。

已覆盖 · 回顾切线线性化,屏幕上有标注:“函数值相同”和“斜率相同”。

已覆盖 · 代数推导线性模型 c0+c1xc_0 + c_1 x 的系数。

已覆盖 · 结论:exe^x ≈ 1+x1 + x,并提醒该近似仅在局部成立,而非精确相等。

已覆盖 · 通用公式 f(x)f(x) ≈ f(0)+ff(0) + f'(0)x 被展示并讲解;随后主讲人宣布将转向二次多项式。

已覆盖 · 音频部分引入了用二次函数替代切线逼近的思想,并指出需满足三个匹配条件;图示标签标明:函数值相同、斜率相同、凹性相同。

已覆盖 · 黑板展示一般二次函数c0+c1x+c2x2c_0+c_1x+c_2x^2,主讲人将三个系数分别与三个条件对应起来。

已覆盖 · 将x=0x=0代入后确定c0=1c_0=1,黑板相应更新多项式。

已覆盖 · 一阶导数被展示,并在x=0x=0处求值,得到c1=1c_1=1。

已覆盖 · 二阶导数被展示,并在x=0x=0处求值,得到c2=1/2c_2=1/2。

已覆盖 · 最终的二次近似式ex≈1+x+12x2e^x\approx 1+x+\frac12x^2被展示,并总结为在x=0x=0附近的局部近似。

已覆盖 · 黑板切换为f(x)f(x)的一般幂级数形式,主讲人仅在较高层次上陈述收敛性假设。

已覆盖 · 一阶导数级数被展示,并逐项运用幂法则进行解释。

已覆盖 · 二阶导数级数被展示;视频片段在通项系数公式完成之前结束。

已覆盖 · 在所提供视频片段时长内,最终显示的导数行之后未出现额外数学内容。

已覆盖 · 对所显示的幂级数逐项求导,并显现出n阶导数的规律。

已覆盖 · 代入x=0x=0,提取c0、c1、c2、cn,并改写为含阶乘分母的形式。

已覆盖 · 方框内语句定义了麦克劳林级数。

已覆盖 · 从中心0推广至中心a,即为泰勒级数。

已覆盖 · 以f(x)=exf(x)=e^x为例并设a=0a=0;该片段在写出化简后级数前结束。

已覆盖 · 黑板上呈现定理并逐步推导 exe^x 在 a=0a=0 处的泰勒级数。

已覆盖 · 图形化比较 cos⁡(x)\cos (x) 与其在 a=0a=0 处的一阶和二阶泰勒多项式,并讨论其局部性。

已覆盖 · 通过动画与讲解,展示当中心从 0 移动到 π 时,近似函数如何变化。

探索视频中的知识

已审核的主题路径

这个视频解答的问题

认识概念

↗
认识概念

↗
理解原因

↗
理解原因

↗
掌握方法

↗