恒成立与能成立问题——参数范围的精确刻画

从一个问题开始

同一道题，把"恒成立"换成"存在"，答案就整个翻过来。 先看这组对比。

甲：已知 $x^2 - 2x + a \ge 0$ 对任意 $x \in [0, 3]$ 恒成立，求 $a$ 的取值范围。

乙：已知存在 $x \in [0, 3]$，使 $x^2 - 2x + a < 0$，求 $a$ 的取值范围。

函数还是那个函数，$h(x) = x^2 - 2x + a$，可两次问的是完全相反的事。 甲要求所有 $x$ 都不让 $h$ 掉到零以下；乙只要求有某一个 $x$ 让 $h$ 掉到零以下。两人都在看 $h$ 的最低点，只不过甲要求最低点也 $\ge 0$，乙要求最低点 $< 0$。

配平方得 $h(x) = (x - 1)^2 + a - 1$，它在 $[0, 3]$ 上的最小值是 $h(1) = a - 1$。于是甲要 $a \ge 1$，乙要 $a < 1$。

一个 $a \ge 1$，一个 $a < 1$，正好互补。 一字之差，结论相反——这一讲要死死盯住的，就是这粒能把整道题掀翻的字。

两个量词：∀ 与 ∃

"恒成立"背后站着全称量词 $\forall$，"能成立"背后站着存在量词 $\exists$。 把这两个符号认清楚，题目的话就读懂了一半。

恒成立：对任意 $x$ 都成立

对任意 $x \in D$，都有 $f(x) \ge g(x)$。

读法是"一个都不能漏"。要保证没有一个反例来破坏它，就等价于要求差函数的最小值也不低于零。

能成立：存在某个 $x$ 使成立

存在 $x_0 \in D$，使得 $f(x_0) \ge g(x_0)$。

读法是"逮到一个就行"：$D$ 里只要有一个点让不等式成立，命题就为真，于是等价于要求差函数的最大值不低于零。

量词只差一个字，要求的却是两个方向。 恒成立像全权负责，一个漏网就翻船；能成立像抽检合格，命中一个就交差。把"任意"读成"存在"是最常见的失分，而且失得毫无察觉——算式一路都对，错的只是最初那一句翻译。

示意图

深入理解

转化一：恒成立 ⇔ 最小值 $\ge a$

把"对所有 $x$ 成立"翻译成"最小值达标"，是恒成立问题的总开关。

$f(x) \ge a$ 对任意 $x \in D$ 恒成立 $\iff \min_{x \in D} f(x) \ge a$。

理由很直白：最小值都 $\ge a$，比它大的值自然更 $\ge a$；反过来只要有一个 $x$ 让 $f(x) < a$，就出了反例，而那正是"最小值小于 $a$"。两边一来一回，恰好等价。

常数 $a$ 也可以换成一条曲线 $g(x)$。 这时把两边搬到一起，令 $h(x) = f(x) - g(x)$，条件就统一成 $\min h(x) \ge 0$。凡是两边都是函数，先做这一步差，把双变量收成单变量。

转化二：能成立 ⇔ 最大值 $\ge a$

能成立只关心"有没有"，所以它盯的是最大值。

$f(x) \ge a$ 能成立（存在某个 $x \in D$）$\iff \max_{x \in D} f(x) \ge a$。

只要 $f$ 的最大值够到 $a$，取到最大值那个点就证明了"存在"；反过来，若最大值都够不到 $a$，那没有一个点够得到，能成立为假。

把两条并排看，符号刚好对称： 恒成立看 $\min \ge a$，能成立看 $\max \ge a$。同样是"$\ge a$"，一个配最小值、一个配最大值，全靠前面那个量词决定。

分离参数法

参数能单独拎出来的时候，分离参数是最省事的一条路。 把含 $a$ 的项移到一边、其余全丢到另一边，让 $a$ 和 $x$ 各占一头：

$a \le h(x)$ 对任意 $x \in D$ 恒成立 $\iff a \le \min_{x \in D} h(x)$；

$a \ge h(x)$ 对任意 $x \in D$ 恒成立 $\iff a \ge \max_{x \in D} h(x)$。

它为什么好用？ 因为分离之后，问题从"研究一条还带着字母 $a$ 的曲线"降成"研究一条完全确定的曲线 $y = h(x)$"，最值可以直接用导数算出来。参数藏在函数里头和摆在边界上，是两种完全不同的难度。

方向别记反： $a \le h(x)$ 恒成立要 $a$ 不超过 $h$ 的最小值（$a$ 是天窗，得压到最低那根横梁下）；$a \ge h(x)$ 恒成立要 $a$ 不低于 $h$ 的最大值（$a$ 是地板，得垫到最高那个波峰上）。配最小值还是最大值，只取决于不等号朝哪边。

分离参数法的陷阱：分母符号不定时不能除

分离参数最危险的一步是"两边同除一个含 $x$ 的式子"——除之前必须先看清它会不会变号。

同除正数，不等号不变；同除负数，不等号要翻；同除一个"有时正有时负"的式子，方向根本说不清，这一步直接作废。最常见的两个翻车点：

• 除以 $x$。 若 $x$ 的取值范围跨过零点（比如 $x \in [-2, 0]$），$x$ 时正时负，不能一除了之，必须在 $x = 0$ 处把区间切开，正负两段分别处理。
• 除以 $(x + 1)$ 这类一次因式。 它会在 $x = -1$ 处变号，同样要在 $-1$ 处分段。

判据一句话：先问"要除的这个式子，在 $D$ 上是不是恒正（或恒负）。" 恒正恒负才敢除；符号不定，就先按它的零点把 $D$ 切成几段，每段里符号固定了再除。宁可多分两段，也不能糊里糊涂除过去——这一步错，答案就是反的。

端点效应：闭区间端点要代入验证

区间是闭的，最值就可能躲在端点上，端点值必须代进去比一比。 求 $f$ 在 $[a, b]$ 上的最小值，候选点只有三类：内部导数为零的点、区间两端 $x = a$ 与 $x = b$。很多人只顾着解 $f'(x) = 0$，把两端顺手漏掉——若函数在区间上单调，最值本来就在端点，这一漏就全盘皆错。

端点还能当"必要的门槛"来试。 恒成立意味着端点也必须成立，把两端代进去能得到两个必要条件，往往一举就把参数的候选范围砍掉一大半，剩下的再在内部验证。

经典例题

下面五道题，恒成立、能成立、分离参数、分类讨论、端点效应各占一角，每题末尾都用"验一下"收尾。

例1：指数与直线相切（恒成立 + 分类讨论）

已知 $e^x \ge ax + 1$ 对任意 $x \in \mathbb{R}$ 恒成立，求 $a$ 的取值范围。

先做差，把两边搬到一起。 令

$$f(x) = e^x - ax - 1$$

要求 $f(x) \ge 0$ 对一切 $x$ 成立，也就是 $\min f(x) \ge 0$。求导：

$$f'(x) = e^x - a$$

参数 $a$ 决定导数有没有零点，所以按 $a$ 的正负分开看。

• 当 $a \le 0$ 时，$f'(x) = e^x - a > 0$ 恒成立，$f$ 在整个实数轴上递增。又 $f(0) = 0$，所以当 $x < 0$ 时 $f(x) < 0$。最小值不达标，这一档全部淘汰。
• 当 $a > 0$ 时，令 $f'(x) = 0$ 得 $x = \ln a$。$f$ 在 $x = \ln a$ 处取最小值：

$$f(\ln a) = e^{\ln a} - a\ln a - 1 = a - a\ln a - 1$$

问题降成一道单变量不等式。 要求 $a - a\ln a - 1 \ge 0$，即 $a(1 - \ln a) \ge 1$。设 $g(a) = a(1 - \ln a)$（$a > 0$），求导：

$$g'(a) = 1 - \ln a - 1 = -\ln a$$

$0 < a < 1$ 时 $g$ 递增，$a > 1$ 时 $g$ 递减，所以 $g$ 在 $a = 1$ 处取最大值 $g(1) = 1$。要让 $a(1 - \ln a) \ge 1$ 成立，只能取等，于是 $a = 1$。

答案是 $a = 1$。 几何上看，这是曲线 $y = e^x$ 与直线 $y = ax + 1$ 在点 $(0, 1)$ 处相切。

验一下。 $a = 1$ 时 $f(x) = e^x - x - 1$，正是前几讲证过的恒非负；$a = 0.5$ 时最小值 $f(\ln 0.5) = 0.5 - 0.5 \times (-0.693) - 1 \approx -0.15 < 0$，不成立；$a = 2$ 时最小值 $= 2 - 2 \times 0.693 - 1 \approx -0.39 < 0$，也不成立。只有 $a = 1$ 过关。

例2：二次恒非负（分类讨论 $a = 0$）

已知 $ax^2 - x + 1 \ge 0$ 对任意 $x \in \mathbb{R}$ 恒成立，求 $a$ 的取值范围。

二次项系数带字母，第一件要做的事不是套判别式，而是先把 $a = 0$ 和 $a \ne 0$ 分开。 "开口向上、$\Delta \le 0$"那套是二次函数专用的，$a = 0$ 时它压根不是二次函数，套上去就是错。

• 当 $a = 0$ 时，不等式变成 $-x + 1 \ge 0$，只有 $x \le 1$ 成立，淘汰。
• 当 $a < 0$ 时，抛物线开口向下，$x$ 往两头走会冲到 $-\infty$，破坏不等式，淘汰。
• 当 $a > 0$ 时，开口向上，只要顶点的值不低于零即可，等价于 $\Delta = 1 - 4a \le 0$，解得 $a \ge \dfrac{1}{4}$。

答案是 $a \ge \dfrac{1}{4}$。

验一下。 $a = \dfrac{1}{4}$ 时左式 $= \dfrac{1}{4}(x - 2)^2 \ge 0$，恰好贴地；$a = \dfrac{1}{5}$ 时 $\Delta = \dfrac{1}{5} > 0$，抛物线在两根之间掉到零下，不成立。两个方向都对上了。

例3：能成立问题（盯最大值）

已知存在正实数 $x$，使 $x^2 - ax + 4 < 0$，求 $a$ 的取值范围。

"存在"两个字一出现，就要把目光从最小值挪到"够不够得到"这一侧。 由 $x > 0$，原不等式等价于

$$a > x + \frac{4}{x}$$

"存在 $x > 0$ 使 $a > x + \dfrac{4}{x}$"，意思是 $a$ 比 $x + \dfrac{4}{x}$ 能取到的某个值大，也就是 $a$ 比它的最小值大。 设 $\varphi(x) = x + \dfrac{4}{x}$（$x > 0$），求导：

$$\varphi'(x) = 1 - \frac{4}{x^2} = \frac{x^2 - 4}{x^2}$$

$0 < x < 2$ 时 $\varphi$ 递减，$x > 2$ 时递增，所以 $x = 2$ 处取最小值 $\varphi(2) = 4$，能成立的条件是 $a > 4$。

答案是 $a > 4$。 这里配的是最小值而不是最大值，因为不等号朝 $a$——规律始终只有一条：把 $a$ 与 $x$ 分开之后，看 $a$ 是被压住（配最小值）还是够得到（配最大值），跟"存在"还是"任意"无关。

验一下。 $a = 5$ 取 $x = 2$：左式 $4 - 10 + 4 = -2 < 0$，成立；$a = 4$ 时左式 $= (x - 2)^2 \ge 0$，无论 $x$ 取何正数都不小于零，"存在"落空。边界卡得正好。

例4：分母变号，必须分段（分离参数的陷阱）

已知 $a(x + 1) \le x^2 + 2$ 对任意 $x \in [-2, 0]$ 恒成立，求 $a$ 的取值范围。

一眼看上去想同除 $(x + 1)$ 把 $a$ 分离出来，可这一步不能走——因为 $x + 1$ 在 $[-2, 0]$ 上会变号。 $x = -1$ 时它为零，$x < -1$ 时为负，$x > -1$ 时为正。除以一个变号的式子，不等号朝哪边都说不清。所以按 $x = -1$ 把区间切成三段。

• $x = -1$： 左式 $= 0$，右式 $= 3$，$0 \le 3$ 恒真，对 $a$ 没有任何限制。
• $-1 < x \le 0$： 此时 $x + 1 > 0$，同除不翻号，得 $a \le \dfrac{x^2 + 2}{x + 1}$。设 $\varphi(x) = \dfrac{x^2 + 2}{x + 1}$，求导：

$$\varphi'(x) = \frac{2x(x + 1) - (x^2 + 2)}{(x + 1)^2} = \frac{x^2 + 2x - 2}{(x + 1)^2}$$

分子 $x^2 + 2x - 2$ 的零点在 $x = -1 \pm \sqrt{3}$，约为 $0.73$ 与 $-2.73$，都落在 $(-1, 0]$ 之外；在 $(-1, 0]$ 内分子恒负，故 $\varphi$ 递减。$x \to -1^{+}$ 时 $\varphi \to +\infty$，$\varphi(0) = 2$，所以这一段最小值是 $2$，条件为 $a \le 2$。

• $-2 \le x < -1$： 此时 $x + 1 < 0$，同除要翻号，得 $a \ge \dfrac{x^2 + 2}{x + 1}$。还是那个 $\varphi$，它在 $[-2, -1)$ 上同样递减，$\varphi(-2) = \dfrac{6}{-1} = -6$，$x \to -1^{-}$ 时 $\varphi \to -\infty$。这一段最大值是 $-6$，条件为 $a \ge -6$。

两段合起来，答案是 $-6 \le a \le 2$。

验一下。 $a = 2$ 取 $x = 0$：左式 $2$、右式 $2$，恰好取等；$a = -6$ 取 $x = -2$：左式 $6$、右式 $6$，也恰好取等；越界检验——$a = 3$ 取 $x = 0$ 得 $3 \le 2$ 为假，$a = -7$ 取 $x = -2$ 得 $7 \le 6$ 为假，两端都被卡死。答案与端点严格吻合。

例5：端点效应（闭区间上的最小值不一定在内部）

已知 $x^3 - 3x + a \ge 0$ 对任意 $x \in [-2, 2]$ 恒成立，求 $a$ 的取值范围。

闭区间求最小值，候选点有三类：内部驻点和两个端点，一个都不能少。 设 $f(x) = x^3 - 3x + a$，求导：

$$f'(x) = 3x^2 - 3 = 3(x - 1)(x + 1)$$

驻点是 $x = \pm 1$，都在区间内部。把四个候选点全算出来：

$$f(-2) = a - 2, \quad f(-1) = 2 + a, \quad f(1) = a - 2, \quad f(2) = 2 + a$$

最小值是 $a - 2$，它在内部驻点 $x = 1$ 和左端点 $x = -2$ 同时取到。 恒成立等价于最小值 $\ge 0$，即 $a \ge 2$。

左端点 $x = -2$ 和驻点 $x = 1$ 打成平手。 可别因此就觉得端点不重要：换一个函数，最小值完全可能只在端点取到，那时只算驻点就是致命伤。养成"驻点、端点一起列"的习惯才稳。

答案是 $a \ge 2$。

验一下。 $a = 2$ 时 $f(x) = x^3 - 3x + 2 = (x - 1)^2(x + 2)$，在 $[-2, 2]$ 上恒非负，等号取在 $x = 1$ 与 $x = -2$；$a = 1$ 时 $f(1) = -1 < 0$，不成立。方向正确。

混合问题：∀ 与 ∃ 同框

一旦题里同时出现"任意"和"存在"，就把两层量词从外往里逐层翻译。 最典型的是"对任意 $x_1 \in D_1$，都存在 $x_2 \in D_2$，使 $f(x_1) \le g(x_2)$"。

外层是"对任意"，内层是"存在"。 内层"存在某个 $x_2$"其实在说：只要 $f(x_1)$ 不超过 $g$ 的最大值，就一定逮得到那个 $x_2$。把这个内层结论代回外层，外层要求对每个 $x_1$ 都成立，于是 $f(x_1)$ 再取一次最大值：

对任意 $x_1$、存在 $x_2$，使 $f(x_1) \le g(x_2)$ $\iff \max f \le \max g$。

同框的量词有几种常见组合，对照着记最省心：

题目写法	等价条件
对任意 $x_1$，存在 $x_2$，使 $f(x_1) \le g(x_2)$	$\max f \le \max g$
对任意 $x_1$，存在 $x_2$，使 $f(x_1) \ge g(x_2)$	$\min f \ge \min g$
存在 $x_1$，对任意 $x_2$，使 $f(x_1) \ge g(x_2)$	$\max f \ge \max g$

规律是：外层的量词决定最后取 $\max$ 还是 $\min$，内层被"压"成对方的一个极值——"对任意封最小值给对面，存在封最大值给对面"。

小例：对任意 $x_1 \in [0, 1]$，都存在 $x_2 \in [0, 1]$，使 $x_1 \le x_2^2 + a$ 成立，求 $a$ 的取值范围。

按表第一行，条件化为 $\max f \le \max g$，即 $1 \le 1 + a$，所以 $a \ge 0$。

验一下。 $a = 0$：给定 $x_1 = 1$，取 $x_2 = 1$ 时 $1 \le 1$ 成立；$a < 0$ 时 $x_1 = 1$ 找不到任何 $x_2$ 让 $1 \le x_2^2 + a$（右侧最大只有 $1 + a < 1$），失败。答案 $a \ge 0$ 正确。

在高中数学体系里的位置

恒成立与能成立是导数综合题的高频落点，通常坐在压轴题的最后一位。

从知识链条看，它是前面所有工具的汇合处。 要解它，你得先会求单调性、会定极值最值（前面几讲的活），再会拿量词把题目翻译成"最值比较"（这一讲的活），遇上参数还得分类讨论（第 11 讲的活）。一题之内，几乎把导数那一章的家当都用上。

从考查角度看，三个动作反复出现： 一是辨量词，分清"任意"还是"存在"；二是做差分离，把含参问题变成不含参的最值问题；三是分类讨论，处理参数正负、分母变号、$a = 0$ 这些岔路口。核心动作始终只有一个——把不等式问题翻译成函数的最值问题。

思考与拓展

1. 已知 $x^2 - 2x + a \ge 0$ 对任意 $x \in [0, 3]$ 恒成立，求 $a$ 的范围。（提示：最小值在顶点 $x = 1$。）
2. 已知 $e^x - ax \ge 0$ 对任意 $x \ge 0$ 恒成立，求 $a$ 的范围。（提示：分离得 $a \le \dfrac{e^x}{x}$，求 $\dfrac{e^x}{x}$ 在 $x > 0$ 上的最小值，$x = 0$ 处单独算。）
3. 已知存在 $x_0 \in [0, 2]$ 使 $x^2 - 2x + a < 0$，求 $a$ 的范围。（提示：看最小值有没有掉到零以下。）
4. 对任意 $x > 0$，都有 $\ln x \le ax$ 成立，求 $a$ 的最小值。（提示：$a \ge \dfrac{\ln x}{x}$，求 $\dfrac{\ln x}{x}$ 的最大值。）
5. 已知 $x^2 - ax + 1 \ge 0$ 对任意 $x \in [1, 3]$ 恒成立，求 $a$ 的范围。（提示：$x > 0$，可放心同除 $x$，得 $a \le x + \dfrac{1}{x}$。）

高考母题

（2024·全国甲卷） 已知函数 $f\left ( { x } \right )=\left ( { 1-ax } \right )ln\left ( { 1+x } \right )-x$ ．
(1)当 $a=-2$ 时，求 $f\left ( { x } \right )$ 的极值；
(2)当 $x≥0$ 时， $f\left ( { x } \right )≥0$ ，求 $a$ 的取值范围．

展开详解

(1)极小值为 $0$ ，无极大值.
(2) $a≤-\frac { 1 } { 2 }$ 【分析】
（1）求出函数的导数，根据导数的单调性和零点可求函数的极值.
（2）求出函数的二阶导数，就 $a≤-\frac { 1 } { 2 }$ 、 $-\frac { 1 } { 2 } < a < 0$ 、 $a≥0$ 分类讨论后可得参数的取值范围.
（1）当 $a=-2$ 时， $f(x)=(1+2x)ln(1+x)-x$ ， 故 $f'(x)=2ln(1+x)+\frac { 1+2x } { 1+x }-1=2ln(1+x)-\frac { 1 } { 1+x }+1$ ， 因为 $y=2ln(1+x),y=-\frac { 1 } { 1+x }+1$ 在 $\left ( { -1,+∞ } \right )$ 上为增函数， 故 $f'(x)$ 在 $\left ( { -1,+∞ } \right )$ 上为增函数，而 $f'(0)=0$ ， 故当 $-1 < x < 0$ 时， $f'(x) < 0$ ，当 $x>0$ 时， $f'(x)>0$ ， 故 $f\left ( { x } \right )$ 在 $x=0$ 处取极小值且极小值为 $f\left ( { 0 } \right )=0$ ，无极大值.
（2） $f'\left ( { x } \right )=-aln\left ( { 1+x } \right )+\frac { 1-ax } { 1+x }-1=-aln\left ( { 1+x } \right )-\frac { \left ( { a+1 } \right )x } { 1+x },x>0$ ， 设 $s\left ( { x } \right )=-aln\left ( { 1+x } \right )-\frac { \left ( { a+1 } \right )x } { 1+x },x>0$ ， 则 $s'\left ( { x } \right )=\frac { -a } { x+1 }-\frac { \left ( { a+1 } \right ) } { \left ( { 1+x } \right ) ^ { 2 } }=-\frac { a\left ( { x+1 } \right )+a+1 } { \left ( { 1+x } \right ) ^ { 2 } }=-\frac { ax+2a+1 } { \left ( { 1+x } \right ) ^ { 2 } }$ ， 当 $a≤-\frac { 1 } { 2 }$ 时， $s'\left ( { x } \right )>0$ ，故 $s\left ( { x } \right )$ 在 $\left ( { 0,+∞ } \right )$ 上为增函数， 故 $s\left ( { x } \right )>s\left ( { 0 } \right )=0$ ，即 $f'\left ( { x } \right )>0$ ， 所以 $f\left ( { x } \right )$ 在 $\left [ { 0,+∞ } \right )$ 上为增函数，故 $f\left ( { x } \right )≥f\left ( { 0 } \right )=0$ . 当 $-\frac { 1 } { 2 } < a < 0$ 时，当 $0 < x < -\frac { 2a+1 } { a }$ 时， $s'\left ( { x } \right ) < 0$ ， 故 $s\left ( { x } \right )$ 在 $\left ( { 0,-\frac { 2a+1 } { a } } \right )$ 上为减函数，故在 $\left ( { 0,-\frac { 2a+1 } { a } } \right )$ 上 $s\left ( { x } \right ) < s\left ( { 0 } \right )$ ， 即在 $\left ( { 0,-\frac { 2a+1 } { a } } \right )$ 上 $f'\left ( { x } \right ) < 0$ 即 $f\left ( { x } \right )$ 为减函数， 故在 $\left ( { 0,-\frac { 2a+1 } { a } } \right )$ 上 $f\left ( { x } \right ) < f\left ( { 0 } \right )=0$ ，不合题意，舍. 当 $a≥0$ ，此时 $s'\left ( { x } \right ) < 0$ 在 $\left ( { 0,+∞ } \right )$ 上恒成立， 同理可得在 $\left ( { 0,+∞ } \right )$ 上 $f\left ( { x } \right ) < f\left ( { 0 } \right )=0$ 恒成立，不合题意，舍； 综上， $a≤-\frac { 1 } { 2 }$ . 【点睛】
思路点睛：导数背景下不等式恒成立问题，往往需要利用导数判断函数单调性，有时还需要对导数进一步利用导数研究其符号特征，处理此类问题时注意利用范围端点的性质来确定如何分类.

一句话总结

恒成立看最小值，能成立看最大值；分离参数别乱除，端点也要代进去。把量词翻译成最值，答案就浮出来了。