1、探讨定积分不等式的证明方法摘要：文章针对被积函数的特性，给出了几种关于定积分不等式的有效证明方法。关键词：定积分 不等式 证法不等式的证明在高等数学的学习中很常见，但关于定积分不等式的证明却一直是一个难点。要证明定积分不等式，首先要看被积函数，其性质确定证明方法。本文根据被积函数的连续性、单调性、可导性等分别给出几种证法。1运用定积分中值定理证明定积分中值定理是将定积分转化为连续函数在该区间上某点的函数值与该区间长度的乘积，即将定积分转化为函数来证明不等式。例 1：设 在0,1 上连续且单调不增，证明 0,1有)(xf a adxf0)(10dfa证明：由原不等式变形得 ,adxf0)( 10
2、0 )()(dxfdxfa（即是要证： 10)(f,axf0)()1(对左式， 在0,1 上连续，xf故由定积分中值定理知： 使 a，1,)(1()()110 fadxfa（同理对右式： 使 ,2， )(1)(20fadxf显然， 1 2又 f(x)在0,1上单调不增， ( 1) ( 2)ff故原不等式 成立.adxf010)(dxfa定积分中值定理的运用直观易懂，它的条件也极其简单，易于掌握。2运用辅助函数证明构造辅助函数 F(x)证明不等式，首先是做函数将要证结论中的积分上限（下限）换成 x，移项使不等式的一边为零，另一边的表达式即是辅助函数。然后再求 F(x)，并运用单调性及区间端点值特
3、性证明不等式。例 2：设 在a，b上连续,且 0.)(xf )(xf试证： 2b)(1abdxffaba证明：构造辅助函数 （将 b 换成 x） ，2)()(1)(axdtftfFxaxa则 xaxa axdtffdtffxF )(2)(1)()(= xaxaxa ttftf)()(= dtxfttfxa2)()( 0， ，)(xf 0)()(fttf又 ， ，a0xF即 单调不减，又 ， ，)(x)(a0)()(aFb故 2b)(1bdxffaba该题构造出积分上限函数，其目的是用单调性来证明不等式。这种方法开门见山、直截了当。3运用定积分的性质和几何意义证明与定积分的概念相联系“以直代曲”
4、的“近似代替”的思想，加上积分的几何直观使得不等式的证明变得更加简捷。例：证明不等式 edxex12)1(sin32证明：因为 时 ，两端积分得：1)()(i22xxexedxex 121)1(sin3312 例：设 时，证明不等式 ,ba babaln证明： ， ，xd11lnl 1101dxee根据定积分的几何意义知：，bebdxexdba aa 1110lnln)（即 .beal本题关键在于深刻领悟定积分概念的由来，即求曲边梯形的面积问题推导的四个步骤：分割、取点、作和与求极限，这里充分运用了“近似代替”的几何直观来加以证明。4运用拉格朗日中值定理证明利用拉格朗日中值定理证明不等式，首先
5、要构造满足中值定理条件的函数和区间，然后进行不等式放缩，再用定积分比较定理、估值定理或函数的绝对值不等式等。例 5：设 在 上可导，且 ， ，)(xf,baMxf）( 0)(af试证： .2b )()(abMdxfa证明：由题设 ， 在a ，b 上都满足拉氏中值定理的条,(xf件，于是有：， ，)()()()( axfafxff ),(xa ，M） )()(xf两边在a，b上定积分得：.2)()()( abMdxabdxfbaa 此题运用拉格朗日中值定理简直如行云流水，如果采用其他办法显然比较繁琐。5运用 Taylor 公式证明当已知被积函数 f(x)二阶或二阶以上可导且又知最高阶导数的符号时
6、，通常采用泰勒展开式来证明。首先要写出 f(x)的泰勒展开式，然后根据题意写出某些点的泰勒展开式，再进行适当的放缩以变成不等式，最后用定积分的性质进行处理。例 6：设 在 上单调增加，且 0，证明)(xf,ba)(“xf (fabadxf)( 2)(ba证明：先证左不等号： ，)(fabbadxf)(， ， 单调增加，所以 ,baxxxf f)(af故 （1）badf)()(af再证右不等号： ，badxf)( 2)()(bfafb， 在点 x 处的 Taylor 展式为：,ttf,其中 在 t 与 x 之间，2)(“!21)()() xtftfxftf 因 0，“f所以 ，)(t )()(x
7、tfxf将 分别代入上式并相加得：ab, ，将此式在 上)()(ff )(2)()2xfxfbaxf ,ba积分得： ，)()(abfafbababadxfdxfdxf )(2)()()(2有 ，)()(2ffbaf)(4故 （2）badxf)( 2()(ffb综合（1） 、 （2） ，原不等式得证.Taylor 公式的应用在大学数学的学习中是一个绝对的难点，往往很难掌握。一个题目在你用其他方式很难解决时，Taylor 公式常会给你意想不到的突破。6运用柯西斯瓦兹不等式证明柯西斯瓦兹不等式：例 7：设 在0,1 上有一阶连续导数且 ，)(xf 1)0()1(ff试证： .1102df证明： ，
8、0)()()( dxfff又 ，所以 ，1)0()1(ff 101)(dxf因 在0,1上可导，所以 在0,1上连续，xf f由柯西斯瓦兹不等式得： ，1)()(102102 dxfdxfdx即是 .)(102dxf柯西斯瓦兹不等式是大学数学中的又一难点，虽然记忆起来并不困难，但应用是灵活多变的。7运用重积分证明重积分要化为定积分来计算，这是众所周知的事实，但反之定积分的乘积往往又可以化为重积分，将定积分不等式的证明化为重积分不等式来证明，也是一种常见的方法。例 8：设 是在0，1 上单调增加的连续函数，)(xf试证： .10231023)()(dxfdxf证明：设 dxfdxfffI )()()()(102103102103 = yffdxyfxf DD 2323= （1）ff )(23同样 （ 2）dxyyfxfID)()(32（1）+（2）可得 ，dxyfxfffID )()()(32由于 在0 ，1上单调增加，故 ，)(xf 0)()( yfxfyx ，从而0I dxfdfdfdxf)(102103102103 即 10231023)()(dxfdxf总的来说，证明不等式是一门艺术，它具有自己独到的技术手法。在此，我研究了上述 7 种方法来证明不等式，使一些复杂不等式的证明变得更加简洁，也会使一些不等式的证明变得一题多解。
