1、高考资源网（） 您身边的高考专家 版权所有高考资源网- 1 -第 20 炼 一元不等式的证明利用函数性质与最值证明一元不等式是导数综合题常涉及的一类问题，考察学生构造函数选择函数的能力，体现了函数最值的一个作用每一个函数的最值带来一个恒成立的不等式。此外所证明的不等式也有可能对后一问的解决提供帮助，处于承上启下的位置。一、基础知识：1、证明方法的理论基础（1）若要证 ( 为常数）恒成立，则只需证明： ，进而将不等式的fxCmaxfC证明转化为求函数的最值（2）已知 的公共定义域为 ，若 ，则,fgDinaxfxg,xDx证明：对任意的 ，有111minmax,ffx由不等式的传递性可得： ，即
2、1iag,xDfgx2、证明一元不等式主要的方法有两个：第一个方法是将含 的项或所有项均挪至不等号的一侧，将一侧的解析式构造为函数，通过分析函数的单调性得到最值，从而进行证明，其优点在于目的明确，构造方法简单，但对于移项后较复杂的解析式则很难分析出单调性第二个方法是利用不等式性质对所证不等式进行等价变形，转化成为 的形fxg式，若能证明 ，即可得： ，本方法的优点在于对 的项进minaxfxgfxg行分割变形，可将较复杂的解析式拆成两个简单的解析式。但缺点是局限性较强，如果与 不满足 ，则无法证明 。所以用此类方minfxaxminaxf fxg法解题的情况不多，但是在第一个方法失效的时候可以
3、考虑尝试此法。3、在构造函数时把握一个原则：以能够分析导函数的符号为准则。4、若在证明 中，解析式 可分解为几个因式的乘积，则可对每个因式的符号0fxfx进行讨论，进而简化所构造函数的复杂度。5、合理的利用换元简化所分析的解析式。高考资源网（） 您身边的高考专家 版权所有高考资源网- 2 -6、判断解析式符号的方法：（1）对解析式进行因式分解，将复杂的式子拆分为一个个简单的式子，判断出每个式子的符号即可得到解析式的符号（2）将解析式视为一个函数，利用其零点（可猜出）与单调性（利用导数）可判断其符号（3）将解析式中的项合理分组，达到分成若干正项的和或者若干负项的和的结果，进而判断出解析式符号二、
4、典型例题：例 1：求证： ln1x思路：移项构造函数求解即可证明：所证不等式等价于： ln10x令 则只需证明：lfxmax0f令 解得：1xf10, 1,fx max10ff10fxf即所证不等式成立小炼有话说：（1）此题的解法为证明一元不等式的基本方法，即将含 的项移至不等号的一侧，构造函数x解决。（2）一些常见不等关系可记下来以备使用： ln1x1xesin0,x例 2：设函数 ，证明：当 时，f1xf思路：本题依然考虑构造函数解决不等式，但如果仅仅是移项，则所证不等式为，令 ，其导函数比较复杂（也可解决此题） ，所以10xe1xge高考资源网（） 您身边的高考专家 版权所有高考资源网-
5、 3 -考虑先对不等式进行等价变形，转变为形式较为简单的不等式，再构造函数进行证明证明： 1xe11xxee，所以所证不等式等价于0xx设 只需证 即可1xgeming令 0x在 单调递减，在 单调递增x,min0ggx故不等式得证小炼有话说：本题在证明时采取先化简再证明的策略，这也是我们解决数学问题常用的方法之一，先把问题简单化再进行处理。在利用导数证明不等式的问题中，所谓的“简化”的标准就是构造的函数是否易于分析单调性。例 3：已知函数 ，证明：1lnfxx10xf思路：若化简不等式左边，则所证不等式等价于 ，若将左边构造22ln为函数，则函数的单调性难于分析，此法不可取。考虑原不等式为乘
6、积式，且与 0 进行比较，所以考虑也可分别判断各因式符号，只需让 与 同号即可。而 的正负一眼1xf1x便可得出， 的符号也不难分析，故采取分别判断符号的方法解决。fx解： 1lnlnx在 单调递减，在 单调递增 2fxxf0,11,为增函数10f时， f,fxf0xf时， ,xfx10综上所述， 成立10小炼有话说：与 0 比较大小也可看做是判断一侧式子的符号，当不等式的一侧可化为几个因高考资源网（） 您身边的高考专家 版权所有高考资源网- 4 -式的乘积时，可分别判断每一个因式的符号（判断相对简单） ，再决定乘积的符号。例 4：已知 ，其中常数lnxfea0a（1）当 时，求函数 的极值a
7、f（2）求证： 21ln0xex解：（1）当 时，lfe，xfe1在 单调递增 20fx0,时， ， ，,xf110fxf在 单调递减，在 单调递增f1,的极小值为 ，无极大值x0f（2）思路：本题如果直接构将左侧构造函数，则导数过于复杂，不易进行分析，所以考虑将所证不等式进行变形成“ ”的形式。由第（1）问可得：minaxfxg，即 ，则所证不等式两边同时除以 ，即证：ln0xelee2xe，而 ，所以只需构造函数证明 即可2xx 2x解：由（1）得 ln0lnxeee所证不等式： 21x2lxee设 2xxg221xe令 可解得：0x在 单调递增，在 单调递减g,高考资源网（） 您身边的高
8、考专家 版权所有高考资源网- 5 -max1ge即lneg2lnxxe210x例 5：已知 2l,fxax（1）当 时，求 在 的最值af30m（2）求证： ，0,x1lnxe解： （1） l,l2ff的单调区间为x210,e21,egx 2103me 222min1fxfemax3ln3ffm 时，2minaxl,lfxf（2）思路：所证不等式 ，若都移到左边构造函数，则函数12xe很难分析单调性，进而无法求出最值。本题考虑在两边分别求出最值，1lnxye再比较大小即可解：所证不等式等价于 12lnxe2lnxe设 lpxx lp高考资源网（） 您身边的高考专家 版权所有高考资源网- 6 -
9、令 在 单调递减，在 单调递增 210pxepx210,e21,e22min设 xqe1xqxe在 单调递增，在 单调递减0,1,maxeinpqminax0,xpxq所证不等式成立例 6：设 为常数） ，曲线 与直线baRaxf ,(1)l() )(fy在(0，0)点相切.y23(1)求 的值. (2)证明：当 时， .ba, 20x69)(xf解：（1） 过 点fx,011b 2fxax 13002fa01abln1f（2）思路：所证不等式等价于 ，若将 的表达式挪至不等号一9l16xx侧，则所构造的函数 中 ， 求导后结构比ng1x较复杂。观察到对数与根式均含有 ，进而考虑换元 化简不等
10、式。另一方面，xt当 时， ，而 是所证 的临界值，进而会对导数值的符号有所影响。0x0解： 所证不等式等价于： 9ln16xx令 则不等式转化为：1,3txt221ln5tt高考资源网（） 您身边的高考专家 版权所有高考资源网- 7 -（若不去分母，导函数比较复杂，不易分析）2 25ln190ttt令 23221ln10ln59g tttt只需证 即可232lln54tttmaxg观察 10 2 210104ln3l385gtttttt t进而考虑 的单调性 （尽管 复杂，但有零点在，就能够帮助继续分析， gx,g坚持往下进行） 2210104ln684ln6gxtttt单调递增，“t“33
11、40g单调递减 （ 是 的零点，从而引发连锁反应） 10t 1t,gx单调递减 即所证不等式成立gtgt0t当 时，20x69)(xf小炼有话说：本题有以下两个亮点（1）利用换元简化所证不等式（2）零点的关键作用：对于化简后的函数 而言，形式依然比较复杂，其导函数也很难gt直接因式分解判断符号，但是由于寻找到 这个零点，从而对导函数的符号判断指引了方1向，又因为发现 也是导函数的零点，于是才决定在对导函数求一次导，在二次导函数中1t判断了符号，进而引发连锁反应，最终证明不等式。可以说，本题能坚持对 进行分析的gt一个重要原因就是 这个零点。t例 7：（2015，福建，20）已知函数 ln1,f
12、xgxk（1）求证：当 时，0xf（2）求证：当 时，存在 ，使得对任意的 ，恒有1k0x0,xfxg解：（1）思路：所证不等式为： ，只需将含 的项移植不等号一侧，构造函数ln1高考资源网（） 您身边的高考专家 版权所有高考资源网- 8 -即可证明证明：所证不等式等价于： ，设ln10xln1hxx1hx在 单调递减 时，0,x0x即 得证ln1x（2）思路：本题的目标是要找到与 相关的 ，因为 函数形式较为简单，所以k0x,fxg可以考虑移至不等号一侧： ，设ln10fxgk， ，因为 ，所以只需 在ln1hxk1hkxhhx单增即可。可对 进行 和 分类讨论。0, 0证明： ln1fxg
13、xk设 则 且ln1hk 1xkh0h令 ，即0xx 当 时，解得 恒成立k1k10kkx在 单调递增 可取任意正数hx,hx 当 时， ，当 ， ，故 可取任意正数0kln1hxhx0 当 时，解得 ，而1k0在 单调递增，在 单调递减hx0,k,，均有 ，只需取 即可1,k0hx01kx综上所述：存在 ，使得对任意的 ，恒有0 0,fgx例 8：已知函数 （ 为常数， ，是自然对数的底数） ，曲线lnxkfe2.718e在 处的切线与 轴平行yfx1,高考资源网（） 您身边的高考专家 版权所有高考资源网- 9 -（1）求 的值k（2）设 ，其中 为 的导函数。2gxfxfxf证明：对 20
14、,1e解：（1） 21lnlnxxxkkf e处的切线与 轴平行 , 0f:k（2）所证不等式等价于：2 21ln1xxee21l设 lnpxx1lnl2px令 2020e在 单调递增，在 单调递减x,e,，即221p2ln1xe若要证 ，只需证2lnxex 1xx设 ，令 解得：1qe 1xq0q在 单调递增 x0,1xxee，即原不等式得证2lnx例 9：已知函数 ，函数 的导函数 ，且 ，其lnfagxxge01ge高考资源网（） 您身边的高考专家 版权所有高考资源网- 10 -中 为自然对数的底数e（1）求 的极值；fx（2）当 时，对于 ，求证： 0a0,x2fxg解：（1）函数 的
15、定义域为 ， f, 1afx当 时， ， 在 上为增函数， 没有极值； 0a0xfx0f当 时，令 1fa在 单调增，在 单调递减fx10,a,有极大值 ，无极小值f lnfa（2）当 时， ，令 ，即0alfx2xgfxln2xe，则 在 上为增函数 1xe 0, 2,1e在 上为增函数001,xx， x0,时， 时，0,0,x在 单调递减，在 单调递增xx0minln2xe， 00011xx00lnlx，由 可知002x0,0012xx0高考资源网（） 您身边的高考专家 版权所有高考资源网- 11 -即0x2fxg例 10：设函数 .2cosfa（1）证明： 时，函数 在 上单调递增；1f
16、x0,（2）证明： .24sinl31x解：（1） 只需证 即可2sifasin0ax令 igxx0g2co在 单调递增12acosgx,即 函数 在 上单调递增x in0fxafx0,（2）思路：对所证不等式 ，若直接将左侧构造函数，则无法求24sil31x出单调区间和最值。 （导函数中含有 无法进一步运算） ，所以考虑将左侧的一部分挪,至不等号另一侧，构造两个函数进行比较。(右边 ,考虑224sinl3103ln14sixxxxsin4x能否恒大于 4， , 在23g62lg 26gg处单调减，在 单调递增， 故 为增函数，但无法求10,+303xx的最小值。无法用 证明。考虑其他思路。所
17、证不gxminaxfxgfg等式也可变为 ，在第一问中令 可得 ,只需证明132l4s12asinx即可）132ln4x解：所证不等式等价于 132ln4sinxx设 132lnhxx2 2313xhxx在 单调递减，在 单调递增0,+高考资源网（） 您身边的高考专家 版权所有高考资源网- 12 -即 由（1）问可得：14hx32ln4xsin0x原不等式得证32lnsi小炼有话说：（1）前两种尝试是最容易想到的，但是尝试后为什么放弃？第一种尝试是因为导函数中项结构复杂，无法判断单调区间。而第二种尝试局限性较大，即必须左端最小大于右端最大才可，尽管新的函数单调性能够分析，但是无法确定其最小值，
18、所以放弃。在构造函数证不等式时，一要看构造的函数能否进行分析（即单调性，最值） ，二要看是否吻合预期的结果。否则便要考虑从其他角度入手。（2）对于第二种尝试，求单调区间比较麻烦。有能力的同学可以尝试特殊值法来排除，比如令 ，那么显然左边要小于 4。1x（3）本题的解法有几个亮点： 提取一个 后，左端构造的函数更易分析性质 利用第一问过程中产生的结论： ，这也是一个常见的不等式。sinx 所用的不等式性质为： （注意 必须均为正项） 。0,abcdacbd,acd由此性质也可推广出一条判断函数增减性的方法：已知 在区间 恒大于零，若,fxgI均在区间 单调递增，则 在区间 也单调递增。例如 在,fxgIfxgIlnyx是单调递增的。1
