1. 引言
在中学数学中,不等式证明普遍采用分析法、换元法、判别式法、综合法等初等数学方法,可以解决相对简易的不等式证明问题。面对更复杂的不等式证明问题时,使用初等数学方法证明太难。而导数在高等数学里属于非常基础的概念之一,运用导数在不等式证明中可以使证明过程有效简化,并且导数的具体应用是多样的,具有较高的灵活性。现有文献中有大量关于导数在不等式证明中的应用,程娜 [1] 归纳总结了拉格朗日中值定理以及函数的单调性在不等式证明中的应用,具体说明了证明的思路,启发学生挖掘出导数的各种性质。李栋红 [2] 介绍了利用导数定义、柯西中值定理、拉格朗日中值定理、函数性质中的单调性应用与凹凸性应用、导数和函数的极值之间关系以及泰勒展开式证明不等式,辅之以例题详细解析。但每篇基本集中讲述2~4种应用,完整的总结相较之下比较少。为此,笔者认为导数在不等式证明中的应用探讨是不可或缺的。不等式证明主要利用导数定义、函数的性质如单调性、极值、凹凸性、泰勒展式、微分中值定理进行证明。本文从以上六个方面,以理论论述结合具体的例子进行分析,探讨证明不等式时导数的具体应用。
2. 不等式证明中应用导数
2.1. 不等式证明中利用导数定义
在不等式的证明过程中,一般会先了解导数的定义,从而应用导数的定义中函数的极限存在进行判断应用,完成证明。
2.1.1. ( [1] , p. 92)设函数
在点x0的某邻域内有定义,若极限
存在,则称函数f在点x0处可导,并称该极限为函数f在点x0处的导数,记作
。
令
,
,则上式可以改写为
.
所以导数是函数增量
与自变量增量
之比
的极限。
2.1.2. ( [1] , p. 93)设函数
在点x0的某右邻域
上有定义,若右极限
存在,则称该极限值为f在点x0的右导数,记作
。
类似地,我们可定义左导数
.
右导数和左导数统称为单侧导数。
例2.1 设
,并且
,证明:
。
证明
的导数。当
时,
,
。由导数定义有,当
时,有
,由题目
,得
,即
。
故
得证。
注意:运用导数定义证明不等式的步骤一般如下:
1) 求出题目所给原函数的一阶导数;
2) 根据题目特点找出符合要求的一点x0,求出原函数在此点的函数值
以及一阶导数在此点的导数值
;
3) 结合所得条件,运用导数的定义进行后续证明。
2.2. 函数单调性证明不等式
利用函数单调性是证明不等式的基本方法之一,根据题目条件构造一个新的可导函数
,再求出函数在定义域内的一阶导数
,通过一阶导数的正负来判断函数在定义域内呈现递增或者递减,得出单调性后再完成后续证明。
2.2.1. 单调函数定理1 ( [2] , p. 127)
若函数f在I上可导,
,则
在I上递增;
若函数f在I上可导,
,则
在I上递减。
2.2.2. 单调函数定理2 ( [1] , p. 126)
若函数f在
上可导,则f在
上严格递增(递减)的充要条件是:
1) 对一切
,有
;
2) 在
的任何子区间上
。
推论 设函数在区间I上可微,若
,则f在I上严格递增(严格递减)。
例2.2.1 [3] 证明不等式:
,
。
证明令函数
,求出
导数
。当
时,
,即
,此时f在
上严格递增。当
时,
,即
,此时f在
上严格递减。当
时,
,又因为
,所以由函数在一点的连续性得出函数f在点
处连续。当
时,
,由此可证得
。
例2.2.2 [3] 证明不等式:
,其中
。
证明令函数
,当
,有
。求出
一阶导数
。由题有
,当
时,
,此时得
在
上严格递减。因为
在
上严格递减,所以
,即
,此时
得证。
令
,当
,则
。求出
一阶导数
。由题有
,当
时,
,即
在
上严格递减。因为
在
上严格递减,所以
,即
,此时
得证。
综上所述,
。
总结:运用函数单调性证明不等式的步骤一般如下:
根据题目条件构造一个新的函数
;
求出可导函数
在定义域内的一阶导数
,通过
的正负来判断
在定义域内呈现递增或者递减;
如果需要判断
与某个常数的大小,通常情况下是
与0的比较。如果
且
在x的取值范围内呈现递增,说明
的最小值大于0。如果
且
在x的取值范围内呈现递减,说明
的最大值小于0。
与0的比较,从而转化成原函数之间的大小比较,由此证得相关结论。同时,某个常数不局限于0,可以根据题目需要进行选择。
2.3. 函数极值证明不等式
利用函数极值证明不等式,即根据题目要求证明的不等式建立相关函数,由新函数的一阶导数求出驻点,进而求出极大值和极小值、最大值和最小值进行大小比较。
2.3.1. 函数极值定义( [4] , p. 29)
一般地,设函数
在点x0附近有定义,如果对x0附近的所有点都有
,我们就说
是函数
的一个极大(小)值。
极大值与极小值统称为极值。
极值反映了函数在某一点附近的大小情况,刻画的是函数的局部性质。
一般地,求函数
的极值的方法是:
解方程
.当
时:
1) 如果在x0附近的左侧
,右侧
,那么
是极大值;
2) 如果在x0附近的左侧
,右侧
,那么
是极小值。
2.3.2. 费马定理( [1] , p. 145)
若函数f在点
可导,且
为f的极值点,则
。这就是说可导函数在点
取得极值的必要条件是
。
2.3.3. 最大值与最小值( [1] , p. 148)
由连续函数在
上的性质,若函数f在闭区间
上连续,则f在
上一定有最大、最小值。若函数f的最大(小)值在点x0在开区间
上,则x0必定是f的极大(小)值点。又若f在x0可导,则x0还是一个稳定点。所以我们只要比较f在所有的稳定点、不可导点和区间端点上的函数值,就能从中找到f在
上的最大值与最小值。
例2.3.1 [5] 已知
,当
时,求证:
。
证明:
,求出
一阶导数
。由题意当
时,
,即
,此时
在
呈单调递减。所以
在
上的最大值为
,最小值为
,
在
上的值域为
。当
,
,所以
得证。
例2.3.2 [5] 证明不等式:当
,
时,不等式
。
证明:令函数
,则
一阶导数
,令
,即
。此时求得
。即
为函数的驻点。此时,
,
,
。
因为函数
为幂函数,所以在
上连续,则
在此区间有最大值以及最小值。其中最大值为1,最小值为
。所以可以证得
。
总结:在证明不等式过程中,可以参考以下思路去应用函数的极值性质:
明确函数自变量的取值范围,根据题目条件构造一个新的函数
,可以通过求新函数的一阶导数
,求出
的驻点(稳定点);
求
在此区间上的极值(最值),接着一般与驻点的函数值、区间两端点的函数值以及在不可导处的函数极值进行大小比较;
根据(2)证明不等式。
2.4. 微分中值定理证明不等式
微分中值定理可以由导数
的已知性质来推断函数f所具有的性质,本部分主要介绍拉格朗日定理和柯西中值定理。
2.4.1. 拉格朗日中值定理( [1] , p. 123)
若函数f满足以下条件:
1) f在闭区间
上连续;
2) f在开区间
上可导,则在
上至少存在一点
,使得
.
拉格朗日中值定理的几何意义是:在满足定理条件的曲线
上至少存在一点
,该曲线在该点的切线平行于曲线两端点的连线AB。
拉格朗日公式还有下面几种等价表示形式:
,
; (1)
,
; (2)
,
. (3)
拉格朗日公式无论对于
,还是
都成立,而
则是介于a与b之间的某一定数。在(2)、(3)中,把中值点
表示成了
,使得
不论为何值,
总可为小于1的某一正数。
2.4.2. 柯西中值定理( [1] , p. 129)
设函数f和g满足
1) 在
上都连续;
2) 在
上都可导;
3)
和
不同时为零;
4)
,则存在
,使得
.
例2.4.1 ( [1] , p. 124)证明不等式:
,其中
。
证明令函数
,
是连续函数,且在
上可导,则存在一点
,有
。又因为
,所以
,即
,得证
。
例2.4.2 [6] 如果
,那么
.
证明 1)若
,命题显然成立;
2) 若
,取
,
。
证明 1)若
,则
,此时
,
,所以
得证。
2)
,因为
在闭区间
上连续,在
上可导,所以由微分中值定理得,在
上至少存在一点
,使得
,
又因为
,即
。
当
时,
,即
,此时
,证得
。
证明不等式时,微分中值定理的具体应用思路如下:
根据题目条件,判断不等式所含特点,构建出符合条件的函数
,明确函数
的定义域,验证
在此取值范围内能否满足微分中值定理的应用;
计算出
的导数,写出运用拉格朗日中值定理或者利用柯西中值定理进行证明的结论;
根据导数的特征,进行相乘相除等一系列适当的变换,证得结论。
2.5. 利用函数凹凸性证明不等式
曲线上任意两点间的弧段在这两点连线的下方,具有这一种特性的曲线成为凸的,相应的函数称为凸函数;曲线上任意两点间的弧段总是在这两点连线的上方,具有这一种特性的曲线称为凹的,相应的函数称为凹函数。本部分通过函数二阶导数求得切线斜率的正负,判断函数一阶导数的单调性,从而反映出函数在该取值区间上图像的凹凸性。
1) [7] 设函数
在某区间内可导,如果
为增函数,那么可以得出这个区间上函数
是向下凸的;如果
为减函数,那么可以得出这个区间上函数
是向上凹的。
2) ( [1] , p. 153)设f为区间I上的二阶可导函数,则在I上f为凸(凹)函数的充要条件是
.
3) ( [1] , p. 154)詹森不等式若f为
上凸函数,则对任意
,
,
,有
.
例2.5 [8] 假设
,
,且
,试证明不等式
。
证明设函数
,
,求出一阶导数
,二阶导数
,即
在区间
或
中为二阶可导函数,且在
,
中,
为严格凸函数。由詹森不等式有
,代入函数
得
,化简得
。所以不等式
得证。
总结:证明不等式时,函数凹凸性的具体应用思路如下:
选取合适的函数
;
求出函数
的一阶导数
,若符合题目条件且在定义域内,接着求二阶导数
,根据二阶导数的正负来判断函数的凹凸性;
利用詹森不等式完成不等式的相关证明。
同时,当函数不是单调函数时,会具有更加复杂的函数凹凸形式,在求证过程中,对于函数凹凸性的判断需要多加注意,可以借助图像更好地去理解。
2.6. 利用泰勒展开式证明不等式
多项式函数是各类函数中最简单的一种,用多项式逼近函数是近似计算和理论分析的一个重要内容。利用泰勒展开式的目的是为了将函数在所给区间的端点或者根据题目所得的特定点展开,分析出余项的性质,得到不等式结合题目条件进行证明。
2.6.1. 泰勒多项式( [1] , p. 136)
对于一般函数f,设它在点x0存在直至n阶导数。由这些导数构造一个n次多项式
,
称为函数在点x0处的泰勒多项式。
2.6.2. 带有佩亚诺型余项的泰勒公式( [1] , p. 138)
若函数f在点x0存在直至n阶导数,则有
,即
.
此式称为函数f在x0处的泰勒公式,
称为泰勒公式的余项,形如
的余项称为佩亚诺型余项。即以泰勒多项式逼近
时,其误差为关于
的高阶无穷小量。
2.6.3. 带有拉格朗日型余项的泰勒公式( [1] , p. 141)
(泰勒定理)若函数f在
上存在直至n阶的连续导函数,在
上存在
阶导函数,则对任意给定的
,至少存在一点
,使得
.
此式同样成为泰勒公式,它的余项为
,
,
称为拉格朗日余项。
例2.6 [9] 设函数
在
是二阶可导,并且
,证明存在一点
,使得
。
证明:因为
在
是二阶可导,将其分别在
,
处展开成带有拉格朗日余项的泰勒公式,此时令
,在点m处,
,
;在点n处,
,
。对
,
作差,因为
,得
。
此时,
,令
,则
。
综上,
。又因为
,所以可证得
。
注意:证明不等式时,泰勒展式的具体应用思路如下:
1) 判断题目中原函数在定义域内直至n阶的连续导函数是否存在,即n阶可导;
2) 结合题目具体条件与要求,选择适合的x与x0,根据泰勒定理写出原函数低于最高阶导数一阶的泰勒展式;
3) 对得到的式子通过放缩等方式进行相应变换,从而完成证明。
3. 小结
笔者在此向读者们提供较为完整的在不等式证明中利用导数的思考方向,从导数的定义本身、泰勒展式、微分中值定理以及运用函数的性质如单调性、凹凸性、极值进行证明,相应简化证明过程。除利用导数的定义证明之外,无论采用哪种方法,构建适合题目中不等式的特点的辅助函数是不可或缺的步骤,接着通过辅助函数的一阶导数、二阶导数进行单调性、凹凸性等分析,结合题目所需,进行相乘相除、放缩等一系列适当的变换,证得结论。需要注意的是,虽然方法多样,具有灵活性、便捷性,但是需要找到合适的切入点,才能达到用此方法证明的目的。
致谢
非常感谢审稿人对本文提出宝贵的意见。
基金项目
国家自然科学基金项目(12001117)、广州市科技计划项目(202102020438)资助。
NOTES
*通讯作者。