05-第5讲函数展开为幂级数_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
15页免费16页免费30页免费29页免费34页免费 27页免费23页免费16页免费26页免费22页免费
喜欢此文档的还喜欢1页免费8页免费
05-第5讲函数展开为幂级数|
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：459.50KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢欧拉公式e^ix=cosx+isinx是一个定义式吧？ | 死理性派小组 | 果壳网 科技有意思
792504人加入此小组
记得以前一个老师说欧拉公式是一个定义式，实际上是定义了e^ix的运算 ，是最基本的所以不能证明。想想也是，虚数是为了计算方便引进的符号，那么运算规则当然也要有自己的定义了。但为什么有那么多地方用级数展开来证明欧拉公式？（其实我也就在网上搜了下，没找书）这里附上一个对此问题感到疑问的人提的问题
+ 加入我的果篮
语言爱好者
应该说它是另一个定义（e^z，即e的任意复数次方）的一种情况（z为纯虚数时）。它不能仅由e^x在x为实数时的定义推导得出。e^z是通过泰勒展开定义的。在实数范围内，e^x = 1 + x + x^2/2! + x^3/3! + ...在复数范围内，直接对上式推广，定义e^z = 1 + z + z^2/2! + z^3/3! + ...把纯虚数z = ix代入，得e^ix = 1 + ix - x^2/2! - ix^3/3! + ...其中实数项恰好是cosx的泰勒展开，而虚数项恰好是i乘以sinx的泰勒展开。
怎么木有人回答。。。
欧拉公式不是定义出来的。将实的指数函数e^x解析延拓到整个复平面上，得到复的指数函数，这个就是欧拉公式。
可以再具体一点吗~引用Lei
Ψ的回应：欧拉公式不是定义出来的。将实的指数函数e^x解析延拓到整个复平面上，得到复的指数函数，这个就是欧拉公式。
不是，它是经过严格的推导出来的，这东西怎么可以定义出来
管他呢……反正用起来没问题，而且很好用……这就行了……
是经过严格证明得到的公式。引用|北落师门|的回应：管他呢……反正用起来没问题，而且很好用……这就行了……你太囧了……
引用Preston的回应：是经过严格证明得到的公式。你太囧了……公式神马的让别人去推倒吧……咱只负责用就行了= =
泰勒公式推导得出的...你把E^x泰勒展开看看...懒得打了......这东西怎么定义...= =
是个结论式
为什么x可以直接替换成ix呢？引用科斯科斯的回应：泰勒公式推导得出的...你把E^x泰勒展开看看...懒得打了......这东西怎么定义...= =
引用小嘎子的回应：为什么x可以直接替换成ix呢？啊想起来了是可以这么证……不过MS这么证不严谨……
核物理硕士生
语言爱好者
应该说它是另一个定义（e^z，即e的任意复数次方）的一种情况（z为纯虚数时）。它不能仅由e^x在x为实数时的定义推导得出。e^z是通过泰勒展开定义的。在实数范围内，e^x = 1 + x + x^2/2! + x^3/3! + ...在复数范围内，直接对上式推广，定义e^z = 1 + z + z^2/2! + z^3/3! + ...把纯虚数z = ix代入，得e^ix = 1 + ix - x^2/2! - ix^3/3! + ...其中实数项恰好是cosx的泰勒展开，而虚数项恰好是i乘以sinx的泰勒展开。
所以他就是一个定义对吧~~？但为什么可以直接推广？是前面说的那个解析延拓么？引用Maigo的回应：应该说它是另一个定义（e^z，即e的任意复数次方）的一种情况（z为纯虚数时）。它不能仅由e^x在x为实数时的定义推导得出。e^z是通过泰勒展开定义的。在实数范围内，e^x = 1 + x + x^2/2! + x^3/3! + ...在复数范围内，直接对上式推广，定义e^z = 1 + z + z^2/2! + z^3/3! + ...把纯虚数z = ix代入，得e^ix = 1 + ix - x^2/2! - ix^3/3! + ...其中实数项恰好是cosx的泰勒展开，而虚数项恰好是i乘以sinx的泰勒展开。
语言爱好者
引用小嘎子的回应：所以他就是一个定义对吧~~？但为什么可以直接推广？是前面说的那个解析延拓么？是的。这也是一种比较“合理”的推广方式。
当然不是 这是严格证明过的······
引用 的话：该说它是另一个定义（e^z，即e的任意复数次方）的一种情况（z为纯虚数时）。它不能仅由e^x在x为实数时的定义推导得出。e^z是通过泰勒展开定义的。在实数范围内，e^x = 1 + x + x...是这么定义的，不过泰勒公式懒得记，直接记结论也足够了
我一直有个想法，是先有数学还是先有物理？数学不是孤立存在的，它是规律的一种表达方式。虚数必有其存在的意义，只是目前还未知。当年曲面几何就不被理解，大家都说它没用。牛顿使用欧式几何，爱因斯坦使用曲面几何。负数、虚数等，也一定有其实在的物理意义，不然就是我们的数学系统有大BUG，存在冗余，有太多不必要的人为的定义。在纸面上能画一个等边直角三角形，也能测量变长，可我们一旦付诸数学计算就出现了无理数。不知道别人怎么想，我认为这太他妈的奇怪了，无论怎样精确永远都不准确。刚吃完饭，脑子缺氧，思绪乱。
这个是在解复数微分方程的时候，发现同样一个微分方程有两个解，这两个解就分别是指数形式的和三角函数形式的。所以欧拉就去研究了一下，然后发现这样两个函数确实是有关系的。自然就是这么奇妙。
查一下e^x的泰勒展开式，再查一下sinx和cosx的泰勒展开式，搞定
(C)2013果壳网&京ICP备号-2&京公网安备09实验九 无穷级数_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者贡献于
评价文档：
6页1下载券76页免费54页免费37页免费22页免费 18页免费12页免费4页免费8页免费5页免费
喜欢此文档的还喜欢7页免费7页免费7页免费40页免费93页免费
09实验九 无穷级数|
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：473.50KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢泰勒公式 - 简介
中， 泰勒公式是一个用 在某 的信息描述其附近取值的 。如果函数足够 的话，在已知函数在某一点的各阶 值的情况之下，泰勒公式可以用这些导数值的相应倍数作为 构建一个 来近似函数在这一点的 中的值。带拉格朗日余项的泰勒公式还给出了这个多项式和实际的函数值之间的偏差。泰勒公式得名于 布鲁克·泰勒。他在1712年的一封信里首次叙述了这个公式，尽管1671年詹姆斯·格雷高里已经发现了它的特例。 &
泰勒公式 - 公式定义
公式（Taylor's formula） 形式1:带Peano余项的Taylor公式： 若f(x)在x0处有n阶导数，则存在x0的一个邻域(x0-δ，x0+δ）内任意一点x(δ&0)，成立下式： f(x)=f(x0)+f'(x0)/1!*(x-x0)+f''(x0)/2!*(x-x0)^2+…+f(n) (x0)/n!(x-x0)^n+o((x-x0)^n)f(n)(x)表示f(x)的n阶导数，f(n) (x0)表示f(n)(x)在x0处的取值 (可以反复使用L'Hospital法则来推导)
形式2：:带Lagrange余项的Taylor公式： 若 f(x）在闭区间[a，b]上有n阶连续 ，在(a,b)上有n+1阶导数。任取x0∈[a,b]是一定点，则对任意x∈[a,b]成立下式： f(x)=f(x。)+f'(x。)(x-x。)+f''(x。)/2!*(x-x。)^2,+f'''(x。)/3!*(x-x。)^3+……+f(n)(x。)/n!*(x-x。)^n+Rn(x)，Rn(x)=f(n+1)(ξ)/(n+1)!*(x-x。)^(n+1), ξ在x。和x之间，是依赖于x的量。（注：f(n)(x。)是f(x。)的n阶导数，不是f(n)与x。的相乘。）
） 函数的 Maclaurin展开指上面Taylor公式中x0取0的情况，即是Taylor公式的特殊形式，反过来通过平移和换元， Maclaurin展开式和上面的展开式是等价的。 Taylor公式最典型的应用就是求任意函数的近似值。Taylor公式还可以求等价无穷小，证明不等式，求极限等 &
泰勒公式 - 证明
我们知道f(x)=f(x.)+f'(x.)(x-x.)+α（根据 中值定理导出的有限增量定理有limΔx→0 f(x.+Δx)-f(x.)=f'(x.)Δx，其中误差α是在limΔx→0 即limx→x.的前提下才趋向于0，所以在近似计算中往往不够精确；于是我们需要一个能够足够精确的且能估计出误差的多项式：
P(x)=A0+A1(x-x.)+A2(x-x.)^2+……+An(x-x.)^n 来近似地表示函数f(x）且要写出其误差f(x)-P(x）的具体表达式。设函数P(x）满足P(x.)=f(x.),P'(x.)=f'(x.),P''(x.)=f''(x.），……，P(n)(x.)=f(n)(x.），于是可以依次求出A0、A1、A2、……、An。显然，P(x.)=A0，所以A0=f(x.）；P'(x.)=A1,A1=f'(x.）；P''(x.)=2!A2,A2=f''(x.)/2！……P(n)(x.)=n!An,An=f(n)(x.)/n！。至此，多项的各项系数都已求出，得：P(x)=f(x.)+f'(x.)(x-x.)+[f''(x.)/2!](x-x.)^2+……+[f(n)(x.)/n!](x-x.)^n.
接下来就要求误差的具体表达式了。设Rn(x)=f(x)-P(x），于是有Rn(x.)=f(x.)-P(x.)=0。所以可以得出Rn(x.)=Rn'(x.)=Rn''(x.)=……=Rn(n)(x.)=0。根据 可得Rn(x)/(x-x.)^(n+1）=（Rn(x)-Rn(x.））/（（x-x.)^(n+1）-0）=Rn'（ξ1）/(n+1）（ξ1-x.)^n（注：（x.-x.)^(n+1）=0），这里ξ1在x和x.之间；继续使用柯西中值定理得（Rn'（ξ1）-Rn'(x.））/（（n+1）（ξ1-x.)^n-0）=Rn''（ξ2）/n(n+1）（ξ2-x.)^(n-1）这里ξ2在ξ1与x.之间；连续使用n+1次后得出Rn(x)/(x-x.)^(n+1）=Rn(n+1）（ξ）/(n+1）！，这里ξ在x.和x之间。但Rn(n+1）（x)=f(n+1）（x)-P(n+1）（x），由于P(n)(x)=n!An,n!An是一个常数，故P(n+1）（x)=0，于是得Rn(n+1）（x)=f(n+1）（x）。综上可得，余项Rn(x)=f(n+1）（ξ）/(n+1）！?(x-x.)^(n+1）。一般来说展开函数时都是为了计算的需要，故x往往要取一个定值，此时也可把Rn(x）写为Rn。
麦克劳林展开式函数的 Maclaurin展开指上面Taylor公式中x0取0的情况，即是Taylor公式的特殊形式.
Taylor公式的应用： 1、展开三角函数y=sinx和y=cosx。 解：根据导数表得：f(x)=sinx,f'(x)=cosx,f''(x)=-sinx,f'''(x)=-cosx,f⑷（x)=sinx…… f(n)(x)=sin(x+nπ/2) 于是得出了 规律。分别算出f(0)=0，f'(0)=1,f''(x)=0,f'''(0)=-1,f⑷=0…… 最后可得：sinx=x-x^3/3!+x^5/5!-x^7/7!+x^9/9!+Rn(x) Rn(x)=o(x^10) (Peano余项) 或Rn(x)=sin(ξ+11π/2)/11!*x^11,ξ∈(0,x) 类似地，可以展开y=cosx。
2、计算近似值e=lim x→∞ （1+1/x)^x。 解：对指数函数y=e^x运用 展开式并舍弃余项： e^x≈1+x+x^2/2!+x^3/3!+……+x^n/n! 当x=1时，e≈1+1+1/2!+1/3!+……+1/n! 取n=10，即可算出近似值e≈2.7182818。
3、欧拉公式：e^ix=cosx+isinx（i为-1的开方，即一个虚数单位） 证明：这个公式把 写为了幂指数形式，其实它也是由 展开式确切地说是麦克劳林级数证明的。过程具体不写了，就把思路讲一下：先展开指数函数e^z，然后把各项中的z写成ix。由于i的幂 性，可已把系数中含有土i的项用乘法分配律写在一起，剩余的项写在一起，刚好是cosx,sinx的展开式。然后让sinx乘上提出的i，即可导出 公式。有兴趣的话可自行证明一下。 &
泰勒公式 - 背景
e的来源和作用e的发现始于微分，当 h 逐渐接近零时，计算 之值，其结果无限接近一定值 2.71828...，这个定值就是 e，最早发现此值的人是 著名数学家 ，他以自己姓名的字头小写 e 来命名此无理数.
计算对数函数 的导数，得，当 a=e 时，的导数为，因而有理由使用以 e 为底的对数，这叫作自然对数. 若将指数函数 ex 作泰勒展开，则得
以 x=1 代入上式得 此级数收敛迅速，e 近似到小数点后 40 位的数值是 将指数函数 ex 扩大它的定义域到
z=x+yi 时，由 透过这个级数的计算，可得 由此，De Moivre 定理，三角函数的和差角公式等等都可以轻易地导出.譬如说，z1=x1+y1i,z2=x2+y2i, 另方面，
所以， 我们不仅可以证明 e 是无理数，而且它还是个超越数，即它不是任何一个整系数多项式的根，这个结果是 Hermite 在1873年得到的. 甲）差分.
考虑一个（即数列） R，它在 n 所取的值 u(n) 记成 un，通常我们就把这个函数书成 或 (un).数列 u 的差分 还是一个数列，它在 n 所取的值以定义为 以后我们干脆就把 简记为
（例）：数列 1,4,8,7,6,-2,... 的差分数列为 3,4,-1,-1,-8 ... 注：我们说「数列」是「定义在离散点上的函数」如果在高中，这样的说法就很恶劣.但在此地，却很恰当，因为这样才跟连续型的函数具有完全平行的类推. 差分算子的性质
（i) [合称线性] （ii) （常数） [差分方程根本定理] （iii) 其中，而 (n(k) 叫做排列数列. （iv) 叫做自然等比数列. （iv)' 一般的指数数列（几何数列）rn 之差分数列（即「导函数」）为 rn(r-1）
（乙）.和分 给一个数列 (un).和分的问题就是要算和 . 怎么算呢 我们有下面重要的结果： &定理1 （差和分根本定理） 如果我们能够找到一个数列 (vn），使得，则 和分也具有线性的性质： 甲）微分 给一个函数 f，若 商（或差分商） 的极限 存在，则我们就称此极限值为 f 为点 x0 的导数，记为 f'(x0) 或 Df(x），亦即 若 f 在定义区域上每一点导数都存在，则称 f 为可导微函数.我们称 为 f 的导函数，而 叫做微分算子. 微分算子的性质： （i) [合称线性] （ii) （常数） [差分方程根本定理] （iii) Dxn=nxn-1 （iv) Dex=ex （iv)' 一般的指数数列 ax 之导函数为
（乙）积分. 设 f 为定义在 [a,b] 上的函数，积分的问题就是要算阴影的面积.我们的办法是对 [a,b] 作分割： ；其次对每一小段 [xi-1,xi] 取一个样本点 ；再求近似和 ；最后再取极限 （让每一小段的长度都趋近于 0). 若这个极限值存在，我们就记为 的几何意义就是阴影的面积. （事实上，连续性也「差不多」是积分存在的必要条件.)
积分算子也具有线性的性质： 定理2 若 f 为一连续函数，则 存在.（事实上，连续性也「差不多」是积分存在的必要条件.)
定理3 ( 根本定理） 设 f 为定义在闭区间 [a,b] 上的连续函数，我们欲求积分 如果我们可以找到另一个函数 g，使得 g'=f，则 注：⑴⑵两式虽是类推，但有一点点差异，即和分的上限要很小心！
上面定理1及定理3基本上都表述着差分与和分，微分与积分，是两个互逆的操作，就好像加法与减法，乘法与除法是互逆的操作一样. 我们都知道差分与微分的操作比和分与积分简单多了，而上面定理1及定理3告诉我们，要计算 (un) 的和分及 f 的积分，只要去找另一个 (vn) 及 g 满足，g'=f （这是差分及微分的问题），那么对 vn 及 g 代入上下限就得到答案了.换句话说，我们可以用较简单的差分及微分操作来掌握较难的和分及积分操作，这就是""的精神.牛顿与莱布尼慈对微积分最大的贡献就在此.
甲）Taylor展开公式 这分别有离散与连续的类推.它是数学中「逼近」这个重要想法的一个特例.逼近想法的意思是这样的：给一个函数 f，我们要研究 f 的行为，但 f 本身可能很复杂而不易对付，于是我们就想法子去找一个较「简单」的函数 g，使其跟 f 很「靠近」，那么我们就用 g 来取代 f.这又是以简御繁的精神表现.由上述我们看出，要使用逼近想法，我们还需要澄清
两个问题：即如何选取简单函数及逼近的尺度. （一） 对于连续世界的情形，Taylor 展式的逼近想法是选取多项函数作为简单函数，并且用局部的「切近」作为逼近尺度.说得更明白一点，给一个直到到 n 阶都可导微的函数 f，我们要找一个 n 次多项函数 g，使其跟 f 在点 x0 具有 n 阶的「切近」，即，答案就是
此式就叫做 f 在点 x0 的 n 阶 Taylor 展式.
g 在 x0 点附近跟 f 很靠近，于是我们就用 g 局部地来取代 f.从而用 g 来求得 f 的一些局部的定性行为.因此 Taylor 展式只是局部的逼近.当f是足够好的一个函数，即是所谓解析的函数时，则 f可展成 Taylor 级数，而且这个 Taylor 级数就等于 f 自身.
值得注意的是，一阶 Taylor 展式的特殊情形，此时 g(x)=f(x0）+f'(x0)(x-x0) 的图形正好是一条通过点 (x0,f(x0)) 而且切于 f 的图形之直线.因此 f 在点 x0 的一阶 Taylor 展式的意义就是，我们用过点 (x0,f(x0)) 的切线局部地来取代原来 f 曲线.这种局部化「用平直取代弯曲」的精神，是微分学的精义所在.
利用 Taylor 展式，可以帮忙我们做很多事情，比如判别函数的极大值与极小值，求积分的近似值，作函数表（如三角函数表，对数表等)，这些都是意料中事.事实上，我们可以用逼近的想法将微积分「一以贯之」.
复次我们注意到，我们选取多项函数作为逼近的简单函数，理由很简单：在众多初等函数中，如三角函数，指数函数，对数函数，多项函数等，从算术的观点来看，以多项函数最为简单，因为要计算多项函数的值，只牵涉到加减乘除四则运算，其它函数就没有这么简单.
当然，从别的解析观点来看，在某些情形下还另有更有用更重要的简单函数.例如，三角多项式，再配合上某种逼近尺度，我们就得到 Fourier 级数展开，这在 上占有举足轻重的地位.（事实上，Fourier 级数展开是采用最小方差的逼近尺度，这在 中经常出现，而且在统计学中也有应用.)
注：取 x0=0 的特例，此时 Taylor 展式又叫做 Maclaurin 展式.不过只要会做特例的展开，欲求一般的 Taylor 展式，作一下平移（或变数代换）就好了.因此我们大可从头就只对 x=0 点作 Taylor 展式.
（二） 对于离散的情形，Taylor 展开就是： 给一个数列，我们要找一个 n 次多项式数列 (gt），使得 gt 与 ft 在 t=0 点具有 n 阶的「差近」.所谓在 0 点具有 n 阶差近是指：
答案是 此式就是离散情形的 Maclaurin 公式.
乙）分部 与Abel分部和分公式的类推 （一） 分部 ：
设 u(x),v(x) 在 [a,b] 上连续，则
（二） Abel分部和分公式： 设（un),(v）为两个数列，令 sn=u1+......+un，则
上面两个公式分别是莱布尼慈导微公式 D(uv)=(Du)v+u(Dv），及莱布尼慈差分公式 的结论.注意到，这两个莱布尼慈公式，一个很对称，另一个则不然.
（丁）复利与连续复利 （这也分别是离散与连续之间的类推）
（一） 复利的问题是这样的：有本金 y0，年利率 r，每年复利一次，要问 n 年后的本利和 yn= 显然这个数列满足差分方程 yn+1=yn（1+r) 根据（丙）之（二）得知 yn=y0（1+r)n 这就是复利的公式.
（二） 若考虑每年复利 m 次，则 t 年后的本利和应为 令，就得到连续复利的概念，此时本利和为y(t)=y0ert 换句话说，连续复利时，t 时刻的本利和 y(t)=y0ert 就是
y'=ry 的解答. 由上述我们看出离散复利问题由差分方程来描述，而连续复利的问题由微分方程来描述.对于常系数线性的差分方程及微分方程，解方程式的整个要点就是叠合原理，因此求解的办法具有完全平行的类推.
（戊）Fubini 重和分定理与 Fubini 重积分定理（也是离散与连续之间的类推） （一） Fubini 重和分定理：给一个两重指标的数列 (ars），我们要从 r=1 到 m,s=1到 n，对 (ars) 作和，则这个和可以这样求得：光对 r 作和再对 s 作和（反过来亦然）.亦即我们有
（二）Fubini 重积分定理：设 f(x,y) 为定义在 上之可积分函数，则 当然，变数再多几个也都一样.
（己）Lebesgue 积分的概念 （一） 离散的情形：给一个数列 (an），我们要估计和，Lebesgue 的想法是，不管这堆数据指标的顺序，我们只按数值的大小来分堆，相同的分在一堆，再从每一堆中取一个数值，乘以该堆的个数，整个作和起来，这就得到总和.
（二）连续的情形：给一个函数 f，我们要定义曲线 y=f(x) 跟 X 轴从 a 到 b 所围出来的面积. Lebesgue 的想法是对 f 的影域 作分割：
函数值介 yi-1 到 yi 之间的 x 收集在一齐，令其为，于是 [a,b] 就相应分割成，取样本点，作近似和 让影域的分割加细，上述近似和的极限若存在的话，就叫做 f 在 [a,b] 上的 Lebesgue 积分.
余项泰勒公式的余项f(x)=f(a) + f'(a)(x-a)/1! + f''(a)(x-a)^2/2! + …… + f(n)(a)(x-a)^n/n! + Rn(x) [其中f(n）是f的n阶导数] 泰勒余项可以写成以下几种不同的形式：
⒈佩 (Peano）余项： Rn(x) = o((x-a)^n)
⒉施勒米尔希-罗什(Schlomilch-Roche）余项： Rn(x) = f(n+1）（a+θ（x-a））（1-θ）^(n+1-p)(x-a)^(n+1）/(n!p) [f(n+1）是f的n+1阶导数，θ∈（0,1）]
⒊拉格朗日（Lagrange）余项： Rn(x) = f(n+1）（a+θ（x-a))(x-a)^(n+1）/(n+1）！ [f(n+1）是f的n+1阶导数，θ∈（0,1）]
⒋柯西（Cauchy）余项： Rn(x) = f(n+1）（a+θ（x-a））（1-θ）^n (x-a)^(n+1）/n! [f(n+1）是f的n+1阶导数，θ∈（0,1）]
⒌积分余项： Rn(x) = [f(n+1）（t)(x-t)^n在a到x上的积分]/n! [f(n+1）是f的n+1阶导数] 这里诸多余项事实上很多是等价的。
泰勒公式 - 泰勒简介
18世纪早期 牛顿学派最优秀代表人物之一的英国数学家泰勒（Brook Taylor）， 于1685 年8月18日在英格兰 德尔塞克斯郡的 出生。1701年，泰勒进 的圣约翰学院学习。1709年后移居 ，获得法学学士学位。1712年当选为 会员，同年进入促裁牛顿和莱布尼兹发明微积分优先权争论的委员会。并于两年后获法学博士学位。从1714年起担任皇家学会第一秘书，1718年以健康为由辞去这一职务。1717年，他以泰勒定理求解了数值方程。最后在月29日于 逝世。
由于工作及健康上的原因，泰勒曾几次访问 并和法国数学家蒙莫尔多次通信讨论级数问题和概率论的问题。1708年，23岁的泰勒得到了“问题”的解，引起了人们的注意，在这个工作中他用了 的瞬的记号。 从年,是泰勒在数学上多产的时期。
泰勒公式 - 主要著作
他的两本著作：《正和反的增量法》及《直线透视》都出版于1715年，它们的第二版分别出于年。从年，他在《哲学会报》上共发表了13篇文章，其中有些是通信和评论。文章中还包含毛细管现象、磁学及温度计的实验记录。
在生命的后期，泰勒转向宗教和哲学的写作，他的第三本著作《哲学的沉思》在他死后由外孙W.杨于1793年出版。
泰勒以微积分学中将 展开成无穷 的定理著称于世。这条定理大致可以叙述为：函数在一个点的邻域内的值可以用函数在该点的值及各阶 值组成的无穷级数表示出来。然而，在半个世纪里，数学家们并没有认识到泰勒定理的重大价值。这一重大价值是后来由 发现的，他把这一定理刻画为微积分的基本定理。泰勒定理的严格证明是在定理诞生一个世纪之后，由柯西给出的。
泰勒定理开创了有限差分理论，使任何单变量函数都可展成 ；同时亦使 成了有限差分理论的奠基者。泰勒于书中还讨论了 对一系列物理 问题之应用，其中以有关弦的横向振动之结果尤为重要。他透过求解方程 导出了基本频率公式，开创了研究弦振问题之先河。此外，此书还包括了他于 数学上之其他创造性工作，如论述常 的奇异解，曲率 问题之研究等。
1715年，他出版了另一名著《线性透 视论》，更发表了再版的《线性透视原理》（1719）。他以极严密之形式展开其线性透 视学体系，其中最突出之贡献是提出和使用「」概念， 这对摄影测量制图学之发展有 一定影响。另外，还撰有哲学遗作，发表于1793年。 展开式泰勒公式可以用(无限或者有限)若干项连加式(-级数)来表示一个函数，这些相加的项由函数在某一点(或者加上在临近的一个点的&次导数)的导数求得。对于正整数n，若函数&在闭区间&上&阶连续可导，且在&上&阶可导。任取&是一定点，则对任意&成立下式：其中，&表示&的n阶导数，多项式称为函数&在a处的泰勒展开式，剩余的&是泰勒公式的余项，是&的高阶无穷小。[1]&余项泰勒公式的余项&可以写成以下几种不同的形式：1、佩亚诺(Peano）余项：这里只需要n阶导数存在2、施勒米尔希-罗什(Schlomilch-Roche）余项：其中θ∈（0,1）。3、拉格朗日（Lagrange）余项：其中θ∈（0,1）。4、柯西（Cauchy）余项：其中θ∈（0,1）。5、积分余项：以上诸多余项事实上很多是等价的。2公式推广编辑麦克劳林展开函数的麦克劳林展开指上面泰勒公式中a取0的情况，即是泰勒公式的特殊形式，若&在x=0处n阶连续可导，则下式成立：其中&表示&的n阶导数。[1]&泰勒中值定理若&在包含&的某开区间（a，b）内具有直到n+1阶的导数，则当x∈（a，b）时，有其中&是n阶泰勒公式的拉格朗日余项：&，多元泰勒公式对于多元函数，也有类似的泰勒公式。设B(a,r)&是欧几里得空间RN中的开球，?&是定义在B(a,r)&的闭包上的实值函数，并在每一点都存在所有的n+1&次偏导数。这时的泰勒公式为：对所有3验证推导编辑我们知道，根据拉格朗日中值定理导出的有限增量定理有：于是：其中误差α是在limΔx→0&即limx→x0的前提下才趋向于0，所以在近似计算中往往不够精确；于是我们需要一个能够足够精确的且能估计出误差的多项式：来近似地表示函数f(x）且要写出其误差f(x)-P(x）的具体表达式。设函数P(x)满足&：于是可以依次求出A0、A1、A2、……、An，显然有：&，所以&；&，所以&；&，所以&；&，所以&；至此，多项的各项系数都已求出，得：以上就是函数&的泰勒展开式。[1]&接下来就要求误差的具体表达式了。设&，令&得到：进而：根据柯西中值定理：其中&；继续使用柯西中值定理得到：其中&；连续使用n+1次后得到：&其中；同时：而：进而：综上可得：一般来说展开函数时都是为了计算的需要，故x往往要取一个定值，此时也可把Rn(x）写为Rn。[1]&4发展简史编辑希腊哲学家芝诺在考虑利用无穷级数求和来得到有限结果的问题时，得出不可能的结论-芝诺悖论，这些悖论中最著名的两个是“阿喀琉斯追乌龟”和“飞矢不动”。后来，亚里士多德对芝诺悖论在哲学上进行了反驳，直到德谟克利特以及后来的阿基米德进行研究，此部分数学内容才得到解决。阿基米德应用穷举法使得一个无穷级数能够被逐步的细分，得到了有限的结果。[2]&14世纪，玛达瓦发现了一些特殊函数，包括正弦、余弦、正切、反正切等三角函数的泰勒级数。17世纪，詹姆斯·格雷果里同样继续着这方面的研究，并且发表了若干麦克劳林级数。直到1712年，英国牛顿学派最优秀代表人物之一的数学家泰勒提出了一个通用的方法，这就是为人们所熟知的泰勒级数；爱丁堡大学的科林·麦克劳林教授发现了泰勒级数的特例，称为麦克劳林级数。5公式应用编辑实际应用中，泰勒公式需要截断，只取有限项，一个函数的有限项的泰勒级数叫做泰勒展开式。泰勒公式的余项可以用于估算这种近似的误差。泰勒展开式的重要性体现在以下三个方面：幂级数的求导和积分可以逐项进行，因此求和函数相对比较容易。一个解析函数可被延伸为一个定义在复平面上的一个开片上的解析函数，并使得复分析这种手法可行。泰勒级数可以用来近似计算函数的值。实例1、展开三角函数&和&。解：根据导数表得：最后可得：其中&为皮亚诺余项：或：其中[3]&类似地，可以展开y=cos(x)。2、计算近似值解：对指数函数运用麦克劳林展开式并舍弃余项：当x=1时：取n=10，即可算出近似值e≈2.7182818。[3]&3、欧拉公式：（其中&，即一个虚数单位）证明：这个公式把复数写为了幂指数形式，其实它也是由麦克劳林展开式确切地说是麦克劳林级数证明的。证明思路是先展开指数函数e^z，然后把各项中的z写成ix。由于i的幂周期性，可已把系数中含有土i的项用乘法分配律写在一起，剩余的项写在一起，刚好是cosx,sinx的展开式。然后让sinx乘上提出的i，即可导出欧拉公式。& &
万方数据期刊论文
- 陕西师范大学学报(自然科学版) -
万方数据期刊论文
- 爆炸与冲击 -
万方数据期刊论文
- 控制与决策 -
为本词条添加和相关影像
互动百科的词条（含所附图片）系由网友上传，如果涉嫌侵权，请与客服联系，我们将按照法律之相关规定及时进行处理。未经许可，禁止商业网站等复制、抓取本站内容；合理使用者，请注明来源于。
登录后使用互动百科的服务，将会得到个性化的提示和帮助，还有机会和770多万专业认证智愿者沟通。
您也可以使用以下网站账号登录：
此词条还可添加&
编辑次数：
参与编辑人数：
最近更新时间： 21:17:20
贡献光荣榜
扫描二维码用手机浏览词条
保存二维码可印刷到宣传品
扫描二维码用手机浏览词条
保存二维码可印刷到宣传品}