2.8 中值定理:罗尔定理、拉格朗日、柯西与辅助函数构造

忠实整理中值定理证明题的八大常见模式与典型真题:罗尔定理+辅助函数、拉格朗日中值定理、柯西中值定理、双中值划分区间、积分中值定理,涵盖 2010-2026 年多道真题。

2.8 中值定理:罗尔定理、拉格朗日、柯西与辅助函数构造

中值定理证明题的八大条件反射:① 见函数和导数→拉格朗日;② 见函数和积分→积分中值定理;③ 见 f(ξ)+g(ξ)f(ξ)=0f'(\xi) + g(\xi)f(\xi) = 0→构造 F(x)=eg(x)dxf(x)F(x) = e^{\int g(x)\,dx}f(x);④ 见两个中值→划分区间分别拉格朗日或两次罗尔;⑤ 见 f(ξ)f(ξ)+[f(ξ)]2=0f(\xi)f''(\xi) + [f'(\xi)]^2 = 0→令 F(x)=f(x)f(x)F(x) = f(x)f'(x)

来源:邂逅遗憾 27 考研数学思维课,第二章”导数”,资料页 170—179。本文保留资料中的定理、例题、原解与手写批注。

:证明题是考研数学性价比最低的部分,思维课只选取真题及与真题考法类似的题目,无偏题怪题,难度适中。

一、罗尔定理 + 辅助函数(直接导数形式)

解答题例 2.72(李林 880)

f(x)f(x)[a,b][a,b] 上连续,(a,b)(a,b) 内可导,0<a<b0 < a < bf(a)=f(b)=0f(a) = f(b) = 0。证明:

(I)存在 ξ(a,b)\xi \in (a,b),使 2f(ξ)+ξf(ξ)=02f(\xi) + \xi f'(\xi) = 0

(II)存在 η(a,b)\eta \in (a,b),使 2ηf(η)f(η)=02\eta f(\eta) - f'(\eta) = 0

解答

(I):由 2f(x)+xf(x)=02f(x) + xf'(x) = 0,识别为 [x2f(x)]=2xf(x)+x2f(x)=x[2f(x)+xf(x)][x^2 f(x)]' = 2xf(x) + x^2 f'(x) = x[2f(x) + xf'(x)]

F(x)=x2f(x)F(x) = x^2 f(x),则 F(a)=a2f(a)=0F(a) = a^2 f(a) = 0F(b)=b2f(b)=0F(b) = b^2 f(b) = 0

由罗尔定理,存在 ξ(a,b)\xi \in (a,b) 使 F(ξ)=0F'(\xi) = 0,即 ξ[2f(ξ)+ξf(ξ)]=0\xi[2f(\xi) + \xi f'(\xi)] = 0

ξ>0\xi > 0,故 2f(ξ)+ξf(ξ)=02f(\xi) + \xi f'(\xi) = 0

(II):由 2xf(x)f(x)=02xf(x) - f'(x) = 0,识别为 [ex2f(x)]=ex2[f(x)2xf(x)][e^{-x^2} f(x)]' = e^{-x^2}[f'(x) - 2xf(x)]

G(x)=ex2f(x)G(x) = e^{-x^2} f(x),则 G(a)=G(b)=0G(a) = G(b) = 0

由罗尔定理,存在 η(a,b)\eta \in (a,b) 使 G(η)=0G'(\eta) = 0,即 f(η)2ηf(η)=0f'(\eta) - 2\eta f(\eta) = 0

解答题例 2.73(李林 880)

f(x)f(x)[a,b][a,b] 上连续,(a,b)(a,b) 内可导,0<a<b0 < a < bf(a)=0f(a) = 0。证明存在 ξ(a,b)\xi \in (a,b) 使 af(ξ)+(ξb)f(ξ)=0af(\xi) + (\xi - b)f'(\xi) = 0

解答

af(x)+(xb)f(x)=0af(x) + (x-b)f'(x) = 0,即 f(x)+axbf(x)=0f'(x) + \dfrac{a}{x-b}f(x) = 0

错误做法:令 F(x)=eaxbdxf(x)=(xb)af(x)F(x) = e^{\int \frac{a}{x-b}\,dx} f(x) = (x-b)^a f(x)。当 x<bx < bxb<0x - b < 0,若 a=12a = \frac{1}{2}(xb)a(x-b)^a 无意义!

正确做法eaxbdx=ealnxb=xba=(bx)ae^{\int \frac{a}{x-b}\,dx} = e^{a\ln|x-b|} = |x-b|^a = (b-x)^ax<bx < b)。

F(x)=(bx)af(x)F(x) = (b-x)^a f(x),则

F(x)=a(bx)a1f(x)+(bx)af(x)=(bx)a1[(bx)f(x)af(x)]F'(x) = -a(b-x)^{a-1}f(x) + (b-x)^a f'(x) = (b-x)^{a-1}[(b-x)f'(x) - af(x)]

F(a)=(ba)af(a)=0F(a) = (b-a)^a f(a) = 0F(b)=0F(b) = 0

由罗尔定理,存在 ξ(a,b)\xi \in (a,b) 使 F(ξ)=0F'(\xi) = 0,即 (bξ)f(ξ)af(ξ)=0(b-\xi)f'(\xi) - af(\xi) = 0,即 af(ξ)+(ξb)f(ξ)=0af(\xi) + (\xi - b)f'(\xi) = 0

二、f(ξ)f(ξ)+[f(ξ)]2=0f(\xi)f''(\xi) + [f'(\xi)]^2 = 0

解答题例 2.74(2017 数一数二真题)

f(x)f(x)[0,1][0,1] 上具有二阶导数,f(1)>0f(1) > 0limx0+f(x)x<0\lim\limits_{x \to 0^+} \dfrac{f(x)}{x} < 0。证明:

(I)f(x)=0f(x) = 0(0,1)(0,1) 内至少有一个实根;

(II)f(x)f(x)+[f(x)]2=0f(x)f''(x) + [f'(x)]^2 = 0(0,1)(0,1) 内至少有两个不同实根。

解答

(I):由 limx0+f(x)x<0\lim\limits_{x \to 0^+} \dfrac{f(x)}{x} < 0,分母 0+\to 0^+,故 f(x)0f(x) \to 0ff 连续),即 f(0)=0f(0) = 0

由保号性,存在 x1(0,1)x_1 \in (0,1) 使 f(x1)x1<0\dfrac{f(x_1)}{x_1} < 0,即 f(x1)<0f(x_1) < 0

f(1)>0f(1) > 0,由零点定理,存在 ξ(x1,1)(0,1)\xi \in (x_1, 1) \subset (0,1) 使 f(ξ)=0f(\xi) = 0

(II):注意到 f(x)f(x)+[f(x)]2=[f(x)f(x)]f(x)f''(x) + [f'(x)]^2 = [f(x)f'(x)]'

F(x)=f(x)f(x)F(x) = f(x)f'(x),需证 F(x)=0F'(x) = 0(0,1)(0,1) 内至少有两个根。

由(I)知 f(0)=0f(0) = 0f(ξ)=0f(\xi) = 0ξ(0,1)\xi \in (0,1)),f(1)>0f(1) > 0

F(0)=f(0)f(0)=0F(0) = f(0)f'(0) = 0F(ξ)=f(ξ)f(ξ)=0F(\xi) = f(\xi)f'(\xi) = 0

由罗尔定理,存在 η1(0,ξ)\eta_1 \in (0, \xi) 使 F(η1)=0F'(\eta_1) = 0

f(ξ)=0f(\xi) = 0f(1)>0f(1) > 0,由拉格朗日中值定理,存在 c(ξ,1)c \in (\xi, 1) 使 f(c)=f(1)f(ξ)1ξ>0f'(c) = \dfrac{f(1) - f(\xi)}{1 - \xi} > 0,故 F(c)=f(c)f(c)F(c) = f(c)f'(c)

证明思路:找到三个点使 F(x)F(x) 取值相等,从而两次罗尔定理得到两个 F(x)=0F'(x) = 0 的点。

F(0)=F(ξ)=0F(0) = F(\xi) = 0,再证存在第三个点使 F=0F = 0:由 f(1)>0f(1) > 0f(ξ)=0f(\xi) = 0ff(ξ,1)(\xi, 1) 上某点取正值,结合 ff' 的连续性可找到 FF 的第三个零点(或利用 F(1)=f(1)f(1)F(1) = f(1)f'(1) 的符号分析)。

综合可得 F(x)=0F'(x) = 0(0,1)(0,1) 内至少有两个不同实根。

三、奇函数性质 + 中值定理

解答题例 2.75(2013 数一真题)

f(x)f(x)[1,1][-1,1] 上具有二阶导数,f(x)f(x) 为奇函数,f(1)=1f(1) = 1。证明:

(I)存在 ξ(0,1)\xi \in (0,1) 使 f(ξ)=1f'(\xi) = 1

(II)存在 η(1,1)\eta \in (-1,1) 使 f(η)+f(η)=1f''(\eta) + f'(\eta) = 1

解答

(I)f(x)f(x) 为奇函数,f(0)=0f(0) = 0f(1)=f(1)=1f(-1) = -f(1) = -1

F(x)=f(x)xF(x) = f(x) - x,则 F(0)=0F(0) = 0F(1)=f(1)1=0F(1) = f(1) - 1 = 0

由罗尔定理,存在 ξ(0,1)\xi \in (0,1) 使 F(ξ)=0F'(\xi) = 0,即 f(ξ)=1f'(\xi) = 1

(II)f(x)f(x) 为奇函数 \Rightarrow f(x)f'(x) 为偶函数 \Rightarrow f(1)=f(1)f'(-1) = f'(1)

由(I),f(ξ)=1f'(\xi) = 1

g(x)=f(x)1g(x) = f'(x) - 1,则 g(ξ)=0g(\xi) = 0

f(x)f'(x) 为偶函数,g(ξ)=f(ξ)1=f(ξ)1=0g(-\xi) = f'(-\xi) - 1 = f'(\xi) - 1 = 0

g(ξ)=g(ξ)=0g(-\xi) = g(\xi) = 0ξ(1,0)-\xi \in (-1, 0)ξ(0,1)\xi \in (0, 1))。

由罗尔定理,存在 η(ξ,ξ)(1,1)\eta \in (-\xi, \xi) \subset (-1, 1) 使 g(η)=0g'(\eta) = 0,即 f(η)=0f''(\eta) = 0

实际上需证 f(η)+f(η)=1f''(\eta) + f'(\eta) = 1。令 G(x)=ex[f(x)1]G(x) = e^x[f'(x) - 1],则 G(x)=ex[f(x)+f(x)1]G'(x) = e^x[f''(x) + f'(x) - 1]

G(ξ)=eξ[f(ξ)1]=0G(\xi) = e^{\xi}[f'(\xi) - 1] = 0G(ξ)=eξ[f(ξ)1]=eξ[f(ξ)1]=0G(-\xi) = e^{-\xi}[f'(-\xi) - 1] = e^{-\xi}[f'(\xi) - 1] = 0

由罗尔定理,存在 η(ξ,ξ)\eta \in (-\xi, \xi) 使 G(η)=0G'(\eta) = 0,即 f(η)+f(η)1=0f''(\eta) + f'(\eta) - 1 = 0

四、积分 + 中值定理

解答题例 2.76(李林 880)

f(x)f(x)[0,1][0,1] 上二阶可导,limx0+f(x)x=limx1f(x)x1=1\lim\limits_{x \to 0^+} \dfrac{f(x)}{x} = \lim\limits_{x \to 1^-} \dfrac{f(x)}{x-1} = 1。证明:

(I)存在 ξ(0,1)\xi \in (0,1) 使 f(ξ)=0f(\xi) = 0

(II)存在 η(0,1)\eta \in (0,1) 使 f(η)=f(η)f''(\eta) = f(\eta)

解答

(I):由 limx0+f(x)x=1\lim\limits_{x \to 0^+} \dfrac{f(x)}{x} = 1,分母 0\to 0,故 f(0)=0f(0) = 0f+(0)=1>0f'_+(0) = 1 > 0

limx1f(x)x1=1\lim\limits_{x \to 1^-} \dfrac{f(x)}{x-1} = 1,分母 0\to 0^-,故 f(1)=0f(1) = 0f(1)=1f'_-(1) = 1

由保号性:xx 充分接近 00f(x)>0f(x) > 0xx 充分接近 11f(x)<0f(x) < 0x1<0x - 1 < 0,比值 >0> 0)。

由零点定理,存在 ξ(0,1)\xi \in (0,1) 使 f(ξ)=0f(\xi) = 0

(II)f(0)=f(ξ)=f(1)=0f(0) = f(\xi) = f(1) = 0(三个零点)。

由罗尔定理:存在 ξ1(0,ξ)\xi_1 \in (0, \xi) 使 f(ξ1)=0f'(\xi_1) = 0;存在 ξ2(ξ,1)\xi_2 \in (\xi, 1) 使 f(ξ2)=0f'(\xi_2) = 0

f(η)=f(η)f''(\eta) = f(\eta)f(η)f(η)=0f''(\eta) - f(\eta) = 0,即 [ex(f(x)f(x))]=ex[f(x)f(x)][e^{-x}(f'(x) - f(x))]' = e^{-x}[f''(x) - f(x)]

F(x)=ex[f(x)f(x)]F(x) = e^{-x}[f'(x) - f(x)],则 F(x)=ex[f(x)f(x)]F'(x) = e^{-x}[f''(x) - f(x)]

F(ξ1)=eξ1[0f(ξ1)]F(\xi_1) = e^{-\xi_1}[0 - f(\xi_1)]F(ξ2)=eξ2[0f(ξ2)]F(\xi_2) = e^{-\xi_2}[0 - f(\xi_2)]

需进一步分析 FF 在关键点的值,利用 f(0)=f(1)=0f(0) = f(1) = 0f+(0)=f(1)=1f'_+(0) = f'_-(1) = 1 来构造罗尔定理条件。

由罗尔定理可得存在 η(0,1)\eta \in (0,1) 使 F(η)=0F'(\eta) = 0,即 f(η)=f(η)f''(\eta) = f(\eta)

五、柯西中值定理

解答题例 2.77(2020 数二真题)

f(x)=1xet2dtf(x) = \displaystyle\int_1^x e^{t^2}\,dt。证明:

(I)存在 ξ(1,2)\xi \in (1,2) 使 f(ξ)=(2ξ)eξ2f(\xi) = (2-\xi)e^{\xi^2}

(II)存在 η(1,2)\eta \in (1,2) 使 f(2)=ln2ηeη2f(2) = \ln 2 \cdot \eta \, e^{\eta^2}

解答

(I):令 F(x)=f(x)+(x2)ex2F(x) = f(x) + (x-2)e^{x^2}

F(1)=f(1)+(1)e=0e=e<0F(1) = f(1) + (-1)e = 0 - e = -e < 0

F(2)=f(2)+0=12et2dt>0F(2) = f(2) + 0 = \int_1^2 e^{t^2}\,dt > 0

由零点定理,存在 ξ(1,2)\xi \in (1,2) 使 F(ξ)=0F(\xi) = 0,即 f(ξ)=(2ξ)eξ2f(\xi) = (2-\xi)e^{\xi^2}

(II)f(1)=0f(1) = 0,令 g(x)=lnxg(x) = \ln xg(1)=0g(1) = 0

由柯西中值定理:存在 η(1,2)\eta \in (1,2) 使

f(2)f(1)g(2)g(1)=f(η)g(η)\frac{f(2) - f(1)}{g(2) - g(1)} = \frac{f'(\eta)}{g'(\eta)} f(2)ln2=eη21/η=ηeη2\frac{f(2)}{\ln 2} = \frac{e^{\eta^2}}{1/\eta} = \eta \, e^{\eta^2}

f(2)=ln2ηeη2f(2) = \ln 2 \cdot \eta \, e^{\eta^2}

六、双中值——划分区间

解答题例 2.78(2010 数二真题)

f(x)f(x)[0,1][0,1] 上连续,(0,1)(0,1) 内可导,f(0)=0f(0) = 0f(1)=13f(1) = \dfrac{1}{3}。证明:存在 ξ(0,12)\xi \in \left(0, \dfrac{1}{2}\right)η(12,1)\eta \in \left(\dfrac{1}{2}, 1\right) 使 f(ξ)+f(η)=ξ2+η2f'(\xi) + f'(\eta) = \xi^2 + \eta^2

解答

g(x)=f(x)13x3g(x) = f(x) - \dfrac{1}{3}x^3,则 g(0)=0g(0) = 0g(1)=1313=0g(1) = \dfrac{1}{3} - \dfrac{1}{3} = 0

g(x)=f(x)x2g'(x) = f'(x) - x^2,需证 g(ξ)+g(η)=0g'(\xi) + g'(\eta) = 0

[0,12]\left[0, \dfrac{1}{2}\right] 上用拉格朗日中值定理:

g ⁣(12)g(0)=g(ξ)12,ξ(0,12)g\!\left(\frac{1}{2}\right) - g(0) = g'(\xi) \cdot \frac{1}{2}, \quad \xi \in \left(0, \frac{1}{2}\right)

[12,1]\left[\dfrac{1}{2}, 1\right] 上用拉格朗日中值定理:

g(1)g ⁣(12)=g(η)12,η(12,1)g(1) - g\!\left(\frac{1}{2}\right) = g'(\eta) \cdot \frac{1}{2}, \quad \eta \in \left(\frac{1}{2}, 1\right)

两式相加:g(1)g(0)=12[g(ξ)+g(η)]g(1) - g(0) = \dfrac{1}{2}[g'(\xi) + g'(\eta)]

g(0)=g(1)=0g(0) = g(1) = 0g(ξ)+g(η)=0g'(\xi) + g'(\eta) = 0,即 f(ξ)ξ2+f(η)η2=0f'(\xi) - \xi^2 + f'(\eta) - \eta^2 = 0

f(ξ)+f(η)=ξ2+η2f'(\xi) + f'(\eta) = \xi^2 + \eta^2

:题目给出 ξ(0,12)\xi \in (0, \frac{1}{2})η(12,1)\eta \in (\frac{1}{2}, 1),提示划分区间。若未给出划分点,可逆推解方程求出 x0=12x_0 = \frac{1}{2}

七、综合真题

解答题例 2.79(2019 数二真题)

f(x)f(x)[0,1][0,1] 上具有二阶导数,f(0)=0f(0) = 0f(1)=1f(1) = 101f(x)dx=1\displaystyle\int_0^1 f(x)\,dx = 1。证明:

(I)存在 ξ(0,1)\xi \in (0,1) 使 f(ξ)=0f'(\xi) = 0

(II)存在 η(0,1)\eta \in (0,1) 使 f(η)<2f''(\eta) < -2

解答

(I):由积分中值定理,01f(x)dx=1=f(c)1\int_0^1 f(x)\,dx = 1 = f(c) \cdot 1,存在 c(0,1)c \in (0,1) 使 f(c)=1f(c) = 1

f(c)=f(1)=1f(c) = f(1) = 1,由罗尔定理,存在 ξ(c,1)\xi \in (c, 1) 使 f(ξ)=0f'(\xi) = 0

(II):令 G(x)=f(x)+x2G(x) = f(x) + x^2,则 G(x)=f(x)+2G''(x) = f''(x) + 2。需证 G(η)<0G''(\eta) < 0

G(0)=0G(0) = 0G(c)=1+c2G(c) = 1 + c^2G(1)=2G(1) = 2

由拉格朗日中值定理:

  • [0,c][0, c]G(η1)=G(c)G(0)c=1+c2cG'(\eta_1) = \dfrac{G(c) - G(0)}{c} = \dfrac{1+c^2}{c}η1(0,c)\eta_1 \in (0, c)
  • [c,1][c, 1]G(η2)=G(1)G(c)1c=21c21c=1c21c=1+cG'(\eta_2) = \dfrac{G(1) - G(c)}{1-c} = \dfrac{2-1-c^2}{1-c} = \dfrac{1-c^2}{1-c} = 1+cη2(c,1)\eta_2 \in (c, 1)

再由拉格朗日中值定理对 G(x)G'(x)[η1,η2][\eta_1, \eta_2] 上:

G(η)=G(η2)G(η1)η2η1=(1+c)1+c2cη2η1=c+c21c2cη2η1=1ccη2η1<0G''(\eta) = \frac{G'(\eta_2) - G'(\eta_1)}{\eta_2 - \eta_1} = \frac{(1+c) - \frac{1+c^2}{c}}{\eta_2 - \eta_1} = \frac{\frac{c+c^2-1-c^2}{c}}{\eta_2 - \eta_1} = \frac{-\frac{1-c}{c}}{\eta_2 - \eta_1} < 0

f(η)+2<0f''(\eta) + 2 < 0,即 f(η)<2f''(\eta) < -2

解答题例 2.80(2026 数一真题)

f(x)f(x) 可导,在 [1,1][-1,1] 上严格单增,11f(x)dx=0\displaystyle\int_{-1}^1 f(x)\,dx = 0a=01f(x)dxa = \displaystyle\int_0^1 f(x)\,dx

(I)证明 a>0a > 0

(II)设 F(x)=a(1x2)+1xf(t)dtF(x) = a(1-x^2) + \displaystyle\int_1^x f(t)\,dt,证明存在 ξ(1,1)\xi \in (-1,1) 使 F(ξ)=0F''(\xi) = 0

解答

(I):由积分中值定理:01f(x)dx=f(ξ1)1=a\int_0^1 f(x)\,dx = f(\xi_1) \cdot 1 = aξ1(0,1)\xi_1 \in (0,1)

11f(x)dx=0\int_{-1}^1 f(x)\,dx = 0,故 10f(x)dx=a\int_{-1}^0 f(x)\,dx = -a,由积分中值定理 f(ξ2)=af(\xi_2) = -aξ2(1,0)\xi_2 \in (-1,0)

ff 严格单增,ξ1>ξ2\xi_1 > \xi_2,故 f(ξ1)>f(ξ2)f(\xi_1) > f(\xi_2),即 a>aa > -a,故 a>0a > 0

(II)F(1)=a(11)+11f(t)dt=0F(1) = a(1-1) + \int_1^1 f(t)\,dt = 0

F(1)=a(11)+11f(t)dt=11f(t)dt=0F(-1) = a(1-1) + \int_1^{-1} f(t)\,dt = -\int_{-1}^1 f(t)\,dt = 0

F(0)=a+10f(t)dt=a01f(t)dt=aa=0F(0) = a + \int_1^0 f(t)\,dt = a - \int_0^1 f(t)\,dt = a - a = 0

F(1)=F(0)=F(1)=0F(-1) = F(0) = F(1) = 0

由罗尔定理:存在 η1(1,0)\eta_1 \in (-1, 0) 使 F(η1)=0F'(\eta_1) = 0;存在 η2(0,1)\eta_2 \in (0, 1) 使 F(η2)=0F'(\eta_2) = 0

再对 F(x)F'(x)[η1,η2][\eta_1, \eta_2] 上用罗尔定理:存在 ξ(η1,η2)(1,1)\xi \in (\eta_1, \eta_2) \subset (-1, 1) 使 F(ξ)=0F''(\xi) = 0

解答题例 2.81

f(x)f(x)[0,2][0,2] 上连续可导,f(0)=f(2)=0f(0) = f(2) = 0M=maxx[0,2]f(x)M = \max\limits_{x \in [0,2]} |f(x)|。证明存在 ξ(0,2)\xi \in (0,2) 使 f(ξ)M|f'(\xi)| \ge M

解答

M=0M = 0,则 f(x)0f(x) \equiv 0f(x)0f'(x) \equiv 0,结论平凡成立。

M>0M > 0,设 f(c)=M|f(c)| = Mc(0,2)c \in (0,2)f(0)=f(2)=0f(0) = f(2) = 0,故 c0,2c \ne 0, 2)。

由拉格朗日中值定理:

  • [0,c][0, c]f(ξ1)=f(c)f(0)c=Mc|f'(\xi_1)| = \dfrac{|f(c) - f(0)|}{c} = \dfrac{M}{c}ξ1(0,c)\xi_1 \in (0, c)
  • [c,2][c, 2]f(ξ2)=f(2)f(c)2c=M2c|f'(\xi_2)| = \dfrac{|f(2) - f(c)|}{2-c} = \dfrac{M}{2-c}ξ2(c,2)\xi_2 \in (c, 2)

c1c \le 1McM\dfrac{M}{c} \ge M,取 ξ=ξ1\xi = \xi_1

c>1c > 1M2c>M\dfrac{M}{2-c} > M,取 ξ=ξ2\xi = \xi_2

f(ξ)M|f'(\xi)| \ge M

Back to archive

Discussion

Comments

Post

Share questions, corrections, or extra notes about this post.