ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

泰勒公式及其在高中的运用

2022-06-18 09:32:01  阅读:197  来源: 互联网

标签:泰勒 frac 高中 公式 cdots frac1 aligned


泰勒公式及其在高中的运用

介绍

对于一些特殊的函数,由于多项式的运用更加简单,我们希望能使用多项式函数去近似地表达以便于研究这些函数的性质

而泰勒公式就可以帮助我们利用导数来拟合这些特殊函数(前面都是定义,想知道怎么推出来泰勒可以转到“推导与证明”部分)

首先根据导数我们可以很容易地得出一个式子

\[f(x)\approx f(x_0)+f'(x_0)(x-x_0) \]

也就是

\[f(x_0+\Delta x)\approx f(x_0)+f'(x_0)\Delta x \]

但是显然这个式子的精度并不高,仅在 \(\Delta x\) 较小的时候才接近,当 \(\Delta x\) 很大时误差就会很大

其实这个式子就是泰勒公式的一阶形式,下面给出泰勒展开的完整形式

\[f(x)=\frac{f(x_0)}{0!}(x-x_0)^0+ \frac{f'(x_0)}{1!}(x-x_0)^1+ \frac{f''(x_0)}{2!}(x-x_0)^2+\cdots+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+\cdots \]

换种优雅的写法就是

\[f(x)=\sum_{i=0}^\infin\frac{f^{(i)}(x_0)}{i!}(x-x_0)^i \]

当 \(f(x)\) 在包含 \(x_0\) 的区间 \((a,b)\) 上存在 \((n+1)\) 阶导时,对于任意的 \(x\in(a,b)\) 这个式子都成立

这里我们可以把 \(f(x)\) 中第 \(n\) 项之后的项用一个函数 \(R_n(x)\) 表示,把第一项到第项用一个函数 \(P_n(x)\) 表示,那么显然有

\[R_n(x)=\frac{f^{(n+1)}(x_0)}{(n+1)!}(x-x_0)^{n+1}+\frac{f^{(n+2)}(x_0)}{(n+2)!}(x-x_0)^{n+2}+\cdots\\ P_n(x)=f(x)-R_n(x)=\sum_{i=0}^\infin\frac{f^{(i)}(x_0)}{i!}(x-x_0)^i\\ f(x)=P_n(x)+R_n(x) \]

我们称这样的 \(f(x)\) 为 \(n\) 阶泰勒公式,\(P_n(x)\) 为 \(n\) 次泰勒多项式,\(R_n(x)=f(x)-P_n(x)\) 为 \(n\) 阶泰勒余项

特别地,当 \(x_0=0\) 时我们称这个公式为麦克劳林公式

泰勒余项

我们令 \(\varepsilon\) 为 \(x\) 与 \(x_0\) 之间的某个数,那么有

\[R_n(x)=\frac{f^{(n+1)}(\varepsilon)}{(n+1)!}(x-x_0)^{n+1} \]

用 \(n+1\) 阶导数表示的泰勒余项称为拉格朗日余项

\(R_n(x)\) 是比 \((x-x_0)^{n}\) 高阶的无穷小,我们可以把它记作 \(o((x-x_0)^{n})\),这样表示的余项称为皮亚诺余项

拉格朗日余项是需要定量讨论余项时使用的,皮亚诺余项是需要定性讨论余项时使用的

推导与证明

泰勒公式的推导

显然对于任意的特殊函数 \(h(x)\) ,我们一定可以找到一个无穷次的多项式函数 \(f(x)\),使得 \(h(x)\) 与 \(f(x)\) 上的任意一个点的取值均相等,即 \(h(x)=f(x)\),那么问题就转化为了如何求 \(f(x)\) 每一次项的系数

定理一

对于两个 \(n\) 次多项式函数 \(f(x)\) 与 \(g(x)\)

若在 \(x_0\) 处满足 \(f(x_0)=g(x_0),f'(x_0)=g'(x_0),\cdots,f^{(n)}(x_0)=g^{(n)}(x_0)\)

则 \(f(x)=g(x)\)

证明

设这两个多项式函数分别为 \(f(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n\) 与 \(g(x)=b_0+b_1x+b_2x^2+\cdots+b_nx^n\)

由题有

\[\begin{aligned} f(x_0)=a_0+a_1x_0+a_2x_0^2+\cdots+a_nx_0^n&=b_0+b_1x_0+b_2x_0^2+\cdots+b_nx_0^n=g(x_0)\\ f'(x_0)=a_1+2a_2x_0+\cdots+na_nx_0^{n-1}&=b_1+2b_2x_0+\cdots+nb_nx_0^{n-1}=g'(x_0)\\ &\ \ \vdots\\ f^{(n)}(x_0)=n!a_n&=n!b_n=g^{(n)}(x_0) \end{aligned} \]

所以有 \(a_n=b_n\),把 这个式子依次往回代入,就能得到 \(a_{n-1}=b_{n-1},a_{n-2}=b_{n-2},\cdots,a_0=b_0\)

那么我们就知道了 \(f(x)\) 与 \(g(x)\) 任意次项的系数都相等,即 \(f(x)=g(x)\)

启发

为了求 \(f(x)\) 每一次项的系数

不妨设 \(g(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n+\cdots\)

我们希望能找到所有的 \(a_i\) 使得 \(f(x)=g(x)\)

由定理一得,当 \(f(x_0)=g(x_0),f'(x_0)=g'(x_0),\cdots,f^{(n)}(x_0)=g^{(n)}(x_0),\cdots\) 时 \(f(x)=g(x)\)

又因为 \(h(x)=f(x)\)

所以当 \(h(x)\) 在 \(x_0\) 处 \(n\) 阶可导时有 \(h(x_0)=g(x_0),h'(x_0)=g'(x_0),\cdots,h^{(n)}(x_0)=g^{(n)}(x_0),\cdots\)

\[\begin{aligned} h(x_0)&=a_0+a_1x_0+a_2x_0^2+\cdots+a_nx_0^n+\cdots=g(x_0)\\ h'(x_0)&=a_1+2a_2x_0+\cdots+na_nx_0^{n-1}+(n+1)a_{n+1}x_0^{n}+\cdots=g'(x_0)\\ &\ \ \vdots\\ h^{(n)}(x_0)&=n!a_n+(n+1)!a_{n+1}x_0+\cdots=g^{(n)}(x_0)\\ &\ \ \vdots \end{aligned} \]

我们令 \(x_0=0\) 则有

\[\begin{aligned} h(0)&=a_0\\ h'(0)&=a_1\\ h''(0)&=2!a_2\\ &\ \ \vdots\\ h^{(n)}(0)&=n!a_n\\ &\ \ \vdots \end{aligned} \]

从而有

\[\begin{aligned} a_0&=\frac{h(0)}{0!}\\ a_1&=\frac{h'(0)}{1!}\\ a_2&=\frac{h''(0)}{2!}\\ &\ \ \vdots\\ a_n&=\frac{h^{(n)}(0)}{n!}\\ &\ \ \vdots \end{aligned} \]

那么我们就得到了 \(g(x)\) 的所有系数,写出来就是

\[h(x)=g(x)=\frac{h(0)}{0!}+\frac{h'(0)}{1!}x+\frac{h''(0)}{2!}x^2+\cdots+\frac{h^{(n)}(0)}{n!}x^n+\cdots \]

那么我们就成功地推导出了麦克劳林公式

同理我们只需要在最开始令 \(g(x)=a_0+a_1(x-a)+a_2(x-a)^2+\cdots+a_n(x-a)^n+\cdots\)

就可以推出泰勒公式了

带皮亚诺余项泰勒公式的证明

这里再给出带皮亚诺余项的泰勒公式的证明方法,证明过程很有意思,感兴趣可以研究一下

即证明 \(R_n(x)\) 是比 \((x-x_0)^{n}\) 高阶的无穷小

即证明 \(\lim\limits_{x\to x_0}\frac{R_n(x)}{(x-x_0)^n}=0\)

根据 \(R_n(x)\) 的定义有

\[\begin{align*} R_n(x)&=f(x)-P_n(x)\\ &=f(x)-\frac{f(x_0)}{0!}(x-x_0)^0-\frac{f'(x_0)}{1!}(x-x_0)^1-\cdots-\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n \end{align*} \]

两边同时反复求导

\[\begin{align*} &R_n'(x)=f'(x)-\frac{f'(x_0)}{0!}(x-x_0)^0-\frac{f''(x_0)}{1!}(x-x_0)^1-\cdots-\frac{f^{(n)}(x_0)}{(n-1)!}(x-x_0)^{n-1}\\ &R_n''(x)=f''(x)-\frac{f''(x_0)}{0!}(x-x_0)^0-\frac{f'''(x_0)}{1!}(x-x_0)^1-\cdots-\frac{f^{(n)}(x_0)}{(n-2)!}(x-x_0)^{n-2}\\ &\ \quad\vdots\\ &R_n^{(n-1)}(x)=f^{(n-1)}(x)-f^{(n-1)}(x_0)-f^{(n)}(x_0)(x-x_0) \end{align*} \]

不难发现当 \(x=x_0\) 时,有

\[R'_n(x_0)=R''_n(x_0)=\cdots=R^{(n-1)}_n(x_0)=0 \]

那么 \(\lim\limits_{x\to x_0}\frac{R_n(x)}{(x-x_0)^n}\) 就是洛必达法则中的 \(\frac00\) 型,由于每次使用之后上下都仍然是 \(\frac00\) 型,那么我们就可以连续使用 \(n-1\) 次洛必达法则(不能连续使用 \(n\) 次是因为最后一次使用洛必达时的邻域可导性不满足),那么我们就可以得到

\[\lim_{x\to x_0}\frac{R_n(x)}{(x-x_0)^n} =\lim_{x\to x_0}\frac{R'_n(x)}{n(x-x_0)^{n-1}} =\cdots =\lim_{x\to x_0}\frac{R^{(n-1)}_n(x)}{n!(x-x_0)} \]

我们把 \(n!\) 提出来并且把 \(R^{(n-1)}_n(x)\) 展开,得到

\[\begin{aligned} \lim_{x\to x_0}\frac{R^{(n-1)}_n(x)}{n!(x-x_0)} &=\frac1{n!}\lim_{x\to x_0}\frac{f^{(n-1)}(x)-f^{(n-1)}(x_0)-f^{(n)}(x_0)(x-x_0)}{x-x_0}\\ &=\frac1{n!}\lim_{x\to x_0}[\frac{f^{(n-1)}(x)-f^{(n-1)}(x_0)}{x-x_0}-f^{(n)}(x_0)]\\ &=\frac1{n!}\lim_{x\to x_0}[\frac{f^{(n-1)}(x)-f^{(n-1)}(x_0)}{x-x_0}-f^{(n)}(x_0)]\\ &=\frac1{n!}\lim_{x\to x_0}[f^{(n)}(x_0)-f^{(n)}(x_0)]\\ &=0 \end{aligned} \]

运用

估计函数值

介绍

泰勒公式的运用极其广泛,我们平时用电脑,手机或者计算器可以点一下就直接算出任意值的三角函数,\(\log\) 等等,而这些几乎都是使用泰勒公式去近似拟合之后给出的估计值,由于阶数很高,所以精度也非常高,是很高效有用的估计特殊函数值的方法

要手算泰勒也很简单,主要是通过在方便计算函数取值的 \(x_0\) 处(一般是 \(0\) 或者 \(1\) 处)展开来估值

下面以几个常见的特殊函数为例,给出他们的泰勒展开式(未特殊说明则是在 \(0\) 处展开,即麦克劳林公式)

\[\begin{aligned} f(x)=e^x&=\frac{f(0)}{0!}x^0+\frac{f'(0)}{1!}x^1+\frac{f''(0)}{2!}x^2+\cdots\\ &=\frac1{0!}x^0+\frac1{1!}x^1+\frac1{2!}x^2+\cdots\\ &=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \end{aligned} \]

\[\begin{aligned} f(x)=\sin x&=\frac{f(0)}{0!}x^0+\frac{f'(0)}{1!}x^1+\frac{f''(0)}{2!}x^2+\cdots\\ &=0+\frac1{1!}x+0-\frac1{3!}x^3+0-\cdots\\ &=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots \end{aligned} \]

\[\begin{aligned} f(x)=\cos x&=\frac{f(0)}{0!}x^0+\frac{f'(0)}{1!}x^1+\frac{f''(0)}{2!}x^2+\cdots\\ &=1+0-\frac1{2!}x^2+0+\frac1{4!}x^4+0-\cdots\\ &=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots \end{aligned} \]

注意到三角函数都是在 \(0\) 处展开,如果要求 \(x\) 很大或很小时的函数值误差会很严重,我们可以先转换到 \([-\pi,\pi]\) 区间后再估值

例子一

2022年高考全国甲卷理科数学第十二题

已知 \(a=\frac{31}{32},b=\cos\frac14,c=4\sin\frac14\),求 \(a,b,c\) 的大小关系。

这道题如果用常规方法来做需要构造函数,个人认为考场上其实不太好想到,如果会使用泰勒公式,那么这题就可以不动脑轻松秒杀

\[b=\cos \frac14=\frac14-\frac1{4^3\cdot3!}+\frac1{4^5\cdot5!}-\cdots \]

放缩

updating……

证明欧拉公式

updating……

标签:泰勒,frac,高中,公式,cdots,frac1,aligned
来源: https://www.cnblogs.com/cmy-blog/p/taylor.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有