在数学分析中，导数介值定理（Intermediate Value Theorem for Derivatives），通常被称为达布定理（Darboux's Theorem），是微积分理论中一个极其重要但常被初学者忽视的结论。它揭示了导函数虽然不一定连续，但必然具有介值性质。
核心定义： 若函数 f(x) 在闭区间 [a, b] 上可导，则对于 f'(a) 与 f'(b) 之间的任意实数 k，必存在至少一点 ξ ∈ (a, b)，使得 f'(ξ) = k。
许多学生容易混淆导数介值定理与连续函数的介值定理。连续函数的介值定理要求函数本身连续，而达布定理的关键在于：即使导函数 f'(x) 在区间内存在间断点，它也只能是第二类间断点（振荡间断点），而不可能存在第一类间断点（如跳跃间断点）。这意味着导数的值域是一个区间。
在解决涉及导数介值定理端点的问题时，端点处的导数值 f'(a) 和 f'(b) 是应用定理的基石。如果端点处的导数不存在（例如角点），则不能直接应用该定理。因此，验证端点的可导性是解题的第一步。
达布定理的证明并不依赖于导函数的连续性，这使得它比拉格朗日中值定理更具普适性。我们可以通过构造辅助函数并利用极值原理来证明。
为了证明 导数介值定理端点 性质，我们构造辅助函数：
F(x) = f(x) - ηx
由于 f(x) 在 [a, b] 上可导，故 F(x) 也在 [a, b] 上可导。根据费马引理，F(x) 在 [a, b] 上必能取到最大值或最小值。如果极值点在内部 (a, b) 取得，则该点处 F'(ξ) = 0，即 f'(ξ) - η = 0，从而 f'(ξ) = η。
达布定理的一个重要推论是：导函数没有第一类间断点。如果 f'(x) 在 x₀ 处存在极限，那么该极限必等于 f'(x₀)。这一性质在分析复杂函数的导数行为时非常有用。
在处理导数介值定理端点问题时，我们经常需要考察端点处的单边导数。设 f(x) 在 [a, b] 上连续，在 (a, b) 内可导。
定义：f'_+(a) = lim_{x→a+} (f(x)-f(a))/(x-a)。若 f'_+(a) > 0，则在 a 的右侧邻域内，f(x) > f(a)。
定义：f'_-(b) = lim_{x→b-} (f(x)-f(b))/(x-b)。若 f'_-(b) < 0，则在 b 的左侧邻域内，f(x) > f(b)。
若 f(x) 在 [a, b] 上连续，在 (a, b) 内可导，且 f'_+(a) > 0, f'_-(b) < 0，则 f(x) 在 (a, b) 内必存在最大值点，且该点处导数为 0。
当题目给出端点处的导数符号相反时，往往暗示了内部存在驻点。例如，若 f'(a) > 0 且 f'(b) < 0，根据导数介值定理，在 (a, b) 内必存在 ξ 使得 f'(ξ) = 0。这不仅是极值存在的充分条件，也是证明方程根的存在性的有力工具。
以下是网友们经常关注的几类涉及导数介值定理端点的典型问题，我们逐一进行深度解析。
题目： 设 f(x) 在 [0, 1] 上可导，且 f(0)=0, f(1)=1。证明存在 ξ ∈ (0, 1) 使得 f'(ξ) = 1。
解析：
注： 此题虽然主要用罗尔定理，但体现了导数值取特定常数的思想，与达布定理精神一致。
题目： 设 f(x) 在 [0, 1] 上可导，且 f(0)=0, f(1)=e。证明存在 ξ ∈ (0, 1) 使得 f'(ξ) = f(ξ)。
解析：
修正思路： 如果题目是 f(0)=0, f(1)=0，则 F(0)=0, F(1)=0，由罗尔定理 F'(ξ)=0 ⇒ f'(ξ)=f(ξ)。若端点值不同，需结合导数介值定理或其他中值定理。
假设题目改为：f(0)=0, f(1)=1。令 F(x) = f(x)e^{-x}。F(0)=0, F(1)=e^{-1}。由拉格朗日中值定理，存在 ξ 使得 F'(ξ) = (F(1)-F(0))/(1-0) = e^{-1}。即 e^{-ξ}[f'(ξ)-f(ξ)] = e^{-1}。此路不通。
标准解法： 通常此类题目需利用达布定理。若 f'(x) 连续，可用零点定理。若 f'(x) 不连续，用达布定理。构造 F(x) = f(x)e^{-x}，若 F(a)=F(b)，则 F'(ξ)=0 ⇒ f'(ξ)=f(ξ)。
题目： 设 f(x) 在 [0, 2] 上可导，f(0)=0, f(2)=0，且 f'_+(0) > 0, f'_-(2) < 0。证明存在 ξ ∈ (0, 2) 使得 f'(ξ) = 0。
解析：
此题展示了端点导数符号如何影响内部极值点的存在性。
| 误区 | 正确理解 |
|---|---|
| 导数连续才能用介值定理 | 达布定理不要求导数连续，只要求函数可导。 |
| 端点不可导也能用 | 若端点不可导，需使用单侧导数或分段讨论，不能直接套用标准达布定理形式。 |
| 导数介值定理就是拉格朗日中值定理 | 拉格朗日给出导数的具体值，达布定理给出导数值的范围覆盖性质。 |
牛顿与莱布尼茨创立微积分，初步接触导数概念，但未严格定义连续性。
柯西在《分析教程》中严格定义了极限和连续，为微积分基础奠定基石。
法国数学家达布（Jean Gaston Darboux）提出达布定理，揭示了导数的介值性质。
在考研数学及大学生数学竞赛中，导数介值定理端点问题成为考察逻辑思维与构造辅助函数能力的高频考点。
零点定理是介值定理的特例（介值为0）。达布定理可以看作是零点定理在导函数上的推广。如果我们要证明 f'(ξ) = k，可以构造 F(x) = f(x) - kx，然后证明 F'(x) 有零点。这本质上就是利用导数的介值性质转化为零点问题。
标准的达布定理要求函数在闭区间 [a, b] 上可导。如果端点不可导，我们需要考察单侧极限。例如，若 f(x) 在 [a, b) 上可导，且在 a 处右连续，我们可以讨论 f'_+(a) 与 f'(b) 之间的关系。但严格来说，定理的前提条件需满足。
不能。达布定理是一个存在性定理，它告诉我们某个导数值一定存在，但不能帮助我们计算出具体的 ξ 或 f'(ξ) 的表达式。它主要用于证明题。
这是达布定理的直接推论。如果 f'(x) 在 x₀ 处有跳跃间断点，即左极限和右极限存在但不相等，那么在这两个极限值之间的导数值将取不到，这违反了介值性质。因此，导数的间断点只能是第二类间断点（如振荡）。
为了更深入地理解导数介值定理端点相关知识，建议参考以下资料：