函数、不等式恒成立问题解法(老师用)恒成立问题的基本类型:类型1:设)0()(2≠++=a c bx ax x f ,(对于任意实数R 上恒成立) (1)R x x f ∈>在0)(上恒成立00<∆>⇔且a ; (2)R x x f ∈<在0)(上恒成立00<∆<⇔且a 。
类型2:设)0()(2≠++=a c bx ax x f (给定某个区间上恒成立)(1)当0>a 时,],[0)(βα∈>x x f 在上恒成立⎪⎩⎪⎨⎧>>-⎪⎩⎪⎨⎧<∆≤-≤⎪⎩⎪⎨⎧><-⇔0)(2020)(2βββαααf a bab f a b 或或, ],[0)(βα∈<x x f 在上恒成立⎩⎨⎧<<⇔0)(0)(βαf f(2)当0<a 时,],[0)(βα∈>x x f 在上恒成立⎩⎨⎧>>⇔0)(0)(βαf f],[0)(βα∈<x x f 在上恒成立⎪⎩⎪⎨⎧<>-⎪⎩⎪⎨⎧<∆≤-≤⎪⎩⎪⎨⎧><-⇔0)(2020)(2βββαααf a bab f a b 或或 类型3:αα>⇔∈>min )()(x f I x x f 恒成立对一切 αα>⇔∈<max )()(x f I x x f 恒成立对一切。
类型4:)()()()()()()(max min I x x g x f x g x f I x x g x f ∈>⇔∈>的图象的上方或的图象在恒成立对一切 恒成一、用一次函数的性质对于一次函数],[,)(n m x b kx x f ∈+=有:⎩⎨⎧<<⇔<⎩⎨⎧>>⇔>0)(0)(0)(,0)(0)(0)(n f m f x f n f m f x f 恒成立恒成立 例1:若不等式)1(122->-x m x 对满足22≤≤-m 的所有m 都成立,求x 的范围。
解析:我们可以用改变主元的办法,将m 视为主变元,即将元不等式化为:0)12()1(2<---x x m ,;令)12()1()(2---=x x m m f ,则22≤≤-m 时,0)(<m f 恒成立,所以只需⎩⎨⎧<<-0)2(0)2(f f 即⎪⎩⎪⎨⎧<---<----0)12()1(20)12()1(222x x x x ,所以x 的范围是)231,271(++-∈x 。
二、利用一元二次函数的判别式对于一元二次函数),0(0)(2R x a c bx ax x f ∈≠>++=有: (1)R x x f ∈>在0)(上恒成立00<∆>⇔且a ; (2)R x x f ∈<在0)(上恒成立00<∆<⇔且a例2:若不等式02)1()1(2>+-+-x m x m 的解集是R ,求m 的范围。
解析:要想应用上面的结论,就得保证是二次的,才有判别式,但二次项系数含有参数m ,所以要讨论m-1是否是0。
(1)当m-1=0时,元不等式化为2>0恒成立,满足题意; (2)01≠-m 时,只需⎩⎨⎧<---=∆>-0)1(8)1(012m m m ,所以,)9,1[∈m 。
三、利用函数的最值(或值域)(1)m x f ≥)(对任意x 都成立m x f ≥⇔min )(;(2)m x f ≤)(对任意x 都成立max )(x f m ≥⇔。
简单计作:“大的大于最大的,小的小于最小的”。
由此看出,本类问题实质上是一类求函数的最值问题。
例3:在∆ABC 中,已知2|)(|,2cos )24(sin sin 4)(2<-++=m B f B BB B f 且π恒成立,求实数m 的范围。
解析:由]1,0(sin ,0,1sin 22cos )24(sin sin 4)(2∈∴<<+=++=B B B B BB B f ππΘ,]3,1()(∈B f ,2|)(|<-m B f Θ恒成立,2)(2<-<-∴m B f ,即⎩⎨⎧+<->2)(2)(B f m B f m 恒成立,]3,1(∈∴m 例4:(1)求使不等式],0[,cos sin π∈->x x x a 恒成立的实数a 的范围。
解析:由于函]43,4[4),4sin(2cos sin ππππ-∈--=->x x x x a ,显然函数有最大值2,2>∴a 。
如果把上题稍微改一点,那么答案又如何呢?请看下题: (2)求使不等式)2,0(4,cos sin ππ∈-->x x x a 恒成立的实数a 的范围。
解析:我们首先要认真对比上面两个例题的区别,主要在于自变量的取值范围的变化,这样使得x x y cos sin -=的最大值取不到2,即a 取2也满足条件,所以2≥a 。
所以,我们对这类题要注意看看函数能否取得最值,因为这直接关系到最后所求参数a 的取值。
利用这种方法时,一般要求把参数单独放在一侧,所以也叫分离参数法。
四:数形结合法对一些不能把数放在一侧的,可以利用对应函数的图象法求解。
例5:已知恒成立有时当21)(,)1,1(,)(,1,02<-∈-=≠>x f x a x x f a a x,求实数a 的取值范围。
解析:由x xa x a x x f <-<-=2121)(22,得,在同一直角坐标系中做出两个函数的图象,如果两个函数分别在x=-1和x=1处相交,则由12221)1(211-=--=-a a 及得到a 分别等于2和,并作出函数x x y y )21(2==及的图象,所以,要想使函数x a x <-212在区间)1,1(-∈x 中恒成立,只须x y 2=在区间)1,1(-∈x 对应的图象在212-=x y 在区间)1,1(-∈x 对应图象的上面即可。
当2,1≤>a a 只有时才能保证,而2110≥<<a a 时,只有才可以,所以]2,1()1,21[Y ∈a 。
例6:若当P(m,n)为圆1)1(22=-+y x 上任意一点时,不等式0≥++c n m 恒成立,则c 的取值范围是( ) A 、1221-≤≤--c B 、1212+≤≤-cC 、12--≤cD 、12-≥c解析:由0≥++c n m ,可以看作是点P(m,n)在直线0=++c y x 的右侧,而点P(m,n)在圆1)1(22=-+y x 上,实质相当于是1)1(22=-+y x 在直线的右侧并与它相离或相切。
12111|10|01022-≥∴⎪⎩⎪⎨⎧≥+++>++∴c c c ,故选D 。
同步练习1、设124()lg ,3x xa f x ++=其中a R ∈,如果(.1)x ∈-∞时,()f x 恒有意义,求a 的取值范围。
分析:如果(.1)x ∈-∞时,()f x 恒有意义,则可转化为1240x x a ++>恒成立,即参数分离后212(22)4xx x x a --+>-=-+,(.1)x ∈-∞恒成立,接下来可转化为二次函数区间最值求解。
解:如果(.1)x ∈-∞时,()f x 恒有意义1240x x a ⇔++>,对(,1)x ∈-∞恒成立.212(22)4xx x x a --+⇔>-=-+(.1)x ∈-∞恒成立。
令2x t -=,2()()g t t t =-+又(.1)x ∈-∞则1(,)2t ∈+∞()a g t ∴>对1(,)2t ∈+∞恒成立,又()g t Q 在1[,)2t ∈+∞上为减函数,max 13()()24t g ==-g ,34a ∴≥-。
2、设函数是定义在(,)-∞+∞上的增函数,如果不等式2(1)(2)f ax x f a --<-对于任意[0,1]x ∈恒成立,求实数a 的取值范围。
分析:本题可利用函数的单调性把原不等式问题转化为212ax x a --<-对于任意[0,1]x ∈恒成立,从而转化为二次函数区间最值求解。
解:()f x Q 是增函数2(1)(2)f ax x f a ∴--<-对于任意[0,1]x ∈恒成立212ax x a ⇔--<-对于任意[0,1]x ∈恒成立210x ax a ⇔++->对于任意[0,1]x ∈恒成立,令2()1g x x ax a =++-,[0,1]x ∈,所以原问题min ()0g x ⇔>,又min(0),0()(),2022,2g a a g x g a a >⎧⎪⎪=--≤≤⎨⎪ <-⎪⎩即2min 1,0()1,2042,2a a ag x a a a - >⎧⎪⎪=--+-≤≤⎨⎪ <-⎪⎩ 易求得1a <。
3、 已知当x ∈R 时,不等式a+cos2x<5-4sinx 恒成立,求实数a 的取值范围。
方法一)分析:在不等式中含有两个变量a 及x ,本题必须由x 的范围(x ∈R )来求另一变量a 的范围,故可考虑将a 及x 分离构造函数利用函数定义域上的最值求解a 的取值范围。
解:原不等式4sinx+cos2x<-a+5⇔当x ∈R 时,不等式a+cos2x<5-4sinx 恒成立max -a+5>(4sinx+cos2x)⇔ 设f(x)=4sinx+cos2x 则22f(x)= 4sinx+cos2x=-2sin x+4sinx+1=-2(sinx-1)+3 3≤ ∴-a+5>3a<2∴方法二)题目中出现了sinx 及cos2x ,而cos2x=1-2sin 2x,故若采用换元法把sinx 换元成t,则可把原不等式转化成关于t 的二次不等式,从而可利用二次函数区间最值求解。
解:不等式a+cos2x<5-4sinx 可化为a+1-2sin 2x<5-4sinx,令sinx=t,则t ∈[-1,1],∴不等式a+cos2x<5-4sinx 恒成立⇔2t 2-4t+4-a>0,t ∈[-1,1]恒成立。
设f(t)= 2t 2-4t+4-a ,显然f(x)在[-1,1]内单调递减,f(t)min =f(1)=2-a,∴2-a>0∴a<24、 设f(x)=x 2-2ax+2,当x ∈[-1,+∞)时,都有f(x)≥a 恒成立,求a 的取值范围。
分析:在f(x)≥a 不等式中,若把a 移到等号的左边,则原问题可转化为二次函数区间恒成立问题。