现在假设 在 附近的某个区间内有 阶导数。再假设我们已经找到了一个次数为 的多项式 ,使得
那么 在 处有一个重数至少为 的零点。根据逼近定理,如果我们令 ,则有
即
其中 位于 与 之间。
剩下的问题是确定 。为此,我们将其写为
即 的幂的组合,其中系数 尚待确定。现在我们希望有 。但 。因此 。 ,因为常数项的导数为 ,并且除 (其导数为 )之外,其余所有项的导数中都保留一个因子 。因此 。同理, ,一般地有 ,即
因此
综上所述,我们有
其中 位于 与 之间。这个结果被称为泰勒公式。
我们可以用另一种方法推导这个公式,这种方法能提供一些值得关注的新信息。在这种情况下,我们再次假设 在包含 和 的区间内有 阶导数。然后我们令
那么
因为前面的项都成对相消了。现在令
其中 ,且 的选取使得 。由于 ,我们还有 。根据罗尔定理,存在一个 ,,使得
因此
并且
特别地,,所以
即
其中 是 与 之间的某个数。如果我们把 换成 ,把 换成 ,就会看到当 时,我们这里的余项与之前完全相同。这一项被称为拉格朗日余项。当 时,余项被称为柯西余项。在某些情况下使用前者比较方便,在另一些情况下使用后者比较方便。
一般地,表达式
被称为 关于 的泰勒级数。当 项之后的余项(即级数前 项与 之差)随着 变大而趋于 时,我们说该级数收敛于 。作为例子,我们将展示 关于 的一个级数,它在 时收敛于 。这实际上就是它关于 的泰勒级数。我们将利用这个级数来演示一种计算 的小数展开的非常有效的方法。
考虑级数
令
那么
这里使用了等比级数求和法则。这正好是
当 为偶数时, 。此时 单调递增。由于 ,所以当 时 。于是,注意到当 为偶数时我们的多项式有偶数项,我们看到当 为偶数且 时,
当 为奇数时, ,且当 时 ,所以
由于 位于任意两个相邻多项式之间,所以 项多项式与 之差至多等于该多项式与下一个 项多项式之差,即
因为 。因此,对于该范围内的 ,级数收敛于。对于 ,我们注意到 ;由于 趋于零,所以 也趋于零。
当 时,这给出
这样我们就有了计算 的小数展开的方法,尽管它并不十分经济高效。不过,有一个与之密切相关且非常有效的方法。设 。那么
再一次,
设 。那么
因此 ,。现在
且
利用这个方法,人们已经计算出了 的数百位小数。
习题
习题 1. 设 为任意 的数。那么当 变大时, 趋于 。因为如果 是一个整数,,且 ,那么
令
那么
且
当 变大时,
现在证明下面的级数就是所示函数关于 的泰勒级数,并且它们对任意 都收敛于这些函数。(使用拉格朗日余项。)
a)
b)
c)
习题 2. 求 关于 的泰勒级数。对于哪些 的值,你能确定该级数收敛于 ?