高数中需要掌握证明过程的定理二

1、高数中的重要定理与公式及其证明（二）在第一期的资料内我们总结了高数前半部分需要掌握证明过程的定理，由于最近比较忙，所以一直没来得及写。现将后半部分补上。希望对大家有所帮助。1）泰勒公式（皮亚诺余项）设函数在点处存在阶导数，则在的某一邻域内成立【点评】：泰勒公式在计算极限、高阶导数及证明题中有很重要的应用。对于它们，我们首要的任务是记住常见函数（）在处的泰勒公式，并能利用它们计算其它一些简单函数的泰勒公式，然后在解题过程中加以应用。在复习的前期，如果基础不是很好的话，两种不同形式的泰勒公式的证明可以先不看。但由于证明过程中所用到的方法还是很常用的。因此把它写在这里。证明：令则我们要证明。由高阶无

2、穷小量的定义可知，需要证明。这个极限式的分子分母都趋于零，并且都是可导的，因此用洛必达法则得再次注意到该极限式的分子分母仍趋于零，并且也都是可导的，因此可以再次运用洛必达法则。不难验证该过程可以一直进行下去，运用过次洛必达法则后我们可以得到由于在点处存在阶导数，由导数的定义可知代入可得。 证毕注：这个定理很容易得到如下错误的证明：直接用次洛必达法则后得到错误的原因在于定理条件中仅告知了在点处存在阶导数，并没有说明在其它点处的阶导数是否存在。就算其它点处的阶导数也存在，也不一定连续，也不一定成立。希望大家注意。2）泰勒公式（拉格朗日余项）设函数含有点的某个开区间内有直到阶导数，则对内任意一点，都

3、成立其中，其中介于和之间。【点评】：同上。证明：令则我们需要证明。由于，因此易知，满足柯西中值的条件。因此，由柯西中值定理可知，在和之间存在一点使得而因此，此时仍然有。则。易知，仍满足柯西中值的条件。因此，由柯西中值定理可知，在和之间存在一点使得。由于在和之间，因此也在和之间。容易检验，上述过程可以一直进行下去，使用过次柯西公式后即可得到。 证毕注：在计算极限或确定无穷小量的阶时，一般用到皮亚诺余项的泰勒公式；在做证明题时用拉格朗日余项比较多。两种泰勒公式的条件是不同的，其中拉格朗日余项的条件更强，结论也更强。这两个定理的证明，如果基础不太好一时接受不了的话可以先跳过，到下一阶段再看。3）定积

4、分中值定理设函数在区间上连续，则在积分区间上至少存在一点使得下式成立：【点评】：积分中值定理是定积分比较定理和闭区间上连续函数的介值定理的推论，它在是证明微积分基本定理的基础，在整个微积分中具有极大的理论意义。同时，证明题中对该定理的应用也比较常见，通常会和微分中值定理结合使用，考生首先应该熟记该定理的条件和结论。另外，考试中还出现过与该定理证明方法类似的证明题。因此，该定理的证明过程也是需要掌握的。该定理的证明过程教材上有，因为比较重要，也为了方便大家，在这里写一下我的证明过程证明：由于在区间上连续，由闭区间上连续函数的最值定理可知：在区间上可以取到最大与最小值。设最大值为，最小值为。则有。

5、则有，也即两边同时除以可得。可知是介于函数在区间上的最大值和最小值为之间的一个数。由闭区间上连续函数的介值定理可知，能取到上的一切数。因此在积分区间上存在一点使得：。也即。 证毕附：下面是02年数三的一道证明题，证明方法与本定理很类似，大家可以试一试。【02年数三 6分】：设函数在上连续，且。试利用闭区间上连续函数的性质，证明存在一点，使得。4）积分上限函数的导数如果函数在区间上连续，则变积分上限函数在上可导，并且它的导数是【点评】：这个定理的重要性不用强调了，考试中也直接考到过它的证明。由于是对定理的证明，因此要证明的导数等于只能用定义，对于大家强化导数的定义是一个很好的训练。证明：由导数的

6、定义可知，本定理等价于证明。而由于在区间上连续，因此由定积分中值定理可知：存在介于与之间的使得，则。由于介于与之间，因此当时，。又由于在区间上连续，可知。也即。由导数的定义可知。 证毕5）牛顿莱布尼兹公式如果函数是连续函数在区间上的一个原函数，则【点评】：牛顿-莱布尼兹公式又名微积分基本定理，是因为它用一个简单的公式就成功地联系起了微积分中最重要的两个概念：微分和积分，极大地简化了定积分的计算。它是微积分最核心的定理之一，其简洁明了的形式也使它被认为是微积分几百年研究历史中最漂亮的结论之一！该定理和上一个定理实际上是等价的，只需要用到一个函数在同一区间上的不同原函数间仅相差一个常数。大家不妨自

7、己推证。6）柯西施瓦兹不等式设函数都在区间上可积且平方可积（注意：这里没有说连续），则有【点评】：这个公式是教材上的习题，在考试时可以直接用。该公式在连续时也成立，但证明方法有区别，通过这个例子可以说明应用牛顿莱布尼兹公式时检验被积函数是否连续的重要性。证明：法一：令则。而因此在区间上单调递减。则有。整理即得所需不等式。 证毕注：就本题来说，这个证明过程是错的。因为本题没有说连续，因此不能用变上限积分求导公式，也就是说对的计算是不合法的。把这个证明过程放在这里是因为在考研范围内我们遇到的函数大多是连续的，而且利用函数单调性的方法在积分不等式的证明中也是很有代表性的。法二：易知，有。将括号打开可

8、得将该式看作变量的二次函数，。可知，对任意的实数都成立。由二次函数的相关理论可知，该二次函数的判别式小于或等于零也即整理即得所需不等式。 证毕注：由于这种证明方法所用到的条件比连续弱，因此当连续时，该证明过程也成立。但这个证明过程所用到的方法不具有代表性，大家了解一下即可。7）二元函数偏导数存在与可微的关系如果函数在点可微，则函数在该点连续且两个偏导数均存在，并且【点评】：学到多元函数时第一个困扰我们的就是多元函数的可微与可导不再等价，它们与连续性的关系也变得更为复杂了。下面希望能通过几个定理与反例来将这个关系说清楚。证明：由可微的定义可知存在只与有关而与实数使得在点附近成立。现证明，由偏导数定义可知，这等价于证明。由于成立，因此则。由高阶无穷小的定义可知。因此，有。也即。同理，可证。 证毕注1：关于二元函数可微，偏导数存在、连续和偏导数连续的关系可以用下图来表示：也就是说：偏导数连续的函数必然可微，可微的函数必然连续并且存在偏导数，但连续和偏导数存在这两个概念本身是互不包含的（也就是说连续的函数不一定存在偏导数，偏导数存在的函数也不一定连续）。注二：例如：1）函数，在连续，但偏导数不存在。2）又如函数，在（0，0）处