中值定理·罗尔定理：从四大性质到通解构造法

今日学习地图

本次费曼主题：中值定理（开篇：罗尔定理）——从闭区间连续函数四大性质出发，打通积分中值定理、费马引理、罗尔定理，最后落点在做题方法层：单中值问题的判据与辅助函数构造。

中值定理开篇
├── 闭区间连续函数四大性质
│   ├── 最值定理：连续 → 有最大最小值
│   ├── 有界定理：有最值 → 有界
│   ├── 介值定理：m 与 M 之间的值都能取到
│   └── 零点定理：端点异号 → 内部有零点
├── 积分中值定理
│   ├── ∫f = f(c)(b−a)，c ∈ (a,b)
│   ├── 证明链：最值 → 积分保序 → 介值
│   └── 最大作用：去积分号
├── 费马引理：极值点 + 可导 → 导数 0（必要条件）
├── 罗尔定理
│   ├── 三条件：闭连续 + 开可导 + f(a)=f(b)
│   ├── 结论：存在 ξ ∈ (a,b)，f'(ξ) = 0
│   └── 证明：最值定理 → f(a)=f(b) 逼最值点进内部 → 费马
└── 方法层：单中值两板斧
    ├── 判据：结论含导数 → 罗尔；结论是函数值 → 零点定理
    └── 通解构造：微分方程写通解 → C 放一边 → 辅助函数 F

本次需要重点关注的内容：

• 介值定理为什么特别重要：它是唯一允许 ξ 落在闭区间的存在性定理，其他定理的 ξ 都在开区间内部
• 积分中值定理的证明链：最值定理 → 积分保序性 → 介值定理，一套组合拳
• 罗尔定理证明的关键一步：f(a) = f(b) 如何逼最值点进入开区间内部
• 为什么可导只要求开区间：结论要的是内部点，端点可导是多余条件
• 通解构造辅助函数：把结论式看成微分方程，写通解，C 放一边——这是罗尔做题的关键，也是本文的核心

一、闭区间连续函数的四大性质

1.1 共同地基与最值定理

Important

最值定理：若 $f(x)$ 在闭区间 $[a,b]$ 上连续，则 $f(x)$ 在 $[a,b]$ 上必有最大值 $M$ 与最小值 $m$。

有界定理是它的直接推论：既然取到了最大值 $M$ 和最小值 $m$，函数值就被夹在 $m$ 与 $M$ 之间，自然有界。

Warning

闭区间不能换成开区间：$f(x)=x$ 在开区间 $(0,1)$ 上连续，但取不到最大值和最小值（$1$ 和 $0$ 都不在区间内）。闭区间连续是整块地基的承重墙。

graph LR
  A[闭区间连续] --> B[最值定理]
  B --> C[有最大值M]
  B --> D[有最小值m]
  C --> E[有界定理]
  D --> E

1.2 介值定理（特别重要）

Important

介值定理：设 $f(x)$ 在 $[a,b]$ 上连续，$m$ 是最小值，$M$ 是最大值。若实数 $\mu$ 满足 $m \leqslant \mu \leqslant M$，则存在 $c \in [a,b]$，使 $f(c)=\mu$。

介值定理说人话就是：连续函数从最小值爬到最大值的过程中，中间每个高度都会经过。

为什么它是四大性质里最特别的一个：介值定理的 $c$ 可以落在闭区间 $[a,b]$ 上（含端点），而零点定理、罗尔定理等其他存在性定理的 $\xi$ 都只能落在开区间内部。

Note

为什么介值定理能容忍端点：当介值 $\mu$ 恰好等于 $m$ 或 $M$ 时，取到它的点可能就是端点。介值定理只需要连续、不碰导数，所以它大方地把端点也算进去。而零点定理因为要求端点异号，$f(a)$、$f(b)$ 都不可能是 $0$，$\xi$ 想落在端点都没资格，只能待在开区间内部。

1.3 零点定理

Important

零点定理：设 $f(x)$ 在 $[a,b]$ 上连续，且 $f(a)\cdot f(b)\lt 0$，则存在 $\xi \in (a,b)$，使 $f(\xi)=0$。

零点定理可以看作介值定理取 $\mu=0$ 的特例：端点异号正好保证 $0$ 落在 $f(a)$、$f(b)$ 之间。

Note

介值定理与零点定理的分工（做题判据的起点）：

• 结论要证 $f(\xi)=0$（函数值为 0） → 零点定理
• 结论要证 $f'(\xi)=0$（导数值为 0） → 罗尔定理（见第四章）

先看结论里有没有导数，这是单中值问题选定理的第一反应。

例题 1：平均值定理（介值定理应用）

Important

例 6.1 设 $f(x)$ 在 $[a,b]$ 上连续，且 $a \lt x_1 \lt x_2 \lt \cdots \lt x_n \lt b$。证明至少存在 $\xi \in (a,b)$，使

关键点解析：

1. 判据：结论是"存在一点，函数值等于平均值"——函数值等式，走介值定理。
2. 构造思路：平均值被夹在最小值与最大值之间，介值定理就能保证被取到。
3. 陷阱（本题机关）：题目要 $\xi \in (a,b)$ 开区间，而介值定理原版结论是闭区间。直接套用会差一个端点，拿不到满分。

逐步拆解：

设 $f$ 在 $[x_1,x_n]$ 上的最小值为 $m'$、最大值为 $M'$（注意：不是 $[a,b]$ 上的最值）。

因为每个 $x_i$ 都在 $[x_1,x_n]$ 内，所以对 $i=1,2,\cdots,n$：

把 $n$ 个不等式相加：

两边除以 $n$，平均值被夹住：

$f$ 在 $[x_1,x_n]$ 上连续，由介值定理，存在 $\xi \in [x_1,x_n]$，使

又因为 $a \lt x_1 \lt x_n \lt b$，所以 $[x_1,x_n]$ 完全落在开区间 $(a,b)$ 内部，于是 $\xi \in (a,b)$。$\blacksquare$

Caution

本题注意点（严谨性）：

1. 夹平均值要用 $f$ 在 $[x_1,x_n]$ 上的最值 $m'$、$M'$，不是 $[a,b]$ 上的 $m$、$M$。因为介值定理要求"要取的值落在这个区间上 $f$ 的值域里"，而平均值确实落在 $[x_1,x_n]$ 上 $f$ 的值域里（它是这些点函数值的平均数）。
2. 不能写"由介值定理知存在 $\xi$ 使 $m \leqslant f(\xi) \leqslant M$，故 $f(\xi)=$ 平均值"——"$m \leqslant f(\xi) \leqslant M$“太弱，$[a,b]$ 上任何点都满足，推不出 $f(\xi)$ 等于平均值。介值定理直接给 $f(\xi)=$ 平均值，不需要这层中间表述。
3. 缩小战场到 $[x_1,x_n]$ 这一步，是"闭区间 → 开区间"陷阱的标准解法：找一个完全落在开区间内部的闭子区间。

例题 2：中点配对零点定理（零点定理应用）

Important

例 设 $f(x)$ 在 $[0,1]$ 上连续，且 $f(0)=f(1)$。证明存在 $\xi \in (0,1)$，使

关键点解析：

1. 判据：结论是"存在一点，两处函数值相等”——函数值等式，走零点定理（不是罗尔）。
2. 构造：把要证的等式移项：$f(\xi+\tfrac12)-f(\xi)=0$。直接令 $F(x)=f\left(x+\dfrac12\right)-f(x)$。
3. 机关（中点配对制造相反数）：$f(0)=f(1)$ 让 $F\left(\dfrac12\right)$ 恰好等于 $-F(0)$，乘积自动 $\leqslant 0$。

逐步拆解：

$F$ 在 $[0,\tfrac12]$ 上连续（$f$ 连续，复合与差都连续）。计算两端点值：

于是乘积：

必须分两种情况讨论（因为零点定理要求严格异号 $\lt 0$）：

• 若 $f(0)=f\left(\dfrac12\right)$：乘积 $=0$，零点定理条件不满足。但此时 $F\left(\dfrac12\right)=0$ 直接成立，取 $\xi=\dfrac12$。因为 $\dfrac12 \in (0,1)$，满足题目要求。
• 若 $f(0)\neq f\left(\dfrac12\right)$：乘积 $\lt 0$，$F$ 在 $[0,\tfrac12]$ 上连续，由零点定理，存在 $\xi \in \left(0,\dfrac12\right)$，使 $F(\xi)=0$。

两种情况下都有 $\xi \in (0,1)$，且 $F(\xi)=0$，即 $f\left(\xi+\dfrac12\right)=f(\xi)$。$\blacksquare$

Caution

本题注意点：

1. 相等分支只能取 $\xi=\dfrac12$，不能写"零点为 $0$ 或 $\dfrac12$“里的 $0$——$F(0)=0$ 给的是端点 $0$，不在开区间 $(0,1)$ 内，不满足题目要求。
2. 讨论相等/不等是必须的：$F(0)\cdot F\left(\dfrac12\right) \leqslant 0$ 恒成立，当乘积恰好为 $0$ 时零点定理用不了，只能直接找零点。
3. 这类题的机关是”端点配对 → 相反数 → 乘积自动 $\leqslant 0$"，剩下全是等不等号的分支处理。

例题 3：零点定理两问连击（例 6.7 第 1 问）

Important

例 6.7(1) 设 $f(x)$ 在 $[0,1]$ 上连续、$(0,1)$ 内可导，且 $f(0)=0$，$f\left(\dfrac12\right)=1$，$f(1)=0$。证明存在 $\eta \in \left(\dfrac12,1\right)$，使 $f(\eta)=\eta$。

关键点解析：结论"$f(\eta)=\eta$“是函数值等式，移项 $f(\eta)-\eta=0$，走零点定理。令 $F(x)=f(x)-x$，凑两个异号端点。

逐步拆解：

令 $F(x)=f(x)-x$。计算：

$F$ 在 $\left[\dfrac12,1\right]$ 上连续（$f$ 连续），两端异号，由零点定理，存在 $\eta \in \left(\dfrac12,1\right)$，使 $F(\eta)=0$，即 $f(\eta)-\eta=0$，故 $f(\eta)=\eta$。$\blacksquare$

Note

本题注意点：这问是为第 2 问服务的——找到的 $\eta$ 是第 2 问辅助函数的"第二个零点”。两问是连环计（见例题 5）。

二、积分中值定理

2.1 定理内容与证明

Important

积分中值定理：设 $f(x)$ 在 $[a,b]$ 上连续，则存在 $c \in (a,b)$（可加强到开区间），使

几何意义：曲边梯形的面积，总能用某个矩形等面积替换——矩形的底是 $b-a$，高是 $f(c)$。

本质是平均值定理：两边除以 $(b-a)$：

右边正是 $f$ 在 $[a,b]$ 上的平均高度。连续函数一定在某个点取到自己的平均值，$c$ 就是那个点。

Note

标准教材写 $c \in [a,b]$ 闭区间，本文直接使用加强版 $c \in (a,b)$：只要 $f$ 连续，取到平均值的点可以选在区间内部（若 $f$ 是常数，开区间内任一点都行）。这个加强结论成立，且做题时更有用。

证明链条（一套组合拳）：

证. $f$ 在 $[a,b]$ 上连续，由最值定理，存在最小值 $m$ 与最大值 $M$，且对一切 $x \in [a,b]$：

对不等式两边同时积分（积分保序性：不等号方向不变）：

两边除以 $(b-a)$，平均值被夹住：

平均值既然落在 $m$ 与 $M$ 之间，由介值定理，存在 $c$，使 $f(c)$ 等于这个平均值，即 $\int_a^b f(x)\,dx=f(c)(b-a)$。$\blacksquare$

Important

积分中值定理的最大作用：去积分号。 把"一个积分"这种整体操作，替换成"某个点的函数值 $\times$ 区间长度"，积分问题降维成函数值问题。证积分等式、积分不等式、含积分的极限，它都是第一反应。

例题 4：积分中值定理 + 极限（去积分号）

Important

例 求极限 $\displaystyle\lim_{x\to+\infty}\int_x^{x+1} t\sin\dfrac{1}{t}\,dt$。

关键点解析：被积函数在无穷远处几乎不变，积分区间长度固定为 $1$——积分中值定理一出手，积分直接变成 $f(\xi)\cdot 1$，剩下是极限的活。

逐步拆解：

被积函数 $t\sin\dfrac1t$ 在 $[x,x+1]$ 上连续（$x>0$ 时），由积分中值定理，存在 $\xi \in [x,x+1]$，使

因为 $x \leqslant \xi \leqslant x+1$，当 $x\to+\infty$ 时，$\xi$ 被夹逼着也趋向 $+\infty$。于是：

令 $u=\dfrac1\xi\to 0^+$，这就是第一个重要极限：

所以原极限 $=1$。$\blacksquare$

Caution

本题注意点：

1. $\xi$ 依赖 $x$，但不用求出 $\xi$ 是谁——被夹在 $[x,x+1]$ 里，$x\to+\infty$ 时 $\xi\to+\infty$ 是确定的，夹逼够用。
2. 那个系数 $1$ 是区间长度 $(x+1)-x$，写的时候交代来源，别凭空冒出来。

例题 5：积分中值定理证明单调性（例 6.5）

Important

例 6.5 设 $f(x)$ 在 $(-\infty,+\infty)$ 内连续且单调增加，证明 $F(x)=\displaystyle\int_0^x (2t-x)f(x-t)\,dt$ 在 $(-\infty,+\infty)$ 内单调减少。

关键点解析：证明单调性走 $F'(x) \leqslant 0$。难点是 $F$ 的被积函数同时含 $x$ 和 $t$，需要先换元把 $x$ 从被积函数里"请出去"，变成标准的变上限积分，再求导；求导后出现 $\int_0^x f$，用积分中值定理去积分号，最后靠 $f$ 的单调性定号。

逐步拆解：

第一步：换元。 令 $u=x-t$，则 $t=x-u$，$dt=-du$；$t:0\to x$ 对应 $u:x\to 0$。代入：

拆开：

第二步：求导。 对变上限积分求导（注意 $x$ 还乘在第一个积分外面，要用乘积法则）：

第三步：去积分号。 由积分中值定理，存在 $k$ 介于 $0$ 和 $x$ 之间，使 $\displaystyle\int_0^x f(u)\,du=x\cdot f(k)$。代入：

第四步：按 $x$ 的符号分类定号。

• 若 $x>0$：$k$ 介于 $0$ 和 $x$ 之间，故 $0\lt k\lt x$。$f$ 单调增加，$k\lt x\Rightarrow f(k)\leqslant f(x)$，所以 $f(k)-f(x)\leqslant 0$。于是 $F'(x)=x\cdot(\leqslant0)\leqslant0$。
• 若 $x\lt 0$：$x\lt k\lt 0$。$f$ 单调增加，$x\lt k\Rightarrow f(x)\leqslant f(k)$，所以 $f(k)-f(x)\geqslant 0$。于是 $F'(x)=x\cdot(\geqslant0)\leqslant0$（负数乘非负数）。
• 若 $x=0$：$F'(0)=\int_0^0 f-0=0$。

综上，$F'(x)\leqslant 0$ 对一切 $x$ 成立，故 $F$ 在 $(-\infty,+\infty)$ 内单调减少。$\blacksquare$

Caution

本题注意点：

1. 别自己加条件：题目没有给 $f(0)=0$，x < 0 分支也用不到它——$x\lt k\lt 0$ 直接推出 $f(k)\geqslant f(x)$ 就够了。把题目没有的条件偷偷补进来是丢分点。
2. $k$ 介于 0 和 $x$ 之间，不是"0 和 1"——$x$ 可正可负，$k$ 跟着 $x$ 走。
3. 结论是 $F$ 单调减少，不是 $f$。
4. 换元后 $F(x)=x\int_0^x f-2\int_0^x uf$ 这一步，是"把 $x$ 从被积函数里请出去"的标准操作，以后见到被积函数含 $x$ 的变限积分先想换元。

三、费马引理

Important

费马引理（极值的必要条件）：若 $x_0$ 是 $f(x)$ 的极值点，且 $f$ 在 $x_0$ 处可导，则 $f'(x_0)=0$。

两个关键限定：

1. 极值点必须是内点：极值点的定义自带"存在一个邻域"，端点没有两侧邻域，所以端点不算极值点。这正是"开区间内部"金贵的原因——费马引理只认内点。
2. 逆命题不成立：$f'(x_0)=0$ 只说明 $x_0$ 是驻点，不一定是极值点。

Warning

经典反例：$f(x)=x^3$ 在 $x=0$ 处，$f'(0)=0$，但左边函数值小、右边函数值大，$x=0$ 不是极值点。所以"导数为 $0$“是极值的必要条件，不是充分条件。

graph LR
  A[极值点] --> B[内点]
  A --> C[可导]
  B --> D[费马引理]
  C --> D
  D --> E[f'=0]
  F[f'=0] --> G[驻点]
  G --> H[不一定是极值点]

四、罗尔定理

4.1 定理内容

Important

罗尔定理：设 $f(x)$ 满足

1. 在闭区间 $[a,b]$ 上连续；
2. 在开区间 $(a,b)$ 内可导；
3. $f(a)=f(b)$。

则存在 $\xi \in (a,b)$，使 $f'(\xi)=0$。

几何直观：起点和终点一样高，中间必有水平切线。

graph LR
  A[三条件满足] --> D[最值定理给出M和m]
  D --> E{M与m的关系}
  E --> F[M=m：常数函数]
  E --> G[M大于m：最值点在内部]
  F --> H[f'=0]
  G --> H

4.2 三个条件各自管什么

Warning

为什么可导只要求开区间、不要求闭区间？

因为结论要的 $\xi$ 是内部点，费马引理也只认内点极值——所以只要 $(a,b)$ 内每一点可导就够了。端点可导是多余的：端点不参与"水平切线"这个结论。如果要求闭区间可导（端点单侧导数也存在），反而过强，会把"端点是尖的、内部光滑"的本可适用的函数误伤。

对比很有意思：连续要闭区间（最值定理必须闭区间），可导只要开区间（结论只碰内部）——两个条件各自匹配各自的用途，不多要。

4.3 结论的强度

罗尔只说”存在 $\xi$"，不告诉你在哪、有几个。这个"只保证存在"的性质，是后面做题时构造辅助函数的根源——我们不需要知道 $\xi$ 在哪，只需要知道它存在。

4.4 证明（核心链条）

证. $f$ 在 $[a,b]$ 上连续，由最值定理，存在最大值 $M$ 与最小值 $m$。

分支一：$M=m$。 此时 $f$ 是常数函数，处处导数为 $0$，$(a,b)$ 内任意一点都可以当 $\xi$，结论成立。

分支二：$M>m$。 用反证法说明至少有一个最值点落在开区间内部。

假设最大值 $M$ 和最小值 $m$ 都落在端点上。端点只有两个，且 $f(a)=f(b)$，所以两个端点的函数值相同。那么 $M$ 和 $m$ 若都在端点取到，只能都等于 $f(a)=f(b)$，于是 $M=m$——与 $M>m$ 矛盾。

所以 $M$ 或 $m$ 至少有一个是在开区间 $(a,b)$ 内部取到的。这个内部取到的最值点就是极值点（内点极值），由费马引理，该点处导数为 $0$，即存在 $\xi \in (a,b)$，$f'(\xi)=0$。$\blacksquare$

Note

证明的三台引擎：最值定理（保证存在）→ $f(a)=f(b)$（逼最值点进内部）→ 费马引理（内部极值点导数归零）。

例题 6：罗尔定理 + 第一问送零点（例 6.7 第 2 问）

Important

例 6.7(2) 承接第 1 问：已证存在 $\eta \in \left(\dfrac12,1\right)$ 使 $f(\eta)=\eta$。证明：对任意 $k \in (-\infty,+\infty)$，存在 $\xi \in (0,\eta)$，使

关键点解析：

1. 判据：结论含 $f'(\xi)$，能化成"某某的导数 $=0$"，走罗尔定理。
2. 构造辅助函数（本题核心，过程显式写出）：先移项整理结论式： $$f'(\xi)-k f(\xi)+k\xi-1=0$$ 设 $g(x)=f(x)-x$，则 $g'(x)=f'(x)-1$。把 $\xi$ 换回 $x$，结论式变成： $$g'(x)-k\,g(x)=0$$ 这是一阶齐次线性微分方程 $y'-k y=0$，写通解（积分因子 $e^{-kx}$）： $$g(x)\cdot e^{-kx}=C$$ 把 $C$ 放到一边，另一边就是辅助函数： $$F(x)=g(x)\cdot e^{-kx}=\big(f(x)-x\big)e^{-kx}$$
3. 验证罗尔三条件：
   • $F$ 在 $[0,\eta]$ 上连续、$(0,\eta)$ 内可导（$f$ 继承，$e^{-kx}$ 光滑）；
   • $F(0)=\big(f(0)-0\big)e^{0}=0$；
   • $F(\eta)=\big(f(\eta)-\eta\big)e^{-k\eta}=0$（靠第 1 问的 $\eta$）。

逐步拆解：

$F(0)=F(\eta)=0$，由罗尔定理，存在 $\xi \in (0,\eta)$，使 $F'(\xi)=0$。计算 $F'$（乘积法则）：

整理：

在 $\xi$ 处：$e^{-k\xi}\Big(f'(\xi)-k f(\xi)-1+k\xi\Big)=0$。$e^{-k\xi}$ 恒大于 $0$，约掉：

移项：

结论得证。$\blacksquare$

Note

本题注意点：

1. 第 1 问的 $\eta$ 不是白找的——它给第 2 问的 $F$ 提供了第二个零点（$0$ 和 $\eta$），让 $F(0)=F(\eta)=0$ 成立，罗尔才有得用。两问是连环计。
2. 构造 $F$ 时"$g=f-x$“这一步的来源：结论里同时出现 $f(\xi)$ 和 $\xi$，把它们并成 $f(\xi)-\xi$ 才能看出"谁的导数”。

例题 7：罗尔定理 + 积分条件配平（例 6.8）

Important

例 6.8 设 $f(x)$ 在 $[0,1]$ 上连续、$(0,1)$ 内可导，且满足

求证至少存在 $\xi \in (0,1)$，使 $f'(\xi)=\left(1-\dfrac1\xi\right)f(\xi)$。

关键点解析：

1. 判据：结论含 $f'(\xi)$，移项 $f'(\xi)-\left(1-\dfrac1\xi\right)f(\xi)=0$ 是"某某导数 $=0$“型，走罗尔定理。

2. 构造辅助函数（过程显式写出）：把 $\xi$ 换回 $x$：

   $$f'(x)-\left(1-\dfrac1x\right)f(x)=0$$

   这是一阶线性微分方程 $y'-\left(1-\dfrac1x\right)y=0$。积分因子：

   $$e^{\int\left(-1+\frac1x\right)dx}=e^{-x+\ln x}=x\,e^{-x}$$

   通解：$y\cdot x e^{-x}=C$。C 放一边，辅助函数取：

   $$F(x)=x\cdot e^{-x}\cdot f(x)$$

   验证 $F'(x)=0$ 是否给出结论：$F'(x)=e^{-x}\big(f(x)(1-x)+x f'(x)\big)$，$F'(\xi)=0$ 整理得 $f'(\xi)=\left(1-\dfrac1\xi\right)f(\xi)$。构造正确。

   Note

   这里有个加分细节：把 $F$ 改为 $F(x)=x\cdot e^{1-x}\cdot f(x)$（多乘一个常数 $e$），不影响 $F'=0$ 的零点，但让 $F(1)=1\cdot e^{0}\cdot f(1)=f(1)$，端点值更漂亮。做题时常用这种"乘常数美化端点值"的技巧。

3. 验证罗尔条件的关键一步——配平：题目给的是积分条件，用积分中值定理从积分里挖出一个点 $u$，使 $F(u)=F(1)$。

逐步拆解：

取 $F(x)=x e^{1-x}f(x)$，则 $F(0)=0$，$F(1)=f(1)$。

对积分用积分中值定理：存在 $u \in \left(0,\dfrac1k\right)$，使

（积分中值定理的系数是区间长度 $\dfrac1k-0=\dfrac1k$。）代入题目条件：

于是 $F(1)=f(1)=F(u)$。又 $u\in\left(0,\dfrac1k\right)\subset(0,1)$，$F$ 在 $[u,1]$ 上连续、$(u,1)$ 内可导，由罗尔定理，存在 $\xi\in(u,1)\subset(0,1)$，使 $F'(\xi)=0$。

$F'(\xi)=0$ 整理：

两边除以 $\xi$：

结论得证。$\blacksquare$

Caution

本题注意点（唯一的坑）：

1. 积分上限是 $\dfrac1k$，不是 $\dfrac12$。积分中值定理的系数是区间长度 $\dfrac1k$，$k$ 和它相乘正好消成 $1$，配平才成立。如果把系数写成 $\dfrac12$，就要 $k=2$ 才配平，$k>1$ 任意就不成立了。“积分上限 ↔ 系数"的对应是这类题的生命线。
2. 最后一步除以 $\xi$ 没问题（$\xi>0$），但如果结论式里有 $f(\xi)$ 做分母的情况，要确认题目条件保证 $f(\xi)\neq 0$。

五、方法层：单中值问题的两板斧

5.1 判据：选哪个定理

Important

用户总结（原文）：单中值的问题我们考虑罗尔定理和零点定理，看看要证的内容，如果有 $f(x)$ 的导数就用罗尔定理，否则用零点定理。

单中值问题（结论只涉及一个点 $\xi$）就两板斧：

graph LR
  A[结论式] --> B{含 f' ？}
  B --> C[是：罗尔定理]
  B --> D[否：零点定理]
  C --> E[构造 F 使 F'=0]
  D --> F[构造 F 使 F=0]

判据细化：

• 结论是 $f'(\xi)=0$ 或能化成”某某在 $\xi$ 的导数 $=0$"（单中值）→ 罗尔定理
• 结论是 $f(\xi)=0$（函数值为 0，单中值）→ 零点定理（本质是介值定理取 $\mu=0$）
• 结论含 $f(b)-f(a)$（两个端点的函数值差）→ 拉格朗日（后续章节）
• 结论含两个函数的端点差之比 → 柯西（后续章节）
• 结论含积分号 → 先用积分中值定理去积分号，再看是哪种

Warning

判据的精确说法：“结论里有导数"还不够——拉格朗日、柯西也都有导数。精确信号是：结论是单中值，且能化成"某个函数在 $\xi$ 的导数 $=0$”。这才是罗尔的信号。

5.2 通解构造辅助函数（罗尔做题的核心）

Caution

这是本文最重要的方法。 通常的解题过程只写"令 $F(x)=\cdots$"，不解释 $F$ 是怎么来的——但构造 $F$ 的过程恰恰是罗尔定理做题的关键。构造 $F$ 不是靠灵感，而是把结论式看成微分方程，写通解，C 放一边。

标准流程：

graph LR
  A[结论式] --> B[化成 y'+py=0]
  B --> C[写通解]
  C --> D[C放一边得F]
  D --> E[验证F两端相等]
  E --> F[罗尔得结论]

为什么这是微分方程：要证 $f'(\xi)+p(\xi)f(\xi)=0$，把 $\xi$ 换成 $x$，就是关于 $y=f(x)$ 的一阶齐次线性微分方程 $y'+p(x)y=0$。它的通解是

所以"等于常数 $C$ 的量” $f(x)\cdot e^{\int p(x)\,dx}$ 就是辅助函数 $F(x)$——它恒等于常数，导数恒为 $0$，罗尔结论 $F'(\xi)=0$ 正好命中。

Note

这就是微分方程章节学过的积分因子，同一个东西换个马甲出现在中值定理里。前两天刚练过一阶微分方程通解，这里直接迁移。

最常用的三个积分因子：

• $p(x)=0$：$F(x)=f(x)$（原函数就是它自己）
• $p(x)=1$：$F(x)=e^x f(x)$（对应 $f'+f=0$）
• $p(x)=-1$：$F(x)=f(x)e^{-x}$（对应 $f'-f=0$）
• $p(x)=2x$：$F(x)=e^{x^2} f(x)$（对应 $f'+2xf=0$）

高阶导数怎么处理：罗尔一次只能导掉一阶。结论里若出现 $f''$，先降阶——让辅助函数 $F$ 里含 $f'$（如 $F=f'$ 或 $f'$ 的组合），核心还是一阶线性微分方程，通解方法照用；若题目条件够，也可以对 $f$、$f'$ 连续用两次罗尔，一步步把导数"啃"下来。

两类构造的区分：

例题 8：通解构造三连（罗尔定理基础题）

Important

例 A 设 $f(x)$ 在 $[0,1]$ 上连续、$(0,1)$ 内可导，$f(0)=f(1)=0$。证明存在 $\xi \in (0,1)$，使 $f'(\xi)+f(\xi)=0$。

构造过程（显式）：结论 $f'(\xi)+f(\xi)=0$，把 $\xi$ 换 $x$：$y'+y=0$。这是 $p(x)=1$ 的一阶线性齐次方程，通解 $y=Ce^{-x}$。把 $C$ 放一边：$C=f(x)e^{x}$。所以

验证：$F$ 在 $[0,1]$ 连续、$(0,1)$ 可导；$F(0)=e^0 f(0)=0$，$F(1)=e^1 f(1)=0$（靠 $f(0)=f(1)=0$，不是靠 $e^x$ 端点碰巧相等）。罗尔：存在 $\xi\in(0,1)$，$F'(\xi)=e^{\xi}\big(f'(\xi)+f(\xi)\big)=0$，$e^\xi>0$ 约掉，$f'(\xi)+f(\xi)=0$。$\blacksquare$

Important

例 B 条件同上，证明存在 $\xi \in (0,1)$，使 $f'(\xi)+2\xi f(\xi)=0$。

构造过程（显式）：$y'+2xy=0$，积分因子 $e^{\int 2x\,dx}=e^{x^2}$，通解 $y=Ce^{-x^2}$。C 放一边：

注意：通解里带负号的是 $y$（即 $f$ 本身），辅助函数 $F$ 是"C 放一边"那一侧，带正号。$F(0)=f(0)=0$，$F(1)=ef(1)=0$。罗尔：$F'(\xi)=e^{\xi^2}\big(f'(\xi)+2\xi f(\xi)\big)=0$，$e^{\xi^2}>0$ 约掉，结论成立。$\blacksquare$

Warning

例 A/B 的共同陷阱：$F$ 到底乘 $e$ 的正次方还是负次方？记住口诀——“C 放一边，正号那侧是 $F$”。通解 $y=Ce^{-p}$ 里带负号的是 $y$ 自己，辅助函数是 $C$ 那侧，带正号。

Important

例 C 设 $f(x)$ 在 $[a,b]$ 上连续、$(a,b)$ 内可导，$f(a)=f(b)=0$，且在 $(a,b)$ 内 $f(x)\neq0$。证明：对任意实数 $k$，存在 $\xi\in(a,b)$，使 $\dfrac{f'(\xi)}{f(\xi)}=k$。

构造过程（显式）：移项 $f'(\xi)-k f(\xi)=0$，把 $\xi$ 换 $x$：$y'-ky=0$，积分因子 $e^{-kx}$，通解 $y=Ce^{kx}$。C 放一边：

验证：$F(a)=e^{-ka}f(a)=0$，$F(b)=e^{-kb}f(b)=0$。罗尔：$F'(\xi)=e^{-k\xi}\big(f'(\xi)-k f(\xi)\big)=0$，约掉 $e^{-k\xi}$，$f'(\xi)=k f(\xi)$，两边除以 $f(\xi)$（题目保证了 $f(\xi)\neq0$），得 $\dfrac{f'(\xi)}{f(\xi)}=k$。$\blacksquare$

Note

例 C 注意点：最后一步除以 $f(\xi)$ 需要 $f(\xi)\neq0$——$f(a)=f(b)=0$ 本身不能排除内部有零点，题目附加"$(a,b)$ 内 $f(x)\neq0$“就是这个保障。做题时确认条件在不在，别默认。

六、费曼交锋实录

6.1 介值定理为什么「特别特别重要」

我的原始理解：介值定理重要是因为零点定理是它取 $\mu=0$ 的特例。

用户的纠正：不是这个意思——重要在于介值定理的 $\xi$ 有资格落在闭区间（含端点），而其他定理的 $\xi$ 都只能落在开区间内部。

逻辑修正：为什么其他定理必须开区间？因为导数 $f'(\xi)$ 是内点才有的概念（双侧逼近），费马引理要求极值点是内点。所以罗尔、拉格朗日、柯西的 $\xi$ 必须是 $(a,b)$ 内的点，否则"导数为 $0$“的说法立不住。而介值定理只需要连续、不碰导数，所以大方地把端点也算进去。

理解锚点：介值定理是"唯一能取到端点的存在性定理”。

6.2 罗尔证明的关键一步：f(a)=f(b) 怎么发力

我卡住的地方：$M>m$ 时，为什么敢说至少有一个最值点在内部？

用户的反证法：假设 $M$、$m$ 都落在端点上。端点只有两个，且 $f(a)=f(b)$，所以两个端点函数值相同——$M$ 和 $m$ 若都在端点取到，只能都等于 $f(a)=f(b)$，于是 $M=m$，与 $M>m$ 矛盾。所以至少有一个最值点必须落到开区间内部。

理解锚点：$f(a)=f(b)$ 是"逼最值点进内部"的杠杆——它堵死了"最值点全在端点"的可能。

6.3 为什么可导只要求开区间

我的问题：为什么是"开区间可导"而不是"闭区间可导”？

回答：结论要的 $\xi$ 是内部点，费马引理也只认内点极值，所以内部每点可导就够用。端点可导是多余的——要求闭区间可导反而过强，会误伤"端点尖、内部光滑"的本可适用的函数。

理解锚点：连续要闭区间（服务最值定理），可导要开区间（服务费马引理）——条件各自匹配用途，不多要。

6.4 例 6.1 的严谨性打磨

我指出的问题：用户写"由介值定理知存在 $\xi$ 使 $m\leqslant f(\xi)\leqslant M$，故 $f(\xi)=$ 平均值"——这句中间表述太弱，$[a,b]$ 上任何点都满足 $m\leqslant f(\xi)\leqslant M$，推不出 $f(\xi)$ 等于平均值。

修正：介值定理直接给 $f(\xi)=$ 平均值；且夹平均值要用 $[x_1,x_n]$ 上的最值 $m'$、$M'$，不是 $[a,b]$ 上的 $m$、$M$。

6.5 保号性题：f(c) 不是 f(0)

用户踩过的坑：极限 $\lim_{x\to0^+}\dfrac{f(x)}{x}\lt 0$ 配合保号性找负点时，写成了"$f(0)\lt 0$、$f(1)\cdot f(0)\lt 0$"。

修正：极限 $x\to0^+$ 给的是"$0$ 右侧附近"的信息，不是 $f(0)$ 本身；且 $f$ 连续时由该极限条件可推出 $f(0)=0$，$f(0)$ 压根不是负的。正确写法是取 $c\in(0,\delta)$，$f(c)\lt 0$，$f(1)\cdot f(c)\lt 0$。

理解锚点：保号性找到的负点是 $c$，不是 $0$。 这是"手瓢"高发区。

6.6 判据的精确化

用户最初的说法：“有导数就用罗尔定理。”

修正：这个说法太宽——拉格朗日、柯西也都有导数。精确说法：结论是单中值，且能化成"某个函数在 $\xi$ 的导数 $=0$" 才是罗尔的信号。

用户的最终总结（已写入方法层）：单中值的问题考虑罗尔定理和零点定理，看要证的内容，有 $f(x)$ 的导数就用罗尔定理，否则用零点定理。

七、漏洞表

总结

今天这条线完整闭环：闭区间连续四性质 → 积分中值定理（去积分号）→ 费马引理 → 罗尔定理（条件/证明/几何）→ 方法判据（单中值：函数值 $0$ 用零点、导数值 $0$ 用罗尔）→ 通解构造辅助函数（微分方程积分因子）→ 七道例题实战。

明天预告：拉格朗日中值定理、柯西中值定理、泰勒公式——罗尔定理是它们的种子：如果端点值不相等，罗尔还成立吗？拉格朗日就是把它救活的那个定理。