导函数介值定理：打破“导数必连续”的认知误区

设函数 在闭区间 上可导，且 。对于任意介于 和 之间的实数 （即 ），至少存在一点 ，使得：

f'(ξ) = k
            

这个结论表明，尽管导函数可能存在间断点，但它不能出现第一类间断点（跳跃间断点或可去间断点）。如果导函数在某两点取值不同，它必然取遍这两点之间的所有中间值。这一性质被称为导数的介值性，由法国数学家达布 (J.Darboux)于 1875 年首次提出并证明，故又称达布定理。

• 纠正认知偏差： 它是推翻“可导 ⇒ 导函数连续”这一错误直觉的最有力武器。
• 解题工具： 在考研数学和数学竞赛中，用于证明方程根的存在性，特别是涉及导数值的方程。
• 理论基石： 揭示了导数作为极限过程的深层结构，连接了局部性质与整体性质。

📜 证明步骤详解

1. 设定条件： 设 在 上可导，且 （反之同理）。
2. 构造辅助函数： 令 。由于 可导， 也在 上可导。
3. 分析端点斜率：
   计算 。
   则 。
   且 。
4. 利用导数定义挖掘极值：
   由 ，根据导数定义，存在 ，当 时，，即 。说明 不是最小值。
   同理，由 ，存在 ，当 时，（注意分母为负），即 。说明 也不是最小值。
5. 应用最值定理：
   在闭区间 上连续（因为可导必连续），根据闭区间连续函数最值定理， 必在 上取得最小值。
   既然端点 都不是最小值点，那么最小值点 必然位于开区间 内。
6. 应用费马引理：
   因为 是 在 内的极小值点，且 在 处可导，根据费马引理，必有 。
7. 得出结论：
   代入 的定义：。
   证毕。

🔍 案例：震荡间断点的导函数

考虑函数：

f(x) = { x²sin(1/x),  x ≠ 0
       { 0,           x = 0
            

1. 求导过程

当 时，利用乘积法则和链式法则：

f'(x) = 2x sin(1/x) + x² cos(1/x)  (-1/x²)
      = 2x sin(1/x) - cos(1/x)
            

2. 考察 处的导数

使用导数定义：

f'(0) = lim(x→0) [f(x) - f(0)] / (x - 0)
      = lim(x→0) [x²sin(1/x)] / x
      = lim(x→0) x sin(1/x) = 0
            

所以，。

3. 考察极限

观察 时的表达式：

• 第一项 （无穷小量 × 有界量）。
• 第二项 在 时在 之间无限震荡，极限不存在。

因此， 不存在。

4. 结论分析

该函数在 处可导，但其导函数 在 处不连续。然而，请注意，这种不连续属于第二类间断点（震荡间断点），而非第一类间断点。这完全符合导函数介值定理的推论：导函数不可能有第一类间断点。如果导函数有跳跃间断点，就会违反介值性。

虽然罗尔、拉格朗日、柯西都明确给出了 的具体表达形式（如平均变化率），而导函数介值定理只保证了存在性，没有给出具体的 计算公式。但这并不影响它的地位，因为它揭示了导数集合的连通性。在拓扑学视角下，连续函数的像集是连通的，而导函数介值定理告诉我们，即使导函数本身不连续，其值域依然是连通的（即区间）。