Talor Expansion

泰勒展开Taylor Expansion

引入

用$g(x)=a_0{x}^0+a_1{x}^1+a_2{x}^2+\cdots ={\sum }_{i=0}^{\infty }{a}_i{x}^i$拟合函数$f(x)=e^x$

在$x=0$点附近：
$$\begin{gathered} f(0)=g(0)=a_0 \\ {f}^{\prime }(0)=g^{\prime }(0)=a_1 \\ {f}^{\prime \prime }(0)=g^{\prime \prime }(0)=2a_2 \\ \cdots \\ {f}^{(n)}(0)=g^{(n)}(0)=n!\cdot a_n \end{gathered}$$
思想：利用导数丢掉常数项

多项式拟合有很多表达方式，如这里的利用求导，如FFT的点值表示等

麦克劳林展开的展开系数公式

$$a_n=\frac{1}{n!}{f}^{(n)}(x){|}_{x=0}$$

于是我们可以得到$f(x)=e^x$的麦克劳林展开
$$f(x)=e^x=\sum _{i=0}^{\infty }\frac{1}{i!}{x}^i$$
注意：$0!=1$

对[注意]的证明：
$$\begin{gathered} 由于n!=\prod _{i=1}^{n}i \\ 有(n-1)!=\frac{n!}{n} \\ 若n=1,则0!=\frac{1!}{1}=1 \end{gathered}$$
麦克劳林展开是泰勒展开在0处的展开，是泰勒展开的特殊情况，展开式不一定与原函数相等（$e^x$是个特例）

麦克劳林是牛顿的学生

泰勒展开

看一看泰勒展开系数公式的真正面目：
$$a_n=\frac{1}{n!}{f}^{(n)}(x){|}_{x=x_0}$$
泰勒公式形式
$$f(x)=\frac{f(x_0)}{0!}+\frac{f^{\prime }(x_0)}{1!}x+\frac{f^{\prime \prime }(x_0)}{2!}{x}^2+\cdots =\sum _{i=0}^n\frac{f^{(i)}(x_0)}{i!}{x}^i$$
好像这个公式可以口切好多好多高考题

解高考题有什么意思？

我们在实际运用的时候更多地只会展开一小部分，后面的项用$R_n(x)$表示，即：
$$f(x)=\frac{f(x_0)}{0!}+\frac{f^{\prime }(x_0)}{1!}x+\frac{f^{\prime \prime }(x_0)}{2!}{x}^2+\cdots +\frac{f^{(n)}(x_0)}{n!}{x}^n+R_n(x)$$
$R_n(x)$对展开式的影响太小，故可以忽略

几个常见展开

$$\begin{gathered} e^x=1+x+\frac{1}{2}{x}^2+R_3(x) \\ \sin x=x-\frac{1}{6}{x}^3+R_5(x) \\ \cos x=1-\frac{1}{2}{x}^2+R_4(x) \end{gathered}$$

⭐️$\sin$，$\cos$分别为奇函数，偶函数，展开式也为奇函数，偶函数，并且系数成规律性变化：

0	1	2	3	4	$\cdots$
$\sin x$	$\cos x$	$-\sin x$	$-\cos x$	$\sin x$	$\cdots$

引入虚单位$i$，可以强行把$e^x$用$\sin x$与$\cos x$表示：
$$e^{ix}=\cos x+i\sin x$$
欧拉公式 学而思的表的梗原来从北京开到了全国各地$-e^{i\pi }=1$

我们来试一试$(1+x{)}^n$

首先多项式定理展开来一波~
$$(1+x{)}^n=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})x^i=1+\frac{n}{1!}x+\frac{n(n-1)}{2!}{x}^2+\frac{n(n-1)(n-2)}{3!}{x}^3+\cdots +x^n$$
再来看看麦克劳林展开
$$\begin{gathered} 由于((1+x{)}^n{)}^{\prime }=n(1+x{)}^{n-1},((1+x{)}^n{)}^{\prime \prime }=n(n-1)(1+x{)}^{n-2},\cdots \\ (1+x{)}^n=1+\frac{n}{1!}x+\frac{n(n-1)}{2!}{x}^2+\frac{n(n-1)(n-2)}{3!}{x}^3+\cdots \end{gathered}$$
我们发现$n$不为整数该式仍然成立，这给我们一个启示：广义范围内的组合数/排列/阶乘的求法

小量分析/放缩法

KaTeX parse error: No such environment: eqnarray* at position 8: \begin{̲e̲q̲n̲a̲r̲r̲a̲y̲*̲}̲ &x\to 0\Righta…

等比数列

在$(1+x{)}^n$中，$n=-1$，可以发现
$$\begin{gathered} \frac{1}{1+x}=1-x+x^2-x^3+\cdots \\ \frac{1}{1-x}=1+x+x^2+x^3+\cdots \end{gathered}$$

$\ln (1+x)$的展开

$$\begin{gathered} (\ln (1+x){)}^{\prime }=\frac{1}{1+x}=1-x+x^2-x^3+\cdots \\ \Rightarrow \ln (1+x)=x-\frac{1}{2}{x}^2+\frac{1}{3}{x}^3-\frac{1}{4}{x}^4+\cdots \end{gathered}$$