| Taylor公式 | Lagrange型 | Peano项 | Note |
|---|---|---|---|
| 条件 | [ a , b ] [a,b] [a,b]上有 n n n阶连续导数, ( a , b ) (a,b) (a,b)内存在 n + 1 n+1 n+1阶导数 | x = x 0 x=x_0 x=x0处存在 n n n阶导数 | 前者对 f ( x ) f(x) f(x)要求较高 |
| 余项 | R n ( x ) R_n(x) Rn(x)= f ( n + 1 ) ( ξ ) ( n + 1 ) ! ( x − x 0 ) n + 1 \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1} (n+1)!f(n+1)(ξ)(x−x0)n+1, ξ \xi ξ是 x , x 0 x,x_0 x,x0之间的一个数;或表示为 f ( n + 1 ) ( x 0 + θ ( x − x 0 ) ) ( n + 1 ) ! ( x − x 0 ) n + 1 \frac{f^{(n+1)}(x_0+\theta{(x-x_0)})}{(n+1)!}(x-x_0)^{n+1} (n+1)!f(n+1)(x0+θ(x−x0))(x−x0)n+1, θ ∈ ( 0 , 1 ) \theta\in(0,1) θ∈(0,1) | R n ( x ) R_n(x) Rn(x)= o ( ( x − x 0 ) n ) o((x-x_0)^{n}) o((x−x0)n) | 前者余项具体,后者仅表达了高阶无穷小 |
| 用途 | 可用于区间 [ a , b ] [a,b] [a,b]上,例如证明不等式或等式,估计逼近误差 | 仅用于 x 0 x_0 x0的邻域 U ( x 0 ) U(x_0) U(x0),例如讨论极值,求解 x → x 0 x\to{x_0} x→x0时的极限 | 后者用在某些条件下的求极限问题上,可以带来方便 |
Lagrnage余项 R n ( x ) R_{n}(x) Rn(x)中的 ξ \xi ξ,( ξ \xi ξ为 x , x 0 x,x_0 x,x0间的一个数)可以表示为 x 0 + θ ( x − x 0 ) x_0+\theta(x-x_0) x0+θ(x−x0), θ ∈ ( 0 , 1 ) \theta\in{(0,1)} θ∈(0,1)
(1),其中
θ
∈
(
0
,
1
)
\theta\in(0,1)
θ∈(0,1)(2),其中
θ
∈
(
0
,
1
)
\theta\in(0,1)
θ∈(0,1)通常,Lagrange余项更经常被表示为 R n ( x ) R_{n}(x) Rn(x)= f ( n + 1 ) ( x 0 + θ ( x − x 0 ) ) ( n + 1 ) ! ( x − x 0 ) n + 1 \frac{f^{(n+1)}(x_0+\theta{(x-x_0)})}{(n+1)!}(x-x_0)^{n+1} (n+1)!f(n+1)(x0+θ(x−x0))(x−x0)n+1, θ ∈ ( 0 , 1 ) \theta\in{(0,1)} θ∈(0,1)
(1),两种余项分别为:
(1-1)(1-2)主要掌握展开公式的前几项(2到5项,一般3项)就足够一般的应用,
只要知道公式(1),和
f
(
x
)
f(x)
f(x)的高阶导数,在必要的时候可以自行计算更多的项
e x e^{x} ex= 1 + x + 1 2 ! x 2 + ⋯ + 1 n ! x n 1+x+\frac{1}{2!}x^2+\cdots+\frac{1}{n!}x^{n} 1+x+2!1x2+⋯+n!1xn+ o ( x n ) o(x^{n}) o(xn)
sin x \sin{x} sinx= x − 1 3 ! x 3 + 1 5 ! x 5 − 1 7 ! x 7 x-\frac{1}{3!}x^{3}+\frac{1}{5!}x^{5}-\frac{1}{7!}x^{7} x−3!1x3+5!1x5−7!1x7+ ⋯ \cdots ⋯+ ( − 1 ) n ( 2 n − 1 ) ! x 2 n − 1 \frac{(-1)^{n}}{(2n-1)!}x^{2n-1} (2n−1)!(−1)nx2n−1+ o ( x 2 n − 1 ) o(x^{2n-1}) o(x2n−1)
cos x \cos{x} cosx= 1 − 1 2 ! x 2 + 1 4 ! x 4 − 1 6 ! x 6 1-\frac{1}{2!}x^2+\frac{1}{4!}x^4-\frac{1}{6!}x^{6} 1−2!1x2+4!1x4−6!1x6+ ⋯ \cdots ⋯+ ( − 1 ) n ( 2 n ) ! x 2 n \frac{(-1)^{n}}{(2n)!}x^{2n} (2n)!(−1)nx2n+ o ( x 2 n ) o(x^{2n}) o(x2n)
ln ( 1 + x ) \ln{(1+x)} ln(1+x)= x − x 2 2 + x 3 3 − x 4 4 + x 5 5 x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\frac{x^{5}}{5} x−2x2+3x3−4x4+5x5+ ⋯ \cdots ⋯+ ( − 1 ) n − 1 x n n (-1)^{n-1}\frac{x^{n}}{n} (−1)n−1nxn+ o ( x n ) o(x^{n}) o(xn)
( 1 + x ) m (1+x)^{m} (1+x)m= 1 + m x + m ( m − 1 ) 2 ! x 2 1+mx+\frac{m(m-1)}{2!}x^2 1+mx+2!m(m−1)x2+ ⋯ \cdots ⋯+ m ( m − 1 ) ⋯ ( m − n + 1 ) n ! x n \frac{m(m-1)\cdots(m-n+1)}{n!}x^{n} n!m(m−1)⋯(m−n+1)xn+ o ( x n ) o(x^{n}) o(xn)
tan x \tan{x} tanx= x + x 3 3 + o ( x 3 ) x+\frac{x^3}{3}+o(x^{3}) x+3x3+o(x3)
sec x \sec{x} secx= 1 + x 2 2 + o ( x 2 ) 1+\frac{x^2}{2}+o(x^2) 1+2x2+o(x2)
arcsin x \arcsin{x} arcsinx= x + 1 6 x 3 + o ( x 3 ) x+\frac{1}{6}x^3+o(x^3) x+61x3+o(x3)
arctan x \arctan{x} arctanx= x − 1 3 x 3 + o ( x 3 ) x-\frac{1}{3}x^3+o(x^3) x−31x3+o(x3)
arccos x \arccos{x} arccosx= π 2 − arcsin x \frac{\pi}{2}-\arcsin{x} 2π−arcsinx= π 2 − ( x + x 3 6 + o ( x 3 ) ) \frac{\pi}{2}-(x+\frac{x^3}{6}+o(x^3)) 2π−(x+6x3+o(x3))= π 2 − x − x 3 6 + o ( x 3 ) \frac{\pi}{2}-x-\frac{x^3}{6}+o(x^3) 2π−x−6x3+o(x3)
arccot x \operatorname{arccot}{x} arccotx= π 2 − arctan x \frac{\pi}{2}-\arctan{x} 2π−arctanx= π 2 − ( x − 1 3 x 3 + o ( x 3 ) ) \frac{\pi}{2}-(x-\frac{1}{3}x^3+o(x^3)) 2π−(x−31x3+o(x3))= π 2 − x + x 3 3 + o ( x 3 ) \frac{\pi}{2}-x+\frac{x^3}{3}+o(x^3) 2π−x+3x3+o(x3)
一般地,对于某个公式 f ( x ) = g ( x ) f(x)=g(x) f(x)=g(x),将公式两端的 x x x替换为其他式子 α ( x ) \alpha(x) α(x)( α ( x ) \alpha(x) α(x)仍然在 f , g f,g f,g的定义域内),则等式仍然成立
因此,将已知的函数的泰勒公式或Maclaurin公式两端的 x x x替换为某个定义域内的函数或式子 α ( x ) \alpha(x) α(x),公式仍然成立,
对于 f ( x ) f(x) f(x)在 x = 0 x=0 x=0处展开的泰勒公式(即Maclaurin公式),用 u ( x ) = x − x 0 u(x)=x-x_0 u(x)=x−x0替换 x x x,得到 f ( u ) f(u) f(u)= f ( x − x 0 ) f(x-x_0) f(x−x0)在 x = x 0 x=x_0 x=x0处展开的泰勒公式
若能 f ( x ) f(x) f(x)和 f ( x − x 0 ) f(x-x_0) f(x−x0)相差一个已知或易求的因式 d = d ( x ) d=d(x) d=d(x),即 f ( x ) = d f ( x − x 0 ) f(x)=df(x-x_0) f(x)=df(x−x0),那么可以通过 f ( x ) f(x) f(x)的Maclaurin公式直接推得 f ( x ) f(x) f(x)在 x = x 0 x=x_0 x=x0处的泰勒公式: d f ( x − x 0 ) df(x-x_0) df(x−x0)
其中偶(奇)函数的展开式也是偶(奇)函数
第一项(常数项)和一次项的确定(实际上是 x 0 , x 1 x^{0},x^{1} x0,x1的系数的确定)
根据Maclaurin公式中,常数项是 f ( 0 ) f(0) f(0),不需要求导就可以计算立马判断处常数项是否为0
例如: e x e^{x} ex= 1 + ⋯ 1+\cdots 1+⋯; ( 1 + x ) m (1+x)^{m} (1+x)m= 1 1 1; 1 1 − x = 1 + ⋯ \frac{1}{1-x}=1+\cdots 1−x1=1+⋯; cos x = 1 + ⋯ \cos{x}=1+\cdots cosx=1+⋯; sec x = 1 + ⋯ \sec{x}=1+\cdots secx=1+⋯
| 常数项 f ( 0 ) f(0) f(0) | 一次项 f ′ ( 0 ) x f'(0)x f′(0)x | |
|---|---|---|
| e x e^{x} ex | 1 | x x x |
| ( 1 + x ) m (1+x)^{m} (1+x)m | 1 | m x mx mx |
| 1 1 − x \frac{1}{1-x} 1−x1 | 1 | x x x |
| 1 1 + x \frac{1}{1+x} 1+x1 | 1 | − x -x −x |
| cos x \cos{x} cosx | 1 | 0 |
| sec x \sec{x} secx | 1 | 0 |
| sin x \sin{x} sinx | 0 | x x x |
| ln ( 1 + x ) \ln(1+x) ln(1+x) | 0 | x x x |
| tan x \tan{x} tanx | 0 | x x x |
| arcsin x \arcsin{x} arcsinx | 0 | x x x |
| arctan x \arctan{x} arctanx | 0 | x x x |
公式3,4有时也写作
其中余项不是 o ( x n ) o(x^{n}) o(xn)的公式都是经过简并后的公式(把值为0的项消去后,剩下的项重新编排 i = 1 , 2 , ⋯ i=1,2,\cdots i=1,2,⋯)
( 1 + x ) m (1+x)^{m} (1+x)m的展开公式和二项式定理 ∑ i = 0 m ( n i ) x i \sum_{i=0}^{m}\binom{n}{i}x^{i} ∑i=0m(in)xi,其中 ( n i ) = n ! ( n − i ) ! i ! \binom{n}{i}=\frac{n!}{(n-i)!i!} (in)=(n−i)!i!n!是相仿的
当 m = − 1 m=-1 m=−1时,从式(5)可以得到式(5-1);再将 x x x用 − x -x −x代替,得到(5-2)
更一般的,对于 f ( x ) = ( a x + b ) − 1 f(x)=(ax+b)^{-1} f(x)=(ax+b)−1的展开公式,可以作变形: f ( x ) f(x) f(x)= b ( a b x + 1 ) − 1 b(\frac{a}{b}x+1)^{-1} b(bax+1)−1= b ( 1 − ( − a b x ) ) − 1 b(1-(-\frac{a}{b}x))^{-1} b(1−(−bax))−1
由式(5)或者直接由式(5-2)可知, f ( x ) f(x) f(x)= b ( ∑ i = 0 n ( − a b x ) i ) b(\sum_{i=0}^{n}(-\frac{a}{b}x)^{i}) b(∑i=0n(−bax)i)+ o ( x n ) o(x^{n}) o(xn)
由于(5-2)式比(5-1)式是可以相互转换的,(5-2)式展开式中不需要关心各项的符号),通过 1 1 − ( − x ) \frac{1}{1-(-x)} 1−(−x)1转换成 1 1 − x \frac{1}{1-x} 1−x1的形式
因此我们重点应用(5-2)式
高阶导数为0的某些函数因为消去了0项,其Maclaurin公式的余项并不表示为 o ( x n ) o(x^{n}) o(xn),其通项也可以由不同的式子表示
合理地归纳前若干项就不难得出通项,重点选择项的编号顺序:按"0,1,2, ⋯ \cdots ⋯,n"还是按"1,2, ⋯ \cdots ⋯,n"的顺序编号,例如 sin x \sin{x} sinx的Maclaurin公式,分别可以归纳出通项公式: ( − 1 ) n 1 ( 2 n + 1 ) ! x 2 n + 1 (-1)^{n}\frac{1}{(2n+1)!}x^{2n+1} (−1)n(2n+1)!1x2n+1,和 ( − 1 ) n − 1 1 ( 2 n − 1 ) ! x 2 n − 1 (-1)^{n-1}\frac{1}{(2n-1)!}x^{2n-1} (−1)n−1(2n−1)!1x2n−1
对于 sin x , cos x \sin{x},\cos{x} sinx,cosx,的Maclaurin公式,还可以选择将第一个非0次幂的项编为第 n = 1 n=1 n=1项
例:设 f ( x ) = 1 1 − x 2 f(x)=\frac{1}{1-x^2} f(x)=1−x21,求 f ( 99 ) ( x ) f^{(99)}(x) f(99)(x)
若 g ( x ) = x f ( x ) g(x)=xf(x) g(x)=xf(x)= x 1 − x 2 \frac{x}{1-x^2} 1−x2x