# 中值定理（MVT）

> AP 微积分 BC · 微分的分析应用
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-mean-value-theorem/

本模块讲解AP微积分BC中值定理（MVT）的正式表述、作为特例的罗尔定理、假设验证、定位MVT保证存在的点，以及应用MVT分析函数单调性、估算函数值范围。

**先修:** 函数的连续性与可微性; 代数函数和超越函数的导数计算; 二次方程与代数方程求解

## 学习目标

- 陈述中值定理和罗尔定理的假设与结论
- 验证MVT/罗尔定理何时可应用
- 在给定区间内找出所有MVT保证存在的c值
- 使用MVT证明单调性并估算函数值范围
- 避开MVT相关的常见考试误区

## MVT的核心定义与假设

中值定理（MVT）是微分学的核心理论结论，在AP微积分BC考试的选择题（MCQ）和自由问答题（FRQ）中都会考查。它在第5单元「微分的分析应用」中占总分值的3-6%。从直观上看，MVT形式化表述了函数在区间上的平均变化率与区间内某点瞬时变化率之间的关系。

例如，如果你在2小时的公路行程中平均时速为60英里，MVT可以保证行程中至少有一个时刻你的车速恰好是60英里每小时。

**中值定理（MVT）** — 若满足两个不可缺少的假设：1) $f(x)$在闭区间$[a,b]$上连续，且2) $f(x)$在开区间$(a,b)$上可微，则MVT保证存在至少一个$c \in (a,b)$，使得$f'(c)$等于$f(x)$在$[a,b]$上的平均变化率。

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

> **note**
>
> 和许多导数计算法则不同，MVT在AP考试中经常用于概念证明，因此想要拿到满分必须明确理解它的条件和结论。

> **考试提示:** 在FRQ中证明MVT的使用时，必须明确写出MVT的所有假设，即使函数明显满足条件。

## 罗尔定理：MVT的特例

罗尔定理是中值定理的一个简化、且常考的特例，它在标准MVT的假设基础上增加了一个额外条件。

**罗尔定理** — 若满足三个条件：1) $f(x)$在$[a,b]$上连续，2) $f(x)$在$(a,b)$上可微，且3) $f(a) = f(b)$，则存在至少一个$c \in (a,b)$使得$f'(c) = 0$。这个结论可直接由MVT推出，因为当$f(a)=f(b)$时，平均变化率为0。

罗尔定理常用来证明函数在给定区间内存在临界点，或导数在两个端点函数值相等的区间之间至少有一个根。它也常作为独立考题出现，要求验证假设并求解定理保证存在的c值。

**例题:** 设$f(x) = x^3 - 4x^2 - 3x + 18$。罗尔定理是否适用于$f(x)$在区间$[-2, 3]$？若适用，求出定理保证存在的所有c值。

1. 验证前两个假设：$f(x)$是多项式，因此在包括闭区间$[-2, 3]$在内的所有位置都连续，且在包括开区间$(-2, 3)$在内的所有位置都可微，两个条件都满足。
2. 计算端点值验证第三个条件：
3. $$f(-2) = (-8) - 4(4) - 3(-2) + 18 = 0$$
4. $$f(3) = 27 - 4(9) - 3(3) + 18 = 0$$
5. 所以$f(-2) = f(3) = 0$，第三个条件满足，罗尔定理适用。
6. 计算导数并令$f'(c) = 0$：
7. $$f'(x) = 3x^2 - 8x - 3 \implies 3c^2 - 8c - 3 = 0$$
8. 因式分解并求解c：
9. $$(3c + 1)(c - 3) = 0$$
10. 得到根$c = -\frac{1}{3}$和$c = 3$，只有严格位于$(-2, 3)$内的值才有效，因此我们舍去端点$c=3$。
11. 最终结果：唯一保证存在的c值是$c = -\frac{1}{3}$。

> **考试提示:** AP FRQ要求你明确写出MVT/罗尔定理的所有假设才能拿到证明分，即使函数满足条件是显而易见的，写出这些条件也能证明你知道定理何时适用。

## 寻找MVT保证存在的$c$-值

AP考试中最常见的MVT计算题要求你验证假设满足，并求出定理保证存在的c值。解题过程直接来自MVT的结论：首先计算区间上的平均变化率，令其等于点c处的导数，求解c，再舍去所有不严格位于开区间$(a,b)$内的解。可能存在多个有效的c值，AP题目会要求你列出所有有效解。

> **warning**
>
> 一个常见错误是忘记MVT的结论保证的点严格位于区间内，因此端点永远不算有效解，即使它满足导数方程。

**例题:** 对于区间$[0, 3]$上的$f(x) = \ln(x^2 + 1)$，验证MVT适用，并求出定理保证存在的所有$c \in (0, 3)$。

1. 验证假设：对所有实数x，$x^2 + 1$恒为正，因此$f(x)$在$[0, 3]$上连续。导数$f'(x) = \frac{2x}{x^2 + 1}$对所有$x \in (0,3)$都存在，因此$f(x)$在$(0,3)$上可微，MVT适用。
2. 计算平均变化率：
3. $$\frac{f(3) - f(0)}{3 - 0} = \frac{\ln(10) - 0}{3} = \frac{\ln 10}{3} \approx 0.7675$$
4. 令其等于$f'(c)$，整理为标准二次型：
5. $$\frac{2c}{c^2 + 1} = \frac{\ln 10}{3} \implies (\ln 10)c^2 - 6c + \ln 10 = 0$$
6. 用二次公式求解二次方程：
7. $$c = \frac{6 \pm \sqrt{36 - 4(\ln 10)^2}}{2 \ln 10}$$
8. 得到近似值$c_1 \approx 0.336$和$c_2 \approx 2.271$，两个值都严格位于0和3之间，因此都是有效的MVT c值。

> **考试提示:** 写出最终答案前，一定要确认你的c解严格位于开区间$(a,b)$内。即使你的代数计算正确，答案中保留端点会被扣掉一分。

## MVT的应用：单调性与函数值范围估计

MVT是连接一阶导数符号与原函数性质这一法则的基础证明。对于在$[a,b]$连续、$(a,b)$可微的函数：(1) 若对所有$x \in (a,b)$都有$f'(x) > 0$，则$f$在$[a,b]$上严格递增；(2) 若对所有$x \in (a,b)$都有$f'(x) < 0$，则$f$在$[a,b]$上严格递减；(3) 若对所有$x \in (a,b)$都有$f'(x) = 0$，则$f$在$[a,b]$上是常数。

当你仅知道导数在区间上的范围时，MVT也可用来求未知函数值的上下界。这是一道常见的概念性FRQ考题，考查超越计算层面的MVT理解。

**例题:** 设$f(x)$在$[1, 5]$连续、$(1,5)$可微，且$f(1) = 3$，对所有$x \in (1,5)$都有$2 \leq f'(x) \leq 4$。$f(5)$的最大可能值是多少？使用MVT证明你的结论。

1. 确认MVT适用：题目明确给出$f$在$[1,5]$连续、$(1,5)$可微，因此MVT假设满足。
2. 对某个$c \in (1,5)$应用MVT结论：
3. $$f(5) - f(1) = f'(c)(5 - 1) = 4f'(c)$$
4. 整理求解$f(5)$：
5. $$f(5) = 3 + 4f'(c)$$
6. 要最大化$f(5)$，取$f'(c)$的最大可能值，即4：
7. $$f(5) = 3 + 4(4) = 19$$
8. 证明：因为$f'(c)$不可能超过4，所以19是$f(5)$的最大可能值。

**概念自测**

用这道AP风格的选择题测试你的理解：

1. 设$f(x) = x^{2/3}$在区间$[-1, 1]$上，下列哪个陈述是正确的？

   - MVT适用，且存在$c \in (-1,1)$使得$f'(c) = 0$。
   - MVT不适用，因为$f$在$[-1,1]$上不连续。
   - MVT不适用，因为$f$在$(-1,1)$上不可微，且不存在$c \in (-1,1)$满足$f'(c) = 0$。
   - MVT不适用，因为$f$在$(-1,1)$上不可微，但存在$c \in (-1,1)$满足$f'(c) = 0$。

   *答案:* MVT不适用，因为$f$在$(-1,1)$上不可微，且不存在$c \in (-1,1)$满足$f'(c) = 0$。

   *解析:* 正确：$f(x)$对所有实数x都连续，但$f'(x) = \frac{2}{3x^{1/3}}$在$x=0 \in (-1,1)$处无定义，因此MVT不适用。导数永远不为0，因此不存在这样的c。

> **考试提示:** 当用MVT估计函数值范围或证明单调性时，必须明确引用MVT结论。只说「因为导数为正所以f递增」在AP考试中无法拿到完整的证明分。

## 常见错误

- **错误做法:** 声称$c = a$或$c = b$是MVT保证的有效值，在最终答案中保留端点。
  - 原因: 学生混淆了假设和结论中的开区间与闭区间，MVT仅保证存在一个严格位于区间内的点。
  - 正确做法: 求解c后，一定要检查是否满足$a < c < b$，舍去所有等于端点的值。
- **错误做法:** 未先验证假设就将MVT应用于区间$[a,b]$内存在不连续点或不可微点的函数。
  - 原因: 大多数练习题都是多项式，永远满足MVT条件，因此学生默认定理总是适用。
  - 正确做法: 无论函数多么简单，应用MVT前都要写一句话验证$f$在$[a,b]$连续、在$(a,b)$可微。
- **错误做法:** 混淆罗尔定理的结论，声称它保证$f(c) = 0$而非$f'(c) = 0$。
  - 原因: 额外条件$f(a) = f(b) = 0$让学生混淆了哪个函数取值为零。
  - 正确做法: 记住：罗尔定理给出导数为零，不是原函数为零，因为平均变化率是零。
- **错误做法:** 声称如果MVT假设不满足，就不存在满足$f'(c) = \frac{f(b)-f(a)}{b-a}$的c。
  - 原因: 学生误将MVT理解为充要命题，但它仅在假设满足时保证c存在；不排除假设不成立时巧合存在c的情况。
  - 正确做法: 如果假设不成立，你只能说MVT不保证这样的c存在，不能说不存在这样的c。
- **错误做法:** 估计函数值范围时，错配题目给出的不等号方向（例如，题目给出$f'(x) < 4$时，写出$f(5) \leq 19$）。
  - 原因: 学生赶时间做题，没有完全照搬题目给出的不等式。
  - 正确做法: 整理得到f(b)的范围前，直接将f'(x)的不等式对应到f'(c)的范围。

## 速查表

| 类别 | 公式/条件 | 注释 |
| --- | --- | --- |
| MVT假设 | 1. $f$连续于闭区间$[a,b]$ <br> 2. $f$可微于开区间$(a,b)$ | MVT适用必须同时满足两个条件 |
| MVT结论 | $\exists c \in (a,b): \displaystyle f'(c) = \frac{f(b) - f(a)}{b - a}$ | c必须严格位于区间内；端点永远无效 |
| 罗尔定理假设 | 标准MVT假设 + $f(a) = f(b)$ | 额外条件简化了MVT结论 |
| 罗尔定理结论 | $\exists c \in (a,b): f'(c) = 0$ | 平均变化率为零时的MVT特例 |
| 递增函数的MVT结论 | 若$f'(x) > 0 \; \forall x \in (a,b)$，则$f$在$[a,b]$严格递增 | 由MVT证明，是曲线绘图的核心结论 |
| 递减函数的MVT结论 | 若$f'(x) < 0 \; \forall x \in (a,b)$，则$f$在$[a,b]$严格递减 | 若对$(a,b)$所有点都有$f'(x) = 0$，则$f$在$[a,b]$为常数 |
| 函数值范围估计 | $f(b) = f(a) + f'(c)(b-a)$ for $a < c < b$ | 利用给定的$f'(c)$范围找出$f(b)$的最大/最小界 |

## 下一步

MVT是整个第5单元「微分的分析应用」的基础理论结论，也是本单元后续所有主题的先修知识。学完MVT后，你马上会用MVT得到的单调性结论寻找增减区间、用一阶导数测试定位相对极值、用二阶导数分析凹凸性。如果不掌握MVT的假设验证和核心结论，你就无法为这些后续主题写出有效的证明，而这些主题占AP考试FRQ分值的很大一部分。长期来看，MVT也用于证明不定式极限的洛必达法则，这是BC考试考题的一个核心主题。

- [极值定理、全局极值与局部极值、临界点](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-extreme-value-theorem-global-vs/)
- [确定函数单调递增/递减的区间](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-determining-intervals-where-a-function/)
- [一阶导数判别法判断相对极值](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-first-derivative-test-for-relative/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-mean-value-theorem/