中值定理
约 1013 字大约 3 分钟
2025-11-21
中值定理(Mean Value Theorem) 是微分学中的重要定理,它建立了函数在某点的导数值与函数在区间端点值之间的关系。中值定理包括罗尔定理、拉格朗日中值定理、柯西中值定理等,在数学分析和证明中具有广泛应用。
罗尔定理
定理:设函数 f(x) 满足:
- 在闭区间 [a,b] 上连续
- 在开区间 (a,b) 内可导
- f(a)=f(b)
则存在 ξ∈(a,b),使得 f′(ξ)=0。
拉格朗日中值定理
定理:设函数 f(x) 满足:
- 在闭区间 [a,b] 上连续
- 在开区间 (a,b) 内可导
则存在 ξ∈(a,b),使得:
f′(ξ)=b−af(b)−f(a)
柯西中值定理
定理:设函数 f(x) 和 g(x) 满足:
- 在闭区间 [a,b] 上连续
- 在开区间 (a,b) 内可导
- g′(x)=0,x∈(a,b)
则存在 ξ∈(a,b),使得:
g′(ξ)f′(ξ)=g(b)−g(a)f(b)−f(a)
达布定理
定理:设 f′(x) 在区间 [a,b] 上存在,则对任意 x1,x2∈[a,b] 和 y∈[f′(x1),f′(x2)],存在 c∈(x1,x2) 使得 f′(c)=y。
这说明了导函数具有介值性质,即使导函数可能不连续。
构造辅助函数的方法
积分因子法
通过将等式变形为 f′(x)+g(x)f(x)=h(x) 的形式,然后构造积分因子。
例题 1
设 f(x) 在 (−2,2) 内可导,证明: (1) 存在 ξ∈(−2,2),使得 ξ(1−ξ)f′(ξ)+1−2ξ=0 (2) 存在 ξ∈(−2,2),使得 ξ(1−ξ)f′(ξ)+1−3ξ=0
解:
(1) 将等式变形:
f′(x)+x−x21−2x=0
对等式两边积分:
∫f′(x)dx+∫x−x2d(x−x2)=C1
得到:
ef(x)⋅(x−x2)=C2
因此构造辅助函数:F(x)=ef(x)⋅x(1−x)
由于 F(0)=F(1)=0,由罗尔定理,存在 ξ∈(0,1) 使得 F′(ξ)=0。
对 F(x) 求导得到:
ξ(1−ξ)f′(ξ)+1−2ξ=0
(2) 类似地,构造 F(x)=ef(x)⋅x(1−x)2
表格法
对于涉及高阶导数的问题,使用表格法系统地寻找辅助函数。
例题 2
设 f(x) 在 [0,21] 上二阶可导,f(0)=f′(0),f(21)=0,证明:存在 ξ∈(0,21),使得 f′′(ξ)=1−2ξ3f′(ξ)。
解:
使用表格法:
1−2xf′′(x)−2f′(x)0f(x)
得到关系式:(1−2x)f′(x)+2f(x)=3f(x)+C
构造辅助函数:F(x)=(1−2x)f′(x)−f(x)
验证:F(21)=F(0)=0
由罗尔定理,存在 ξ 使得 F′(ξ)=0,即:
f′′(ξ)=1−2ξ3f′(ξ)
微分方程法
通过解微分方程得到辅助函数的形式。
例题 3
设 f(x),g(x) 在 [a,b] 上有二阶导数且 g(x),g′′(x)=0,又 f(a)=f(b)=g(a)=g(b)=0,证明:存在 ξ∈(a,b),使得 g(ξ)f(ξ)=g′′(ξ)f′′(ξ)。
解:
令 u=f(x),v=g(x),构造:
F(x)=∫uv′′dx−∫vu′′dx=uv′−u′v
即:
F(x)=f(x)g′(x)−f′(x)g(x)
验证:F(a)=F(b)=0,故存在 ξ 使得 F′(ξ)=0,即:
g(ξ)f(ξ)=g′′(ξ)f′′(ξ)
特殊类型的辅助函数构造
f′′(ξ)+f(ξ)=0
通过解微分方程 y′′+y=0 得到通解 y=C1sinx+C2cosx。
适当变形可以得到以下构造:
- f(x)cosx−f′(x)sinx=C
- f(x)sinx+f′(x)cosx=C
- f2(x)+(f′(x))2=C
例题 4
设 f(x) 在 [0,1] 上有二阶导数,且 f(0)=f′(0)=0,证明:存在 ξ∈(0,1),使得 f′′(ξ)=(1−ξ)22f(ξ)。
解:
注意到:
f(x)f′′(x)=(x−1)22=(x−1)2((x−1)2)′′
这与例题 3 的解法相同,构造辅助函数:
F(x)=f(x)(x−1)−f′(x)(x−1)2
验证:F(0)=F(1)=0,应用罗尔定理即可。
