"#
# #
若 =2-（ ! "）+ > ，则 （ ! "）+ > 。 若 =.I（ ! "）, > ，则 （ ! "）, > 。 例 E# 试证明当 > & " & 1 K ! 时， ’（ ! ’ "） $ " 。 1 K! " ， 1 K!
因此， （ ! "）在 （ > ，’ H ）上单调减少， 由
证明 (
由于 !’ （ "）在闭区间 ［$， ,］上连续， !’ （ "）
在 ［$， ,］上的最大值一定存在， 即 ) 一定存在。 （$， ,］ ， 由微分中值定理有 任取 " & （ ! "）& （ ! $ ） # !’ （ !） "，! & （$， "） 。 ! $ ） # $ ，故 （ ! "） # !’ （ !） "，" & （$， ,］ 。 因为 （ 于是， （ ! "） ." #
$ ,
由于 （ ! "）在 ［$， ’ ］上具有二阶导数， （ ! "）
+ !（ !） （ " & 0） 。 （ $） +！
), ，其中 ) # !/0 !’ （ "） 。 $ ,",, +
+
在 " # 0 点可展开到一阶泰勒公式： （ ! "） # （ ! 0）+ !’ （ 0） （ " & 0）+
# #
函数不等式的证明题是一类常见的题型， 不
例 "# 证明 #
设 ) $ * $ 1， 试证明 * ) $ ) * 。 ’-" ， # "& （ 1，’ H ）。 "
管本科高等数学考试、 市级高等数学竞赛， 还是研 究生入学考试， 都少不了这类试题。 为此， 特归纳出 证明函数不等式的六种方法。
设（ ! "） #
续， 且（ ! !） , !， 试证明
!
（ &， ’） ， ) + *， 以及任意的 "， （!， "） ， #& " " # , "， 都有 （ ! ") " #*） + "（ ! )）" #（ ! *） ， （ $） 则称 （ ! )）在 （ &， ’）是凹的； 若式 （ $）中不等号相 反， 则称 （ ! )）是凸的。 例 &% 证明 % 即 设 )， * - !， "， # - ! 且 " " # , "， " # 试证明 ) * + ") " #*。
" +’ $ ’。 于是， ! " +’ & ’］ + $。 !
用微分中值定理证明不等式， 难点在于取什么 函数使用微分中值定理。 若能找到适当函数， 那么 是比较方便的。 ! "） 的导函数 !’ （ "） 在 ［$， ,］ 连 例 -( 设函数（ 续， 且（ ! $） # $， 试证明 ! "） ." , !（
$ ,
其中， ， $ % # % ’。 ! # 0+（ # " & 0） 在式 （ $）中令 " # $ ， 则有 （ ! $） # （ ! 0）+ !’ （ 0） （ $ & 0）+
+ !（ !’ ） （ $ & 0） ， +！
!
,
（ !） "." , ! !’ ) （ !） "." , )! "." # , 。 ! !’ +
证明函数不等式的六种方法
孟赵玲， 叶侠娟
（ 北京印刷学院 基础部，北京 !>"C>> ）
# # 摘# 要：证明函数不等式有多种方法， 主要讨论了利用函数增减性、 函数的最值、 微分中 值定理、 泰勒公式、 函数的凹凸性及牛顿—莱布尼兹公式证明等方法， 可供教学参考。 关键词：高等数学； 函数不等式； 教学研究 中图分类号： F!A" ； 8C$"G ># # # # 文献标识码： 0
,#" ,#" & ,#’ # #（ ,#"） ’* " &’ " &’ ’ % ! % " 或 " % ! % ’。 其中， 所以， 总有 $ % ! % ’ + "， 即 当 " $ $ 时， 有
+ + ,#" & （ " & ’） #（ " & ’） ［ （ "+ & ’ ）
’ # 。 !
利用泰勒公式证明函数不等式， 主要有两步： （’）找一个函数（ ! "） ， 选一个展开点 "$ ， 然后写 ! "）在 "$ 处的带有拉格朗日余项的泰勒公式； 出（ （ + ）对 ! & （ ,， /）进行放缩。 例 2( 设函数（ ! "） 在 ［$， ’］ 上具有二阶导数， 且满足条件 （ ! "） , ,， !（ "） , /， / 都是非负常数， 0是 （$， ’ ）内任意一点， 试 其中 ,， 证明 !’ （ 0） , + , + 证明 ( / 。 +
I- JH
证明 #
设（ ! "） # ’（ ! ’ "）(
’2= （ ! "） # ’2= ［ ’（! ’
I- JH
!% （ "） # 那么，
! ! （ 1 K " ）( " ( # 。 ! ’ " 1 ( ! （ 1 K !） （ ! ’ "）
可见， 对于任意 > & " & ’ H ， （ ! "） $ > ， 即 ’（! ’
# # 收稿日期： ">>$@>A@>B
!% 在 （>， 1 K ! ）不保持同一符号， 即 ! 不单调。 " # 1 K " 是唯一驻点， 且 !% 在这点由正变负， " # 1 K"是 ! "）在 ［>， 1 K ! ］上的最小 极大点也是最大点， 故（
! ! ）$ 。 " ! ’"
-$
北 京 印 刷 学 院 学 报
, ,
（ ! )） , /)。 于是，
!
)
!
!( （ .） *. ,
!
)
!
!( （ .） *. ,
! /*.
! #
)
,
只要证 % ’( （ ) * ） + ’( （ ") " # * ） （ ") " # * ） 。 "’) " #’(* + ’(
!
&
!
（ ! )） *) ,
!
&
!
（ ! )） *) ,
" #
&
!
（ ! )） *) ,
/ &# ， % 其中 / , ,-. !( （ )） 。 ! ,),& #
证明 %
设)& ［!， &］ ， 由牛顿 — 莱布尼兹公式及 （ .） *. , （ ! )）$ （ ! !） , （ ! )） ， ! !(
! )
（ ! !） , ! 知
由积分基本性质， 并考虑到 / , ,-. !( 有 （ )） ， ! ) &
+ ,#" + （ " & ’） 。 （ "+ & ’ ）
# $ 的二阶泰勒公式 （ 带有拉格朗日余项）为 （ ! "） # （ ! $ ）+ !’ （$） " + # 即
对 ,#" 在 ’ 与 " 之间用微分中值定理， 有
"#!
’ ( ! （ !） ") % $ ， )！ （ ! "） % $ ， ( ( 当"& （$， ’） 。 ( (
（ .） ! （ !） . （ " & "$ ） （ ! 在 " 与 "$ 之间） 。 .！
’ + ［ !（ !+ ） （ ’ & 0） & !（ !’ ） 0+ ］ , （ ! ’） + +！
第O期
% % % % % % % % % % % 孟赵玲， 叶侠娟：证明函数不等式的六种方法
$"
（ ! !） "
+$$* 年
值必在端点取得： ! !"# （ "） # （ ! $） # （ ! % & ’） # $。 因此， （ ! "）+ $ ( （ $ , " , % & ’ ） ， （ ! "） $ $ （ $ % " % % & ’ ） 。
例 1( 证明 (
设"& （$， ’） ， 试证明
+ ,#（ ’ + " ） % "+ 。 （ ’ + "）
’- ) * & ’-* ) 。 * ) $ ) * # （ ) $ * $ 1） 。 用函数单调性证明不等式， 有规范操作步骤： （ ! ）找一个函数 （ ! "） ， 研究 !% （ "）的正负； ! "）的起点或终点时的值。 （ " ）找 （ （ 当函数不单调时） 利用函数最值判定