这一类题的全部难度,压缩到一句话就是:量词决定用最大值还是最小值。「恒成立」(∀,任意)要保证所有 x 都满足,盯的是最「不利」的那个点;「能成立」(∃,存在)只要有一个 x 满足就够,盯的是最「有利」的那个点。同一个不等式,量词一换,取 max 还是 min 直接翻转——这也是本专题最大的失分点。
为什么: 「对所有 x 都有 f(x)≥a」,最难满足的情形就是 f(x) 取到最小值的那个 x——只要那个最小值都 ≥ a,别的点自然更没问题(因为别的点 f(x) 更大)。所以「恒成立」永远转化成「求 f(x) 在区间 D 上的最值,再让最值满足不等式」。
解题三步: ① 确认量词是「恒成立(任意/对一切)」;② 求 f(x) 在给定区间上的 min(若不等号是 ≥)或 max(若不等号是 ≤);③ 令这个最值与 a 的不等式成立,解出 a 的取值范围。
⚠ 恒成立找的是最不利的点——f(x)≥a 要保底,保底靠 min;f(x)≤a 要封顶,封顶靠 max。别一看到「恒成立」就条件反射用 max。
曲线 f(x)=x²−4x+6(x∈[0,4])。拖动滑块改变水平线 y=a 的位置。切换"恒成立/能成立"看同一条曲线对 a 的要求为什么完全不同:恒成立卡的是最低点,能成立卡的是最高点。
为什么: 「存在一个 x 使 f(x)≥a」,只要找到最容易满足的那个点就行——那当然是 f(x) 取最大值的地方。如果连最大值都 < a,那所有点都不行,存在性彻底失败;只要最大值 ≥ a,就至少有一个点(取最大值的那个)满足。
| 量词 | 不等号 | 转化 |
|---|---|---|
| ∀(恒成立) | f(x)≥a | f(x)min ≥ a |
| ∀(恒成立) | f(x)≤a | f(x)max ≤ a |
| ∃(能成立) | f(x)≥a | f(x)max ≥ a |
| ∃(能成立) | f(x)≤a | f(x)min ≤ a |
⚠ 全专题头号陷阱:把「能成立」当「恒成立」做,max/min 张冠李戴。判断口诀——「恒成立要卡最不利的点,能成立要卡最有利的点」;≥ 型找「顶」(max 顶得住/顶不住),≤ 型找「底」(min 压得下/压不下)。
四个按钮对应四条核心公式。红点=f(x)min,蓝点=f(x)max。规则会自动判定"这个量词+不等号"下,当前 a 是否使命题成立——注意四种情形被卡住的点(红/蓝)完全不同。
当不等式里 a 和 x 混在一起时,优先尝试分离参数:把含 a 的项移到一边、只剩 x 的项移到另一边,变成 a≥g(x) 或 a≤g(x) 的形式,再对 g(x) 用最值法。
好处: 分离后 a 是常数,g(x) 是纯函数,只需求 g(x) 的最值(导数/单调性/图像),不必对 a 分类讨论,大大简化计算。
⚠ 分离时如果要在不等式两边同乘/除一个含 x 的式子,必须先判断这个式子的正负——除以负数要变号!(比如原不等式含 (x−1) 作分母/因子,x>1 与 x<1 时不等号方向不同,必须分类讨论或先确认符号不变的定义域。)
g(x)=x+4/x(x∈[1,5]的部分曲线,x>0),对勾函数,最小值在 x=2 处取到(g(2)=4)。拖动 a 观察:恒成立要求 a 在曲线最高点之上;能成立只要 a 在曲线最低点之上就行。
当不等式里出现两个独立变量 x₁∈D₁、x₂∈D₂(常各自属于不同函数 f、g 的定义域)时,要先看清楚量词的配对方式,再各自转化为最值:
| 命题 | 转化条件 | 直觉 |
|---|---|---|
| ∀x₁∀x₂, f(x₁)≥g(x₂) | f(x)min ≥ g(x)max | f 最不利的点也要压过 g 最有利的点 |
| ∀x₁∃x₂, f(x₁)≥g(x₂) | f(x)min ≥ g(x)min | f 最不利的点只需压过 g 最不利的点 |
| ∃x₁∀x₂, f(x₁)≥g(x₂) | f(x)max ≥ g(x)max | f 挑最有利的点去压 g 最不利的点 |
| ∃x₁∃x₂, f(x₁)≥g(x₂) | f(x)max ≥ g(x)min | f 挑最有利的点压 g 最有利的点,要求最松 |
记忆法: 谁的量词是「∀」,谁就要用对自己最不利的那个值(f 是 ∀ 用 min,g 是 ∀ 用 max——因为 g 在不等式右边,对 g 而言"最不利"是 g 尽量大,让不等式最难成立);谁的量词是「∃」,谁就用对自己最有利的那个值(f 是 ∃ 用 max,g 是 ∃ 用 min)。四种情形按此口诀可以直接推出,不必死记表格。
⚠ 最容易混的是「∀x₁∃x₂」和「∃x₁∀x₂」这两种不对称的情形——谁在前(外层量词)、谁在后不影响转化,真正起作用的是每个变量自己的量词,f 对应 x₁ 的量词决定 f 取 min 还是 max,g 对应 x₂ 的量词决定 g 取 min 还是 max,两者互不干扰、各自处理。
上方红色曲线是 f(x₁),下方蓝色曲线是 g(x₂)。命题是 f(x₁)≥g(x₂)。每切换一种量词配对,自动高亮 f 与 g 各自该取的点(min/max),并给出转化后的判定条件。
有些题目里 a 无法干净地分离出来(比如 a 乘在最高次项上、或 a 的符号影响开口方向),这时只能对 a 分类讨论,把参数的每种取值情形下的最值单独求出来。
标准流程: ① 求导(或配方)找出 f(x) 的单调区间和驻点,驻点位置往往含 a;② 讨论驻点与区间 D 端点的相对位置(驻点在 D 左边 / 中间 / 右边 三种);③ 每种情形下分别写出 min 或 max 的表达式;④ 让最值满足不等式,解出 a 在该分类下的范围;⑤ 各分类结果取并集(能成立)或交集(需要在所有分类下都保证,视题目要求)。
⚠ 分类讨论必须不重不漏——分类的分界点(比如对称轴恰好等于区间端点)要明确划归到哪一类,通常用「≤」「<」小心处理边界归属,避免既遗漏又重复讨论同一情形。
把不等式 f(x)≥g(x)(恒成立/能成立)看成两条曲线 y=f(x) 与 y=g(x) 的上下位置关系:恒成立要求在整个区间上 f 的图像始终不低于 g 的图像;能成立只要求至少有一段(哪怕一点) f 的图像不低于 g。
临界情形往往是"相切"或"端点相交": 恒成立的临界 a,通常发生在两条曲线相切(此时 f−g 的最小值恰好为 0)或在区间端点取等的位置;能成立的临界 a,通常发生在两条曲线刚好在某一点相交(交点处 f−g 从负变正,或干脆两函数在此处相等)。
⚠ 数形结合只是辅助判断、定位临界点,最终结论仍要靠代数(导数求最值、解方程)严格验证——图像看着"像是相切"不代表真的相切,必须代入验证判别式=0或导数=0等条件。
红色曲线 f(x)=x²+1,蓝色曲线 g(x)=a·x(x∈[0,3])。拖动 a 观察两线的上下关系如何随 a 变化,恒成立/能成立各自的临界 a 值不同。
当区间是闭区间 [m,n] 时,最值可能恰好在端点取得,此时不等式里的等号能否取到,决定了 a 的范围是开区间还是闭区间端点。务必看清原题不等式是 ≥/≤(可取等)还是 >/<(不可取等)。
开区间/半开区间同理要小心: 若区间是开区间 (m,n),最值可能取不到(只是下确界/上确界),这时恒成立/能成立的判定要用极限的眼光看,而不能直接代端点值。
⚠ 常见丢分:把闭区间的端点值当端点"取不到"处理,或者反过来把开区间的极限值当成"能取到"的最值直接代入求 a 的等号——两者本质不同,必须对照原不等式是否为严格不等号仔细核对。
触发信号:「对任意 x∈D,不等式恒成立,求 a 的取值范围」,不等式两边已分好 f(x) 与 a。
标准动作:判断不等号方向,求 f(x) 在 D 上的 min(≥型)或 max(≤型),令最值满足对 a 的不等式。
示例(带解):∀x∈[0,3],x²−2x+3≥a 恒成立。f(x)=x²−2x+3=(x−1)²+2,在 [0,3] 上 min 在 x=1 处取到,f(1)=2。恒成立 ⇔ a≤f(x)min=2,即 a≤2。
陷阱:忘记先确定区间上真正的最小值点(顶点是否落在区间内);把 min 错用成 max。
触发信号:「存在 x∈D,使不等式成立」「不等式有解」「能成立」,求 a 的范围。
标准动作:≥型用 f(x)max,≤型用 f(x)min,与恒成立的取法正好相反。
示例(带解):∃x∈[0,3],x²−2x+3≥a 有解。f(x)max 在 x=3 处,f(3)=9−6+3=6。能成立 ⇔ a≤f(x)max=6,即 a≤6(比恒成立的 a≤2 宽松得多!)。
陷阱:误用 min 代替 max(把能成立当恒成立做);漏掉"有解"就是"能成立"的同义表达。
触发信号:不等式里 a 与 x 可以整理分开,如 a≥x²/(x+1) 或 a·x≤x²+1 这类可以两边同除、移项分离 a 的式子。
标准动作:先分离出 a≥g(x)(或 a≤g(x)),再对 g(x) 求最值(区分恒成立用 max/min、能成立用 min/max)。除以含 x 式子前先判断正负。
示例(带解):∀x>0,不等式 a≥(x²+2x)/x 恒成立。化简 g(x)=x+2(x>0),g(x) 在 x→0⁺ 时趋于 2 但取不到(开区间下确界),g(x) 无最大值只有下确界 2,恒成立要求 a≥g(x)max,但 g(x) 随 x 增大无上界 → 此类问题需要重新审视原式是否为 g(x) 有界的形式(此例意在提醒:分离后要先看清 g(x) 在 D 上是否真的有界/存在最值)。
陷阱:分离时除以变号量没有分类讨论;误以为分离后的 g(x) 一定存在最值(要先确认单调性和端点行为)。
触发信号:题目出现两个独立变量,分属两个函数,如「∀x₁∈[1,e],∃x₂∈[1,e],使 f(x₁)≥g(x₂)」。
标准动作:先看清每个变量各自的量词(∀还是∃),按④的四种配对表分别转化为 f、g 的 min/max 关系,再解不等式。
示例(带解):∀x₁∈[1,2],∃x₂∈[1,2],使 x₁²≥ax₂ 成立。即 ∀x₁∃x₂,f(x₁)=x₁²≥g(x₂)=ax₂(设a>0)。条件为 f(x)min≥g(x)min:f(x)min=1(x₁=1处);g(x)min=a(x₂=1处,a>0时)。需要 1≥a,即 0<a≤1。
陷阱:量词配对弄反(把 ∀x₁∃x₂ 当成 ∀x₁∀x₂ 处理);没有先确认 a 的正负导致 g(x) 单调性判断错误。
触发信号:参数 a 无法分离(乘在最高次项、影响单调区间或开口方向),导数为0的点含参数。
标准动作:求导,令驻点表达式含 a,按驻点与区间端点的相对位置分类讨论,每类下写出 min/max,再解不等式,最后综合各类结果。
示例(带解):∀x∈[0,2],x²−2ax+1≥0 恒成立(a为参数)。f(x)=x²−2ax+1,对称轴 x=a。① a≤0时,f(x)在[0,2]递增,min=f(0)=1≥0恒成立;② 0<a<2时,min=f(a)=1−a²≥0 ⇒ −1≤a≤1,结合0<a<2得0<a≤1;③ a≥2时,f(x)递减,min=f(2)=5−4a≥0 ⇒ a≤5/4,矛盾(与a≥2不符,此段无解)。综合:a≤1。
陷阱:分类边界(a=0,a=2)漏讨论或重复讨论;某一段算出的a范围与该段的前提条件(如a≥2)不核对就直接采用。
触发信号:不等式两边可以看成两个熟悉的图像(直线、抛物线、指数/对数曲线),或题目提示"结合图像"。
标准动作:画出 y=f(x)、y=g(x)(或 y=a 这条水平/斜线),观察上下位置关系,猜测临界发生在相切或端点,再代数验证(判别式=0、导数相等等)。
示例(带解):∀x∈R,x²+1≥ax 恒成立,求a范围。图像上看,抛物线 y=x²+1 与直线 y=ax 的关系:恒成立⇔抛物线不低于直线⇔x²−ax+1≥0对一切x成立⇔判别式Δ=a²−4≤0⇔−2≤a≤2。（相切时Δ=0，正是临界a=±2。）
陷阱:图像法只能"猜"临界点在哪,不能代替代数证明;判别式法只适用于二次式恒成立(要先确认最高次系数不为0或另行讨论)。
① 恒成立 vs 能成立的 max/min 取反:恒成立(∀)的 ≥ 型用 min,≤ 型用 max;能成立(∃)恰好相反,≥ 型用 max,≤ 型用 min。这是全专题最大陷阱,做题前先圈出量词。
② 分离参数时,若两边同乘/除的量含未知的正负(比如含 x 的因式),必须先判断符号,除以负数要变号,否则要分类讨论。
③ 双变量问题的量词配对搞混:每个变量各自的量词决定它对应函数取 min 还是 max,跟量词出现的先后顺序无关。
④ 闭区间端点能否取等没看清楚:原不等式是 ≥/≤ 还是严格的 >/<,决定端点值能不能被 a 触及。
⑤ 求最值时,漏看定义域限制,把不在给定区间 D 内的驻点/顶点也当成最值点代入。
⑥ 分类讨论不重不漏:分界点(比如对称轴=区间端点)必须明确划归一边,否则会漏掉或重复某段区间的情形。
⑦ 把「能成立」「有解」「存在」等同义表达当成「恒成立」处理,导致直接用错公式。
⑧ 数形结合看出的"相切"只是猜测,必须用判别式=0或导数相等等代数方法验证,不能仅凭图像下结论。
⑨ 混淆"f(x)在D上没有最大值(只有上确界)"与"存在最大值"——若区间开、或函数在边界趋于某值但取不到,不能直接把这个极限值当最值代入求等号。
⑩ 双变量问题里,把两个变量的定义域搞混——x₁、x₂ 各自的取值范围可能不同,求 f、g 的最值时要分别按各自的定义域求。
① 恒成立与能成立本质是"存在性量词的对偶": 逻辑上 ∀x, f(x)≥a 的否定是 ∃x, f(x)<a,也就是"存在反例"。理解这层对偶关系,你就明白为什么恒成立要卡"最不利点"(把所有可能的反例都堵死),而能成立只要"抓一个正例"(找到最有利点即可)——两者是同一枚硬币的正反面。
② 双变量四种情形可以用"谁在乎最坏情况"统一理解: 对每个变量,若它的量词是 ∀,说明这个变量要为"最坏情况"负责(所以取让不等式最难成立的那个值);若量词是 ∃,说明这个变量可以"自己挑一个最好的值来帮忙"。把这个原则套到 f、g 上,四种配对情形不用死记表格,当场就能推出来。
③ 分离参数的本质是"把变量隔离,降低耦合": 只要能把 a 和 x 拆到不等式两侧,问题就从"研究一个含参函数的性质"降级为"研究一个不含参数的函数 g(x) 的最值"——难度直接下降一个台阶。所以拿到题目第一反应永远是"能不能分离参数",分离不了才退而求其次分类讨论。
④ 端点取等问题的本质是"确界能否被达到": 闭区间上连续函数的最值一定能取到(最值定理),所以端点取等只是符号问题(≥还是>);但开区间上函数可能只有下确界/上确界取不到,这时候要用极限语言而非直接代入端点值——这是"数学分析思维"提前渗透到高中题里的地方。
⑤ 数形结合与代数法要"互相印证,而非互相替代": 图像帮你快速定位临界值大概在哪(相切/交点),但最终的严格证明(比如判别式、导数为零)才是拿分的关键步骤。考场上高效的策略是"先用图像猜、再用代数证",而不是二选一。
thebest2dan · 数学攻坚包 · 恒成立/能成立(存在性)问题