1. 引言
柯西中值定理是微分中值定理的三大定理之一,它比罗尔定理和拉格朗日中值定理更具一般性,也具有更广泛的应用,许多定理和法则都是建立在柯西中值定理之上的,比如洛必达法则。但大多高等数学[1]-[3]的教材中仅介绍了柯西中值定理及其证明,对该定理的应用涉及较少,不利于学生对该定理的理解并发挥其应用价值。本文通过对柯西中值定理的结构进行分析,利用其结构特征解决“为何用”和“如何用”柯西中值定理的问题,帮助学生更好地理解和应用该定理。
2. 柯西中值定理及其结构分析
(一) 柯西中值定理
定理(Cauchy中值定理) 若函数
和
满足如下条件:在
上连续;在
内可导;
,则存在
,使得
。
证明思路分析 要证的结论是与导数中值相关的等式,与导数中值相关的已知知识有罗尔定理和拉格朗日中值定理,而拉格朗日中值定理是利用罗尔定理进行证明的,因此,与导数中值相关的已知知识的本源是罗尔定理,故,本定理的证明用罗尔定理来证明;难点:辅助函数的构造;方法设计:应用形式统一法,即将预证结论的形式转化成与罗尔定理的结论形式一致的形式,先将预证结论转化成
,再进一步转化成
,这种形式就是罗尔定理结论的标准形式——导函数的零点问题,由此构造辅助函数。
证明 显然,
,否则,由罗尔定理,存在
(a, b),使得
,与条件
矛盾。因而,构造辅助函数
,
可验证
,由罗尔定理,存在
(a, b),使得
,即
。
(二) 柯西中值定理的结构分析
1) 柯西中值定理的证明和结论表明,此定理作用对象仍是中值问题,也可以视为特殊的函数零点问题或方程根的问题。
2) 定理的结论建立了两个函数在端点处的函数值差商结构及其导函数之间的关系,本质上建立了两个函数的平均变化率与两个函数瞬时变化率之间的关系。
3) 定理的结构特征:等式涉及两个中值点,属于双中值点问题,左端是两个函数导数的商结构,右端是两个函数差值的商结构,且中值与端点分离,两个端点也是分离的结构特征。
4) 若取
即得到拉格朗日中值定理,因此,柯西中值定理是拉格朗日中值定理的推广,它比罗尔定理和拉格朗日中值定理更具一般性。
3. 柯西中值定理的应用
从柯西中值定理的结构分析可以总结出其作用对象的特点:当研究对象涉及两个函数的导数或明显涉及两函数差商结构时,优先考虑使用柯西中值定理。
其常见的应用如下:
(一) 证明洛必达法则
定理(洛必达法则) (
型)设
、
在
内可导且满足:
1)
;
2)
;
3)
(
为有限或
或
),
则
。
结构分析 从定理的结构形式可以知道,涉及两个函数的导函数商的关系,类比已知:柯西中值定理;确立思路:利用柯西中值定理证明。关键要建立两个满足柯西中值定理条件的函数。
证明 令
,
,
则
在
连续,在
可导,且
。因而,对任意
,利用柯西中值定理,存在
,使得
,
故
。
(二) 证明泰勒公式
定理(泰勒公式) 若
在
上有直到
阶的连续导数,在
内存在
阶导数,
,则对任意
,有
,
其中,
(
)。
结构分析 从结构的角度进行分析,实质上是建立差值结构
与各阶导数之间的关系;类比已知:研究差值结构的理论工具就是微分中值定理;确立思路:利用微分中值定理证明。此定理是首次涉及高阶中值点问题,方法设计:将等式中的某个常量变易为自变量,构造一个新函数的差值问题,用微分中值定理研究新函数得到中值点。
证明 将常量
变易为变量t,构造辅助函数
,
则
,
,
对
直接求导得
,
。
再令
,则
,且
,
,
由柯西中值定理,在
与
之间存在
,使得
,
即
,
故,
。
(三) 证明与函数导数中值相关的等式
由柯西中值定理的结构分析可以看出,柯西中值定理可用于研究涉及两个函数导数中值或隐藏的两个导数中值相关的等式的证明。下面我们通过一些典型题目的解题思路和解题方法进行说明。
例1 设
,
在
上连续,在
内可导,证明:存在
,使得
。
结构分析 题型为典型的中值问题;思路基本确定为使用中值定理解决;具体方法的设计:根据两个分离的结构特征,需要将中值与端点分离,并将两个端点分离,即
,
出现两个函数差值的商结构,考虑选择应用柯西中值定理,比对柯西中值定理的标准形式,右端应为两个函数的导数的商的结构形式,即
,因此,对函数
和
应用柯西中值定理。
证明 记
,
,由柯西中值定理,存在
,使得
,
即
,
整理得
。
例2 设
,
在
上连续,在
内可导,证明:存在
,使得
。
结构分析 题型为典型的中值问题;使用中值定理解决;具体方法的设计:根据两个分离的结构特征,需要将左端进行端点分离,左端为
,为将两个端点分离,需要将分子中的第一项去掉b,第二项去掉a,即
或
,
至此,对何函数应用柯西中值定理就很清楚了。
证明 记
,
,由柯西中值定理,存在
,使得
,
代入即得
。
例3 [4] 设
在
上连续,在
内可导,证明:存在
,使得
。
结构分析 题目条件具有明显的中值定理的特征,由此确定思路是利用中值定理求解;题型是双中值问题,但是,从结论看,不是两个函数的中值问题,而是同一个函数的两个中值点,具体方法设计是:根据中值定理结构中的差值结构,考虑从产生差值结构为切入点进行方法设计,对结论匹配差值形式,即结论两端同乘以
,则有
,
进一步产生差值比的结构
,
比较两端,且注意中值结构,应该是两次应用中值定理
,
显然,两个相关联的不同函数分别为
和
,对这两个函数分别使用中值定理,产生两个中值点,联系两个中值的桥梁是
。
证明 对
应用中值定理,则存在
,使得
,
对
应用中值定理,则存在
,使得
,
于是
,
故结论成立。
(四) 证明与导数中值相关的不等式
还可以利用
的中值性(即
)来证明与两个函数有关的不等式问题。其原理是:由于
,
若
,则可以得到双参量不等式
,
因此,选择不同的函数
和
,可以得到不同的不等式。
例4 [5] 证明:
,其中
。
结构分析 题型为双参量不等式,且具有函数差值结构,涉及两个函数
和
,且同类函数呈现差值结构
和
,不同类函数呈现商的结构,
,因此,考虑柯西中值定理证明。
证明 令
,
,则利用柯西中值定理,存在
,使得
,即
,
又因为
,所以
,
,
,
故
,
,
从而
,
结论得证。
例5 [6] 证明:当
时,
。
结构分析 题型为不等式的证明,注意到涉及当
时,
,要证
,即证,
,涉及两个函数
和
商的结构,考虑利用柯西中值定理,按照形式统一的原则,将两个函数商的结构修正为
,所以,柯西中值定理的研究对象为
和
,研究区间为
。
证明 令
,利用柯西中值定理,存在
,使得
,
即
,其中
。
由于
,故
。
即证
。
(五) 用于求函数极限
由于柯西中值定理涉及函数差值结构,因此,柯西中值定理也可以用来求解一些函数差值结构的极限问题,尤其是两个函数差值结构商的形式。
例6 [7] 求极限:
。
结构分析 题型为
型极限问题,结构特点是分子分母均为差值的形式,因此,方法设计考虑柯西中值定理,从函数的具体形式看,无法直接使用柯西中值定理,为此利用形式统一的方法,将分母在函数形式上进行统一,将
变形为
,相当于对正弦函数
,在区间
(或
)上进行研究,相应地,分子
变形为
,这样,就确定了应用柯西中值定理的两个辅助函数分别为
、
。
解 设
,
,
(或
)。
利用柯西中值定理,存在
(或
),使得
。
(六) 证明函数的单调性
由于柯西中值定理的结论与两函数差商结构有关,因此,涉及分式结构或者可以变形为分式结构的函数的单调性的证明,可以考虑应用柯西中值定理进行证明。
例7 [8] 设
,
在
上单调增加,证明:
在
上单调增加。
结构分析 结论涉及分式结构的函数单调性的研究,单调性一般应用导数进行研究,与函数的分式结构和导数都相关的知识是柯西中值定理,因此,确立思路:应用柯西中值定理;方法设计:应用形式统一法,将预证结论
统一成柯西中值定理的标准形式,即将
变形为
,应用柯西中值定理即可证明。
证明 由于
,利用柯西中值定理,
,
,
由
在
上单调增加,
,故
,于是有
,
即
,则
,也即
,
故
在
上单调增加。
4. 结语
柯西中值定理是微分中值定理的核心结论之一,也是研究函数分析性质的主要工具之一,必须熟练掌握定理的应用。本文从结构的角度对柯西中值定理进行分析,掌握其结构特征,利用其结构特征对典型应用进行分析、研究和设计解决问题的思想方法,抛砖引玉,以提高学生的数学思维与应用能力。
基金项目
2024年信息工程大学教育教学研究课题 + 建构主义认知理解下的军队院校教学改革研究——以高等数学为例(JXYJ2024A003)。