探讨定积分不等式的证明方法摘要：文章针对被积函数的特性，给出了几种关于定积分不等式的有效证明方法。

关键词：定积分 不等式 证法不等式的证明在高等数学的学习中很常见，但关于定积分不等式的证明却一直是一个难点。

要证明定积分不等式，首先要看被积函数，其性质确定证明方法。

本文根据被积函数的连续性、单调性、可导性等分别给出几种证法。

1．运用定积分中值定理证明定积分中值定理是将定积分转化为连续函数在该区间上某点的函数值与该区间长度的乘积，即将定积分转化为函数来证明不等式。

例1：设)(x f 在[0,1]上连续且单调不增，证明a ∀∈[0,1]有⎰adxx f 0)(≥⎰1)(dx x f a．证明：由原不等式变形得⎰adx x f 0)(≥⎰⎰+1))()(dx x f dx x f a a （,即是要证：⎰-adx x f a 0)()1(≥⎰1)(dx x f a ,对左式，)(x f 在[0,1]上连续，故由定积分中值定理知：[]a ，01∈∃ξ使)()1()()110ξf a a dx x f a a-=-⎰（,同理对右式：[]12，a ∈∃ξ使)()1()(21ξf a a dx x f a -=⎰,显然，ξ1＜ξ2又f(x)在[0,1]上单调不增， ∴f (ξ1)≥f (ξ2)故原不等式⎰adx x f 0)(≥⎰1)(dx x f a 成立.定积分中值定理的运用直观易懂，它的条件也极其简单，易于掌握。

2．运用辅助函数证明构造辅助函数F(x)证明不等式，首先是做函数将要证结论中的积分上限（下限）换成x ，移项使不等式的一边为零，另一边的表达式即是辅助函数。

然后再求F ’(x)，并运用单调性及区间端点值特性证明不等式。

例2：设)(x f 在[a ，b]上连续,且)(x f >0. 试证：2b)()(1)(a b dx x f dx x f a ba-≥⎰⎰ 证明：构造辅助函数2)()(1)()(a x dt t f dt t f x F xaxa--=⎰⎰（将b 换成x ）， 则⎰⎰--+=xa xaa x dt t f x f dt t f x f x F )(2)()(1)(1)()('=⎰⎰⎰-+x a x a xadt dt x f t f dt t f x f 2)()()()(=dt x f t f t f x f xa )2)()()()((-+⎰ ∵)(x f ＞0，∴02)()()()(≥-+x f t f t f x f ， 又a <x ，∴0)('≥x F ，即)(x F 单调不减，又0)(=a F ，∴0)()(=≥a F b F ，故2b)()(1)(a b dx x f dx x f a ba-≥⎰⎰． 该题构造出积分上限函数，其目的是用单调性来证明不等式。

这种方法开门见山、直截了当。

3．运用定积分的性质和几何意义证明与定积分的概念相联系“以直代曲”的“近似代替”的思想，加上积分的几何直观使得不等式的证明变得更加简捷。

例３：证明不等式edx x e x x 12)1(sin 312π≤+⎰． 证明：因为31≤≤x 时)1(1)1(sin 22x e x e x x +≤+，两端积分得：e x e dx x e x x 12111)1(sin 312312π=+≤+⎰⎰例４：设1,≥b a 时，证明不等式b b e ab a ln 1+≤-． 证明：⎰-+=bb xdx b b 11ln ln ，111+=⎰--dx e ea x a ，根据定积分的几何意义知：b e b b dx e xdx b a a ba x -+=+≤---⎰⎰111ln ln )1（，即b b e ab a ln 1+≤-.本题关键在于深刻领悟定积分概念的由来，即求曲边梯形的面积问题推导的四个步骤：分割、取点、作和与求极限，这里充分运用了“近似代替”的几何直观来加以证明。

4．运用拉格朗日中值定理证明利用拉格朗日中值定理证明不等式，首先要构造满足中值定理条件的函数和区间，然后进行不等式放缩，再用定积分比较定理、估值定理或函数的绝对值不等式等。

例5：设)(x f 在],[b a 上可导，且M x f ≤）('，0)(=a f ， 试证：2b)(2)(a b Mdx x f a-≤⎰. 证明：由题设],[b a x ∈∀，)(x f 在[a ，b]上都满足拉氏中值定理的条件，于是有：))((')()()(a x f a f x f x f -=-=ξ，),(x a ∈ξ，∵M x f ≤）('， ∴)()(a x M x f -≤ 两边在[a ，b]上定积分得：2)(2)()(a b Mdx a b M dx x f baba -=-≤⎰⎰.此题运用拉格朗日中值定理简直如行云流水，如果采用其他办法显然比较繁琐。

5．运用Taylor 公式证明当已知被积函数f(x)二阶或二阶以上可导且又知最高阶导数的符号时，通常采用泰勒展开式来证明。

首先要写出f(x)的泰勒展开式，然后根据题意写出某些点的泰勒展开式，再进行适当的放缩以变成不等式，最后用定积分的性质进行处理。

例6：设)(x f 在],[b a 上单调增加，且)("x f ＞0，证明)()(a f a b -＜⎰badx x f )(＜2)()()(b f a f a b +-证明：先证左不等号：)()(a f a b -＜⎰badx x f )(，],[b a x ∈∀，x ＞a ，)(x f 单调增加，所以)(x f ＞)(a f故⎰badx x f )(＞)()(a f a b - (1)再证右不等号：⎰badx x f )(＜2)()()(b f a f a b +-，],[b a t ∈∀，)(t f 在点x 处的Taylor 展式为：2))(("!21))((')()(x t f x t x f x f t f -+-+=ξ,其中ξ在t 与x 之间，因)("ξf ＞0，所以)(t f ＞))((')(x t x f x f -+，将a t b t ==,分别代入上式并相加得：)()(b f a f +＞)(2)(')()(2x xf x f b a x f -++，将此式在],[b a 上积分得：[])()()(a b b f a f -+＞⎰⎰⎰-++bab abadx x xf dx x f b a dx x f )(2)(')()(2，有))](()([2a b b f a f -+＞⎰badx x f )(4，故⎰badx x f )(＜2)()()(b f a f a b +- (2)综合（1）、（2），原不等式得证.Taylor 公式的应用在大学数学的学习中是一个绝对的难点，往往很难掌握。

一个题目在你用其他方式很难解决时，Taylor 公式常会给你意想不到的突破。

6．运用柯西—斯瓦兹不等式证明 柯西—斯瓦兹不等式：例7：设)(x f 在[0,1]上有一阶连续导数且1)0()1(=-f f ，试证：1)]('[102≥⎰dx x f . 证明：∵⎰=-1)(')0()1(dx x f f f ，又1)0()1(=-f f ，所以⎰=101)('dx x f ，因)(x f 在[0,1]上可导，所以)(x f 在[0,1]上连续，由柯西—斯瓦兹不等式得：1))('()]('[1210102=≥⎰⎰⎰dx x f dx x f dx ， 即是1)]('[102≥⎰dx x f . 柯西—斯瓦兹不等式是大学数学中的又一难点，虽然记忆起来并不困难，但应用是灵活多变的。

7．运用重积分证明重积分要化为定积分来计算，这是众所周知的事实，但反之定积分的乘积往往又可以化为重积分，将定积分不等式的证明化为重积分不等式来证明，也是一种常见的方法。

例8：设)(x f 是在[0，1]上单调增加的连续函数，试证：⎰⎰⎰⎰≥12103102103)()()()(dxx f dx x f dx x xfdxx xf .证明：设dx x xf dx x f dx x f dx x xf I )()()()(12131213⎰⎰⎰⎰-==ydxdy y f x f dxdy y f x xf DD)()()()(2323⎰⎰⎰⎰- =dxdy y x y f x f D))(()(23-⎰⎰ (1)同样 dxdy x y y f x f I D))(()(32-=⎰⎰…（2） （1）+（2）可得dxdy y f x f y f x f y x I D))()()(()()(232--=⎰⎰， 由于)(x f 在[0，1]上单调增加，故0))()()((≥--y f x f y x ，∴0≥I ，从而dx x xf dx x f dx x f dx x xf)()()()(121312103⎰⎰⎰⎰≥即⎰⎰⎰⎰≥12103102103)()()()(dxx f dx x f dxx xfdxx xf总的来说，证明不等式是一门艺术，它具有自己独到的技术手法。

在此，我研究了上述7种方法来证明不等式，使一些复杂不等式的证明变得更加简洁，也会使一些不等式的证明变得一题多解。