恒成立问题常见类型及解法

恒成立问题常见类型及解法在高三复习中经常遇到不等式恒成立问题。恒成立问题涉及到一次函数、二次函数的性质、图象，渗透着换元、化归、数形结合、函数与方程等思想方法，恒成立问题的解题的基本思路是：根据已知条件将恒成立问题向基本类型转化，正确选用函数法、最小值法、数形结合法等解题方法求解。恒成立问题在解题过程中大致可分为以下几种类型：（1）一次函数型；（2）二次函数型；（3）变量分离型；（4）根据函数的性质；（5）直接根据函数的图象；（6）反证法。下面通过对具体问题的分析，来说明“恒成立”问题的解题思路。一、一次函数型【理论阐释】给定一次函数()yfxkxb(k≠0),若()yfx在[m,n]内恒有()fx0，则根据函数的图象（线段）可得①0()0kfm或②0()0kfn，也可合并成0)(0)(nfmf，同理，若在[,]mn内恒有()0fx，则有0)(0)(nfmf.nmoxynmoxy若不等式2x121mx对一切2,2m都成立，求实数x的取值范围。【解析】令)(mf＝（21x）m－2x＋1，则上述问题即可转化为关于m的一次函数y()fm在区间[-2，2]内函数值小于0恒成立的问题。考察区间端点，只要(2)7131,(2)22fxf＜0，＜＜＜0解得即x的取值范围是（217，213）.典例导悟二、二次函数型【理论阐释】若二次函数2(0,)yaxbxcaxR的函数值大于0恒成立，则有00a，若是二次函数在指定区间上的恒成立问题，还可以利用韦达定理以及二次函数的图象求解。典例导悟关于x的方程9x+(4+a)3x+4=0恒有解，求a的取值范围。【解析】方法1（利用韦达定理）设3x=t,则t0.那么原方程有解即方程t2+(4+a)t+4=0有正根。1212Δ0(4)040xxaxx，即4016)4(2aa，480aaa或，解得a-8.方法2（利用根与系数的分布知识）即要求t2+(4+a)t+4=0有正根。设f(t)=t2+(4+a)t+4.当=0时，即（4+a）2-16=0,∴a=0或a=-8.当a=0时，f(t)=(t+2)2=0,得t=－20，不合题意；当a=－8时，f(t)=(t-2)2=0,得t=20,符合题意。∴a=-8。当0，即a-8或a0时，∵f(0)=40,故只需对称轴024a，即a－4.∴a－8.综上可得a－8.4oxy三、变量分离型【理论阐释】若在等式或不等式中出现两个变量，其中一个变量的范围已知，另一个变量的范围为所求，且容易通过恒等变形将两个变量分别置于等号或不等号的两边，则可将恒成立问题转化成函数的最值问题求解。典例导悟已知当xR时，不等式a+cos2x5-4sinx+45a恒成立，求实数a的取值范围。【解析】原不等式即：4sinx+cos2x45a-a+5，要使上式恒成立，只需45a-a+5大于4sinx+cos2x的最大值，故上述问题转化成求f(x)=4sinx+cos2x的最值问题。f(x)=4sinx+cos2x=－2sin2x+4sinx+1=－2(sinx-1)2+33,∴45a-a+53即45aa－2，上式等价于2)2(4504502aaaa或04502aa，解得54a8，∴实数a的取值范围为[45,8）.【理论阐释】若函数f(x)是奇(偶)函数，则对一切定义域中的x,f(-x)=－f(x)，(f(-x)=f(x))恒成立；若函数y=f(x)的周期为T，则对一切定义域中的x,有f(x)=f(x+T)恒成立。四、利用函数的性质解决恒成立问题典例导悟已知函数()sincosfxxax的图象的一条对称轴方程为4x，求实数a的值。【解析】根据题意，对任意的xR，都有()()2fxfx，即sincossin()cos()cossin22xaxxaxxax，也即(1)(cossin)0axx对任意xR都成立，所以只能1a。五、把不等式恒成立问题转化为函数图象问题【理论阐释】若把不等式进行合理的变形后，能非常容易地画出不等号两边函数的图象，这样就把一个很难解决的不等式的问题转化为一个可行的函数图象的问题，然后从图象中寻找条件，就能解决问题。典例导悟若不等式logsin2(01)axxaa且对于任意x∈(0,]4都成立，求a的取值范围.【解析】作出函数sin2yx的图象，由题意知在x∈(0,4］上，函数logayx的图象总在函数sin2yx的图象的上方.01a。作直线x=4，与logayx和sin2yx的图象分别交于A、B两点，为保证logayx在区间（0，4］上的图象在sin2yx图象的上方，不难从图中得到其条件是点A在点B的上方。当x=4时，logsin(2)1log44aaa,又01a，得4a1。六、采用逆向思维，考虑使用反证法【理论阐释】恒成立问题有时候从正面很难入手，这时如果考虑问题的反面，会对解题带来一定的帮助，所谓“正难则反”就是这个道理。典例导悟设()yfx是定义在实数集R上的函数，对任意实数12xx、都有1212()()()fxxfxfx，且存在实数a，使()0fa。求证：对任意实数x，()0fx恒成立。【解析】这是一个抽象函数的证明题，由1212()()()fxxfxfx，只要令122xxx，就能得到2()()()()()022222xxxxxfxffff，接下来要证明对任意实数x，()fx都不等于0。这是一个恒成立问题。从正面直接证明比较困难，所以可以考虑反证法，即如果找到一个0xR使0()0fx，能推出矛盾就行了。事实上，若存在0xR使0()0fx，则对任意实数x，有0000()[()]()()0fxfxxxfxxfx，显然这与题设“存在实数a，使()0fa”矛盾。