你有没有被“恒成立”三个字吓住？反正我第一次遇到的时候，脑子里全是问号。什么叫做“恒成立”？就是不管x取什么值，这个不等式都成立。对，永远成立。有点像你和朋友说“我永远不喝奶茶”——虽然你自己都不信，但数学里这种话是可以验证的。
其实这类题没那么玄乎。今天咱们就把它的老底揭一揭。
一、先弄懂“恒成立”在说什么
先看个字面的。不等式恒成立，就是给定一个含x的不等式，比如 x^2 – 4x + 3 > 0，要求对某个范围内的每一个x，不等式都得大于0。注意是“每一个”！不是存在某个，也不是很多个，是每一个。这就是恒成立和“有解”最大的不同。有解是“好歹给我一个就行”，恒成立是“一个都不能少”。这差别，就像你班主任说“全班及格”和“有人及格”一样，完全是两码事。
二、核心要点：分离参数和图像法
说真的，恒成立题目的解法虽然花样百出，但骨子里主要两条路。
第一条路：分离参数。把参数a单独扔到一边，另一边变成一个关于x的函数。比如原不等式是 a > f(x) 恒成立，那你就去研究f(x)的最大值，只要a比最大值还大，就行。如果是 a < f(x) 恒成立，那就得看最小值。这时候问题的核心就是“求函数最值”。看起来简单吧？但陷阱往往藏在函数本身——比如定义域、单调性、有没有取不到的值。
第二条路：图像法。把不等号两边看成两个函数，然后画图。恒成立就意味着一个函数的图像永远在另一个的上方（或者下方）。这个直观，但画图你得画准，特别是二次函数开口方向、对称轴、判别式这些，一个搞错就全完了。
三、常见误区：别踩这三个坑
我教了这么多年，见过的学生踩坑姿势不要太多。列几个最常见的。
误区一：忘了“恒成立”和“存在性”的区别。题目说存在一个x让不等式成立，和任意x都成立，解法完全不同。前者你只要找到函数的最大值或最小值就行，后者你得比较极值。很多同学一看到“不等式”就激动，直接上分离参数，结果完全做反了。
误区二：参数分离之后，不等号方向搞反。比如 a > f(x) 恒成立，那a要大于f(x)的最大值。但有的同学记成最小值。其实你想想，如果f(x)最大是5，那只要a>5，是不是所有x都满足？对。那如果f(x)最小是2，你a>2就能保证所有x都大于2吗？不一定啊，万一f(x)还有4、5呢？所以记清楚：大于恒成立，看最大；小于恒成立，看最小。
误区三：定义域没管。特别是分式或者带根号的，定义域一变，函数值域就变，你求的最值可能根本不奏效。比如 x + \frac{1}{x} 在 x>0 时有最小值2，但如果在整个实轴上，这玩意儿就没有最小值了。所以先求定义域，再谈恒成立。
四、实例说明：看三道题怎么被干翻
光说不练假把式。咱们来点真家伙。
例1：二次不等式恒成立
已知对任意实数x，不等式 ax^2 – ax + 1 > 0 恒成立，求a的取值范围。
先别急着分类讨论。我们分析：二次项系数带a，所以先讨论a=0。a=0时，原式变成1>0，恒成立，行！a≠0时，要让它恒大于0，必须开口向上且判别式小于0。开口向上要求a>0，判别式 (-a)^2 – 4a = a^2 – 4a < 0，解得0
例2：分离参数法
已知当 1≤x≤3 时，x^2 – 2x + a ≥ 0 恒成立，求a的取值范围。
把a单独放：a ≥ -x^2 + 2x 恒成立。注意不等号是≥，所以a要大于等于右边函数在[1,3]上的最大值。令 g(x) = -x^2 + 2x，这是个开口向下的抛物线，对称轴x=1，在[1,3]上单调递减，所以最大值在x=1处取得，g(1)=1。那么a≥1。如果这里你搞成最小值，那就大错特错。
例3：图像法的妙用
关于x的不等式 |x – 1| ≥ k 对任意x∈R恒成立，求k的范围。
这个如果你直接代数，得分类讨论，麻烦。画图：左边是V型绝对值函数，最小值在x=1处，值为0。要让这个V型永远在水平线y=k的上方（或重合），那k必须小于等于0。所以k≤0。简单吧？但很多同学会写成k≥0，因为觉得绝对值非负。其实绝对值最小值是0，k要是正数，那在x=1附近不就小于k了吗？所以反了。
最后再说一句：恒成立题型的本质，就是把“任意”转化成“最值”。你只要抓住这个核心，再小心几个坑，基本就稳了。做题的时候别激动，一步一步来，先看定义域，再选方法，最后检查临界值。好了，赶紧找几道题练练手，你会有感觉的。
