微积分理论在证明不等式中的应用.docVIP

【标题】微积分理论在证明不等式中的应用 【作者】胡怀权 【关键词】微积分??不等式??中值定理 【指导老师】秦小二 【专业】数学与应用数学 【正文】1?引言不等式是高等数学和初等数学的重要内容之一，它反映了变量之间一种很重要的关系。要证明不等式涉及到的知识面较广、题型较多、方法灵活多变，一直是老师教学和学生学习的难点。特别是在证明某些特殊类型的不等式时，用初等数学的方法需要较高的技巧性，有的甚至难于下手，因此，我们可利用高等数学中微积分的思想来解决，从而使不等式的证明过程大大简化，技巧性大大降低。同时又体现了高等数学对初等数学的指导作用。微积分是高等数学中的重要内容，它是从量的方面来研究事物的运动变化的，以它为工具能较好的研究函数的形态。有些用常规的方法难以证明的不等式，若能根据不等式的结构特征，巧妙的构造函数，将不等式问题转化为函数问题，利用函数微积分理论研究函数性质，应用函数的性质来证明不等式，变得非常的简单。2?微分在证明不等式中的应用2.1利用导数定义法证明不等式导数定义法证明不等式是所有微积分证明不等式方法中最“原始”的一种，也容易被人们所忽略，但有时又是一种有效的证明方法。例1??设函数?，其中?都为实数，?为正数，已知对于一切实数?，有?，试证：?分析??观察命题中的条件与结论，它们不属于同一类型的函数，但是有:?．于是问题可以转化为证明?．从导数定义出发，结合重要极限结论，解题方便简洁。证明??因为:?．则?．利用导数的定义得：??．由于??????????????????????????．所以?．?即?．从上例可以得出用导数定义证明不等式的步骤：①根据已知找出?，使得?恰为结论中不等式的一边；②利用导数的定义并结合一些重要极限的结论以及已知条件去研究。2.2利用导数的性质证明不等式2.2.1利用极值与最值证明不等式极值和最值是两个不同的概念，极值仅是函数在局部考虑，而最值是在全局考虑．但若函数在开区间上取得唯一极值点，那么它也是函数在开区间上的最值点．当给定的不等式是具体函数，且又给出自变量的变化范围，可用极值或最值来证明。??例2??当??时，证明?.分析?不等式两边都是具体的函数，于是我们想办法把它们变成一个函数，然后根据极值或最值明.证明??令?，则?，且?，令?，得唯一驻点?，又?,??，从而?是?在区间?上唯一极大值点．即当?时，有?，即当?时?例3??证明算术均值——几何均值不等式：?当且仅当?都相等时取等号。分析??同上面的例题相比，此不等式两边的函数比较复杂，含有连乘和连加，但不等式两边也都是具体的函数，所以同样可以用最值来证明.证明??作函数?，求?在条件?（?是常数）下的最大值。用Lagrange乘数法于?上，可得?在?处达到最大。于是?，?即?,?故?,显然当且仅当?时等号成立。从上面两例可以得出用极值与最值证明不等式的步骤：① 构造函数?，且取定区间,求出?；② 令?，求出?在区间内所有的稳定点，并找出在区间内所有导数不存在的稳定点；求出?在该区间上的极（最）值。2.2.2利用函数单调性证明不等式函数单调性定理反映了可导函数的一阶导数与函数单调性之间的关系，此方法的关键是把要证明的不等式归结为某函数，通过对所设辅助函数求导，直到容易判断导数符号为止，借助导数符号判断函数单调性，从而完成解题。例4??当??时，证明?.分析??此题除了用极值与最值证明外，还可以用函数的单调性来证明，由于?等价于?，利用函数单调性证明之．证明??令?,则?，由?知?，故?，则?单调下降，于是?,则?．用函数单调性、极值或最值证明不等式，它们都需要首先构造函数然后求导，但两种方法相比，用函数单调性证明相对简单些，因为它只求了一次导。例5??求证：当?时有?分析??不等式两边都是具体的函数，于是我们把它们变成一个函数?，然后判断?的一阶、二阶或高阶符号，用函数的单调性证明。证明??令?，则?,由于这里不能判断?的符号，于是重复上述思路．?，由于?（这个结论也可以用函数单调性来证明），所以?，即在?时?，故在?时，，即?．例6?设对一切?有?且?，证明当?时有?，而当?时有?．证明??设?，则?即?是增函数，且?故当?时，?即?．同理可得当?时，有?．推广　此题还可以推广到一般的情形：设?与?可微?次，对一切?有?且?，则当?时有?，而当?时有?．从上面几例可以得出用函数单调性证明不等式的步骤：① 构造函数?，且取定区间；② 研究?在区间上的单调性，从而证明不等式．2.2.3用函数凹凸性证明不等式函数的凹凸性是一个重要的性质，它不仅是证明不等式的重要工具，而且也是探讨