利用导数证明不等式的两种通法

利用导数证明不等式的两种通法吉林省长春市东北师范大学附属实验学校金钟植岳海学利用导数证明不等式是高考中的一个热点问题，利用导数证明不等式主要有两种通法，即函数类不等式证明和常数类不等式证明。下面就有关的两种通法用列举的方式归纳和总结。一、函数类不等式证明函数类不等式证明的通法可概括为：证明不等式()()fxgx（()()fxgx）的问题转化为证明()()0fxgx（()()0fxgx），进而构造辅助函数()()()hxfxgx，然后利用导数证明函数()hx的单调性或证明函数()hx的最小值（最大值）大于或等于零（小于或等于零）。例1已知(0,)2x，求证：sintanxxx分析：欲证sintanxxx，只需证函数()sinfxxx和()tangxxx在(0,)2上单调递减即可。证明：令()sinfxxx，其中(0,)2x则/()cos1fxx，而(0,)cos1cos102xxx所以()sinfxxx在(0,)2上单调递减，即()sin(0)0fxxxf所以sinxx；令()tangxxx，其中(0,)2x则/221()1tan0cosgxxx，所以()tangxxx在(0,)2上单调递减，即()tan(0)0gxxxg所以tanxx。综上所述，sintanxxx评注：证明函数类不等式时，构造辅助函数比较容易，只需将不等式的其中一边变为0，然后另一边的函数作为辅助函数，并利用导数证明其单调性或其最值，进而构造我们所需的不等式的结构即可。根据不等式的对称性，本例也可以构造辅助函数为在(0,)2上是单调递增的函数（如：利用()sinhxxx在(0,)2上是单调递增来证明不等式sinxx），另外不等式证明时，区间端点值也可以不是我们所需要的最恰当的值（比如此例中的(0)f也可以不是0，而是便于放大的正数也可以）。因此例可变式为证明如下不等式问题：已知(0,)2x，求证：sin1tan1xxx证明这个变式题可采用两种方法：第一种证法：运用本例完全相同的方法证明每个不等式以后再放缩或放大，即证明不等式sinxx以后，根据sin1sinxxx来证明不等式sin1xx；第二种证法：直接构造辅助函数()sin1fxxx和()tan1gxxx，其中(0,)2x然后证明各自的单调性后再放缩或放大（如：()sin1(0)10fxxxf）例2求证：ln(1)xx分析：令()ln(1)fxxx，经过求导易知，()fx在其定义域(1,)上不单调，但可以利用最值证明不等式。证明：令()ln(1)fxxx函数f(x)的定义域是(1,),'f(x)=111x.令'f(x)=0，解得x=0，当-1x0时,'f(x)0,当x0时,'f(x)0，又f(0)=0，故当且仅当x=0时，f(x)取得最大值，最大值是0所以()ln(1)(0)0fxxxf即ln(1)xx二、常数类不等式证明常数类不等式证明的通法可概括为：证明常数类不等式的问题等价转化为证明不等式()()fafb的问题，在根据,ab的不等式关系和函数()fx的单调性证明不等式。例3已知0,,(1)(1)0mnabRab且求证：()()nnmmmnabab分析：()()ln()ln()ln()ln()nnmmmnnnmmmnnnmmababababmabnabln()ln()()()nnmmababnmfnfmln()()0xxabfxx在（，）上是减函数mn0证明：令ln()()(0)xxabfxxx则/22lnlnln()(lnln)()ln()()()xxxxxxxxxxxxxxaabbxabxaabbabababfxxxab22lnlnlnln0()()xxxxxxxxxxxxxxxxxxxxxxabababababababababxabxab所以，ln()()0xxabfxx在（，）上是减函数又因为0mn，所以()()fnfm即ln()ln()nnmmababnmln()ln()ln()ln()nnmmnnmmmnmabnababab即()()nnmmmnabab评注：利用导数证明常数类不等式的关键是经过适当的变形，将不等式证明的问题转化为函数单调性证明问题，其中关键是构造辅助函数，如何构造辅助函数也是这种通法运用的难点和关键所在。通过本例，不难发现，构造辅助函数关键在于不等式转化为左右两边是相同结构的式子（本例经过转化后的不等式ln()ln()nnmmababnm的两边都是相同式子ln()xxabx的结构，所以可以构造辅助函数ln()()xxabfxx），这样根据“相同结构”可以构造辅助函数。例4已知02，求证：tantan11tantan分析：欲证tantan11tantan，只需证tantantantan（不然没法构造辅助函数），即tantan,tantan，则需证函数tan(),()tanxfxgxxxx都在函数区间(0,)2上单调递增即可。证明：设tan()xfxx，(0,)2x则2/222sectansincos()cosxxxxxxfxxxx由例1知，(0,)sinsincossincos02xxxxxxxx即/()0fx，所以tan()xfxx在(0,)2上单调递增，而02所以tantan，即tantan，进而得到tan1tan设()tangxxx，(0,)2x则/2()tansecgxxxx，又因为(0,)2x，所以/()0gx，进而()tangxxx在(0,)2上单调递增，而02所以tantan，即tantan，进而得到tan1tan综上所述tantan11tantan三、同步练习题1．当1x时,求证:xx1322．已知a,b为实数，并且eab，其中e是自然对数的底，证明：baab3．已知函数()ln(1)10xfxexx（1）求函数()fx的最小值；（2）若0yx，求证：1ln(1)ln(1)xyexy4．求证：()()eeeee参考答案：1．证明：要证xx132，只要证)1()13(423xxx,即证23)13(4xx,0)(169423xfxxx则当1x时，0)1)(12(6)132(6)('3xxxxxf,),1()(在xf上递增，0)1()(fxf即0)(xf成立，原不等式得证2．证明：当eab时，要证baab，只要证lnlnbaab,即只要证bbaalnln考虑函数)0(lnxxxy。因为当ex时，,0ln12xxy所以函数),(lnexxy在内是减函数奎屯王新敞新疆因为eab，所以bbaalnln，即得baab3．（1）最小值为0（2）因为00yxxy，而由（1）知，对0x，恒有()0fx，所以不等式()0fxy恒成立即ln(1)10xyexy所以1ln(1)xyexy又因为ln(1)ln[(1)(1)]ln(1)ln[(1)()]ln(1)ln(1)ln(1)(()0)xyyxyyxyxyyxyyxy所以1ln(1)ln(1)xyexy证明：设ln()()(0)xxefxxx，则'2lnln()()xxxxxxexeefxx2(ln)()ln()()xxxxxxxxxeeexe22lnlnlnln0()()xxxxxxxxxxxxxxxxxxxxxxeeeeeeeeexexe所以函数ln()()xxefxx在其定义域(0,)单调递减所以()()ffe，即ln()ln()eeeee根据对数的运算性质得，()()eeeee