高数概念.docVIP

中值定理专题辅导 ??? “中值定理”部分内容比较抽象，很多同学学起来比较吃力，尤其对证明中值命题感到无从着手。下面对中值命题的题型和解题方法作一简单的归纳总结。 ??? 题型一：欲证结论至少存在一点 使得 ??? 思路之一：验证 在 上满足罗尔定理的条件。由罗尔定理的结论可得命题的证明。有时可能还要结合闭区间上连续函数的一些性质或其它中值定理予以证明。 ??? 思路之二：验证 为 的最值点或极值点，由费马定理便可证明命题。 ??? 费马定理：设函数 在 的某邻域内 内有定义，且 存在，若对于 ，都有 （或 ）则必有 ??? 思路之三：有些命题可用泰勒公式 ??? 例1???????????????? 设函数 在闭区间 上连续，在开区间 内二阶可导，且 ，试证：至少存在一点 使 。 分析：根据题设条件，可按第一种思路证明，即先验证 在某区间（可以是 ，也可以是 的某一个子区间）上满足罗尔定理的条件，而这一点不难验证。 ??? 证明：显然 在 和 上满足罗尔的条件，于是分别存在 ， 使得 。同样，对 在 上应用罗尔定理，存在一点 ，使 。 ??? 注意：有的学生是这样来证明本题的。依题设条件知 在 上满足罗尔定理的条件，故至少存在一点 使 所以 。 ??? 以上证法错在哪里？显然证题人以为 的数值再求导得来的，我们知道：求 时，要先求出 再代入 ，就可以求得 。而不是先求出 ，再将 这个常数值求导来得出 ，以上错误也可以通过检验一个简单的例子而发现。如 ，显然有 ，而 。 ??? 例2、若 在 上有三阶导数，且 ，设 ，试证：在（0，1）内至少存在一点 使 。 ??? 例3??????????????? 已知 在闭区间 上连续，在开区间 内 存在，设连接 两点的直线交曲线 于点 ，试证在 内至少存在一点 ，使得 。 ??? 说明：以上两题的证明思路与例1相同，读者可自行证明。 ??? 例4???????????????? 设 在 内可导，且 ，试证：至少存在一点 使 ． 分析：根据题设条件，若想找出一个有限区间，使得 在该有限区间满足罗尔定理很困难，因此我们考虑选用第二种思路予以证明。 ??? 证明：若 在 内恒为常数，则 ，于是 内任一点均可取为 ．若 在 内不为常数函数，定义 则 在 内连续，故在 内至少存在一点 ，使 ? 不妨设 由于 可知存在 ，当 时， ? 又由于 在 上连续，所以存在 ，使得 在 上的最大值。又 在点 处可导。由费马定理知 ??? 例5 若 在 上具有n阶导数，且 则在 内至少存在一点 ，使得 。 ??? 证明：本题n次运用罗尔定理可以证出,但用泰勒公式则比较简洁。 ??? 将 在 处展开，得 介于 之间。 令 ，并利用已知条件得 其中 使 及类似的命题的证法。 ??? 证明这类问题的一般思路是 ??? i)????? 作辅助函数；ii) 验证辅助函数在 上满足罗尔定理的条件。 ??? 辅助函数的构造采用“逆推法”，即从结论出发，倒推导求一个适当的关系式，由此通过逻辑推理和演绎过程，可得欲证之结论。 ??? 逆推法的大致步骤为： ??? 1、? 换成 ； ??? 2、? ??? 3、? ??? 4、? ． ??? 例6? 用原函数法构造证明Lagrange、cauchy中值定理的辅助函数。 分析：（1）拉格朗日中值定理为 将 换成 ，即为 观察可知 移项使等式的一边为零，得 故可令辅助函数为 ??? （2）柯西中值定理为 将 换成 并变形，得 经观察可知 移项得 故可令辅助函数为 ??? 例7? 设 、 在 上可微，且 ，证明存在一点 使 ??? 分析：将结论中的 换成 ，即 去分母并整理，得 经观察可知 故有 故可令 证明过程略 ? 题型三：欲证结论为：在 内至少存在不相等的 、 满足某种关系式的命题． ??? 证明思路：一般而言，此类问题的证明不必构造辅助函数，而是依据结论的特点，要么多次运用某个中值定理，要么分别运用不同的中值定理来予以证明。 ??? 例8????? 设 在 上连续，在 内可导， 试证在 内至少存在不同的 和 ，使得 ． 分析：用一次中值定理不可能出现两个变量 和 ，考虑到结论中有因式 ，它是 在 处的函数值，同时 而且由题设可知 与 在 上都满足柯西中值定理的条件。 由柯西中值定理知，存在 ，使得 即 在 上运用拉格朗日中值定理得 原命题成立。证明过程请读者自己完成。 ??? 例9? 设 在 上连续，在（0，1）内可导，且 ，根据介值定理，存在 ，使 ． 将 在 ， 上应用拉可朗日中值定理，则存在 分别使得 （1） （2） 由（1）式得 （3） 由（2）式