拉格朗日中值定理的应用及推广
The Application and Extension of Lagrange’s Mean Value Theorem
摘要: 在教学过程中,我们发现拉格朗日中值定理是学生学习微积分的巨大障碍,这是因为拉格朗日中值定理是微分中值定理的核心内容,是研究函数与导数之间联系的理论工具,在微积分学中起着至关重要的作用,应用十分广泛。本文重点研究拉格朗日中值定理在证明导数极限定理、求函数极限问题、证明不等式以及证明函数单调性方面的应用,以及拉格朗日中值定理的两个推广。希望本文可以对学生学习微积分有所帮助。
Abstract: During the teaching process, we found that the Lagrange Mean Value Theorem is a significant obstacle for students learning calculus. The Lagrange Mean Value Theorem is the core content of the Mean Value Theorem in differential calculus. It is a theoretical tool for studying the relationship between functions and their derivatives and plays a crucial role in calculus, with a wide range of applications. This paper focuses on the application of the Lagrange Mean Value Theorem in proving the derivative limit theorem, solving limit problems of functions, proving inequalities, and proving the monotonicity of functions, as well as two extensions of the Lagrange Mean Value Theorem. It is hoped that this article can be of assistance to students in their study of calculus.
文章引用:黄晨, 周可为. 拉格朗日中值定理的应用及推广[J]. 理论数学, 2024, 14(8): 6-11. https://doi.org/10.12677/pm.2024.148297

1. 引言

拉格朗日中值定理也称为有限增量定理,视其重要性,又称为微分中值定理[1]。1797年,法国数学家约瑟夫·拉格朗日在《解析函数论》中首次给出了拉格朗日中值定理以及证明,并提供了最初的形式:

函数 f( x ) x 0 点和x之间连续,AB分别为 f ( x ) 的最大值和最小值,则 f( x )f( x 0 ) x x 0 必取A

B中的一个值。

现代形式的拉格朗日中值定理由法国数学家O.博内提出:

定理1 [2]:若函数 f( x ) 满足:

在闭区间 [ a,b ] 上连续;

在开区间 ( a,b ) 上可导,

那么在开区间 ( a,b ) 内至少存在一点 ξ 使得

f( b )f( a )= f ( ξ )( ba )

总的来说,拉格朗日中值定理是连接函数增量、自变量增量及导数之间的桥梁,相比较罗尔中值定理和柯西中值定理,它对函数的要求更低,因此有更加广泛的应用。具体地,在研究函数的极限、证明不等式、证明导数极限定理以及证明函数单调性等方面都会用到拉格朗日中值定理。在化学、物理等其他专业领域,也可以利用拉格朗日中值定理来进行计算和研究,例如在化学中计算相对于时间的反应级数,在物理中研究航空重力异常向下延拓方法等。

2. 拉格朗日中值定理的应用

2.1. 在证明导数极限定理中的应用

1 [2]

1) 若 f( x ) [ a,b ] 上连续, ( a,b ] 可导,且 lim x a + f ( x ) 存在,则 f( x ) x=a 处存在右导数,且 f + ( a )= lim x a + f ( x )

2) 若 f( x ) [ a,b ] 上连续, [ a,b ) 可导,且 lim x b f ( x ) 存在,则 f( x ) x=b 处存在左导数,并且 f ( b )= lim x b f ( x )

3) 若 f( x ) x 0 的某领域 U( x 0 ) 上连续,在 U ( x 0 ) 可导,且 lim x x 0 f ( x ) 存在,则 f( x ) x 0 处可导,并且 f ( x 0 )= lim x x 0 f ( x )

证明:由导数定义可知 f + ( a )= lim x a + f( x )f( a ) xa ,而 f( x ) [ a,b ] 上满足拉格朗日中值定理的条件,故存在 ξ x ( x,a ) ,满足 lim x a + f( x )f( a ) xa = lim x a + f ( ξ x )

x a + 时, ξ x a + ,那么 lim x a + f ( ξ x )= lim x a + f ( x ) 。这里只证明(1),(2-3)同理可证。

2.2. 在求解极限问题中的应用

2 lim x0 cos( sinx )cosx x 4

解:对于函数 f( x )=cosx ( ,+ ) 满足拉格朗日中值定理的条件,则存在 ξ 位于 sinx x之间,满足 cos( sinx )cosx=sinξ( sinxx ) ,则

lim x0 cos( sinx )cosx x 4 = lim x0 sinξ( sinxx ) x 4 = lim x0 sinξ[ x 3 6 +o( x 4 ) ] x 4 = 1 6 .

显然在这一类题目中,当遇到同名的函数相减的时候,合理地运用拉格朗日中值定理可以简化极限运算。

2.3. 在证明不等式问题中的应用

3 x>0 时,证明 x 1+x <ln( 1+x )<x

证明:构造辅助函数,令 f( t )=ln( 1+t ) ,显然 f( t ) [ 0,x ] 上满足拉格朗日中值定理的条件,则存

ξ( 0,x ) ,使得 f( x )f( 0 )= f ( ξ )( x0 ) ,因为 f( 0 )=0 f ( x )= 1 1+x ,故 ln( 1+x )= x 1+ξ 。当 0<ξ<x 时,可得 x 1+x <ln( 1+x )<x

4证明 | arctanaarctanb || ab |

证明:构造辅助函数,令 f( x )=arctanx ,显然 f( x ) 满足拉格朗日中值定理的条件,则存在一点 ξ

| arctanaarctanb |= | ab | | 1+ ξ 2 | ,显然 | 1+ ξ 2 |1 ,所以 | arctanaarctanb || ab |

遇到同名函数相减时,应该要想到拉格朗日中值定理,拉格朗日中值定理可以将函数相减转化为导函数与一个式子相乘的结果,以此来简化运算。

2.4. 在证明函数单调性中的应用

5证明 f( x )= ( 1+ 1 x ) x ( 0,+ ) 内单调递增。

证明: f ( x )= ( 1+ 1 x ) x ( ln( 1+x )lnx 1 x+1 ) ,令 g( x )=lnx g( x ) [ x,1+x ] 上满足拉格朗日中值定理条件,故存在 ξ( x,1+x ) ,使得 f ( x )= ( 1+ 1 x ) x ( 1 ξ 1 1+x )>0 ,所以 f( x ) ( 0,+ ) 上单调递增。

3. 拉格朗日中值定理的推广

定理2 [3] [4]若函数f满足如下条件:

1) f 在闭区间 [ a,b ] 连续;

2) f 在开区间 ( a,b ) 可导;

3) f ( a )= f ( b )

则在 ( a,b ) 内至少存在一点 ξ ,使得 f ( ξ )= f( ξ )f( a ) ξa

证明:不妨假设 f ( a )= f ( b )=0 ,因为若 f ( a )= f ( b )0 ,则考虑 g( x )=f( x )x f ( a ) 。显然

g ( a )= g ( b )=0 ,且当 g ( ξ )= g( ξ )g( a ) ξa 时,有

f ( ξ )= f( ξ )f( a ) ξa

不妨构造辅助函数

h( x )={ f ( a )                         x=a, f( x )f( a ) xa              x( a,b ],

因为 lim x a + h( x )= lim x a + f( x )f( a ) xa = f + ( a )=0=h( a ) ,所以 h( x ) [ a,b ] 上连续,且在 ( a,b ] 上可导,即 h ( x )= f( x )f( a ) ( xa ) 2 + f ( x ) xa

1) 若 h( b )=0 ,则 h( b )=h( a )=0 ,由于 h( x ) [ a,b ] 上连续,且在 ( a,b ] 上可导,由罗尔中值定理

可知存在 h ( ξ )=0 ,则 f ( ξ )= f( ξ )f( a ) ξa

2) 若 h( b )0 ,不妨设 h( b )>0 ,则 h ( b )= h( b ) ba <0 ,易知存在 x 1 满足 a< x 1 <b 使得 h( a )<h( b )<h( x 1 ) ,那么存在 x 2 满足 a< x 2 < x 1 使得 h( x 2 )=h( b ) ,则由罗尔中值定理可知存在 ξ( x 2 ,b ) 满足 f ( ξ )= f( ξ )f( a ) ξa

将定理2中的条件改为函数高阶可导且函数两端高阶导函数值相同后可以得到一个新的结论。

定理3若函数f满足如下条件:

1) f在开区间 ( a,b ) n阶可导;

2) f ( n ) ( a )= f ( n ) ( b )

则在 ( a,b ) 内至少存在一点 ξ ,使得

f( ξ )f( a )= i n ( 1 ) i+1 i! ( ξa ) i f ( i ) ( ξ )

证明:不妨构造辅助函数

g k ( x )=x f ( nk+1 ) ( a )+ i=0 k ( 1 ) i+1 i! ( ki ) ( xa ) i f ( nk+i ) ( x ) k=1,2,,n

k=1 时, g 1 ( x )= f ( n1 ) ( x )+x f ( n ) ( a ) g 1 ( x )= f ( n ) ( x )+ f ( n ) ( a ) 。显然 g 1 ( a )= g 1 ( b )=0 ,利用定理2的结论,可知存在一点 ξ 1 ( a,b ) ,满足

g 1 ( ξ 1 )= g 1 ( ξ 1 ) g 1 ( a ) ξ 1 a ,即 f ( n1 ) ( ξ 1 ) f ( n1 ) ( a )=( ξ 1 a ) f ( n ) ( ξ 1 )

k=2 时, g 2 ( x )=2 f ( n2 ) ( x )+( xa ) f ( n1 ) ( x )+x f ( n1 ) ( a )

g 2 ( x )= f ( n1 ) ( x )+( xa ) f ( n ) ( x )+ f ( n1 ) ( a )

显然 g 2 ( a )= g 2 ( ξ 1 )=0 ,则存在一点 ξ 2 ( a, ξ 1 ) 满足 g 2 ( ξ 2 )= g 2 ( ξ 2 ) g 2 ( a ) ξ 2 a ,即

f ( n2 ) ( ξ 2 ) f ( n2 ) ( a )=( ξ 2 a ) f ( n1 ) ( ξ 2 ) 1 2 ( ξ 2 a ) 2 f ( n ) ( ξ 2 )

重复上述操作,存在 ξ n1 ( a,b ) f ( ξ n1 ) f ( a )= i=1 n1 ( 1 ) i+1 i! ( ξ n1 a ) i f ( i+1 ) ( ξ n1 )

考虑 k=n 时, g n ( x )=x f ( a )+ i=0 n ( 1 ) i+1 i! ( ni ) ( xa ) i f ( i ) ( x ) 。且

g n ( x )= f ( x )+ f ( a )+ i=1 n1 ( 1 ) i+1 i! ( xa ) i f ( i+1 ) ( x )           = f ( a )+ i=0 n1 ( 1 ) i+1 i! ( xa ) i f ( i+1 ) ( x ) .

显然 g n ( a )= g n ( ξ n1 )=0 ,则存在 ξ( a, ξ n1 ) ,满足 g n ( ξ )= g n ( ξ ) g n ( a ) ξa

( ξa ) f ( a )+ i=1 n ( 1 ) i ( i1 )! ( ξa ) i f ( i ) ( x ) =( ξa ) f ( a )n( f( ξ )f( a ) )+ i=1 n ( 1 ) i+1 i! ( ξi ) ( ξa ) i f ( i ) ( ξ ).

f( ξ )f( a )= i n ( 1 ) i+1 i! ( ξa ) i f ( i ) ( ξ )

4. 结束语

拉格朗日中值定理是微分学中的基本定理之一,是罗尔中值定理的推广,将拉格朗日中值定理从形式和应用上推广则得到柯西中值定理和泰勒中值定理。但本文仅研究拉格朗日中值定理,因为它是微分中值定理的核心内容。通过应用拉格朗日中值定理来证明导数极限定理以此来说明函数连续可微的问题,还可以用它来解决求极限问题,证明不等式以及证明函数的单调性问题。但本文所列举的问题肯定不能覆盖所有的问题,在遇到相关知识点时,还需通过对中值定理的了解,利用恰当的微分中值定理才能事半功倍。

致 谢

在本论文的研究和撰写过程中,我得到了许多人的帮助和支持,在此我要表达我最诚挚的感谢。

参考文献

[1] 储志俊, 张世唯. 高等数学[M]. 西安: 西安电子科技大学出版社, 2015: 86-87.
[2] 华东师范大学数学科学学院. 数学分析[M]. 北京: 高等教育出版社, 2019: 122-127.
[3] Flett, T.M. (1958) 2742. A Mean Value Theorem. The Mathematical Gazette, 42, 38-39.
https://doi.org/10.1017/s0025557200236267
[4] Molnárová, J. (2012) On Generalized Flett’s Mean Value Theorem. International Journal of Mathematics and Mathematical Sciences, 2012, Article 574634.
https://doi.org/10.1155/2012/574634