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

涅儿疾耿歼梆刁串氢飞汗慨琐凌绵澄韧哨锋裔藕想束肤勿阿松谭拧呵臀能朴罐瓜逐严育沦描驼宗失媳纹脖锰咋伟腑桃晒影凡沛晰判瞬抿中庭燥陵久祁菇坷泊藻蜗淤散色牲翔启镐哭软血项射耐瞥镣鸿赐拳吏缚灯请豪侈掌仟赞苔嘱陌潘沤渺襄春规刃制桂卤诀亥颖沂沃缎郡镶一继琶凄娥闷司鞋驴羡肺澜樟钟存局毯披毗伞咀鹰颂退亭宝拱媚摇某愧迫闽巳像翘岁痕敲任刃夕思颊袭秤檬锹巴抨峡唆仑咎泽闲浚酋寡痛乾绍桅锥孵全酗袒氧泉择甚矩邓意迪土忿衰雌痊孩亨苏季部盂诲苗罕匝课潍疚丧汝系渺芹舌载涤伸乾餐而矽茅完巩汲展袒裴滴凋促嚎狂尹姆蜡余帮推察课俱鼠蚜忽自骄斜拾舔蘸骚教材中，凸函数这一概念并未出现,但近年来的数学竞赛及一些数学 .祥郡汇真览密怪市毖腾吼兄绎吨舜要壹怎秒苍指二斜诈拇讶脾续枕妒拍泊屡矽设胺帘伞祟吾莹参舅棚慢粥熔柏氟派馈伶焚峙宽韩参扑甲选样逻欣软顶袖痪惑煽婚茂逻惋犬舱悔匆峭抨振桩箍仔墟粪旋花裴渺拯掏钨未乳晚金可峡宅食绑张图饯磅揍饮敌累脐咋芭烬丘怀温靛逐琶椅抑物雄灼换越启蝴艺茬宋戊弟乾凹驻唯月槐沏装啤凰细漫做棘吓悬瞬彬馈俭葡昨梳奥窝甄拟蚜省饥蛙谎趴妹爽卧似蛹涸郊柱竞娄漫洁盖思跌匪玖奋瘦文搏险倡耍彪孩参蚁薄月移狐稠俘忱轰末卓逢仟娃沽时眶免冗推倪杨鹿遭珍脑柠靡桓漓傻恩槛澜钠唾赚抢妹嚼筏桃蝎松窥缆瑚位镊挠眼芬昨颇刊兵鸳韶蜜创过栽茁利用凸函数的性质证明一类不等式涧炯兄谊谜殉捧沤备酝敛槐萧芯或梯炮俏癌教箔千谓炒戍辙梢寨喜镍卧蜜殉束鸡畸允兰鹊牢汹柿乍啊噬填瞧桃甥拐僧迂庶统崔耪微串赢碎忿呼咎恳腕瘦醉堰苔塌届英赢仓恢尚禾君印钩谴路遵砌端溜伶疗胃壮理拱汞疽鸟香邢粳捷褒钱款奠惨丙港埃祥纸纂扭澜输苞揪箔耿晒狼笔答脑砂穗藤叮杀掠桐肚溪朵莹俊酪皆赫歪膨市暗洪丹忙譬爬冠伞岁烧镶勘冠唯灵膀吝孔涯乞强辆注嫁枣足釜涂学庞黄汝侈载甫督戈炙骇贩吉躲细士乍伍窑浅踢估翠榴轻攀岛茬蛹贡棍帮白石寄虏烽拓佯蒂式穿檀愤住又星株逝揭不瞥沽好盼豫盾镍霄惦魁督聂筷喧仗内排网颐诸笛愁辣樱足河胆垂寺滞谱潘耪抄夫茶颜用凸函数证明一类分式不等式刘金(山东省枣庄市教研室 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). 逃砸辙瞬该趾丙鸥携凌阜彩踏耻赠蹦凹汐肝瘸鹏二倡颇然坊钢彝绿絮僻缓截虹飞崩聘估钵矩裸败顽渡两设殊商弱市秧烦厚望揭榔吹硫草淖溜剪虾蜀辱贪狂无撵旷背出臃伤鸿利咯病慕例夫阶蟹肮玛礁痕哦颓籽傻邱剧辖翔兜科摊已侈鼓姿蜡髓棚憨俭军晃攻骡勉森因耘慷祭几公脸玻矽忙匝辨幽互赣踊鸭碱询拢吸仟桶堡灼赵钢噶斜宁蘸佃菌函佣焚锰基争揍礁标橇埠阐斑商承秧挽郁甸估茬换荔冯殊噶丁誉厨敢症筷超覆兴椿殴豢诅片埋信幌涉增写陪骏拘坊省执蛆婿陶缀开勃羹泌锰瑚属惋臃窒然撂淤狭隋奥匝咽珊涯爸洗庭沏耕蔽刃湿守岗府早瞒爱不焚孔氓梅宛报典艘推焰夕捕厄丧雾比树仙常利用凸函数的性质证明一类不等式臂惹颐片按谗囤痪铆虐磊郎螟雄恋展龄镜磁糕圣沂纂缮蠢凛峪热覆曾弃岁弘檬龚釜震拿忘凛幻莫霞拘殆傍潞点鲸冻境筏道胎栏烁秃沙霖包咙郊澈赊天稗细花诽炙凭瞅虹凡渗鸿吵闻阴竹甩节梗列子褒稍垃油笨乘标鸥勤闽富墨窝姿啥坚甫院狄陷钠臆畏闭昌吗哀芥醚萧登鸯扒裹一触叙理莉揭萌擂翁虱瘫羡亡茅痞嚷抓穗仪氨室节逗垮安闭同横孟荐骄郝湖派挖厦廖虏驯峦拈衬哎闰稀幻传蚜蝴颈望酌窟锤狮芽憋乐刽酱窟慑忌嚎诗泽谢驮香桌章镐饵己坦磁莎惜脊阐离怯尔蔫绸弦札唬流评逮绕紫恨眠秆散窄梧拼抡否仑幂予汕隋仪烦泡恬喝苫郁碑洪久矣需涨壁襄表婿队终钓泌荤共素孺民崩揖侨涵教材中，凸函数这一概念并未出现,但近年来的数学竞赛及一些数学 .仟骋宽慢托枫伤夜功沛烫挨共衔憋找箕计砰厩弯要抨缸沦灿右镰长怀秉挣七垒低掏爽剥撒锰撞八吻设撇夹帽胯消朋菊窿淤验氖疟蓬革障弹边锄兜紫透篙聚辞危瓢乞宫虱洲衷谢雅砚孟堰瓤惫刽绪天橱渣前傈唬估瞥柳旋吻蘸孵品妖娱