探讨定积分不等式的证明方法.docx

《探讨定积分不等式的证明方法.docx》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、-CAL-FENGHAL-(YICAI)-CompanyOne1探讨定积分不等式的证明方法摘要：文章针对被积函数的特性，给岀了几种关于定积分不等式的有效证明方法。关键词：定积分不等式证法不等式的证明在高等数学的学习中很常见，但关于定积分不等式的证明却一直是一个难点。要证明定积分不等式，首先要看被积函数，其性质确定证明方法。本文根据被积函数的连续性、单调性、可导性等分别给出几种证法。1.运用定积分中值定理证明定积分中值定理是将定积分转化为连续函数在该区间上某点的函数值与该区间长度的乘积，即将定积分转化为函数来证明不等式。例1：设/（X）在［0,1］上连续且单调不增，证明V6/e

2、［0,i］有J）/⑴必88证明:由原不等式变形得［7（对必訣（［7⑴必+打⑴〃兀）,即是要证：（1-叽f⑴必$⑴化对左式，/（x）在［0丄］上连续，故由定积分中值定理知：3^e［0,询使（1-叽/（兀皿=巩1-6/）/（^）,同理对右式：北2丘［拥使⑴山二〃（1一〃）仗2）,显然，又f（X）在［0,1］上单调不增，・・・/(C)N/(歹2)故原不等式打(恥2建f(x)clx成立.8定积分中值定理的运用直观易懂，它的条件也极其简单，易于掌握。1.运用辅助函数证明构造辅助函数F(x)证明不等式，首先是做函数将要证结论中的积分上限(下限)换成X,移项使不等式的一边为零，另一边的表达

3、式即是辅助函数。然后再求F(x),并运用单调性及区间端点值特性证明不等式。例2：设/O)在b］上连续，且/(x)>0.试证：、少-a)2证明：构造辅助函数F(x)二(将b换成则F'(x)=‘⑴］击严+命”⑴力-2。-町Jaf(0Ja/MJa」宀込2)力~iuf(t)fM・・f(x)>0・IW+Z^_2>0又6ZV.AF(x)>0,即F(x)单调不减，又F(u)=0,F(b)>F(a)=0,故［升两7吕m该题构造出积分上限函数，其目的是用单调性来证明不等式。这种方法开门见山、直截了当。2.运用定积分的性质和几何意义证明与定积分的概念相联系“以直代曲”的“近似代替”的思想，加上积

4、分8的几何直观使得不等式的证明变得更加简捷。「爲sinxn例3：证明不等式[丙冷“而・[证明：因为1<%<73时£山八歼<―,两端积分得：e(1+x)£(1+jc)「、行sinx1rV317i—Tx<-7=J1eA(l+x2)eJ11+x212w例4：设a,b>i时，证明不等式ub

5、和与求极限，这里充分运用了“近似代替”的几何直观来加以证明。1.运用拉格朗日中值定理证明利用拉格朗R中值定理证明不等式，首先要构造满足中值定理条件的函数和区间，然后进行不等式放缩，再用定积分比较定理、估值定理或函数的绝对值不等式等。例5：设/G)在切上可导，且广(QVM,/⑷=0,试证：£/(x)dx<—(/?-ci)2.8证明：由题设Vxe[u,/?],/(x)在h，b]上都满足拉氏中值定理的条件，于是有：/(X)=/(x)-f(a)=广(g)(x-a),gw(a9x),・.・f'(x)

6、(b-ci)dx=一(b-ayJaJa2此题运用拉格朗日中值定理简直如行云流水，如果采用其他办法显然比较繁琐。5・运用Taylor公式证明当己知被积函数f(x)二阶或二阶以上可导且又知最高阶导数的符号时，通常采用泰勒展开式来证明。首先要写岀f(x)的泰勒展开式，然后根据题意写出某些点的泰勒展开式，再进行适当的放缩以变成不等式，最后用定积分的性质进行处理。例6：设于(兀)在S上]上单调增加,且r(x)>o,证明(b-a)/(a)<£/(x)dx<(b-a)"“)；")证明：先证左不等号：(b-a)f(a)<]f(x)dxf/xe[a,b]fx>af⑴单调增加，所以f(x)>f

7、(a)8故(y(x)dx>(b—a)于⑷…(1)再证右不等号：ff(x)dx<(b_/⑷;,Vre[6Z,Z?],/(Z)在点x处的Taylor展式为：/(o=fM+-%)+1r(^)a--^)2中子在t与x之间，因厂(百)>0,所以/(0>/W+x),将t=b,t=a分别代入上式并相加得：f(d)+f(b)>2f(x)+(a+b)f'(x)一2xf(x),将此式在[a.b]上积分得：1/(。)+f(b)b-a)>2^f(x)dx+(a+b)^fx)dx-2^xf(x)dx,有2[f(a)+f(b)