zt专题六关于不等式证明.docVIP

专题六 关于不等式的证明 不等式的教学是数学学习中非常重要的一个方面。在学习了数学分析的相关知识之后，运用它们去解决这些不等式的证明是非常方便，也非常有效的。微积分课程进入中学课堂，使相应的数学方法、数学工具和数学语言更加丰富，应用形式更加灵活多样。利用微积分的思想可以使不等式的证明思路变得简单，技巧性降低。 问题1：证明不等式常用的方法有哪些？ 答：证明不等式常用的方法有：（1）用微分中值定理证明不等式；（2）用原函数存在定理证明不等式；（3）用函数单调性证明不等式；（4）Taylor公式证明不等式；（5）用求极值的方法证明不等式；（6）用单调极限证明不等式；(7)用定积分的性质证明不等式. 问题2：用微分中值定理证明的不等式类型如何？一般的证明过程？举例说明. 答：在证明不等式时, 经常用到下面的中值定理：如果函数在闭区间上连续，在开区间内可导，则在内至少有一点，使等式 成立。通常利用微分中值定理证明的不等式具有如下类型： 或. 证明步骤如下： （1）恰当的选取函数，并使函数满足微分中值定理的条件； （2）通过微分中值定理得到等式：； （3）考察的有界性.若，，则由上述等式得不等式；若 ，， 则得不等式. 例1．对任何实数,试证. 分析:由在上的微分中值定理得: =,(). 再利用,即得所需不等式. 证明:令,,则=,由于在上连续,在内可导,由微分中值定理可得: =,.由于,因此. 例2．证明:当时有: ,; ,. 证明:不妨设 (当时,等号成立).令=, 在和上, = 满足微分中值定理的条件, 有==, …… ① …… ② ①-②得: . 当时,; 当时, . 由此可得:当时, ,即; 当时, ,即. 综上所述, 当时, (当时取等号,或时也可以取等号); 当时, (当时取等号). 问题3：如何用原函数存在定理证明不等式？举例说明. 答：设是区间上的可积函数，对于，令=，则： （1）若在上可积，则在上连续； （2）若在上连续，则在上可导，且= ； （3）设在上连续，是可导函数，且,则： ． 上述原函数存在定理在导出 Newton-Leibniz 公式以及理论和计算方面具有广泛的应用.下面的例题表明，基于存在定理，可适当作辅助函数，证明相关的一些不等式，往往也是很方便的. 例3．设在上二阶可导,且,求证:. 证明:令=-,则. . . 特别的我们有,即. 问题4：如何用函数单调性证明不等式？举例说明. 答：函数单调性的判别法：设函数在上连续，在内可导. （1）如果在内，那么函数y=在上单调增加； （2）如果在内，那么函数y=在上单调减少. 上述判定法中的闭区间换成任何区间（包括无穷区间），结论也成立.通过函数单调性证明的不等式类型：.证明步骤： （i）选取函数=，并使在上连续，在内可导； （ii）求出端点的函数值或； （iii ）判定的符号，得到所要证明的不等式. 若,得在上单调增加，此时若，则当时，，即，于是得到所要证明的不等式； 若,得在上单调减少，此时若，则当时，，即，于是得到所要证明的不等式. 例4． 下述不等式称为几何不等式:设,则有:.式中等号当且仅当时成立.试证明之. 证明:记, . 考虑函数,则有==, . 要证明几何不等式，就是要证明.如果能够证明函数在区间上是单调递增函数，当然就有.我们注意函数的一阶导数和二阶导数： ， . 可知，，因此函数在上是大于零的，从而函数在上是单调递增函数.又因为： = . 所以函数在区间上是非负的，这也就是说函数在区间上是单调递增函数，因此有.即有. 下面证明等号当且仅当时成立. 当时，==，，故等号成立. 现设不等式等号成立，即有.根据上述证明知函数在区间上是单调递增函数，故在区间上函数恒为一常数，设，即，从而有不等式：，.在上式两边的每个单项皆为非负数，要使等式成立，必须每个单项均为，因此，从而 ，即. 例5． 设和是任何两个不相等的正数，则和的对数平均定义为则. 证明：对，令，则不难求得.故当时，.因为，所以当时，．不失一般性可设，再取，即有．由此即证. 例6．柯西不等式：用表示正数的算术平均值，用表示它们的几何平均值：=， 要求证明． 证明：引入一个辅助函数：我们要求证明，． 　 因此==；； 因为在区间上是非负的，所以在这个区间上递增.因为=，所以在区间上是非负的，这就是说，函数f在这个区间上递增，因此，即证. 例7．设，在的范围内，试证：不等式． 证明：， 在不等式的两边乘以得到 令，，，， . 0 ，当=，即时，取得极小值，也就是最小值.最小值为== 又，，是单调递增函数，当时，，，即． 在不等式证明中，有时还要把所学知识综合起来.本题通过，由极值判定定理，得到在为0处，取