核心思想

中值定理大题虽然题型多，但核心往往只有一句话：

把题目给出的条件，转化成“某个函数的导数具有某种性质”，再利用中值定理把导数性质传回函数本身。

因此，最值得建立的能力不是背某一道题，而是掌握一套统一的分析流程。

一、第一步：识别题目给出的信息类型

中值定理题通常给出三类信息。

1. 给函数值信息

若题目给出：

$$ f(a)=f(b) $$

第一反应是 罗尔定理：

$$ \exists \xi\in(a,b),\quad f'(\xi)=0. $$

若 $f(a)\neq f(b)$，则优先考虑 拉格朗日中值定理：

$$ \exists \xi\in(a,b),\quad f'(\xi)=\frac{f(b)-f(a)}{b-a}. $$

基本条件反射：

$$ \boxed{\text{两个端点函数值}\rightarrow \text{拉格朗日或罗尔}} $$

2. 给导数信息

例如：

$$ f'(x)>0 $$

直接翻译为：

$$ f(x)\text{ 在区间上单调递增}. $$

若给出：

$$ f'(x)\ge M>0 $$

则不仅单调递增，还可由拉格朗日中值定理得到：

$$ f(x)-f(a)=f'(\xi)(x-a)\ge M(x-a). $$

于是：

$$ \boxed{f(x)\ge f(a)+M(x-a)} $$

这是常见不等式证明的核心。

3. 给二阶导数信息

例如：

$$ f''(x)<0 $$

第一反应不是直接计算，而是翻译为：

$$ \boxed{f''(x)<0\Rightarrow f'(x)\text{ 递减}\Rightarrow f(x)\text{ 是凹函数}} $$

此时问题转化为：

能否找到一个特殊点，确定 $f'$ 在该点的值？

若能确定，则整个区间上的 $f'$ 都可被控制。

典型例子：

已知：

$$ f''(x)<0,\qquad \lim_{x\to0}\frac{f(x)}x=1. $$

极限条件翻译为：

$$ f(0)=0, $$

并且：

$$ \lim_{x\to0}\frac{f(x)-f(0)}{x-0}=1. $$

若 $f$ 在 $0$ 处可导，则：

$$ \boxed{f'(0)=1}. $$

又因为：

$$ f''(x)<0 $$

说明 $f'$ 递减，所以：

$$ x>0\Rightarrow f'(x)<f'(0)=1. $$

于是：

$$ f(x)-f(0)=\int_0^x f'(t)\,dt<x. $$

最终得到：

$$ \boxed{f(x)<x}. $$

整道题的逻辑链为：

$$ \boxed{ \text{极限条件} \rightarrow f'(0) \rightarrow f''<0 \rightarrow f'<1 \rightarrow f<x } $$

这就是中值定理题真正的“骨架”。

二、第二步：证明不等式时优先构造函数

若题目要求证明：

$$ f(x)\le x $$

不要直接盯着 $f(x)$，而应构造：

$$ F(x)=f(x)-x. $$

目标转化为：

$$ \boxed{F(x)\le0}. $$

然后研究：

$$ F(0),\quad F'(x),\quad F''(x). $$

通用套路：

$$ \boxed{ \text{证明 }f(x)\le g(x) \quad\Longrightarrow\quad F(x)=f(x)-g(x) } $$

例：

已知：

$$ f''(x)<0,\quad f'(0)=1 $$

证明：

$$ f(x)\le x. $$

构造：

$$ F(x)=f(x)-x. $$

则：

$$ F'(x)=f'(x)-1. $$

因 $f'$ 递减：

$$ x>0\Rightarrow f'(x)<f'(0)=1, $$

所以：

$$ F'(x)<0. $$

又因为：

$$ F(0)=0, $$

于是：

$$ F(x)<0. $$

完成证明。

这里甚至不需要积分。

三、第三步：看到“唯一性”，第一反应是单调性

1. 证明“至多一个根”

若题目要求证明：

方程 $f(x)=0$ 在某区间内至多有一个根。

不要直接解方程，而应考虑：

$$ f'(x)>0 \quad \text{或} \quad f'(x)<0. $$

因为：

$$ f'(x)>0 \Rightarrow f(x)\text{ 严格递增} \Rightarrow f(x)=0\text{ 至多一个根}. $$

所以：

$$ \boxed{ \text{唯一根/至多一个根} \rightarrow \text{单调性} \rightarrow f' } $$

2. 证明“至少有一个根”

通常考虑：

$$ \boxed{\text{连续性 + 零点定理}} $$

即：

$$ f(a)f(b)<0 \Rightarrow \exists \xi\in(a,b),\ f(\xi)=0. $$

3. 证明“恰好一个根”

同时使用连续性与单调性：

$$ \boxed{ \text{恰好一个根} \rightarrow \text{连续性 + 单调性} } $$

四、第四步：看到“存在某个 $\xi$”就考虑中值定理

例如题目要求：

$$ \exists \xi\in(a,b) $$

使得：

$$ f'(\xi)=\frac{f(b)-f(a)}{b-a}. $$

这几乎是在提示使用 拉格朗日中值定理。

但有时题目最终要求的是：

$$ f'(\xi)>M $$

或者：

$$ f(\xi)>M e^{\xi-3}. $$

此时不能机械套公式，而应思考：

能否构造一个函数，使题目要求的东西恰好成为它的导数？

这就是中值定理大题中最重要的“构造函数思想”。

五、（1）第五步：复杂不等式 → 把目标变成导数

例如要求证明：

$$ f(x)>x. $$

构造：

$$ F(x)=f(x)-x. $$

目标：

$$ F(x)>0. $$

若能证明：

$$ F'(x)>0 $$

且：

$$ F(0)=0, $$

则立即得到：

$$ F(x)>0. $$

即：

$$ f(x)>x. $$

若目标为：

$$ f(x)\le e^x $$

可先考虑：

$$ F(x)=f(x)-e^x. $$

但有时直接研究 $F'$ 较困难，此时可考虑：

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

或：

$$ F(x)=\frac{f(x)}{e^x}. $$

典型场景：

若已知：

$$ f'(x)<2f(x) $$

单独看 $f'(x)-2f(x)<0$ 不够直接，但注意到：

$$ \left(e^{-2x}f(x)\right)' =e^{-2x}\left[f'(x)-2f(x)\right]<0. $$

于是：

$$ e^{-2x}f(x) $$

单调递减。

所以看到：

$$ f'(x)<af(x) $$

应条件反射：

$$ \boxed{ \left(e^{-ax}f(x)\right)' =e^{-ax}\left(f'(x)-af(x)\right) } $$

这是构造函数的高级版本。

你的补充非常关键，它把“构造函数”的思路进一步细化到了含两个变量 (a,b) 的不等式证明中，而且强调了符号判断的重要性。我会把这段内容作为原有框架笔记的一个新增章节，建议插入在“五、第五步：复杂不等式 → 把目标变成导数”之后，或者作为“八、条件翻译表”之前的一个独立部分。

下面是我根据你的补充整理出的正式笔记内容，可以直接合并进原来的笔记中。

五、（2） 含双变量 (a,b) 的不等式：分离端点与单调性

1. 基本原则

如果题目中同时出现两个变量 (a,b)，且它们分别对应不同的量（通常是区间端点或不同点），优先尝试把不等式整理成：

$$ \boxed{A(a)\le B(b)} \quad\text{或}\quad \boxed{A(a)<B(b)}. $$

这时真正要做的不是简单地把 (A,B) 分开，而是思考：

分离以后，能不能分别利用 (a,b) 所在区间判断两边？

例：

$$ \frac{f(a)}{a}<\frac{f(b)}{b},\qquad 0<a<b. $$

这里已经天然是 (A(a)<B(b))。若令

$$ A(x)=\frac{f(x)}x, $$

则只要证明 (A(x)) 单调递增，就有

$$ a<b\Rightarrow A(a)<A(b), $$

自然得证。

2. 乘积交叉型的处理

若原式是：

$$ A(a)B(b)>A(b)B(a), $$

不能直接说“把 (A,B) 分开”，而应先整理成：

$$ \frac{A(a)}{B(a)} > \frac{A(b)}{B(b)}. $$

前提是 (B(a),B(b)) 的符号确定且不为零。

更一般地：

$$ \boxed{ \text{乘除一个含变量的量时，必须先确认它的符号} } $$

因为：

$$ B>0\Rightarrow \frac{A}{B}\text{ 不改变不等号方向}, $$

而

$$ B<0\Rightarrow \frac{A}{B}\text{ 改变不等号方向}. $$

3. 构造函数的三层结构

这个技巧可以和前面的“构造函数”方法统一起来理解：

第一层：加减型

$$ f(a)-g(a)\le f(b)-g(b) $$

直接构造：

$$ F(x)=f(x)-g(x). $$

原不等式变为：

$$ F(a)\le F(b). $$

第二层：乘除型

$$ \frac{f(a)}{g(a)} \le \frac{f(b)}{g(b)}. $$

构造：

$$ F(x)=\frac{f(x)}{g(x)}. $$

然后研究 (F'(x))。

第三层：乘积交叉型

$$ f(a)g(b)\le f(b)g(a). $$

如果 (g(a),g(b)>0)，可以整理成：

$$ \frac{f(a)}{g(a)} \le \frac{f(b)}{g(b)}. $$

于是又回到了第二层。

4. 实用判断表

$$ \boxed{ \begin{aligned} f(a)-f(b)&\quad\rightarrow\quad \text{直接构造 }f\\ f(a)-g(a)&\quad\rightarrow\quad \text{构造 }f-g\\ f(a)g(b)&\quad\rightarrow\quad \text{尝试交叉相除}\\ \frac{f(a)}{g(a)}&\quad\rightarrow\quad \text{构造商函数} \end{aligned}} $$

5. 核心经验

“一边只含 (a)，一边只含 (b)”是一个非常强的信号：

$$ \boxed{A(a)\ \square\ B(b)} $$

此时应想到：

能不能把它理解成某个单变量函数 (F(x)) 在 (a,b) 两点的大小关系？

一旦成功变成：

$$ F(a)\square F(b), $$

那么 (a<b) 接下来通常直接通过 单调性 解决。

因此可以记成：

$$ \boxed{ \text{含 }a,b\text{ 的复杂不等式} \rightarrow \text{尽量整理成 }F(a)\square F(b) \rightarrow \text{研究 }F'(x) } $$

六、思维地图：审题顺序

遇到大题时，建议先不急于计算，而是按以下顺序问自己：

① 题目到底要我证明什么？

先明确目标是函数值、导数、根还是增长速度。

② 要证明不等式？

优先想：

$$ \boxed{F=f-g} $$

或比例型：

$$ \boxed{F=\frac fg} $$

然后研究 $F'$。

③ 要证明唯一性？

想：

$$ \boxed{f'\text{ 是否恒正或恒负？}} $$

即单调性。

④ 要证明存在性？

想：

$$ \boxed{\text{连续性 + 零点定理}} $$

或：

$$ \boxed{\text{罗尔定理 / 拉格朗日中值定理}} $$

⑤ 给了 $f(a)=f(b)$？

想：

$$ \boxed{\text{罗尔定理}} $$

⑥ 给了两个端点函数值？

想：

$$ \boxed{\text{拉格朗日中值定理}} $$

⑦ 给了 $f''>0$ 或 $f''<0$？

立刻翻译：

$$ f''>0 \Rightarrow f'\uparrow \Rightarrow f\text{ 凸} $$

$$ f''<0 \Rightarrow f'\downarrow \Rightarrow f\text{ 凹} $$

然后寻找一个特殊点，通常是：

$$ f'(a),\quad f(a),\quad f'(0). $$

⑧ 给了极限？

尤其是：

$$ \lim_{x\to a}\frac{f(x)-f(a)}{x-a}=L $$

直接翻译成：

$$ \boxed{f'(a)=L}. $$

这是非常重要的“条件翻译”。

例：

$$ \lim_{x\to0}\frac{f(x)}x=1 $$

实际上是在寻找：

$$ \boxed{f(0)=0,\quad f'(0)=1}. $$

⑨ 给了积分？

想：

$$ \boxed{f(x)-f(a)=\int_a^x f'(t)\,dt} $$

这是把导数的信息转换成函数的信息。

因此总结为：

已知导数 → 控制导数 → 积分 → 控制函数。

七、总流程

中值定理大题可统一为以下流程：

$$ \boxed{ \text{目标} \rightarrow \text{构造函数} \rightarrow \text{求导} \rightarrow \text{利用条件控制导数} \rightarrow \text{中值定理 / 单调性 / 积分} \rightarrow \text{回到目标} } $$

其中最核心的一步是：

$$ \boxed{\text{把题目的语言翻译成数学性质}} $$

八、条件翻译表

总结

中值定理大题并不是“看到中值定理就套公式”。真正的能力是：

先识别题目要控制的是函数值、导数、根，还是增长速度；
再选择一个函数，让目标变成能够控制的导数性质。

因此，凹函数不等式、唯一根、$f'(x)>M$、$f'(x)<2f(x)$、极值存在唯一性等题型虽然表面上不同，实际上都可以塞进同一个框架中处理。