利用凸函数的性质证明一类不等式.docVIP

用凸函数证明一类分式不等式 刘金 (山东省枣庄市教研室 277800) 在中学数学教材中，凸函数这一概念并未出现,但近年来的数学竞赛及一些数学杂志的问题征解中,涉及凸函数知识应用的题目频繁出现. 让学生掌握一些凸函数的简单知识,能够开阔学生解题思路, 增强学生分析问题、解决问题的能力.一些复杂的分式不等式, 往往用其它方法难以证明, 一旦运用凸函数的性质却很容易解决.本文通过一些分式不等式的证明,呈现凸函数在证明一类分式不等式中的优越性. 1. 凸函数的定义与定理 定义1 如果函数在上有定义,对于任意若有 成立,则称函数在内是上凸函数.如果其中的不等式严格成立(时),则称为严格上凸函数. 定义2 如果函数在上有定义,对于任意若有成立,则称函数在内是下凸函数. 如果其中的不等式严格成立(时),则称为严格下凸函数. 两点说明: (1) 凸函数定义中的不等式可以推广,即设函数在内上凸, 则对一切 成立不等式: 类似地, 下凸函数定义中的不等式可以推广, 设函数在内下凸, 则对一切 成立不等式: (2) 在高等数学中,有下面的结论: 若函数在内二阶可导,且(这里表示的二阶导数), 则函数在内是严格上凸函数. 若函数在内二阶可导,且 ，则函数在内是严格下凸函数. 由以上两点说明, 我们可得下面的定理: 定理1:设函数在内二阶可导,且, 则对一切成立不等式: .上述不等式当且仅当时取到等号. 定理2: 设函数在内二阶可导,且,则对一切成立不等式: .上述不等式当且仅当时取到等号. 2. 利用凸函数证明一类分式不等式 例1设，求证: .（《数学通报》2004.1第1474号问题） 证明：设，原不等式等价于不等式: . 设，则.由定理2得 . 于是得，故原不等式成立. 类似地,利用定理1, 我们可得如下结论: 设，则有: 特别地,当时,有(《数学通报》2008.6第1740号问题) 例2 设，求证: (《数学通报》2007.2第1660号问题) 证明:设则则由定理2得 当且仅当时取等号. 例2可以推广为一般的结论(见参考文献[1]): 设， , 则有. 例3 （Shapiro不等式）若,且,求证: (见参考文献[2]) 证明:令则由定理2得 ,当且仅当时取到等号. 例4 当时,若且则（见参考文献[3]中的例题） 证明:令则 因为所以所以 从而, 由定理1 得 由柯西不等式,可得 令, 我们证明在上为严格单调递增函数. 因为,所以 从而 因而在上为严格单调递增函数,所以 例5若,且,则（见参考文献[3]中的例题） 证明: 令则 因为所以, 从而, 由定理1 得 证毕. 例6 已知且设为正整数,则(第28届IMO预选题, 见参考文献[4]) 证明:设则 可见 由定理2, 可得 利用已经得到的不等式,可以得到结论:且试证: (※) 证明:令这里且设则 由已经证明的例6中的不等式,有 于是. 由基本不等式, 所以, 特别地, 当时, 有结论:设为正数,且则有 (第36届IMO试题) 通过上面证明分式不等式的过程, 我们看到判断函数的二阶导数的符号是关键, 而计算二阶导数往往是比较麻烦的(特别是当字母比较多时), 为此,可能有不少人抱怨运算量过大的问题. 实际上应用数学软件Maple （如Maple 6.0），调用其中的微分函数diff, 可以非常方便地求出的二阶导数, 从而较方便地判断其符号. 参考文献 [1] 徐丹，杨露. 一个不等式的再推广.数学通报, 2001(10). [2] 刘南山.也谈一类竞赛不等式的创新证法.数学通报,2006(5). [3] 侯典峰.一个不等式推广形式的证明.不等式研究通讯,2007(3). [4] 蒋昌林.也谈一类分式不等式的统一证法[J].数学通报,2005(5).