MathLabs
定理已证明

泰勒定理

命题陈述

若 ff 在包含 aa 与 xx 的区间上 n+1n+1 次可导,则 f(x)=∑k=0nf(k)(a)k!(x−a)k+Rn(x)f(x) = \sum_{k=0}^n \frac{f^{(k)}(a)}{k!}(x-a)^k + R_n(x),其中拉格朗日余项为 Rn(x)=f(n+1)(ξ)(n+1)!(x−a)n+1R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1},ξ\xi 严格介于 aa 与 xx 之间。

为什么成立?

光滑函数在某点附近可以很好地用一个与其函数值及各阶导数值(直到某阶)在该点相匹配的多项式来逼近;余项精确地衡量了这种逼近的好坏,通常随着项数增加而迅速缩小。

证明思路

固定 xx,令 g(t)=f(x)−∑k=0nf(k)(t)k!(x−t)kg(t)=f(x)-\sum_{k=0}^n\frac{f^{(k)}(t)}{k!}(x-t)^k,h(t)=(x−t)n+1h(t)=(x-t)^{n+1}。则 g(x)=h(x)=0g(x)=h(x)=0,经过逐项相消可得 g′(t)=−f(n+1)(t)n!(x−t)ng'(t)=-\frac{f^{(n+1)}(t)}{n!}(x-t)^n,而 h′(t)=−(n+1)(x−t)nh'(t)=-(n+1)(x-t)^n。对 g,hg,h 在 aa 与 xx 之间的区间上应用柯西中值定理,得 g(a)−g(x)h(a)−h(x)=g′(ξ)h′(ξ)\frac{g(a)-g(x)}{h(a)-h(x)}=\frac{g'(\xi)}{h'(\xi)}(ξ\xi 在 aa 与 xx 之间),化简后恰为 Rn(x)=f(n+1)(ξ)(n+1)!(x−a)n+1R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}。

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Brook Taylor (1715). Methodus Incrementorum Directa et Inversa
  2. Joseph-Louis Lagrange (1797). Théorie des fonctions analytiques