Tyler‘s Formula 泰勒公式

前言：

泰勒公式解决的问题：找到一个多项式函数(幂函数)在某个范围内等价复杂的函数

”某个范围“

要找到一个函数和原函数值在定义域内性质全部相同很困难，所以我们考虑找到一个函数在某个区间内性质能够完全与原函数相同就够了。其实包括之前的等价无穷小，那些找到用来近似(注意不是等价)原函数的函数也只是在x->0即0附近的区间才成立

”等价“

注意泰勒公式是一个等式，是用=而不是~连接的，泰勒（和麦克劳林公式）展开的项数越多，近似的精确度就越高，等价无穷小(近似)就是泰勒公式的阉割版,因为近似只做到一阶导(有限阶导）与原函数相同，而泰勒找到的这个函数在n阶导都与原函数相同，当然也带来了一个新的问题：等价原函数的函数需要精确到几阶导

”复杂的函数”

e^0.001这种奇怪的指数函数你肯定不好算，但如果转化成一个等价的多项式函数。由于它本身的运算仅是有限项加减法和乘法，所以在数值计算方面，多项式是人们乐于使用的工具。因此我们经常用多项式来近似表达函数。这也是为什么泰勒公式选择多项式函数去近似表达给定的函数。

Sum：洛必达的本质是降阶，泰勒公式的本质是近似，等价无穷小是特殊的泰勒公式

近似在高次参数时比降次便捷

公式：

余项：展开式与原函数的差

佩亚诺告诉你有误差，只有当x足够小的时候才能忽略不计，拉格朗日告诉你误差是多大。

麦克劳林公式是泰勒公式的一种特殊情况，即当x0=0时的泰勒公式

推导思路（不严格）

我们发现多项式幂函数三阶导在0附近的结果只与对应的幂的项有关，比该幂小的项在求导的过程中被导为0，而高阶导因为代入X0=0后所以为0。同理我们能发现该例子中四阶导的结果为7 4！,这很好理解，首先7作为常数项在求导过程中一直不变，而x^4在经历次求导的结果即为4！

所以我们发现一个性质，多项式幂函数，n次幂项决定n阶导的结果

有了这个概念我们尝试将e^x分解为多项式幂函数

因为e^x求导结果不变又因为设定区间在0附近，因此n阶导的结果都是1。首先0次项决定的是图像整体的上下偏移，e^x(0) =1所以a=1。

但如果设定区间规定为x=a附近而不是0的话，多项式的高次项不在因为x0=0而消去，因此我们添加一个（x-x0），这样就使这个多项式幂函数在X0≠0时也能具有“n次幂项决定n阶导的结果"的性质

根据该性质我们写出原函数导函数与多项式各项系数的关系，然后将其代入到多项式中，就能得到泰勒公式了

应用：

用下面一个例题来解释上述三点

1.乘除位置使用等价无穷小，任意位置可用泰勒展开式。

AEF左右都是乘法可以用等价无穷小，B和cd是减法，需要考虑展开只取前两项（等价无穷小）是否足够精确

2.

上面是1阶，下面是3阶，不能只取前一项近似（不能用等价无穷小近似）所以必须要展开到同阶才能近似，忽略高阶量因为太小忽略不影响近似