发展历程
人类对微分中值定理的认识始于古希腊时代。当时的数学家们发现,过抛物线顶点的切线必平行于抛物线底端的连线,阿基米德还利用该结论求出了抛物线弓形的面积。这其实就是拉格朗日中值定理的特殊情形。
1635年,意大利数学家卡瓦列里在《不可分量几何学》中描述:曲线段上必有一点的切线平行于曲线的弦,即卡瓦列里定理。它反映了微分中值定理的几何形式。
1637年,法国数学家费马在《求最大值和最小值的方法》中给出了费马定理,即函数在极值点处的导数为零。
1691年,法国数学家罗尔在《方程的解法》中给出了多项式形式的罗尔定理,后来发展成一般函数的罗尔定理,并且正是由费马定理推导而出。
1797年,法国数学家拉格朗日在《解析函数论》中首先给出了拉格朗日中值定理,并予以证明。它也是微分中值定理中最为主要的定理。
19世纪10年代至20年代,法国的数学家柯西对微分中值定理进行了更加深入的研究。他的三部巨著《分析教程》、《无穷小计算教程概论》和《微分计算教程》,在分析上进行了严格的叙述和论证,对微积分理论进行了重构。他在《无穷小计算教程概论》中严格地证明了拉格朗日中值定理,后来又在《微分计算教程》中将拉格朗日中值定理推广为广义中值定理—柯西中值定理。
现代形式的拉格朗日中值定理是由法国数学家O.博内在其著作《Cours de Calcul Differentiel et integral》中给出的,他并非利用的连续性,而是利用了Rolle定理对拉格朗日中值定理加以重新证明。
定理内容
定理表述
最初形式
函数在和之间连续,的最大值为,最小值为,则必取,中的一个值.
现代形式
如果函数在闭区间上连续,在开区间上可导,那么在开区间内至少存在一点使得。
结论变形
拉格朗日中值定理的结论有几种变形:
或令,,,有
若把记成,则
上面第一式称为拉格朗日中值公式,第二式和第三式称为有限增量公式,拉格朗日中值定理也称为有限增量定理,视其重要性,又称为微分中值定理
推导验证
设,由于在闭区间上连续,在内可导,因此在闭区间上连续,在内可导。
又,所以由罗尔中值定理,在内至少存在一点,使
亦即
或
以上证明是在的情况下得到的,如果,同样可证的定理的结论。
定理推广
学术意义
几何意义
若连续曲线在点,之间的每一点处都有不垂直于轴的切线,则曲线在、间至少存在一点,使得该点处的切线与割线平行。
运动学意义
对于曲线运动,在任意一个运动过程中至少存在一个位置(或一个时刻)的瞬时速率等于这个过程中的平均速率。
推理推论
根据拉格朗日中值定理,可以得到下列推论:
推论1:若函数在区间上的任意点处的导数恒等于零,则函数在区间内是一个常数。
推论2:若函数和在区间内的每一点导数与都相等,则这两个函数在此区间内至多相差一个常数。
柯西中值定理被认为是拉格朗日中值定理的推广,它是指:设和在上连续,在上可导,并且在上不为零,这时对于某一点,有=
定理应用
拉格朗日中值定理是微分学理论中非常突出的成果,在理论和应用上都有着极其重要的意义,它沟通了函数与其导数的联系,因此很多时候可以从导数的角度来研究函数在其定义域上的性质。
拉格朗日中值定理的应用比罗尔定理和柯西中值定理的应用更加广泛,因为它对函数的要求更低,且该定理建立了函数增量、自变量增量及导数之间的联系,这为利用导数解决函数的相关问题提供了重要支撑。总的来说,在研究函数的单调性、凹凸性以及求极限、恒等式、不等式的证明、判别函数方程根的存在性、判断级数的敛散性以及证明与函数差值有关的命题,以及计算未定式极限等方面,都可能会用到拉格朗日中值定理。
拉格朗日中值定理的几何意义也有较为广泛的应用。此外,拉格朗日中值定理的变形公式指出了函数与导数的一种关系,因此,可以利用这种关系研究函数的性质。
在化学、物理等其他专业领域,也可以利用拉格朗日中值定理来进行计算和研究,例如在化学中计算相对于时间的反应级数,在物理中研究航空重力异常向下延拓方法等。
运用示例
证明等式
例1:设在上连续,在内可导,证明:在内至少存在一点使得
证明:设,则在内可导,在上连续,于是根据拉格朗日中值定理可知至少存在一点,使得=,因此=
证明不等式
例2:设函数在内可导,在上连续,且,证明:如果在上不恒等于零,则必有,使得。
证明:设,则在内可导,在上连续,,所以使,从而在内可导,在上连续,拉格朗日中值定理的条件满足,如此,使=,即。
求函数极限
例3:求。
解:令,则在上连续,在内可导,拉格朗日中值定理的条件满足,所以,使得=,且显然时,所以==
意义影响
拉格朗日中值定理是微分中值定理的核心内容,它是罗尔定理的直接推广,而柯西中值定理和泰勒中值定理又是拉格朗日中值定理在形式上及应用上的推广。拉格朗日中值定理是将函数与导数联系起来的一座桥梁,是研究函数的重要理论工具,它是微积分学重要的组成部分,在微积分学中占有十分重要的地位,且有着广泛应用。