1. 引言
微分中值定理是微分理论的核心,它由若干个结论组成,Rolle定理是微分中值定理的第一个结论,也是最简单、最基本的一个结论。通过对Rolle定理结构分析和应用分析,开拓学生思路,为掌握Rolle定理及其应用提供帮助。
2. Rolle定理及其结构分析
定理1 [1] (Rolle定理) 若
满足如下条件:1) 在
上连续;2) 在
内可导;3)
,则存在
,使得
。
结构分析 ① 定理中的条件1)和条件2)是函数的定性条件,是微分中值定理的标志,若题目中有这样的条件,应优先考虑用微分中值定理求解;② 从定理的结论看,Rolle定理给出了导函数零点的存在性,进一步可以抽象为函数的零点(或方程的根)的存在性,因此,与连续函数的零点定理具有相同的作用,由此决定了此定理的作用对象特征,至此,研究零点问题的工具有两个,一个是零点定理,一个是Rolle定理;③ 定理的定量条件是函数具有两个等值点
,这和零点定理的条件不同,进一步明确了应用Rolle定理的关键是寻找满足具有两个等值点的函数;④ 注意定理的证明思想,即通过确定内部极值点,然后利用Fermat定理得到结论,当不能直接利用Rolle定理得到结论时,可以考虑利用对应的证明思想(即确定内部极值点)来解决。
3. Rolle定理的应用分析
题型一 证明
。
证明的思路是对函数
应用Rolle定理,问题的关键是寻找
的两个等值点。
例1 设函数
在
上连续,在
内可导,且
,
,证明:存在
,使得
。
结构分析:题型为导函数零点的存在性;类比已知:研究函数零点的工具有连续函数的零点定理和导函数的零点存在性的Rolle定理;两个思路都是考虑之一,从关联紧密的角度看,确定思路为Rolle定理;方法设计:根据Rolle定理,需要验证的定量条件是两个等值点的确定,类比题目中已知条件,已经有了一个函数值信息
,因此,重难点是寻找函数的等值点,即确定另一个满足函数值等于1的点
,这就需要利用附加条件来完成,这是连续函数的介值问题,即需要从0、1、2三个点与
点处的函数值进行比较,由此形成对应的解题方法。因此,需先证存在
,使得
。
证明 因
在
上连续,所以在
上连续,且在
上有最大值M与最小值m,故
,因此
,由介值定理,至少存在一点
,使得
。
因为
,且
在
上连续,在
内可导,由Rolle定理知,必存在
,使得
。
例2 设函数
在
非负且有直到三阶的连续导数,方程
在
有两个不同的实根,证明存在
,使得
。
结构分析 题型:从结论形式看,属于导函数的零点问题,思路为应用Rolle定理;类比已知:处理方法就是对二阶导函数利用Rolle定理,因而,必须寻求两个使得二阶导数相等的点,为此,只需寻找三个使得一阶导数相等的点,或寻找四个使函数值相等的点,这就是证明题目的出发点。在寻找这些点时,要注意一些特殊点处的性质,如函数的零点、一阶导函数的零点(驻点),而由Fermat定理,可导极值点一定是驻点,因此,确定极值点也是确定一阶导函数零点的方法。
证明 已知方程
在
有两个不同的实根,设
且
使得
,则由Rolle定理,存在
,使得
。
(分析 显然,剩下的两个一阶导数的零点要从极值点中寻找。)
由于函数非负,因而,
和
是函数的两个极小值点,故
,
利用Rolle定理,则存在
,
,使得
再次用Rolle定理,存在
,使得
。
题型二 [2] 待证结论中含有一个中值
,不含其它字母。
证明的基本思路是构造适当的辅助函数,使用Rolle定理进行证明。因此,如何构造辅助函数是证明的关键点也是难点,常用的构造辅助函数的方法是原函数法。
情形一 若待证结论是两项相加减的形式(两项中
与
仅相差一阶导数),如
,
。用原函数法构造辅助函数,需要先把
换成
,
,再将其改写成
,进一步还原成
,利用结构一致的原理,将
也改写成对数函数形式,可得
,合并对数得
,因此,辅助函数便可取为
(注意积分的下限不一定取0,也可以是其它常数,根据函数
定义域的要求确定即可)。
如,① 欲证
,构造辅助函数为
;
② 欲证
,需证
,构造辅助函数为
;
③ 欲证
,需证
,构造辅助函数为
;
④ 欲证
,需证
,令
,即需证
,只需构造辅助函数为
即可;
……
情形二 若待证结论是两项以上相加减的形式,或特殊的两项相加减(两项中所含
与
相差两阶导数)的形式,需将所证结论进行适当分组,然后再使用原函数法构造辅助函数,也可称为分组构造原函数法。
如,① 欲证
,把
换成
,
,分组
,令
,转化为情形一对应的形式
,利用情形一中构造辅助函数的方法可得辅助函数为
;
② 欲证
,把
换成
,并插项分组
,即
,令
,转化为情形一对应的形式
,利用情形一中构造辅助函数的方法可得辅助函数为
。
题型三 待证结论中含有一个中值
,还含字母a、b。
情形一 字母a、b与
可分离。将含字母a、b的部分与含
的部分进行分离,各自还原为原函数,再应用Rolle定理。
如,欲证
,把
换成
,并改写成
,含字母a、b的部分与含x的部分各自还原为原函数,得
,进一步还原得
,因此,构造辅助函数为
。
情形二 字母a、b与
不可分离。此时,一般采用凑微分法,先将
换为
,并将结论的形式进行去分母,移项处理,整理成
的形式,再找出
的原函数,应用Rolle定理。
如,欲证
,把
换成
,去分母,移项,整理成
,即
,因此,构造辅助函数为
。
4. 结语
Rolle定理主要研究导函数的零点问题,验证的定性条件是闭区间上连续,开区间内可导,这些一般的初等函数都能达到,验证的定量条件是等值点的确定,这些点都是特殊的点,通常是区间端点、最值点以及条件中隐藏特殊信息的点。由于最终要将特殊点作用于函数,因此,寻找满足Rolle定理条件,尤其是满足定量条件的函数是应用Rolle定理的难点,我们通过对不同类型中值问题的辅助函数构造方法的总结归纳,形成较系统的解题技巧,对于学生掌握Rolle定理的应用有一定的帮助。