高数中需要掌握证明过程的定理(二).docVIP

高数中的重要定理与公式及其证明（二） 在第一期的资料内我们总结了高数前半部分需要掌握证明过程的定理，由于最近比较忙，所以一直没来得及写。现将后半部分补上。希望对大家有所帮助。 1）泰勒公式（皮亚诺余项） 设函数 SKIPIF 1 0 在点 SKIPIF 1 0 处存在 SKIPIF 1 0 阶导数，则在 SKIPIF 1 0 的某一邻域内成立 SKIPIF 1 0 【点评】：泰勒公式在计算极限、高阶导数及证明题中有很重要的应用。对于它们，我们首要的任务是记住常见函数（ SKIPIF 1 0 ）在 SKIPIF 1 0 处的泰勒公式，并能利用它们计算其它一些简单函数的泰勒公式，然后在解题过程中加以应用。在复习的前期，如果基础不是很好的话，两种不同形式的泰勒公式的证明可以先不看。但由于证明过程中所用到的方法还是很常用的。因此把它写在这里。 证明： 令 SKIPIF 1 0 则我们要证明 SKIPIF 1 0 。 由高阶无穷小量的定义可知，需要证明 SKIPIF 1 0 。 这个极限式的分子分母都趋于零，并且都是可导的， 因此用洛必达法则得 SKIPIF 1 0 再次注意到该极限式的分子分母仍趋于零，并且也都是可导的，因此可以再次运用洛必达法则。 不难验证该过程可以一直进行下去， 运用过 SKIPIF 1 0 次洛必达法则后我们可以得到 SKIPIF 1 0 由于 SKIPIF 1 0 在点 SKIPIF 1 0 处存在 SKIPIF 1 0 阶导数，由导数的定义可知 SKIPIF 1 0 代入可得 SKIPIF 1 0 。 证毕 注：这个定理很容易得到如下错误的证明：直接用 SKIPIF 1 0 次洛必达法则后得到 SKIPIF 1 0 错误的原因在于定理条件中仅告知了 SKIPIF 1 0 在点 SKIPIF 1 0 处存在 SKIPIF 1 0 阶导数，并没有说明在其它点处的 SKIPIF 1 0 阶导数是否存在。就算其它点处的 SKIPIF 1 0 阶导数也存在， SKIPIF 1 0 也不一定连续， SKIPIF 1 0 也不一定成立。 希望大家注意。 2）泰勒公式（拉格朗日余项） 设函数 SKIPIF 1 0 含有点 SKIPIF 1 0 的某个开区间 SKIPIF 1 0 内有直到 SKIPIF 1 0 阶导数，则对 SKIPIF 1 0 内任意一点 SKIPIF 1 0 ，都成立 SKIPIF 1 0 其中 SKIPIF 1 0 ，其中 SKIPIF 1 0 介于 SKIPIF 1 0 和 SKIPIF 1 0 之间。 【点评】：同上。 证明： 令 SKIPIF 1 0 SKIPIF 1 0 则我们需要证明 SKIPIF 1 0 。 由于 SKIPIF 1 0 ，因此 SKIPIF 1 0 易知， SKIPIF 1 0 满足柯西中值的条件。因此，由柯西中值定理可知，在 SKIPIF 1 0 和 SKIPIF 1 0 之间存在一点 SKIPIF 1 0 使得 SKIPIF 1 0 而 SKIPIF 1 0 因此，此时仍然有 SKIPIF 1 0 。 则 SKIPIF 1 0 。 易知， SKIPIF 1 0 仍满足柯西中值的条件。因此，由柯西中值定理可知，在 SKIPIF 1 0 和 SKIPIF 1 0