恒成立求参数范围

题型说明

• 常见问法：「$f(x)\ge 0$ 对一切 $x\in I$ 成立，求 $a$ 的范围」「$f(x)>m$ 当且仅当 $x\in J$，求参数的范围」。

• 核心翻译：恒成立 $\Longleftrightarrow$ 最值满足不等式。

  $$f(x)\ge 0\ \text{在}\ I\ \text{上恒成立}\iff \min_{I}f\ge 0,\qquad f(x)\le 0\ \text{在}\ I\ \text{上恒成立}\iff \max_{I}f\le 0 .$$

• 于是问题变成「把最值算出来，再让它满足一个不等式」——求最值的活儿归导数。

三条常用路线

1. 直接求最值：对含参的 $f$ 求导，按参数分类讨论单调区间，写出最值再列不等式。稳，但分类往往很碎。
2. 参变分离：把参数单独拎到一边成 $a\ge\varphi(x)$ 或 $a\le\varphi(x)$，转成 $a\ge\varphi_{\max}$ 或 $a\le\varphi_{\min}$——参数不再影响图象形状，只需研究一个不含参的函数。
3. 必要性探路 + 充分性回验：先取一个特殊点（常是区间端点或使 $f$ 恰好取等的点）挤出参数的一个必要条件，再回头证这个范围确实够用。「当且仅当」型的题几乎都走这条。

「当且仅当」型的特殊结构

题目说「$f(x)>m$ 当且仅当 $x\in(p,q)$」时，有两条免费的信息：

• 端点处取等：若 $p$ 在定义域内部，由连续性必有 $f(p)=m$——这通常直接定出一个参数；
• 两个方向都要管：区间内要 $f>m$（充分性），区间外要 $f\le m$（必要性）。只做一半就是漏解。

常见陷阱

• 只证了「区间内恒成立」，没说明「区间外不成立」，于是求出的范围偏大。
• 忘记定义域：$\ln$、分母、偶次根号都会把区间截短，最值要在截短后的区间上求。
• 参变分离后的 $\varphi$ 在端点取不到最值（只趋近）时，不等号能否取等要单独判。