导函数的介值定理

一、 终极武器：达布定理（Darboux’s Theorem）(导函数的介值定理)

1. 核心定理内容

【达布定理】

若函数 $f(x)$ 在闭区间 $[a,b]$ 上可导，且端点导数值 $f^{\prime }(a)\ne f^{\prime }(b)$，则对于介于 $f^{\prime }(a)$ 与 $f^{\prime }(b)$ 之间的任意常数 $C$，开区间 $(a,b)$ 内至少存在一点 $\xi$，使得：

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

2. 为什么只学它就够了？

• 不需要导数连续：哪怕题目没有给“二阶可导”，只要函数“可导”，它的导函数就天生自带介值性！

• 向下兼容：如果导数连续，达布定理完全成立；如果导数不连续，达布定理依然成立。

二、 考场三大解题模型与 SOP

遇到导数介值问题，考场上只有以下三种出题形态：

模型 1：单点导数逼近 / 存在性问题

• 特征：证明存在 $\xi$，使得 $f^{\prime }(\xi )=\text{某个常数 }C$（如 $f^{\prime }(x_n)=\frac{M}{n}$）。

• SOP 操作流程：

  1. 找区间：确定闭区间 $[a,b]$。

  2. 算端点：计算或放缩出 $f^{\prime }(a)$ 和 $f^{\prime }(b)$，说明常数 $C$ 严格介于 $f^{\prime }(a)$ 与 $f^{\prime }(b)$ 之间（即 $f^{\prime }(a)<C<f^{\prime }(b)$ 或 $f^{\prime }(b)<C<f^{\prime }(a)$）。

  3. 绝杀总结：直接写“由达布定理（导数介值定理），必存在 $\xi \in (a,b)$ 使得 $f^{\prime }(\xi )=C$”。

模型 2：多点导数加权和化简（最高频绝杀项）

• 特征：式子里出现了多个不同点的导数相加（如 $\frac{1}{2}{f}^{\prime \prime }(x_1)+\frac{1}{2}{f}^{\prime \prime }(x_2)$ 或 ${\lambda }_1{f}^{\prime }({\eta }_1)+{\lambda }_2{f}^{\prime }({\eta }_2)$），要求合并成同一个点 $f^{\prime }(\xi )$ 或 $f^{\prime \prime }(\xi )$。

• SOP 操作流程：

  1. 识别平均数：把多点导数和看成一个“加权平均值” $C$（如 $C=\frac{f^{\prime \prime }(x_1)+f^{\prime \prime }(x_2)}{2}$）。

  2. 夹逼范围：声明该平均值 $C$ 必然介于这几点导数的最小值与最大值之间：

     $\min \{f^{\prime \prime }(x_1),f^{\prime \prime }(x_2)\}\le C\le \max \{f^{\prime \prime }(x_1),f^{\prime \prime }(x_2)\}$

  3. 绝杀总结：直接写“由达布定理，必存在 $\xi$ 介于两点之间，使得 $f^{\prime \prime }(\xi )=C$”。

模型 3：高阶导数的达布定理应用

• 特征：求证二阶导数 $f^{\prime \prime }(\xi )=C$。

• SOP 操作流程：

  • 把一阶导数 $f^{\prime }(x)$ 看作原函数，二阶导数 $f^{\prime \prime }(x)$ 就是一阶导数的导数！直接对 $f^{\prime }(x)$ 在闭区间上施加达布定理即可。

三、 经典题型实战演练（含完整满分步骤）

典型例题 1：最值逼近与数列极限问题（张宇 1000 题第 14 题）

【题目】

设 $f(x)$ 在 $[0,1]$ 上连续，且 $f(0)=f(1)=0$，在 $(0,1)$ 内二阶可导且 $f^{\prime \prime }(x)<0$。记 $M={\max }_{0\le x\le 1}\{f(x)\}$。

1. 证明：对任意正整数 $n$，存在唯一的 $x_n\in (0,1)$，使得 $f^{\prime }(x_n)=\frac{M}{n}$；

【达布定理通关示范】

（1）证明：

1. 寻找最高点：

   因 $f(x)$ 在 $[0,1]$ 上连续，必有最大值 $M$。又 $f(0)=f(1)=0$，且 $f^{\prime \prime }(x)<0$（不为常数），故最大值点 $x_0\in (0,1)$，且 $M=f(x_0)>0$。由费马定理，$f^{\prime }(x_0)=0$。

2. 寻找左侧界限：

   在 $[0,x_0]$ 上由拉格朗日中值定理，存在 $\eta \in (0,x_0)$ 使得 $f^{\prime }(\eta )=\frac{f(x_0)-f(0)}{x_0-0}=\frac{M}{x_0}$。因 $x_0<1$，故 $f^{\prime }(\eta )>M$。

3. 套用达布定理：

   对任意正整数 $n$，有 $0<\frac{M}{n}\le M<f^{\prime }(\eta )$。

   在闭区间 $[\eta ,x_0]$ 上，$f(x)$ 可导，且常数 $\frac{M}{n}$ 介于端点导数值 $f^{\prime }(x_0)=0$ 与 $f^{\prime }(\eta )>M$ 之间。

   由达布定理（导数介值定理），必存在 $x_n\in (\eta ,x_0)\subset (0,1)$，使得：

   $f^{\prime }(x_n)=\frac{M}{n}$

4. 唯一性：因 $f^{\prime \prime }(x)<0$，$f^{\prime }(x)$ 在 $(0,1)$ 内严格单调递减，故 $x_n$ 唯一。

典型例题 2：多点导数加权和化简

【题目】

已知 $f(x)$ 在 $[0,2]$ 上二阶可导，通过泰勒展开推导出 $x_1,x_2\in (0,2)$（其中 $x_1<x_2$），且满足：

$\frac{1}{2}{f}^{\prime \prime }(x_1)+\frac{1}{2}{f}^{\prime \prime }(x_2)=C$

证明：存在 $\xi \in (x_1,x_2)\subset (0,2)$，使得 $f^{\prime \prime }(\xi )=C$。

【达布定理通关示范】

【证明】

1. 设 $m=\min \{f^{\prime \prime }(x_1),f^{\prime \prime }(x_2)\}$，$K=\max \{f^{\prime \prime }(x_1),f^{\prime \prime }(x_2)\}$。

2. 明显有：

   $m\le \frac{1}{2}{f}^{\prime \prime }(x_1)+\frac{1}{2}{f}^{\prime \prime }(x_2)\le K$

   即数值 $C=\frac{1}{2}{f}^{\prime \prime }(x_1)+\frac{1}{2}{f}^{\prime \prime }(x_2)$ 介于 $f^{\prime \prime }(x_1)$ 与 $f^{\prime \prime }(x_2)$ 之间。

3. 对一阶导函数 $f^{\prime }(x)$ 在闭区间 $[x_1,x_2]$ 上应用达布定理（导数介值定理）：

   必存在 $\xi \in (x_1,x_2)\subset (0,2)$，使得其导数等于该中间值，即：

   $(f^{\prime }(x){)}^{\prime }|{}_{x=\xi }=f^{\prime \prime }(\xi )=\frac{1}{2}{f}^{\prime \prime }(x_1)+\frac{1}{2}{f}^{\prime \prime }(x_2)■$

💡 考场书写万能模板（直接背诵）

你在考场上写证明题时，只要用到介值，直接套用以下两句话，阅卷老师挑不出任何毛病：

【单点模型模板】

“因为常数 $C$ 介于端点导数值 $f^{\prime }(a)$ 与 $f^{\prime }(b)$ 之间，由达布定理（导数介值定理），必存在 $\xi \in (a,b)$，使得 $f^{\prime }(\xi )=C$。”

【多点和模型模板】

“因为平均值 $\sum {\lambda }_i{f}^{\prime }({\eta }_i)$ 介于 $\min \{f^{\prime }({\eta }_i)\}$ 与 $\max \{f^{\prime }({\eta }_i)\}$ 之间，由达布定理（导数介值定理），必存在 $\xi \in (\min \{{\eta }_i\},\max \{{\eta }_i\})$，使得 $f^{\prime }(\xi )=\sum {\lambda }_i{f}^{\prime }({\eta }_i)$。”