今日学习地图
本次学习覆盖第二章第五节（导数的微分学应用）的前两个考点：
- 考点一：函数的单调性
- 导数符号与单调性的正向关系（f’(x) > 0 ⇒ 严格递增）
- 严格单调与单调不减的区别（子区间恒为零 vs 有限个孤立零点）
- 反向陷阱：f’(x₀) > 0 推不出邻域单调
- 考点二：函数的极值
- 极值的邻域定义
- 费马定理（极值的必要条件）
- 第一充分条件：导数变号判极值
- 第二充分条件：二阶导符号判极值 + 保号性证明推导
- f’’(x₀) = 0 时为什么失效
本次重点关注：导数与单调性的反向关系易混淆、第二充分条件证明中的保号性推理、f’’=0 时两类反例的对比。
概念精拆
2.1 函数的单调性
2.1.1 导数与单调性的正向关系
设函数 f(x) 在区间 I 上可导，则：
Important
定理 —— 导数符号判定单调性
(1) 若在 I 上 f’(x) > 0 恒成立，则 f(x) 在 I 上严格单调递增。
(2) 若在 I 上 f’(x) ≥ 0，且存在一整段子区间上 f’(x) ≡ 0，则 f(x) 在 I 上单调不减（非严格）。
(3) 若在 I 上 f’(x) ≥ 0，且仅有有限个孤立点使 f’(x) = 0（没有形成连续的一段），则 f(x) 在 I 上严格单调递增。
直观理解：
graph LR A[f'x > 0 全区间] --> B[严格单调递增] C[f'x ≥ 0 但有整段恒为0] --> D[单调不减 图像有平线] E[f'x ≥ 0 仅有限个孤立零点] --> F[严格单调递增 如x³]
经典例： f(x) = x³，f’(0) = 0 但只有这一个孤立零点，整体严格递增。
Warning
“单调不减"的图像特征
单调不减就是 f(x₁) ≤ f(x₂) 对任意 x₁ < x₂ 成立，图像上会出现一段水平的直线（导数为零的区间），函数在那一段上保持常数值。而严格单调递增虽然允许个别点导数为零（如 x³ 在 x=0），但不会出现一整段平线。
2.1.2 反向陷阱：某点导数 > 0 ⇒ 邻域单调？
这是本题最容易搞反的地方。
Warning
经典陷阱
f’(x₀) > 0 不能推出 f(x) 在 x₀ 的邻域内单调递增。
反例（Hermes 提供的）：
\[ > f(x) = \begin{cases} > x + 2x^2 \sin\dfrac{1}{x}, & x \neq 0 \\[6pt] > 0, & x = 0 > \end{cases} > \]该函数在 x=0 处的导数 f’(0) = 1 > 0，但在任何包含 0 的邻域内，导数振荡变号，函数并非单调。
正确表述应该是： 在区间 I 上 f’(x) > 0 恒成立 ⇒ 严格单调递增。单点的导数符号不能控制整个邻域的单调性。
2.2 辅助函数构造（从单调性证明延展）
这部分是在讨论中自然过渡到的——做题时经常遇到 f(x) 与 f’(x) 的关系式，需要构造辅助函数来处理。
Note
五种常用构造
题设结构 构造的辅助函数 f(x) · f’(x) F(x) = f²(x) f’(x) / f(x) F(x) = ln|f(x)| f’(x)g(x) + f(x)g’(x) F(x) = f(x) · g(x) f’(x) + kf(x) F(x) = e^{kx}f(x) f’(x)g(x) - f(x)g’(x) F(x) = f(x) / g(x)
Warning
易漏：f’ - kf 形式的构造
如果看到的是 f’(x) - kf(x) = 0，对应的辅助函数是 F(x) = e^{-kx}f(x)，与正号情况只差一个负号在指数上。这个在微分中值定理的证明题中高频出现。
2.3 函数的极值
2.3.1 极值的定义
Important
定义：极值点与极值
设 f(x) 在 x₀ 的某邻域 U(x₀) 内有定义。若对任意 x ∈ U(x₀)（x ≠ x₀）：
- f(x) > f(x₀) ⇒ x₀ 为极小值点，f(x₀) 为极小值
- f(x) < f(x₀) ⇒ x₀ 为极大值点，f(x₀) 为极大值
极小值与极大值统称为极值，对应的 x₀ 称为极值点。
重要条件： 极值点的讨论基于双侧邻域，端点处不讨论极值（因为只有一侧有定义）。
2.3.2 费马定理（极值的必要条件）
Important
费马定理
若 x₀ 是 f(x) 的极值点，且 f(x) 在 x₀ 处可导，则 f’(x₀) = 0。
若 x₀ 处不可导，也可能取极值（如 f(x) = |x| 在 x=0 处取极小值，但导数不存在）。
Note
极值的可疑点分类
求极值的第一步是找出可疑点，分为两类：
- 驻点 — 一阶导数为 0 的点（费马定理告诉我们的）
- 导数不存在的点 — 如 |x| 在 x=0 处，导数不存在但仍取得极小值
这两类点可能是极值点，也可能不是，需要进一步判定。
关系梳理：
graph LR A[费马定理] --> B[ x₀是极值点且可导 ] B --> C[ f'x₀ = 0 ] C -->|反向不成立| D[ f'x₀ = 0 未必是极值 如x³ ]
Warning
反向不成立！
f’(x₀) = 0 只是极值的必要条件，不是充分条件。经典反例：f(x) = x³ 在 x=0 处有 f’(0) = 0，但它不是极值点（它是拐点）。
证（极小值情形）： 设 x₀ 为极小值点，则在 x₀ 邻域内 f(x) ≥ f(x₀)。
左导数：
\[ f'_-(x_0) = \lim_{x \to x_0^-} \frac{f(x) - f(x_0)}{x - x_0} \]分子 ≥ 0，分母 < 0 ⇒ 左导数 ≤ 0
右导数：
\[ f'_+(x_0) = \lim_{x \to x_0^+} \frac{f(x) - f(x_0)}{x - x_0} \]分子 ≥ 0，分母 > 0 ⇒ 右导数 ≥ 0
可导 ⇒ 左导 = 右导 ⇒ 两者都只能等于 0 ⇒ f’(x₀) = 0。极大值情形符号反过来同理。
2.3.3 极值的可疑点
求极值的步骤：先找出可疑点，再逐一判断。
可疑点分为两类：
- 驻点（一阶导数为 0 的点）
- 一阶导数不存在的点
这两类点可能是极值点，也可能不是。
2.3.4 第一充分条件
Important
极值的第一充分条件
前提：f(x) 在 x₀ 处连续，在 x₀ 的去心邻域内可导。
左邻域 f’(x) 右邻域 f’(x) 结论 < 0 > 0 极小值（左减右增，V 形） > 0 < 0 极大值（左增右减，∧ 形） 同号 同号 不是极值点（单调延续）
Warning
两个前提缺一不可
- 连续必须保证——如果 x₀ 处不连续，导数变号也取不了极值。
- 去心邻域可导即可——不要求 x₀ 本身可导，这也就解释了为什么导数不存在的点也可能是极值点。
2.3.5 第二充分条件
Important
极值的第二充分条件
设 f(x) 在 x₀ 处具有二阶导数，且 f’(x₀) = 0。则：
- f’’(x₀) > 0 ⇒ x₀ 为极小值点
- f’’(x₀) < 0 ⇒ x₀ 为极大值点
- f’’(x₀) = 0 ⇒ 无法判定，需退回第一充分条件
证明（以 f’’(x₀) < 0 为例）：
由导数定义：
\[ f''(x_0) = \lim_{x \to x_0} \frac{f'(x) - f'(x_0)}{x - x_0} = \lim_{x \to x_0} \frac{f'(x)}{x - x_0} < 0 \]根据极限的保号性，存在 x₀ 的某去心邻域，使得：
\[ \frac{f'(x)}{x - x_0} < 0 \]分情况：
- x 在 x₀ 左侧： x - x₀ < 0，不等式两边同乘负数方向反转 ⇒ f’(x) > 0（左邻域递增）
- x 在 x₀ 右侧： x - x₀ > 0 ⇒ f’(x) < 0（右邻域递减）
左增右减，对照第一充分条件 ⇒ x₀ 是极大值点。证毕。
f’’(x₀) > 0 的情形符号相反，证明同理。
2.3.6 f’’(x₀) = 0 的失效案例
Warning
二阶导为零时，第一充分条件才能救场
同样的条件 f’(0) = 0、f’’(0) = 0，结果可能截然不同：
函数 f’(0) f’’(0) 结论 f(x) = x³ 0 0 ❌ 拐点，不是极值 f(x) = x⁴ 0 0 ✅ 极小值点 这说明 f’’(x₀) = 0 时第二充分条件完全失效，必须退回到第一充分条件判断。
费曼交锋实录
交锋一：某点导数 > 0 与邻域单调
我的最初直觉： “f’(x₀) > 0 的话，函数应该在 x₀ 附近递增吧？”
Hermes 追问： 那给你一个反例——在 x=0 处导数为 1，但邻域内振荡的函数，你怎么看？
修正： 一个点的导数符号控制不了整个邻域。要判断单调性，必须看一整段区间上导数的符号是否恒定。
理解锚点： 单点如照片，区间如电影——照片里的姿势不能推断整部电影的剧情走向。
交锋二：严格单调递增的反方向
我的陈述： “f’(x) > 0 ⇒ 严格单调递增，反过来也是吧？”
Hermes 追问： 严格递增 ⇒ f’(x) > 0？x³ 在 x=0 导数等于 0 还严格递增呢。
修正： 正确的关系是：严格递增 ⇒ f’(x) ≥ 0（允许有限个孤立零点），而不是严格大于 0。
理解锚点： x³ 在原点歇了一下脚，但没停步，继续往上走。
交锋三：f’’(x₀) = 0 时的混淆
我： “如果 f’’(x₀)=0，那 x₀ 是不是一定不是极值点？”
Hermes 反问： x³ 和 x⁴，同是 f’(0)=f’’(0)=0，一个取极值一个不取，你怎么解释？
修正： f’’(x₀)=0 时什么也判断不了，必须回第一充分条件看导数是否变号。
理解锚点： 二阶导判极值是"成也保号，败也保号”——保号性能推出符号，为零时保号性就断了。
交锋四：辅助函数构造的完整性
我： 列出了四种构造（f·f’、f’/f、f’g+fg’、f’+kf）
Hermes 补充： 漏了除法形式——f’g - fg’ 对应 f/g；还有 f’ - kf 对应 e^{-kx}f。
修正： 补全五种构造后，建立了完整的"结构 → 辅助函数"映射表。
本期漏洞表
Warning
🔴 漏洞一：f’(x₀) > 0 与邻域单调的混淆
- 一句口诀：单点导数管不了邻域
- 对应知识点：导数单调性判定
Warning
🔴 漏洞二：严格递增与导数 > 0 的反方向混淆
- 一句口诀：严格递增允许有限个孤立零点（x³ 在原点）
- 对应知识点：单调性判定逆命题
Warning
🔴 漏洞三：f’’(x₀)=0 的判断盲区
- 一句口诀：二导为零，回第一条件
- 对应知识点：第二充分条件失效
Note
🟡 注意：辅助函数构造遗漏
- 除法形式的构造 (f’g - fg’) 易遗漏
- 指数构造中 f’ + kf 和 f’ - kf 的符号混淆
- 对应知识点：辅助函数法
总结与下期预告
本次完成了第二章第五节考点1（单调性）和考点2（极值）的全部核心内容梳理。需要特别注意：
- 充分与必要条件的方向性——很多错误源于把条件的方向搞反了
- 极值判定时优先检查前提——连续 + 邻域可导，缺一不可
- 第二充分条件不是万能的——f’’=0 时永远要回第一充分条件
下期继续：考点3（最大值与最小值）、考点4（凹凸性）、考点5（拐点）。遇到这些考点时，极值的概念是它们的共同基础。
