证明的三大核心战法,罗尔，费马，导数介质

📖 核心笔记：证明 $f^{\prime }(\xi )=0$ 的三大核心战法

当我们看到题目要求证明“存在 $\xi \in (a,b)$，使得 $f^{\prime }(\xi )=0$”时，大脑中应该立刻调出以下三条路线图。

常规构造函数例子：

🗡️ 战法一：罗尔定理 (Rolle’s Theorem) —— “找相等”

这是考场上最常用、优先级最高的战法。通常需要结合构造辅助函数来使用。

• 【题眼（什么时候想到它）】

  • 题目给出了两个点的函数值相等（如 $f(1)=f(2)$）。

  • 题目给出了积分中值定理的条件（积分等于0，往往意味着原函数在两端点值相等）。

  • 需要证明的式子比较复杂，可以通过逆向求导“凑”出一个辅助函数 $F(x)$。

• 【通关要求（需要凑齐的条件）】

  想要合法使用罗尔定理，你必须在答卷上严谨地写出这三句话：

  1. 连续性：函数 $F(x)$ 在闭区间 $[a,b]$ 上连续。

  2. 可导性：函数 $F(x)$ 在开区间 $(a,b)$ 内可导。

  3. 端点值相等（核心灵魂）：$F(a)=F(b)$。

• 【实战动作】：凑出辅助函数 $F(x)$，算出 $F(a)$ 和 $F(b)$ 发现它们相等，直接宣布结论 $\exists \xi \in (a,b)$ 使得 $F^{\prime }(\xi )=0$。

🗡️ 战法二：费马定理 (Fermat’s Theorem) —— “找最值”

当罗尔定理的端点值不相等，或者题目明确给出了大小关系时，转用费马定理。

• 【题眼（什么时候想到它）】

  • 题目已知条件中出现了不等式，如 $f(x)\ge f(x_0)$，或者明确提到了“最大值/最小值”。

  • 需要证明某个导数为 0，但无论如何也找不到哪两个点的函数值相等。

• 【通关要求（需要凑齐的条件）】

  想要合法使用费马定理，必须满足以下两点（图片中特别批注了最关键的一点）：

  1. 内部最值点（核心灵魂）：必须证明点 $\xi$ 是极值点或最值点，且 $\xi$ 绝对不能是区间的端点（即 $\xi$ 必须在开区间内部）。

  2. 该点可导：函数在 $\xi$ 处必须存在导数。

• 【实战动作】：通过闭区间连续函数必有最大最小值的性质（最值定理），找出一个最值点 $\xi$。然后利用题目的边界条件，证明这个最值不可能在端点 $a$ 或 $b$ 处取得，从而把它“逼”进开区间 $(a,b)$ 内。结论顺理成章：$f^{\prime }(\xi )=0$。

🗡️ 战法三：导数介值定理 (Darboux’s Theorem) —— “找异号”

这是相对冷门但极具杀伤力的武器，专门对付导数符号变化的题目。

• 【题眼（什么时候想到它）】

  • 题目没有给出原函数 $f(x)$ 的值域信息，而是直接给出了导函数 $f^{\prime }(x)$ 在区间两端的正负号（例如已知 $f^{\prime }(a)>0$ 且 $f^{\prime }(b)<0$）。

  • 题目要求证明的不仅是 $f^{\prime }(\xi )=0$，甚至可能是 $f^{\prime }(\xi )=k$（某个介于两端点导数值之间的常数）。

• 【通关要求（需要凑齐的条件）】

  1. 区间内处处可导：函数 $f(x)$ 必须在整个闭区间 $[a,b]$ 上处处可导（这意味着导函数 $f^{\prime }(x)$ 虽然不一定连续，但必定能取到中间值）。

  2. 端点导数异号（核心灵魂）：$f^{\prime }(a)\cdot f^{\prime }(b)<0$。

• 【实战动作】：算出左端点导数大于 0，右端点导数小于 0，直接引用导数介值定理：“由于导函数具有介值性，必存在 $\xi \in (a,b)$，使得 $f^{\prime }(\xi )=0$。”

💡 终极复习策略总结

在后续的综合刷题阶段，遇到 $f^{\prime }(\xi )=0$ 的证明题，请在脑海中执行以下判定程序：

1. 能构造辅助函数且端点相等吗？ $\to$ 用罗尔。

2. 端点不等，但能证明中间有个峰顶/谷底吗？ $\to$ 用费马。

3. 原函数信息太少，但知道一头在往上走，一头在往下走吗？ $\to$ 用导数介值。

📖 考研数学核心笔记：广义罗尔定理（无穷区间上的导数零点问题）

在考研数学中，证明开区间 $(a,b)$ 内存在 $\xi$ 使得 $f^{\prime }(\xi )=0$，我们习惯使用罗尔定理或费马定理。但当区间延伸至无穷（如 $[0,+\infty )$），右端点不存在实数值时，原有的闭区间性质直接失效。

如何打破这个僵局？核心战术就是：利用极限定义“截断无穷”，将无穷区间转化为有限闭区间。

一、 核心战术：如何用极限定义“截断” $[M,+\infty )$？

1. 为什么必须找有限闭区间？（底层逻辑）

在微积分中，最值定理（连续函数必有最大最小值）和罗尔定理都强制要求函数定义在有限闭区间 $[a,b]$ 上。

面对无穷区间 $[0,+\infty )$：

• 你无法把 $+\infty$ 当作一个具体的端点代入。

• 函数可能在无穷远处不断趋近于 0，却永远取不到 0。

• 找有限闭区间 $[0,M]$ 的本质：就是强行在无穷的长尾巴上“筑起一道围墙 $M$”，把围墙外面 $[M,+\infty )$ 的无限复杂区域直接“封印”掉，从而把问题降维成我们最熟悉的有限闭区间问题。

2. “截断”三步法（以 $f(0)={\lim }_{x\to +\infty }f(x)=0$ 为例）

Step 1：寻找内部“标杆点”

若 $f(x)\not\equiv 0$，则区间内必然存在某一点 $x_0\in (0,+\infty )$，使得 $f(x_0)\ne 0$。

不妨设 $f(x_0)>0$（比如海拔 100 米）。这个 $f(x_0)$ 就是我们的高位标杆。

Step 2：利用极限定义筑墙（确定 $M$）

已知 ${\lim }_{x\to +\infty }f(x)=0$。

根据极限的 $\epsilon -M$ 定义，对于任意给定的 $\epsilon >0$，都存在 $M>0$，当 $x\ge M$ 时，有 $|f(x)|<\epsilon$。

为了让围墙外面的高度严格矮于我们的“标杆点”，我们特意挑选 $\epsilon =\frac{f(x_0)}{2}>0$（比如 50 米）。

此时必存在 $M>x_0$，使得：

$\text{当 }x\ge M\text{ 时}，f(x)<\frac{f(x_0)}{2}$

【战术效果】：这保证了在 $M$ 之后的全部区域 $[M,+\infty )$ 里，函数值被死死压在半山腰以下（$<50$ 米），绝对不可能产生全局最高峰！

Step 3：锁死最值点在内部

现在看有限闭区间 $[0,M]$：

• $f(x)$ 在 $[0,M]$ 上连续，由最值定理，必有最大值点 $\xi \in [0,M]$。

• 因为 $x_0\in [0,M]$，所以最大值 $f(\xi )\ge f(x_0)>\frac{f(x_0)}{2}>0$。

• 排查端点：

  1. 左端点 $f(0)=0<f(\xi )⟹\xi \ne 0$。

  2. 右端点及外部：当 $x\ge M$ 时，$f(x)<\frac{f(x_0)}{2}<f(\xi )⟹\xi \ne M$ 且 $\xi \notin (M,+\infty )$。

因此，最大值点 $\xi$ 被完美逼进了开区间 $(0,M)\subset (0,+\infty )$ 内部！

二、 两种解法大比拼：费马定理法 vs 罗尔定理法

对于这道题，把 $M$ 找出来之后，后续证明有两种完全不同的分支流派：

⚔️ 解法一：费马定理法（最值逼近）

在闭区间 $[0,M]$ 上利用最值定理锁定最大值点 $\xi \in (0,M)$。

书写步骤：

如前文，锁定 $\xi \in (0,M)$ 为闭区间 $[0,M]$ 上的最大值点。

因为 $\xi$ 在开区间内部，故 $\xi$ 亦为 $f(x)$ 的局部极值点。

又因为 $f(x)$ 在 $\xi$ 处可导，由 费马定理，必有：

$f^{\prime }(\xi )=0$

⚔️ 解法二：罗尔定理法（构造端点值相等）

不在 $[0,M]$ 上找最值，而是利用连续函数的介值定理，在 $[0,M]$ 内部再强行找一个点 $x_1$，使得 $f(x_1)=f(0)=0$，然后直接对 $[0,x_1]$ 用罗尔定理。

书写步骤：

1. 取 $\epsilon =\frac{f(x_0)}{2}$ 找到 $M>x_0$，使得 $f(M)<\frac{f(x_0)}{2}$。

2. 观察区间 $[x_0,M]$：

   • $f(x_0)>\frac{f(x_0)}{2}$

   • $f(M)<\frac{f(x_0)}{2}$

     由连续函数的介值定理，在 $(x_0,M)$ 内必存在一点 $x_1$，使得 $f(x_1)=f(0)=0$。

3. 现在看闭区间 $[0,x_1]$：

   • $f(x)$ 在 $[0,x_1]$ 上连续，在 $(0,x_1)$ 内可导。

   • 端点值相等：$f(0)=f(x_1)=0$。

     由 罗尔定理，必存在 $\xi \in (0,x_1)\subset (0,+\infty )$，使得：

     $f^{\prime }(\xi )=0$

📊 两种方法的优劣势对比表

维度	费马定理法（最值法）	罗尔定理法（介值法）
核心逻辑	找最高峰（最值），证明最高峰不在端点。	找另一个高度相同的点 $x_1$，凑出 $f(a)=f(b)$。
思维直观度	极高（符合物理/生活直觉：爬山再下山，最高点切线必水平）。	稍显弯绕（需要多引入一个中间点 $x_1$）。
书写严谨度	非常严谨，但需要用 $\epsilon -M$ 严格排除右端点 $M$。	极其严谨，符合考研标准教材对罗尔定理的偏好。
优势	逻辑极其自然，适用于大部分复杂的不等式约束题。	证明逻辑极度流畅，一旦找到 $x_1$，直接触发标准罗尔模板。
劣势	必须讨论 $f(x)\equiv 0$ 和 $f(x)\not\equiv 0$ 的情况。	需要多使用一次介值定理，步骤稍多一步。

三、 针对哪一类题目？（题眼识别）

遇到以下特征的题目，立刻在脑海中调出“极限截断 + 广义罗尔”这套笔记：

1. 区间带有无穷：

   • 在 $[0,+\infty )$、$(-\infty ,0]$ 或 $(-\infty ,+\infty )$ 上讨论导数零点或导数不等式。

2. 给出无穷远处的极限：

   • 已知 $f(a)=C$，且 ${\lim }_{x\to +\infty }f(x)=C$（两端“名义上”相等）。

   • 或已知 ${\lim }_{x\to -\infty }f(x)={\lim }_{x\to +\infty }f(x)=C$。

3. 两层套娃的大题：

   • 第一问：证明广义罗尔定理（即本题：$f(0)={\lim }_{x\to \infty }f(x)=0⟹f^{\prime }(\xi )=0$）。

   • 第二问：给你一个带复杂函数的导数等式，要求你构造辅助函数 $g(x)$，并利用夹逼准则证明 $g(0)={\lim }_{x\to \infty }g(x)=0$，然后直接调用第一问结论完成绝杀。