拉格朗日中值定理的推论如下:
拉格朗日中值定理,又称拉氏定理、有限增量定理,是微分学中的基本定理之一,反映了可导函数在闭区间上整体的平均变化率与区间内某点的局部变化率的关系。
发展历程
人类对微分中值定理的认识始于古希腊时代。当时的数学家们发现,过抛物线顶点的切线必平行于抛物线底端的连线,阿基米德还利用该结论求出了抛物线弓形的面积。这其实就是拉格朗日中值定理的特殊情形。
1635年,意大利数学家博纳文图拉·卡瓦列里在《不可分量几何学》中描述:曲线段上必有一点的切线平行于曲线的弦,即卡瓦列里定理。它反映了微分中值定理的几何形式。
1637年,法国数学家皮耶·德·费马在《求最大值和最小值的方法》中给出了费马定理,即函数在极值点处的导数为零。
1691年,法国数学家米歇尔·罗尔在《方程的解法》中给出了多项式形式的罗尔中值定理,后来发展成一般函数的罗尔定理,并且正是由费马定理推导而出。
1797年,法国数学家约瑟夫·拉格朗日在《解析函数论》中首先给出了拉格朗日中值定理,并予以证明。它也是微分中值定理中最为主要的定理。
19世纪10年代至20年代,法国的数学家奥古斯丁·路易斯·柯西对微分中值定理进行了更加深入的研究。他的三部巨著《分析教程》《无穷小计算教程概论》和《微分计算教程》,在分析上进行了严格的叙述和论证,对微积分理论进行了重构。
他在《无穷小计算教程概论》中严格地证明了拉格朗日中值定理,后来又在《微分计算教程》中将拉格朗日中值定理推广为广义中值定理——柯西中值定理。
现代形式的拉格朗日中值定理是法国数学家O.博内在其著作中提出的,他并非利用
的连续性,而是利用了罗尔中值定理对拉格朗日中值定理加以重新证明。