(怎样构造辅助函数).doc

问题1：罗尔中值定理、拉格朗日中值定理的内容是什么？有什么样的几何意义？ 答：罗尔中值定理的内容如下： 设函数满足如下条件：（1）在闭区间上连续； （2）在开区间上可微；（3）； 则在内至少存在一点，使得=0. 注：罗尔定理一般是作为拉格朗日中值定理和柯西中值 定理证明的预备定理，故若对其加强仔细分析、证明，也 可以加以对拉格朗日中值定理的理解和应用. 罗尔中值定理的几何意义指：在两个高度相同的点A、B之间的一段连续曲线上，若除端点外，它在每一点都有不垂直于轴的切线，则该曲线至少存在一点，过该点的切线平行于轴（过两端点A、B的弦）. 拉格朗日中值定理的内容如下： 设函数满足如下条件： （1）在闭区间上连续；（2）在开区间上可微； 则在内至少存在一点，使得=. 拉格朗日中值定理的几何意义是：若曲线在 内每一点都有不平行于轴的切线，则在该曲线上至少存在一点 (， () ), 使曲线在该点的切线平行于过曲线两端点A、B的弦. 注：对于拉格朗日中值定理与罗尔定理仅相差在区间端点的函数值相等（即）这一条件.因此，证明拉格朗日中值定理的关键是，构造一个合适罗尔定理条件的辅助函数，对应用罗尔定理，即可得到拉格朗日中值定理的结论. 怎样在微分中值定理中构造辅助函数成了解这类题的主要关键，下面介绍怎样构造的方法，还有附带几个经典例题。 分析法在构造辅助函数中的使用 所谓分析构造辅助函数法，就是先对所给的定理或命题进行分析、简化、变形，得出其等价命题，接着对该等价命题进行分析，看是否可以利用一些已知的定理或命题解决这个等价命题，由此可以构造出恰当的辅助函数来解决问题. 从拉格朗日中值定理来看，欲证存在一点,使得成立，即证存在一点，使得成立，亦即成立.这与罗尔定理的结论：的形式一样，所以可作辅助函数，显然， 满足罗尔定理的条件，并由 证得拉格朗日中值定理成立，亦即成立下面等式： （＜＜ 从结论的分析来设法构造辅助函数是微分学中用来证明定理或命题的方法之一，其思路就是从命题的结论入手来分析结论的形式特点，从中得到启发进而构造出与已知命题条件相等的辅助函数，使命题得证。 介绍一些常见表达式中的原函数： (1)要证，所以可令 (2)要证 ，所以可令 (3)要证 ，所以可令 凑原函数法在构造辅助函数中的使用 答：应用罗尔定理证明一类问题时，由于罗尔定理的结论是“导数等于0”，可尝试将命题的结论化简变形，凑出满足罗尔定理条件的原函数作为辅助函数. 如：证明拉格朗日中值定理凑原函数法的构造过程 由定理的结论 = ，即， 令，则即为辅助函数. 例题 设在[0,1]上可导,且满足关系式,求证:在(0,1)内至少存在一个,使. 证明构造辅助函数,由结论,令,则有,两边积分,因此,,所以, ,令=0,取为辅助函数.由题设可知在[0,1]上连续, 在(0,1)内可导, 由于，因此有,0≤,由中值定理得,而,因此在[上,,即,亦,证毕. 常数值法在构造辅助函数中的使用 对许多中值命题，可用对命题的结论简化变形以及移项，使一边为常数，并令该常数为, 然后将该式恒等变形，化为对称式，从而找到满足罗尔定理的适当的辅助函数，这样的方法称为常数值构造辅助函数法. 在证明的命题中，常数已分离，可考虑用以下步骤求辅助函数： （1）将常数部分记作； （2）恒等变形，使等式一端为构成的代数式，另一端为构成的代数式； （3）分析关于端点的表达式是否为对称式，若是，只要把端点换成，则换变量后的端点表达式就是所求的辅助函数. 例题：设在区间上连续，在内可导，求证在内至少存在一个，使 . 分析：此题型中常数已分离，可令，因此.此为对称式，且与互换等式不变，所以，对此类型的问题作辅助函数. 证明：令（由分析得），显然在上连续，在内可导，又因为，，所以.在上满足罗尔定理，于是存在一个，使，即，所以，证毕. 结合下面例题尝试做下。 微分中值定理的证明题 1.若在上连续，在上可导，，证明：，使得：。 证：构造函数，则在上连续，在内可导， 且，由罗尔中值定理知：，使。即：，而，故。 2.设。 分析：要证的等式是固定点分离，再生成改变量的商，选用中值定理证明，具体步骤为： （1）分离， （2）产生改变量的商 （3）作辅助函数 ，只需在上用柯西定理即可。 例题：设，证明：，使得。 证：将上等式变形得： 作辅助函数，则在上连续，在内可导， 由拉格朗日定理得： ， 即 ， 即： 。 例题：设在内有二阶导数，且，有证明：在 内至少存在一点，使得：。 证：显然在上连续，在内可导，又，故由罗尔定理知：，使得 又，故，于是在上满足罗尔定理条件，故存在，使得：，而，即证 有时候需要考虑