原函数存在定理在不等式证明题中的应用.pdf

高等数学研究 Vol6 ,No ,4 32 STUDIES IN COLLECE MATHEMATICS 　　　　　　　　　　Dec . ,2003 原函数存在定理在不等式证明题中的应用 ( ) 高智民　深圳大学理学院数学系 　广东深圳 　518060 摘 　要 　基于原函数存在定理, 可适当作辅助函数, 方便地证明一些相关的不等式 。 关键词 　原函数 　定积分 　原函数存在定理 　　中图分类号 O1722 原函数概念与作为积分和的极限的定积分概念是从两个完全不同的角度引入的, 而它们之间 的关系则通过下述的原函数存在定理联系起来 : x ( ) ( ) ( ) 设f x 是[ a , b] 区间上的可积函数, 对于 x ∈[ a , b] , 令 F x = f t dt , 则 : ∫ 0 1 若f ( x) 在[ a , b] 上可积, 则 F ( x) 在[ a , b] 上连续 。 ( ) ( ) ( ) ( ) 2 若f x 在[ a , b] 上连续, 则 F x 在[ a , b] 上可导, 且 F ′x = f x 。 3 设f ( x) 在[ a , b] 上连续, u ( x) , v ( x) 是可导函数, 且 u ( x) , v ( x) ∈[ a , b] , 则 d u ( x) ( ) ( ( ) ) ( ) ( ( ) ) ( ) ) f t dt = f u x u ′x - f v x v ′x dx ∫ v ( x) 　　上述原函数存在定理在导出NewtonLeibniz 公式以及在理论和计算方面具有广泛的应用 。下 面几个例题表明, 基于存在定理, 可适当作辅助函数, 证明相关的一些不等式, 往往也是很方便的。 b a + b b 例 1 　设f ( x) 是[ a , b] 上的连续函数且单调增加, 求证 :