# 定性关联f、f'、f''

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

本子主题介绍函数$f$、一阶导数$f'$和二阶导数$f''$之间的定性关系。你将学习如何从任意一个函数的图像或描述，关联递增/递减行为、临界点、凹性和拐点。

**先修:** 导数是函数在某点的斜率; 二阶导数是一阶导数的导数; 绘制基本多项式函数图像

## 学习目标

- 从f'的图像/描述中确定$f$递增/递减的区间
- 将$f$的临界点分类为局部极大值或局部极小值
- 使用$f''$识别并证明$f$的拐点
- 正确匹配$f$、$f'$、$f''$的图像
- 解决该主题的AP风格选择题和自由问答题

## 递增/递减行为与临界点（f和f'）

$f$和$f'$最基本的关系直接来自导数是$f$斜率的定义。当开区间内所有$x$都满足$f'(x) > 0$时，$f$的斜率在整个区间为正，因此$f$在该区间严格递增。反之，当开区间内$f'(x) < 0$时，$f$的斜率为负，因此$f$在该区间严格递减。

**f的临界点** — $f$的临界点出现在任意$x=c$处，满足$f(c)$有定义，且$f'(c) = 0$或$f'(c)$无定义。临界点是$f$唯一可能从递增变递减（或反之）的位置，因此它们是局部极值的唯一候选点。

**例题:** 函数$y=f'(x)$的图像与$x$-轴交于$x=-3$，$x=1$，和$x=4$。$f'(x) > 0$在$(-\infty, -3) \cup (1, 4)$且$f'(x) < 0$在$(-3, 1) \cup (4, \infty)$，且$f'(x)$对所有实数$x$都有定义。$f$在哪些区间递增？找出$f$局部极值的所有$x$-坐标并对它们分类。

1. 根据定义，$f$在$f'(x) > 0$时递增，因此我们直接读出$f'(x)$位于$x$轴上方的区间即可。
2. 这些区间是$(-\infty, -3)$和$(1, 4)$，因此$f$在这些区间递增。
3. $f$的临界点出现在$f'(x)=0$或$f'(x)$无定义处；本题中$f'(x)$处处有定义，且在$x=-3, 1, 4$处等于零，因此这些都是临界点。
4. 通过$f'$的符号变化分类极值：在$x=-3$，$f'$从正变负，因此$f$有局部极大值；在$x=1$，$f'$从负变正，因此$f$有局部最小值；在$x=4$，$f'$从正变负，因此$f$有局部极大值。

> **考试提示:** 如果题目要求找$f$（不是$f'$）的临界点，一定要包含$f'$无定义的点（只要$f(c)$有定义），不能只包含$f'(c)=0$的点——这是AP考试最常见的干扰项之一。

## 凹性和拐点（f和f''）

$f''(x)$是$f'(x)$的导数，因此它描述了$f$斜率的变化率。如果区间上$f''(x) > 0$，意味着$f'(x)$（即$f$的斜率）在递增，因此$f$的图像在该区间向上弯曲（凹向上）。如果区间上$f''(x) < 0$，$f'(x)$在递减，因此$f$的图像在该区间向下弯曲（凹向下）。

**f的拐点** — $f$的拐点是$f$凹性发生改变（从向上到向下或从向下到向上）的点。$f$在$x=c$存在拐点需要满足两个条件：(1) $f$在$x=c$连续，(2) $f''$在$x=c$改变符号。注意仅$f''(c)=0$本身并不充分。

**例题:** 给定$f(x) = x^4 - 6x^2$，找出$f$拐点的所有$x$-坐标并证明你的答案。

1. 计算一阶和二阶导数：
2. $$f'(x) = 4x^3 - 12x, \quad f''(x) = 12x^2 - 12 = 12(x-1)(x+1)$$
3. 找出$f''(x)=0$的候选拐点：得到$x=1$和$x=-1$。
4. 检验每个候选点两侧$f''$的符号：对于$x < -1$，$f''(x) > 0$（凹向上）；在$-1$和$1$之间，$f''(x) < 0$（凹向下）；对于$x > 1$，$f''(x) > 0$（凹向上）。
5. 凹性在$x=-1$和$x=1$都发生改变，且$f$处处连续，因此二者都是拐点的$x$-坐标。如果我们仅说明这些点处$f''(x)=0，在AP考试中无法获得完整的证明分数。

> **考试提示:** 在AP自由问答题中，你必须明确说明凹性在$x=c$发生改变，才能获得证明拐点的全部分数——仅说$f''(c)=0$永远不构成充分证明。

## 匹配f、f'、f''的图像

AP考试非常常见的题型是给出同一坐标系中的三个图像，要求你匹配哪个是$f$，哪个是$f'$，哪个是$f''$。核心策略是：函数$g$的导数会恰好在$g$的局部极大值和极小值处等于零（穿过$x$轴）。你始终可以用凹性验证：$f$在$f''$位于$x$轴上方的区间一定凹向上，在$f''$位于$x$轴下方的区间一定凹向下。

**例题:** 同一坐标系中的三个可导图像有以下特征：
- 图像P：与$x$轴交于$x=-1$和$x=2$，在$x < -1$和$x > 2$时位于$x$轴上方，且斜率恒定（是线性的）。
- 图像Q：在$x=-1$有局部极大值，在$x=2$有局部极小值，且处处凹向上。
- 图像R：是恒为正的水平线。
将每个图像匹配为$f$，$f'$，和$f''$。

1. 从最简单的图像R开始，它是常函数。常函数的导数为0，不符合另外两个图像，因此R一定是最高阶导数（$f''$）。
2. 由于$R = f'' > 0$处处成立，因此原函数$f$一定处处凹向上。剩余图像中只有Q处处凹向上，所以$Q = f$。
3. 一阶导数$f'$必须在$f = Q$的所有极值处穿过$x$轴。Q的极值在$x=-1$和$x=2$，这恰好是P的$x$交点，因此$P = f'$。
4. 验证：P是线性的，因此它的导数是常数，符合R是常数的性质。所有关系都成立。最终匹配：$Q=f$，$P=f'$，$R=f''$。

> **考试提示:** 匹配图像时，一定要进行二次验证（例如，通过极值/$x$交点匹配后，验证$f''$的符号是否符合$f$的凹性），避免配对错误或符号错误。

## AP风格练习例题

**例题:** 函数$f$的二阶导数$f''$的图像有以下特征：$f''$与$x$轴交于$x=-3$和$x=2$；$f'' < 0$在$(-\infty, -3)$，$f'' > 0$在$(-3, 2)$，$f'' < 0$在$(2, \infty)$。一阶导数$f'$的$x$交点在$x=-4$，$x=0$，和$x=5$；$f' > 0$在$(-\infty, -4)$，$f' < 0$在$(-4, 0)$，$f' > 0$在$(0, 5)$，$f' < 0$在$(5, \infty)$。哪个区间内$f$同时凹向上且递减？
A) $(-3, 0)$
B) $(-4, -3)$
C) $(0, 2)$
D) $(2, 5)$

1. 首先，$f$在$f''(x) > 0$时凹向上，这仅出现在区间$(-3, 2)$。因此排除不在这个范围的选项B和D。
2. 接下来，$f$在$f'(x) < 0$时递减。在$(-3, 2)$上，$f'(x)$在$(-3, 0)$为负，在$(0, 2)$为正。同时满足两个条件的区间只有$(-3, 0)$。正确答案：**A**。

## 常见错误

- **错误做法:** 仅因为$f''(c) = 0$就断言$f$在$x=c$有拐点
  - 原因: 学生混淆了必要条件和充分条件；$f''(c)=0$只给出候选点，不能保证符号改变。
  - 正确做法: 一定要检验$c$两侧$f''$的符号，并明确说明凹性在$c$改变，才能证明拐点存在。
- **错误做法:** 给定$f'$的图像时，将$f'$的$x$交点误认为是$f$的拐点
  - 原因: 学生混淆了$f'$的$x$交点和$f''$的$x$交点分别对应的性质。
  - 正确做法: 记住固定对应关系：$x$交点$f'$ = 临界点$f$；$x$交点$f''$（带符号改变） = 拐点$f$。
- **错误做法:** 因为$f'(c) > 0$就声称$f$在单点$x=c$递增
  - 原因: 学生混淆了在区间上递增和在点处递增；递增/递减仅对区间有定义，不对单点有定义。
  - 正确做法: 始终在开区间上描述递增/递减行为，永远不要说在单点（除非题目只要求该点的斜率）。
- **错误做法:** 假设位于$x$轴上方的图像一定是原函数$f$
  - 原因: 学生认为导数一定在某处为负，但$f$、$f'$、$f''$中的任意一个都可以恒正或恒负，与阶数无关。
  - 正确做法: 只使用极值和$x$交点的关系以及凹性来匹配，不要根据图像整体在$x$轴上方还是下方判断。
- **错误做法:** 忘记$f$的临界点包含$f'(c)$无定义的点（只要$f(c)$有定义）
  - 原因: 学生只寻找$f'(c)=0$，这是最常见的情况，因此漏掉了角点、尖点或垂直切线带来的临界点。
  - 正确做法: 寻找$f$的临界点时，一定要同时检查两个条件：$f'(c)=0$ 或 $f'(c)$无定义，且$f(c)$有定义。
- **错误做法:** 声称如果$f$在$x=c$有局部极大值，那么一定总有$f''(c) < 0$
  - 原因: 当$f''(c)=0$时二阶导数测试失效，即使$c$存在局部极大值也不满足$f''(c) < 0$。
  - 正确做法: 如果$f''(c)=0$，使用一阶导数测试（检验$c$周围$f'$的符号变化）来分类极值，不要依赖二阶导数测试。

## 速查表

| 类别 | 规则 | 注释 |
| --- | --- | --- |
| f与f'的符号关系 | $f'(x) > 0$在区间上$\implies f$递增 | 仅适用于开区间；递增/递减不对单点定义 |
| f与f'的符号关系 | $f'(x) < 0$在区间上$\implies f$递减 | 与上述相同的区间要求 |
| f的临界点 | $x=c$是临界点当$f(c)$有定义且$(f'(c)=0$ 或 $f'(c)$ 无定义) | 不要忘记$f'(c)$无定义的情况；AP考试常见干扰项 |
| f和f''的凹性 | $f''(x) > 0$在区间上$\implies f$凹向上 | 凹向上 = f的斜率递增 |
| f和f''的凹性 | $f''(x) < 0$在区间上$\implies f$凹向下 | 凹向下 = f的斜率递减 |
| f的拐点 | $x=c$是拐点当$f$在$c$连续 且 $f''$在$c$改变符号 | $f''(c) = 0$不充分；要获得AP学分你必须确认符号改变 |
| 图像匹配规则 | f的极值$\iff$ x-交点$f'$ | 一定要用凹性和$f''$符号进行二次验证 |
| 图像匹配规则 | f的拐点$\iff$ f'的极值$\iff$ x-交点$f''$ | 对所有二阶可导函数都成立 |

## 下一步

本主题是后续所有优化、质点运动、微分方程斜率场分析的概念基础，也是理解积分是微分逆运算的前提。接下来，你会将这些定性关系应用于从导数图像绘制原函数图像，这是AP选择题和自由问答题的常见题型，直接建立在你在此学到的关系之上。如果不掌握$f$、$f'$、$f''$形状之间的关联，你将无法正确解释运动问题（其中位置、速度、加速度恰好分别对应$f$、$f'$、$f''$），也无法解决需要通过导数符号变化证明极值的优化问题。本主题也为微分方程解曲线的学习打下基础，在那里你需要直接从微分方程分析凹性和递增/递减行为。

- [最优化问题简介](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-introduction-to-optimization-problems/)
- [求解最优化问题](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-solving-optimization-problems/)
- [隐函数关系的性质](https://www.owlsprep.com/zh/study/ap-calculus-bc-u5-behaviors-of-implicit-relations/)

---

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