探讨构造函数法证明不等式若干方法.docVIP

探讨构造函数法证明不等式若干方法 　　[摘 要]近年来，高中数学的教材新增了导数相关的内容.相应的，数学不等式的证明也有了新途径和新方法.充分利用导数的相关概念，从而完成不等式的证明，是近年来高中数学教学中的一个重要内容，也是一个难点和热点.利用导数证明不等式的基本思路是，巧妙利用构造函数的基本形式，通过导数来分析原来函数的单调性，找出其最值，分析其值域，从而证明不等式.因此，在证明不等式的过程中，合理、有效地构造函数，是证明不等式的核心步骤.介绍了作差构造函数法、换元构造函数法、从条件特征入手构造函数法的基本思路，并结合实例进行分析. 　　[关键词]构造函数法 不等式证明 高中数学 　　[中图分类号] G633.6 [文献标识码] A [文章编号]2015）230033 　　不等式的证明问题是中学数学教学的一个难点，传统的证明不等式的方法技巧性较强，多数学生不易想到，并且各类不等式的证明没有通性通法.新教材引入导数相关的内容，为我们处理不等式的证明问题提供了一条新的途径.在近年高考题中，使用导数证明不等式也时有出现，但现行教材对这一问题没有展开研究，使得学生对这一简便方法并不了解.利用导数证明不等式思路清晰、方法简捷、操作性强，易被学生掌握.下面笔者介绍作差构造函数法、换元构造函数法、从条件特征入手构造函数法的基本思路，并通过一些实例进行分析与总结. 　　一、作差构造函数法 　　作差法是比较法中常用的方法，其原理来自不等式的基本性质：如果ab，则a-b0；如果a=b，则a-b=0；如果ab，则a-b0.作差法的主要步骤包括：作差、变形、判断（差值与0的大小关系）.在利用作差法构造函数的过程中，变形是难点，它常用的方法有：通分、配方、因式分解等.这一步的直接目的是让我们可以很容易甚至直观地判断这个差值与0的大小关系. 　　【例1】 求证不等式 　　x-x22 　　ln（1+x）x-x22（1+x） 　　在x∈（0，+∞）等成立. 　　证明：令f（x）=ln（1+x）-（x-x22），补充定义f（0）=0. 　　则f′（x）=11+x-1+x= 　　x2x+10 　　，∴y=f（x）在 　　[0，+∞）上单调递增， 　　当x∈[0，+∞）时，f（x）0恒成立， 　　∴ln（1+x）x-x22.（1） 　　令g（x）=x-x22（1+x）-ln（1+x） 　　，补充定义g（0）=0. 　　则g′（x）=1-4x2+4x-2x24（1+x）2 　　-11+x= 　　2x24（1+x）20 　　，∴g（x）在[0，+∞）上单调递增， 　　当x∈[0，+∞）时， 　　g（x）0恒成立. 　　x-x22（1+x）ln（1+x）.（2） 　　故由（1）（2）可知，当x∈（0，+∞）时，不等式x-x22ln（1+x）x-x22（1+x）成立. 　　一般而言，通过导数证明不等式时，需要分析构造的函数，尤其是在区间端点处，需要注意函数是否满足连续的条件.通常情况下，构造的函数在区间端点处需要补充其定义.另外，可以考虑使用这一结论：如果某一函数f（x）在区间[b，+∞）上满足连续，在区间（b，+∞）上满足可导，且f′（x）0；又f（b）≥0，那么当xb时，有f（x）0. 　　二、换元构造函数法 　　换元法是指将某一复杂的式子当成一个整体来对待，定义一个新的变量，替换该复杂的式子，实现换元，达到使问题简化的目的.作为数学中常用的一类基本方法，换元法通过变换元，达到了变换研究对象的目的.这样，可以将目标问题迁移到更新了元之后的那个知识系统中去解决，进而做到了将某些非标准的特殊问题转变为标准问题，将复杂问题转变为简单问题.在数学不等式证明问题的解题过程中，可以根据问题的所具备的结构特性，变化不等式中的某些复杂式子，简化不等式的结构，使之易于证明. 　　【例2】 证明：对任意的正整数n，不等式ln（1n+1）1n2-1n3都成立. 　　分析：从所证结构出发，只需令1n=x，则问题可转 　　化为：当x0时，恒有ln（x+1）x2-x3成立.现构造函数h（x）=x3-x2+ln（x+1），对h（x）求导即可证明. 　　证明：令1n=x， 　　h（x）=x3-x2+ln（x+1）， 　　则h′（x）=3x2-2x+1x+1= 　　3x3+（x-1）2x+1 　　， 　　当x0时，h′（x）0恒成立， 　　∴函数h（x）在（0，+∞）上单调递增， 　　∴当x∈（0，+∞）时，恒有h（x）h（0）=0， 　　即x3-x2+ln（x+1）0， 　　∴ln（x+1）x2-x3. 　　故对任意正整数n，取x=1n∈（0，+∞），则有ln（1n+1）1n2-1n3.