例谈用减元法证明一类双零点不等式我们知道,若函数fx在0xx时取到极值,则称0x为函数fx的极值点.比如二次函数2()(0)fxaxbxca的极值点为02bxa,作直线yk与曲线()yfx交于两点12(,),(,)AxkBxk,可得1202xxx(如图1所示).图1但对于其他的曲线()yfx,它可能也有唯一的极值点(设为0x),作直线yk与曲线()yfx交于两点12(,),(,)AxkBxk,但不一定有1202xxx成立(如图2,3所示).图2图3但在图2,图3中如何证明相应的不等式1202xxx,1202xxx成立呢?本文将用减元法谈谈其证法.题1(2010年高考天津卷理科第21题)已知函数()e()xfxxxR.如果12xx,且若12()()fxfx,求证:122xx.分析由题设可知,1x,2x是无法直接求出的,但我们可用减元法,将双元不等式转化为单元不等式,充分利用函数的单调性来给出其证明.欲证的结论12122xxxx2-,直接比较1x与22x的大小不方便,但可先比较1()fx与2(2)fx的大小.又因为12()()fxfx,所以只需比较2()fx与2(2)fx的大小关系,再构造辅助函数()()(2)Fxfxfx,结合函数()Fx的单调性便可完成本题的证明.证法1可得()(1)exfxx,进而可得()fx在(,),(,)11上分别是增函数、减函数,在1x处取得极大值1(1)ef.由此可画出曲线()yfx如图4所示.图4由12xx知,可不妨设12xx,再由12()()fxfx及图4可得1201xx,所以221x.欲证122xx即证122xx.因为函数()fx在(,)1上是增函数,所以即证12()(2)fxfx.又12()()fxfx,所以即证22222()(2),()(2)0(1)fxfxfxfxx.设()()(2)(1)Fxfxfxx,可得2()(1)(ee)0(1)xxFxxx.所以函数()Fx是增函数,得()(1)0(1)FxFx.所以222()(2)(1)fxfxx,得122xx.证法2由12xx知,可不妨设12xx.再由12()()fxfx,可得10x,且2121exxxx.设21(0)txxt,由212121(0)exxtxxtxx,可解得12e1e1tttxtxt.所以欲证122xx,即证22,(2)(e1)20(0)e1ttttttt.设()(2)(e1)2(0)tgtttt,得()(1)e1,(())e0(0)ttgttgttt.所以()gt是增函数,得()(0)0(0)gtgt;所以()gt是增函数,得()(0)0(0)gtgt,即122xx.证法3由12xx知,可不妨设12xx.再由12()()fxfx,可得10x,且2121exxxx(进而还可得120xx).设21(1)xttx,由212121(1)exxxttxxx,可解得12ln1ln1txtttxt.所以欲证122xx,即证ln,ln()1422111tttttt.设()ln()411htttt,得()()()()221011thtttt,所以()ht是增函数,得()()()121htht,即122xx.题2(2013年高考湖南卷文科第21(2)题)已知函数21()e1xxfxx.证明:当1212()()()fxfxxx时,求证:120xx.证明可得222e[(1)2]()(1)xxfxxx,所以函数()fx在(,],[,)00上分别是增函数、减函数,可作出函数()fx的图象如图5所示:图5由12xx知,可不妨设12xx,再由12()()fxfx及图5可得1201xx,所以20x.欲证120xx,即证12xx.又因为函数()fx在(,]0上是增函数,所以即证12()()fxfx.再由12()()fxfx知,即证222()()(0)fxfxx,也即证22222(1)e(1)e0(0)xxxxx22222(1)e10(0)xxxx设222222()(1)e(1)e(0)xxgxxxx,得222222()e(e1)0(0)xxgxxx,所以函数2()gx是增函数,得22()(0)0(0)gxgx,所以120xx.题3设1212,()xxxx是函数()e(xfxaxaaR)的两个零点,求证:1212xxxx.证法1由题设,可得1212e(1),e(1)xxaxax①把它们相乘后,可得1221212e[()1]xxaxxxx.当0a时,函数()exfxaxa是增函数,它不可能有两个零点,所以20,0aa(再由及①12xx可得121xx),由此可得欲证1212xxxx,即证1221212e,2ln,2lnxxaxxaxax.11x2x1Oyx由()exfxa及0a,可得函数()fx在(,ln],[ln,)aa上分别是减函数、增函数,再由121xx可得12ln,exaxa.欲证122lnxax,即证122lnlnxaxa.因为函数()fx在(,ln]a上是减函数,所以即证12()(2ln)fxfax.再由12()()fxfx,得即证222()(2ln)(ln)fxfaxxa.设2222()()(2ln)(ln)gxfxfaxxa,可得222222()()(2ln)e20(ln)exxagxfxfaxaxa.所以函数2()gx是增函数,得22()(ln)0(ln)gxgaxa,所以1212xxxx.证法2证法1中的结论①在这里也成立,把①中的两式相除后,可得21(1)(1)211e1xxxx.在证法1中已得121,exxa.欲证1212xxxx,即证21(1)(1)1xx.设211,1(0)xuxvuv,可得euvuv.设211(1)1xttx,由21211(1)(1)(1)lnxtxxxt,可得21ln11ln11ttxttxt.所以即证2ln1(1)1ttttln1(1)1tttt12ln(1)tttt12ln0(1)tttt设1()2ln(1)Fxxxxx,可得2(1)()0(1)xFxxx.所以函数()Fx在1,上是减函数,...