Question

为什么在网上找不到泰勒中值定理的视频讲解呢？

你们谁有啊！

Answer 1

文字的：泰勒中值定理：若函数f(x)在开区间（a，b）有直到n+1阶的导数，则当函数在此区间内时，可以展开为一个关于（x-x.)多项式和一个余项的和： f(x)=f(x.)+f'(x.)(x-x.)+f''(x.)/2!�6�1(x-x.)^2,+f'''(x.)/3!�6�1(x-x.)^3+……+f(n)(x.)/n!�6�1(x-x.)^n+Rn 其中Rn=f(n+1)(ξ)/(n+1)!�6�1(x-x.)^(n+1),这里ξ在x和x.之间，该余项称为拉格朗日型的余项。 （注：f(n)(x.)是f(x.)的n阶导数，不是f(n)与x.的相乘。） 证明：我们知道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!�6�1(x-x.)^2+……+f(n)(x.)/n!�6�1(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)!�6�1(x-x.)^(n+1)。一般来说展开函数时都是为了计算的需要，故x往往要取一个定值，此时也可把Rn(x)写为Rn。 麦克劳林展开式：若函数f(x)在开区间（a，b）有直到n+1阶的导数，则当函数在此区间内时，可以展开为一个关于x多项式和一个余项的和： f(x)=f(0)+f'(0)x+f''(0)/2!�6�1x^2,+f'''(0)/3!�6�1x^3+……+f(n)(0)/n!�6�1x^n+Rn 其中Rn=f(n+1)(θx)/(n+1)!�6�1x^(n+1),这里0<θ<1。 证明：如果我们要用一个多项式P(x)=A0+A1x+A2x^2+……+Anx^n来近似表示函数f(x)且要获得其误差的具体表达式，就可以把泰勒公式改写为比较简单的形式即当x.=0时的特殊形式： f(x)=f(0)+f'(0)x+f''(0)/2!�6�1x^2,+f'''(0)/3!�6�1x^3+……+f(n)(0)/n!�6�1x^n+f(n+1)(ξ)/(n+1)!�6�1x^(n+1) 由于ξ在0到x之间，故可写作θx，0<θ<1。 麦克劳林展开式的应用： 1、展开三角函数y=sinx和y=cosx。 解：根据导数表得：f(x)=sinx , f'(x)=cosx , f''(x)=-sinx , f'''(x)=-cosx , f(4)(x)=sinx…… 于是得出了周期规律。分别算出f(0)=0，f'(0)=1, f''(x)=0, f'''(0)=-1, f(4)=0…… 最后可得：sinx=x-x^3/3!+x^5/5!-x^7/7!+x^9/9!-……（这里就写成无穷级数的形式了。） 类似地，可以展开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的发现始于微分,当 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). 若这个极限值存在,我们就记为 的几何意义就是阴影的面积. (事实上,连续性也「差不多」是积分存在的必要条件.) 积分算子也具有线性的性质: 泰勒的主要著作是1715年出版的《正 的和反的增量方法》，书内以下列形式陈述出他已于 1712年7月给其老师梅钦（数学家 、天文学家）信中首先提出的著名定理——泰勒定理：式内v为独立变量的增量， 及 为流数。他假定z随时间均匀变化，则 为常数。上述公式以现代 形式表示则为：这公式是从格雷戈里－牛顿插值公式发展而成 的，当x＝0时便称作马克劳林定理。1772年 ，拉格朗日强调了此公式之重要性，而且 称之为微分学基本定理，但泰勒于证明当中并没有考虑 级数的收敛性，因而使证明不严谨， 这工作直至十九世纪二十年代才由柯西完成。 泰勒定理开创 了有限差分理论，使任何单变量 函数都可展成幂级数；同时亦使泰勒成了有限差分理论的奠基者 。 泰勒于书中还讨论了微积分对一系列物理 问题之应用，其中以有关弦的横向振动之结果尤为重要 。他透过求解方程 导出了基本频率公式，开创了研究弦振问题之先 河。此外，此书还包括了他于 数学上之其他创造性工作，如论述常微分方程的奇异解，曲率 问题之研究等。 1715年，他出版了另一名著《线性透 视论》，更发表了再版的《线性透视原理》（1719） 。他以极严密之形式展开其线性透 视学体系，其中最突出之贡献是提出和使用「没影点」概念， 这对（只是一部分）