1. 引言
拉格朗日中值定理也称为有限增量定理,视其重要性,又称为微分中值定理[1]。1797年,法国数学家约瑟夫·拉格朗日在《解析函数论》中首次给出了拉格朗日中值定理以及证明,并提供了最初的形式:
函数
在
点和x之间连续,A和B分别为
的最大值和最小值,则
必取A和
B中的一个值。
现代形式的拉格朗日中值定理由法国数学家O.博内提出:
定理1 [2]:若函数
满足:
在闭区间
上连续;
在开区间
上可导,
那么在开区间
内至少存在一点
使得
。
总的来说,拉格朗日中值定理是连接函数增量、自变量增量及导数之间的桥梁,相比较罗尔中值定理和柯西中值定理,它对函数的要求更低,因此有更加广泛的应用。具体地,在研究函数的极限、证明不等式、证明导数极限定理以及证明函数单调性等方面都会用到拉格朗日中值定理。在化学、物理等其他专业领域,也可以利用拉格朗日中值定理来进行计算和研究,例如在化学中计算相对于时间的反应级数,在物理中研究航空重力异常向下延拓方法等。
2. 拉格朗日中值定理的应用
2.1. 在证明导数极限定理中的应用
例1 [2]:
1) 若
在
上连续,
可导,且
存在,则
在
处存在右导数,且
;
2) 若
在
上连续,
可导,且
存在,则
在
处存在左导数,并且
;
3) 若
在
的某领域
上连续,在
可导,且
存在,则
在
处可导,并且
。
证明:由导数定义可知
,而
在
上满足拉格朗日中值定理的条件,故存在
,满足
。
当
时,
,那么
。这里只证明(1),(2-3)同理可证。
2.2. 在求解极限问题中的应用
例2:
。
解:对于函数
在
满足拉格朗日中值定理的条件,则存在
位于
与x之间,满足
,则
显然在这一类题目中,当遇到同名的函数相减的时候,合理地运用拉格朗日中值定理可以简化极限运算。
2.3. 在证明不等式问题中的应用
例3:当
时,证明
。
证明:构造辅助函数,令
,显然
在
上满足拉格朗日中值定理的条件,则存
在
,使得
,因为
,
,故
。当
时,可得
。
例4:证明
。
证明:构造辅助函数,令
,显然
满足拉格朗日中值定理的条件,则存在一点
满
足
,显然
,所以
。
遇到同名函数相减时,应该要想到拉格朗日中值定理,拉格朗日中值定理可以将函数相减转化为导函数与一个式子相乘的结果,以此来简化运算。
2.4. 在证明函数单调性中的应用
例5:证明
在
内单调递增。
证明:
,令
,
在
上满足拉格朗日中值定理条件,故存在
,使得
,所以
在
上单调递增。
3. 拉格朗日中值定理的推广
定理2 [3] [4]:若函数f满足如下条件:
1)
在闭区间
连续;
2)
在开区间
可导;
3)
,
则在
内至少存在一点
,使得
。
证明:不妨假设
,因为若
,则考虑
。显然
,且当
时,有
。
不妨构造辅助函数
因为
,所以
在
上连续,且在
上可导,即
。
1) 若
,则
,由于
在
上连续,且在
上可导,由罗尔中值定理
可知存在
,则
。
2) 若
,不妨设
,则
,易知存在
满足
使得
,那么存在
满足
使得
,则由罗尔中值定理可知存在
满足
。
将定理2中的条件改为函数高阶可导且函数两端高阶导函数值相同后可以得到一个新的结论。
定理3:若函数f满足如下条件:
1) f在开区间
内n阶可导;
2)
,
则在
内至少存在一点
,使得
。
证明:不妨构造辅助函数
,
。
当
时,
且
。显然
,利用定理2的结论,可知存在一点
,满足
,即
;
当
时,
且
。
显然
,则存在一点
满足
,即
。
重复上述操作,存在
,
,
考虑
时,
。且
显然
,则存在
,满足
。
即
则
。
4. 结束语
拉格朗日中值定理是微分学中的基本定理之一,是罗尔中值定理的推广,将拉格朗日中值定理从形式和应用上推广则得到柯西中值定理和泰勒中值定理。但本文仅研究拉格朗日中值定理,因为它是微分中值定理的核心内容。通过应用拉格朗日中值定理来证明导数极限定理以此来说明函数连续可微的问题,还可以用它来解决求极限问题,证明不等式以及证明函数的单调性问题。但本文所列举的问题肯定不能覆盖所有的问题,在遇到相关知识点时,还需通过对中值定理的了解,利用恰当的微分中值定理才能事半功倍。
致 谢
在本论文的研究和撰写过程中,我得到了许多人的帮助和支持,在此我要表达我最诚挚的感谢。