适用范围：新高考导数综合题 / 极值点偏移 / 函数零点问题
核心定位：理解单峰函数是掌握极值点偏移、双零点问题的关键基础
一、什么是单峰函数？
1.1 严格定义
设函数 $f(x)$ 在区间 $I$ 上连续，若存在唯一的 $x_0 \in I$，使得：
- $f(x)$ 在 $(-\infty, x_0)$ 上严格单调递增
- $f(x)$ 在 $(x_0, +\infty)$ 上严格单调递减
则称 $f(x)$ 为单峰函数（严格上凸单峰），$x_0$ 为峰点（即极大值点）。
类似地，若先减后增，则称为单谷函数（严格下凸单谷），峰点变为谷点（极小值点）。
1.2 直观理解
单峰函数（先增后减） 单谷函数（先减后增）
∧
/ \
/ \
/ x₀ \ x₀
/ | \ \
---●-----●----●--- ●----●----●--
峰点 谷点
1.3 核心特征
| 特征 | 说明 |
|------|------|
| 唯一极值点 | 有且仅有一个极值点（极大或极小） |
| 先单调后单调 | 在极值点两侧单调性相反 |
| 水平线截两点 | 对任意 $y \in (\min, f(x_0))$，方程 $f(x) = y$ 恰有两个解 |
| 一一对应性 | 极大值点左侧与 $(-\infty, f(x_0))$ 一一对应，右侧亦然 |
二、高中常见单峰（单谷）函数类型
2.1 多项式型
| 函数 | 形式 | 峰/谷点 | 单调区间 | 图像特征 |
|------|------|--------|---------|---------|
| 开口向下抛物线 | $f(x) = -x^2 + bx + c$ | $x_0 = \frac{b}{2}$（极大） | $(-\infty, x_0)\uparrow$，$(x_0, +\infty)\downarrow$ | 对称单峰 |
| 开口向上抛物线 | $f(x) = x^2 + bx + c$ | $x_0 = -\frac{b}{2}$（极小） | $(-\infty, x_0)\downarrow$，$(x_0, +\infty)\uparrow$ | 对称单谷 |
| 三次函数（特定） | $f(x) = -x^3 + ax$（$a>0$） | $x_0 = \sqrt{\frac{a}{3}}$ | 需具体分析 | 非对称 |
注意：一般三次函数 $f(x) = ax^3 + bx^2 + cx + d$ 有两个极值点，不是单峰函数。
2.2 指数型（最核心）
类型 A：$f(x) = x e^{-x}$（最经典单峰）
- 定义域：$\mathbb{R}$
- 导数：$f'(x) = (1-x)e^{-x}$
- 峰点：$x_0 = 1$，$f(1) = \frac{1}{e}$
- 单调性：$(-\infty, 1)\uparrow$，$(1, +\infty)\downarrow$
- 极限：$\lim_{x \to -\infty} f(x) = -\infty$，$\lim_{x \to +\infty} f(x) = 0^+$
- 图像：过原点，在 $x=1$ 处取极大值，右侧趋近于 $x$ 轴
- 单峰性：$\boxed{\text{严格单峰}}$
1/e ∧
|\
| \
| \____→ 0
------●---●--------
0 1
类型 B：$f(x) = x e^x$（最经典单谷）
- 导数：$f'(x) = (x+1)e^x$
- 谷点：$x_0 = -1$，$f(-1) = -\frac{1}{e}$
- 单调性：$(-\infty, -1)\downarrow$，$(-1, +\infty)\uparrow$
- 单谷性：$\boxed{\text{严格单谷}}$
类型 C：$f(x) = \frac{x}{e^x}$（同类型 A）
就是 $x e^{-x}$ 的另一种写法。
类型 D：$f(x) = \frac{e^x}{x}$（$x > 0$）
- 导数：$f'(x) = \frac{e^x(x-1)}{x^2}$
- 谷点：$x_0 = 1$，$f(1) = e$
- 单调性：$(0, 1)\downarrow$，$(1, +\infty)\uparrow$
- 单谷性：$\boxed{\text{在 }(0, +\infty)\text{ 上严格单谷}}$
2.3 对数型（次核心）
类型 E：$f(x) = \frac{\ln x}{x}$（$x > 0$）
- 导数：$f'(x) = \frac{1 - \ln x}{x^2}$
- 峰点：$x_0 = e$，$f(e) = \frac{1}{e}$
- 单调性：$(0, e)\uparrow$，$(e, +\infty)\downarrow$
- 极限：$\lim_{x \to 0^+} f(x) = -\infty$，$\lim_{x \to +\infty} f(x) = 0^+$
- 单峰性：$\boxed{\text{严格单峰}}$
1/e ∧
|\
| \
| \____→ 0
------●---●--------
0 e
类型 F：$f(x) = x \ln x$（$x > 0$）
- 导数：$f'(x) = \ln x + 1$
- 谷点：$x_0 = \frac{1}{e}$，$f(\frac{1}{e}) = -\frac{1}{e}$
- 单调性：$(0, \frac{1}{e})\downarrow$，$(\frac{1}{e}, +\infty)\uparrow$
- 单谷性：$\boxed{\text{严格单谷}}$
类型 G：$f(x) = x - \ln x$（$x > 0$）
- 导数：$f'(x) = 1 - \frac{1}{x} = \frac{x-1}{x}$
- 谷点：$x_0 = 1$，$f(1) = 1$
- 单调性：$(0, 1)\downarrow$，$(1, +\infty)\uparrow$
- 单谷性：$\boxed{\text{严格单谷}}$
类型 H：$f(x) = \ln x - x$（$x > 0$）
- 导数：$f'(x) = \frac{1}{x} - 1 = \frac{1-x}{x}$
- 峰点：$x_0 = 1$，$f(1) = -1$
- 单调性：$(0, 1)\uparrow$，$(1, +\infty)\downarrow$
- 单峰性：$\boxed{\text{严格单峰}}$
2.4 分式型
类型 I：$f(x) = \frac{x}{x^2 + 1}$
- 导数：$f'(x) = \frac{1-x^2}{(x^2+1)^2}$
- 峰点：$x_0 = 1$，$f(1) = \frac{1}{2}$
- 谷点：$x_0 = -1$，$f(-1) = -\frac{1}{2}$
- 注意：在 $\mathbb{R}$ 上有两个极值点，但在 $(0, +\infty)$ 上单峰
类型 J：$f(x) = \frac{\ln x}{x^2}$（$x > 0$）
- 导数：$f'(x) = \frac{1 - 2\ln x}{x^3}$
- 峰点：$x_0 = \sqrt{e}$
- 单峰性：$\boxed{\text{严格单峰}}$
2.5 三角型（特定区间）
类型 K：$f(x) = \sin x$ 在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$
- 在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 上严格单峰（先增后减）
- 峰点：$x_0 = \frac{\pi}{2}$
类型 L：$f(x) = \cos x$ 在 $[0, \pi]$
- 在 $[0, \pi]$ 上严格单峰（先减后增的反向）
- 峰点：$x_0 = 0$（边界极值）
2.6 复合型
类型 M：$f(x) = x^2 e^{-x}$
- 导数：$f'(x) = x(2-x)e^{-x}$
- 峰点：$x_0 = 2$，$f(2) = \frac{4}{e^2}$
- 注意：$x=0$ 也是驻点（极小值点）
- 结论：在 $(0, +\infty)$ 上单峰
类型 N：$f(x) = \frac{x^2}{e^x}$
同类型 M。
三、单峰函数的核心应用
3.1 应用一：双零点（双等值点）问题
问题模型：$f(x) = m$ 有两个不等实根 $x_1, x_2$，证明关于 $x_1, x_2$ 的不等式。
单峰函数的关键作用：
由于单峰函数在极值点两侧各有一个单调分支，所以水平线 $y = m$（$m < f(x_0)$）与曲线恰有两个交点，分别位于极值点两侧。
标准条件：
$$x_1 < x_0 < x_2 \quad \text{且} \quad f(x_1) = f(x_2) = m$$
与极值点偏移的关系：
- 若单峰函数对称（如 $f(x) = -x^2$），则 $x_0 = \frac{x_1+x_2}{2}$
- 若单峰函数不对称（如 $f(x) = x e^{-x}$），则 $x_0 \neq \frac{x_1+x_2}{2}$，即发生极值点偏移
3.2 应用二：不等式恒成立求参数范围
问题模型：$f(x) \geq a$ 恒成立，求 $a$ 的范围。
单峰函数解法：
$$a \leq f(x)_{\min} \quad \text{（单谷函数）}$$
或
$$a \leq f(x)_{\max} \quad \text{（单峰函数）}$$
技巧：先判断函数是否为单峰/单谷，直接求极值即可，无需讨论多个极值点。
3.3 应用三：函数最值问题
问题模型：求 $f(x)$ 在区间 $[a, b]$ 上的最值。
单峰函数的简化：
| 情形 | 最值位置 | 说明 |
|------|---------|------|
| 单峰，峰点 $x_0 \in [a, b]$ | 最大值在 $x_0$ | 最小值在端点 |
| 单峰，峰点 $x_0 < a$ | 最大值在 $a$ | 函数在 $[a,b]$ 单调递减 |
| 单峰，峰点 $x_0 > b$ | 最大值在 $b$ | 函数在 $[a,b]$ 单调递增 |
3.4 应用四：方程根的个数讨论
问题模型：讨论 $f(x) = k$ 的根的个数。
单峰函数的标准结论：
设 $f(x)$ 为单峰函数，极大值为 $M$，$\lim_{x \to -\infty} f(x) = A$，$\lim_{x \to +\infty} f(x) = B$。
| $k$ 的范围 | 根的个数 |
|-----------|:-------:|
| $k > M$ | 0 |
| $k = M$ | 1（重根在 $x_0$） |
| $\max(A, B) < k < M$ | 2 |
| $k = \max(A, B)$ | 1 或 2（取决于边界） |
| $k < \max(A, B)$ | 1 |
例子：$f(x) = x e^{-x}$，$M = \frac{1}{e}$，$A = -\infty$，$B = 0^+$
| $k$ 的范围 | 根的个数 |
|-----------|:-------:|
| $k > \frac{1}{e}$ | 0 |
| $k = \frac{1}{e}$ | 1 |
| $0 < k < \frac{1}{e}$ | 2（$x_1 < 1 < x_2$） |
| $k = 0$ | 1（$x = 0$） |
| $k < 0$ | 1（$x < 0$） |
四、单峰函数与极值点偏移的深层联系
4.1 为什么单峰函数会产生偏移？
本质原因：函数在极值点两侧的增长率不对称。
对称单峰（如 -x²） 不对称单峰（如 x·e^(-x)）
∧ ∧
/|\ /|
/ | \ / |
/ | \ / |\____ 下降缓慢
/ | \ / |
---●--●--●-- ---●---●------
x₁ x₀ x₂ x₁ x₀ x₂
两侧对称 左侧陡峭，右侧平缓
→ 右侧走更远才能达到相同高度
→ x₁ + x₂ > 2x₀（右偏）
4.2 判定偏移方向的三种方法
已在《极值点偏移专题》中详述，此处概述：
| 方法 | 操作 | 适用场景 |
|------|------|---------|
| 图像法 | 画草图观察顶点位置 | 快速判断 |
| 二阶导数法 | 计算 $f'''(x_0)$ | 理论证明 |
| 结论记忆法 | 记住经典模型 | 考试速解 |
五、解题技巧与规律总结
5.1 识别单峰函数的"信号"
在导数大题中，看到以下条件应立即想到单峰函数：
| 信号 | 含义 |
|------|------|
| "$f(x) = m$ 有两个不等实根" | 水平线截单峰函数 |
| "$f(x_1) = f(x_2)$，$x_1 \neq x_2$" | 双等值点问题 |
| "$f'(x) = 0$ 有唯一解" | 唯一极值点 |
| "$f(x)$ 先增后减（或先减后增）" | 单峰/单谷 |
| "$\exists x_0$，$f(x)$ 在 $x_0$ 两侧单调性相反" | 单峰/单谷 |
5.2 处理单峰函数问题的通用步骤
Step 1: 求f'(x)，确定极值点x₀
↓
Step 2: 判断单调区间，确认单峰/单谷
↓
Step 3: 分析f(x₀)与边界极限值
↓
Step 4: 根据题意选择工具
├── 双零点问题 → 极值点偏移方法
├── 最值问题 → 直接比较极值与端点
├── 恒成立问题 → 极值与参数比较
└── 根的个数 → 画图分析水平线位置
5.3 构造单峰函数的常见手段
（1）移项构造
原问题：证明 $e^x > x + 1$
构造函数：$f(x) = e^x - x - 1$，证明 $f(x)_{\min} > 0$
$f'(x) = e^x - 1$，$x_0 = 0$ 为谷点，$f(0) = 0$ ✓
（2）除法构造
原问题：比较 $e^\pi$ 与 $\pi^e$
构造函数：$f(x) = \frac{\ln x}{x}$，比较 $f(e)$ 与 $f(\pi)$
$f(x)$ 在 $(e, +\infty)$ 递减，$\pi > e$，故 $f(\pi) < f(e)$
即 $\frac{\ln \pi}{\pi} < \frac{1}{e}$，$e \ln \pi < \pi$，$\pi^e < e^\pi$ ✓
（3）参数分离构造
原问题：$a x \leq e^x$ 恒成立，求 $a$ 范围
分离参数：$a \leq \frac{e^x}{x}$（$x > 0$）
$f(x) = \frac{e^x}{x}$ 在 $(0, +\infty)$ 单谷，$f(1) = e$
故 $a \leq e$ ✓
六、单峰函数在高考中的典型考法
考法一：证明双零点存在性
例题：已知 $f(x) = x e^{-x} - a$，讨论 $f(x)$ 的零点个数。
解析：$f(x) = 0 \Leftrightarrow x e^{-x} = a$
$g(x) = x e^{-x}$ 为单峰函数，极大值 $\frac{1}{e}$。
| $a$ 的范围 | 零点个数 |
|-----------|:-------:|
| $a > \frac{1}{e}$ | 0 |
| $a = \frac{1}{e}$ | 1 |
| $0 < a < \frac{1}{e}$ | 2 |
| $a \leq 0$ | 1 |
考法二：双零点不等式证明
例题：已知 $f(x) = x - \ln x$，$f(x_1) = f(x_2) = m$，$x_1 < x_2$，证明：$x_1 + x_2 > 2$。
解析：$f(x) = x - \ln x$ 为单谷函数，谷点 $x_0 = 1$。
由 $f(x_1) = f(x_2)$，$x_1 < 1 < x_2$。
这是极值点左偏问题（谷点左偏等价于峰点右偏的不等式方向）。
设 $g(x) = f(x) - f(2-x)$，证明 $g(x) > 0$ 在 $(0, 1)$ 上恒成立。
考法三：参数范围与最值
例题：已知 $f(x) = \frac{\ln x}{x} - a$ 有两个零点，求 $a$ 的范围。
解析：$g(x) = \frac{\ln x}{x}$ 为单峰函数，极大值 $\frac{1}{e}$，$\lim_{x \to 0^+} g(x) = -\infty$，$\lim_{x \to +\infty} g(x) = 0^+$。
$g(x) = a$ 有两个解 $\Leftrightarrow 0 < a < \frac{1}{e}$。
考法四：函数比较与大小
例题：比较 $a = \frac{\ln 2}{2}$，$b = \frac{\ln 3}{3}$，$c = \frac{\ln 5}{5}$ 的大小。
解析：$f(x) = \frac{\ln x}{x}$，$f'(x) = \frac{1 - \ln x}{x^2}$，峰点 $x_0 = e \approx 2.718$。
- $2 < e < 3 < 5$
- $f(2) = a$，$f(3) = b$，$f(5) = c$
- $f(x)$ 在 $(e, +\infty)$ 递减，故 $f(3) > f(5)$，即 $b > c$
- $f(2)$ 与 $f(3)$ 比较：$f(2) = \frac{\ln 2}{2} = \frac{\ln 4}{4}$，$f(3) = \frac{\ln 3}{3}$
- $4 > 3 > e$，$f(4) < f(3)$，即 $\frac{\ln 4}{4} < \frac{\ln 3}{3}$
- 故 $a < b$，综合：$c < a < b$（需精确计算确认）
七、常见错误与避坑指南
| 错误类型 | 具体表现 | 正确做法 |
|---------|---------|---------|
| 忽略定义域 | 对 $f(x) = \frac{\ln x}{x}$ 不考虑 $x > 0$ | 先写定义域 |
| 误判极值点个数 | 三次函数当成单峰函数 | 三次函数一般有两个极值点 |
| 忽略边界极限 | 讨论根的个数时不分析 $x \to +\infty$ | 全面分析端点和极限 |
| 混淆峰谷 | 把单谷函数的结论套到单峰函数上 | 仔细判断先增后减还是先减后增 |
| 忘记验证唯一性 | 未证明极值点唯一就断言单峰 | 需证明 $f'(x) = 0$ 仅有唯一解 |
| 直接套用结论 | 不证明直接用单峰函数的性质 | 大题需完整证明过程 |
八、单峰函数与相关概念的关系
8.1 单峰函数 vs 凸函数
| 概念 | 定义 | 关系 |
|------|------|------|
| 单峰函数 | 只有一个极值点 | 与凸性无关 |
| 凸函数 | $f''(x) > 0$ | 严格凸函数若有极值点必为唯一极小值 |
| 凹函数 | $f''(x) < 0$ | 严格凹函数若有极值点必为唯一极大值 |
注意：单峰函数不一定是凹函数，如 $f(x) = x e^{-x}$ 在 $x > 2$ 时 $f''(x) > 0$，不是全局凹函数，但仍是单峰函数。
8.2 单峰函数 vs 单调函数
| 概念 | 特征 |
|------|------|
| 单调函数 | 整个区间单调，无极值点 |
| 单峰函数 | 先单调增后单调减（或反之），有一个极值点 |
| 多峰函数 | 多个极值点，如一般三次函数 |
8.3 单峰函数 vs 极值点偏移
| 关系 | 说明 |
|------|------|
| 单峰是偏移的前提 | 只有单峰函数才谈得上极值点偏移 |
| 对称单峰不偏移 | 如 $f(x) = -x^2$，$x_0 = \frac{x_1+x_2}{2}$ |
| 非对称单峰必偏移 | 如 $f(x) = x e^{-x}$，$x_0 \neq \frac{x_1+x_2}{2}$ |
九、总结：单峰函数速查手册
9.1 核心单峰/单谷函数表
| 函数 | 类型 | 极值点 | 极大/极小值 | 偏移方向 |
|------|:----:|:------:|:----------:|:--------:|
| $x e^{-x}$ | 单峰 | $x_0 = 1$ | $\frac{1}{e}$ | 右偏 |
| $x e^x$ | 单谷 | $x_0 = -1$ | $-\frac{1}{e}$ | 左偏 |
| $\frac{\ln x}{x}$ | 单峰 | $x_0 = e$ | $\frac{1}{e}$ | 右偏 |
| $x \ln x$ | 单谷 | $x_0 = \frac{1}{e}$ | $-\frac{1}{e}$ | 右偏 |
| $x - \ln x$ | 单谷 | $x_0 = 1$ | $1$ | 左偏 |
| $\ln x - x$ | 单峰 | $x_0 = 1$ | $-1$ | 右偏 |
| $\frac{e^x}{x}$（$x>0$） | 单谷 | $x_0 = 1$ | $e$ | — |
| $-x^2$ | 单峰 | $x_0 = 0$ | $0$ | 不偏移 |
| $x^2$ | 单谷 | $x_0 = 0$ | $0$ | 不偏移 |
9.2 解题流程速记
看到"f(x)=m有两个根"或"f(x₁)=f(x₂)"
↓
求f'(x)，找极值点x₀
↓
判断单峰/单谷，确定单调区间
↓
确认x₁ < x₀ < x₂
↓
判断偏移方向（图像/记忆/导数）
↓
选择方法：对称化构造 / 比值代换 / 对数均值
↓
构造函数g(x)，求导证明
↓
利用单调性推出结论
写在最后：单峰函数是高中导数综合题的"元问题"。理解单峰函数的本质特征——唯一极值点、两侧单调性相反、水平线截两点——就能自然延伸到双零点问题、极值点偏移、参数范围等所有相关题型。建议将本文与《极值点偏移专题》对照学习，形成完整的知识体系。