下载文档原格式
探讨定积分不等式的证明方法定积分是微积分中重要的概念之一，它在数学和其他学科中有着广泛的应用。
定积分不等式是对定积分的一种推广和扩展，它可以用来证明数学中的很多重要不等式。
定积分不等式的证明方法有很多种。
下面将介绍其中的几种常见证明方法。
1.利用积分的定义定积分的定义是通过极限来定义的，可以用积分和极限的性质来证明定积分不等式。
一般的证明步骤如下：（1）通过积分的定义，将定积分转化为极限的形式。
（3）利用极限的性质，对被积函数和不等式进行变换和处理，最终得到待证不等式。
2.利用积分的性质和中值定理（1）利用中值定理，将定积分表示为导数的形式。
（3）利用中值定理和被积函数的性质，对待证不等式进行变换和处理，最终得到待证不等式。
3.利用积分的性质和数学归纳法数学归纳法是数学中常用的证明方法之一，可以用来证明定积分不等式。
具体的证明方法如下：（1）利用积分的性质，将待证不等式转化为一系列具有相似性质的子不等式。
（2）对待证不等式的子不等式进行归纳证明，即先证明基本情况，然后假设第n个不等式成立，再通过已知的前n个不等式得到第n+1个不等式。
（3）通过数学归纳法的证明，得到待证不等式。
这种证明方法的优点是简单直接，能够通过归纳证明得到待证不等式，但需要对数学归纳法的性质和待证不等式的子不等式非常熟悉。
除了以上的方法，还可以利用几何意义、特殊函数的性质、不等式的基本性质等进行证明。
不同的证明方法适用于不同的场合和问题，需要根据具体情况选择合适的方法。
综上所述，定积分不等式的证明方法有很多种，可以利用积分的定义、性质和中值定理，数学归纳法等进行证明。
不同的证明方法有不同的优点和适用范围，需要根据具体情况选择合适的方法。
对于定积分不等式的证明方法的深入理解和熟练应用，对于深化对定积分的理解和掌握具有重要意义。
定积分的几个简单应用一、定积分在经济生活中的应用在经济管理中，由边际函数求总函数，一般采用不定积分来解决，或者求一个变上限的定积分；如果求总函数在某个范围的改变量，则采用定积分来解决．例1 某商场某品牌衬衫的需求函数是q p 15.065-=，如果价格定在每件50元，试计算消费者剩余．解 由p 50=，q p 15.065-=，得10000=q ，于是dq q )5015.065(100000--⎰10000023)1.015(q q -=50000=，所求消费者剩余为50000元．例2 已知某产品总产量的变化率为t t Q 1240)(+='（件／天），求从第5天到第10天产品的总产量．解 所求的总产量为⎰⎰+='=105105)1240()(dt t dt t Q Q 1052)640(t t +=650=（件）． 二、用定积分求极限例1 求极限 ∑=∞→n k n n k 123lim ．解 nn n n n n n n k n k 12111123+++=∑= )21(1nn n n n +++= ． 上式是函数[]1,0)(在x x f =的特殊积分和．它是把[]1,0分成n 等分，i ξ取⎥⎦⎤⎢⎣⎡-n i n i ,1的右端点构成的积分和．因为函数[]1,0)(在x x f =可积，由定积分定义，有∑=∞→n k n n k 123lim ⎥⎦⎤⎢⎣⎡+++=∞→)21(1lim n n n n n n 3210==⎰dx x ． 例2 求极限 2213lim k n n k n k n -∑=∞→． 解 212213)(11n k nk n k n n k n k n k -⋅=-∑∑==． 上式是函数[]1,01)(2在x x x f -=的特殊积分和．它是把区间[]1,0分成n 等分，i ξ取⎥⎦⎤⎢⎣⎡-n i n i ,1的右端点构成的积分和．因为函数21)(x x x f -=在[]1,0可积，由定积分定义，有2213lim k n n k n k n -∑=∞→31)1(31110232102=⎥⎦⎤⎢⎣⎡--=-=⎰x dx x x ． 三、用定积分证明不等式 定积分在不等式的证明中有着重要的应用．在不等式的证明中，可根据函数的特点，利用定积分的性质来证明．例1 设)(x f 是闭区间[]b a ,上的连续函数，且单调增加，求证：⎰⎰+≥b ab a dx x f b a dx x xf )(2)(． 证明 作辅助函数 dt t f x a dt t tf x xa x a ⎰⎰+-=)(2)()(ϕ， 显然0)(=a ϕ，且)(2)(21)()(x f x a dt t f x xf x x a ⎰+--='ϕ )(2))((21)(2x f a a x f x f x ---=ξ [])()(2ξf x f a x --=， 其中[]x a ,∈ξ．因为)(x f 在[]b a ,上单调增加，所以0)(≥'x ϕ，从而)(x ϕ在闭区间[]b a ,上单调增加，所以0)()(=≥a x ϕϕ，取b x =得⎰⎰+≥b a ba dx x fb a dx x xf )(2)(． 定积分在许多领域中有着重要应用，它是解决一些几何学问题、物理学问题和经济学问题的重要工具．这一章主要介绍了定积分在不同学科中的应用问题．。
热点追踪Җ㊀广东㊀李文东㊀㊀不等式的证明是高考的重要内容,证明的方法多㊁难度大,特别是一些数列和型的不等式．这类不等式常见于高中数学竞赛题和高考压轴题中,由于证明难度较大,往往令人望而生畏．其中有些不等式若利用定积分的几何意义证明,则可达到以简驭繁㊁以形助数的解题效果．１㊀利用定积分证明数列和型不等式数列和型不等式的一般模式为ðni ＝１a i ＜g (n )(或ðni ＝１a i ＞g (n )),g (n )可以为常数．不失一般性,设数列a n ＝f (n )＞０,此类问题可以考虑如下的定积分证明模式．(１)若f (x )单调递减．因为f (i )＜ʏii －１f (x )d x ,从而ðni ＝１a i ＝ðn i ＝１f (i )＜ðni ＝１ʏii－１f (x )d x ＝ʏn０f (x )d x ．㊀㊀又因为ʏi i －１f (x )d x ＜f (i －１),从而ʏn ＋１１f (x )d x ＝ðn ＋１i ＝２ʏi i－１f (x )d x ＜ðn ＋１i ＝２f (i －１)＝ðni ＝１a i．㊀㊀(２)若f (x )单调递增．因为f (i )＞ʏi i －１f (x )d x ,从而ðni ＝１a i＝ðni ＝１f (i )＞ðni ＝１ʏii－１f (x )d x ＝ʏn０f (x )d x ．㊀㊀又因为ʏii －１f (x )d x ＞f (i －１),从而ʏn ＋１１f (x )d x ＝ðn ＋１i ＝２ʏii－１f (x )d x ＞ðn ＋１i ＝２f (i －１)＝ðni ＝１a i ．例１㊀(２０１３年广东卷理１９,节选)证明:１＋１２２＋１３２＋ ＋１n２＜７４(n ɪN ∗)．分析㊀本题证法大多采用裂项放缩来证明,为了得到更一般的结论,我们这里采用定积分来证明．证明㊀因为函数y ＝１xα(α＞０且αʂ１)在(０,＋ɕ)上单调递减,故ʏii －１１x αd x ＞１iα(i ȡ３),从而当αʂ１时,ðni ＝１１i α＜１＋１２α＋ðni ＝３ʏii －１１x αd x ＝１＋１２α＋ʏn２１x αd x ＝１＋１２α－１(α－１)x α－１n ２＝１＋１２α＋１(α－１)２α－１－１(α－１)nα－１．㊀㊀利用这个不等式可以得到一些常见的不等式．若α＝１２,则ðn i ＝１１i＜１－３２＋２n ＝２n －１＋(２－３２)＜２n －１．㊀㊀当α＞１时,ðni ＝１１iα＜１＋１２α＋１(α－１)２α－１＝１＋α＋１α－１ １２α．特别地,若α＝２,则ðni ＝１１i ２＜１＋２＋１２－１ １２２＝７４;若α＝３,则ðni ＝１１i３＜１＋３＋１３－１ １２３＝５４;若α＝３２,则ðni ＝１１ii＜１＋３２＋１３２－１ １２３２＝１＋５２４＜３;若α＝１,则１n＜ʏnn －１１x d x ＝l n x nn －１＝l n n －l n (n －１),从而可以得到１２＋１３＋ ＋１n ＋１＜ʏn ＋１１１xd x ＝l n (n ＋１),１n ＋１＋１n ＋２＋ ＋１２n＜ʏ２nn１xd x ＝l n２．㊀㊀另一方面,１n －１＞ʏnn －１１xd x ＝l n x n n －１＝l n n －l n (n －１),则１＋１２＋１３＋ ＋１n －１＞ʏn１１x d x ＝l n n ．㊀㊀当α＝１时,借助定积分的几何意义上述不等式４２热点追踪还可以进一步加强．图１是函数y ＝１x的部分图象,显然S 曲边梯形A B C F ＜S 梯形A B C F ,于是ʏn ＋１n１x d x ＜１２(１n ＋１n ＋１),得l n (１＋１n )＜１２(１n ＋１n ＋１),令n ＝１,２, ,n ,并采用累加法可得１＋１２＋１３＋ ＋１n＞l n (n ＋１)＋n２(n＋１)(n ȡ１)．图１例２㊀证明:l n ４２n ＋１＜ðni ＝１i４i ２－１(n ɪN ∗)．分析㊀由于i ４i ２－１＝１４(１２i －１＋１２i ＋１),l n ４２n ＋１＝１４l n (２n ＋１),故证明l n (２n ＋１)＜ðni ＝１(１２i －１＋１２i ＋１)．构造函数f (x )＝１２x ＋１,显然f (x )单调递减,考虑到ðni ＝１(１２i －１＋１２i ＋１)的结构,对函数f (x )采用类似图１中的梯形面积放缩．证明㊀由分析得ʏii －１１２x ＋１d x ＜１２(１２i －１＋１２i ＋１),故１２l n (２n ＋１)＝ʏn０１２x ＋１d x ＝ðni ＝１ʏii －１１２x ＋１d x ＜１２ðni ＝１(１２i －１＋１２i ＋１),不等式两边除以１２即为所证．例３㊀证明１３＋１５＋１７＋ ＋１２n ＋１＜１２l n (n ＋１)(n ɪN ∗)．分析㊀若考虑函数y ＝１２x ＋１,则有１２i ＋１＜ʏii －１１２x ＋１d x ,则ðni ＝１１２i ＋１＜ðni ＝１ʏii －１１２x ＋１d x ＝ʏn０１２x ＋１d x ＝１２l n (２x ＋１)n０＝１２l n (２n ＋１),达不到所证的精度,必须改变定积分放缩的精度．证明㊀结合不等式的右边,考虑函数f (x )＝１x．如图２所示,在区间[i ,i ＋１]上,取区间的中点i ＋１２,并以１i ＋１２为高作矩形A E F B ,则S 矩形A E F B ＜ʏi ＋１i １x d x ．于是有２２i ＋１＝１i ＋１２＜ʏi ＋１i１xd x ,则ðni ＝１２２i ＋１＜ðni ＝１ʏi ＋１i１xd x ＝ʏn ＋１１１xd x ＝l n (n ＋１),即ðn i ＝１１２i ＋１＜１２ln (n ＋１)．图２例４㊀设n 是正整数,r 为正有理数．(１)求函数f (x )＝(１＋x )r ＋１－(r ＋１)x －１(x ＞－１)的最小值;(２)证明:n r ＋１－(n －１)r ＋１r ＋１＜n r＜(n ＋１)r ＋１－nr ＋１r ＋１;(３)设x ɪR ,记[x ]为不小于x 的最小整数,例如[２]＝２,[π]＝４,[－３２]＝－１．令S ＝３８１＋３８２＋３８３＋ ＋３１２５,求[S ]的值．(参考数据:８０４３ʈ３４４ ７,８１４３ʈ３５０ ５,１２５４３ʈ６２５ ０,１２６４３ʈ６３１ ７．)分析㊀出题者的本意是利用第(１)问中的伯努利不等式来证明后两问,但这里我们利用积分来证明．证明㊀(１)f m i n (x )＝０(求解过程略)．(２)因为r 为正有理数,函数y ＝x r 在(０,＋ɕ)上单调递增,故ʏnn －１x r d x ＜nr,而５２热点追踪ʏnn －１x rd x ＝x r ＋１r ＋１n n －１＝n r ＋１－(n －１)r ＋１r ＋１,故n r ＋１－(n －１)r ＋１r ＋１＜n r．同理可得n r＜ʏn ＋１n x rd x ＝x r ＋１r ＋１n ＋１n ＝(n ＋１)r ＋１－n r ＋１r ＋１,从而n r ＋１－(n －１)r ＋１r ＋１＜n r＜(n ＋１)r ＋１－n r ＋１r ＋１．(３)由于i １３＜ʏi ＋１i x １３d x ＜(i ＋１)１３,故S ＝ð１２５i ＝８１i１３＜ð１２５i ＝８１ʏi ＋１ix １３dx ＝ʏ１２６８１x １３dx ＝３４x ４３１２６８１＝３４(１２６４３－８１４３),３４(１２５４３－８０４３)＝３４x ４３１２５８０＝ʏ１２５８０x １３d x ＝ð１２４i ＝８０ʏi ＋１ix １３d x ＜ð１２４i ＝８０(i ＋１)１３＝S ．３４(１２５４３－８０４３)＜S ＜３４(１２６４３－８０４３)．代入数据,可得３４(１２５４３－８０４３)ʈ２１０．２,３４(１２６４３－８１４３)ʈ２１０．９．由[S ]的定义,得[S ]＝２１１．２㊀利用积分证明函数不等式我们知道ʏx ２x １fᶄ(x )d x ＝f (x ２)－f (x １),因此,对于与f (x ２)－f (x １)有关的问题,可以从定积分的角度去思考．若f (x )的导数f ᶄ(x )在区间(a ,b )上单㊀图３调递减且f ᶄ(x )为凹函数,如图３所示．设A C 的中点为B ,过点B 作B G ʅx 轴与f (x )交于点G ,过点G 作f (x )的切线与直线AH 和C D 分别交于点F 和I ．设A (x １,０),C (x ２,０),则f (x ２)－f (x １)＝ʏx ２x １fᶄ(x )d x ＝S 曲边梯形A C J H ,S 矩形A C D E ＝f ᶄ(x ２＋x １２)(x ２－x １)．因为S 曲边三角形E G H ＞S әE F G ＝S әD I G ＞S 曲边三角形J D G ,S 曲边梯形A C J H －S 矩形A C D E ＝S 曲边三角形E G H －S 曲边三角形J D G ＞０,于是有f (x ２)－f (x １)x ２－x １＞f ᶄ(x ２＋x １２)．借助上述几何意义,一般地我们有如下结论．(１)若函数f (x )的导数f ᶄ(x )在区间(a ,b )上为凹函数,则对于任意的a ＜x １＜x ２＜b ,有f (x ２)－f (x １)x ２－x １＞f ᶄ(x ２＋x １２);(２)若函数f (x )的导数f ᶄ(x )在区间(a ,b )上为凸函数,则对于任意的a ＜x １＜x ２＜b ,有f (x ２)－f (x １)x ２－x １＜f ᶄ(x ２＋x１２)．例５㊀(１)函数f (x )＝l n x ,因为f ᶄ(x )＝１x在(０,＋ɕ)上为凹函数,则对任意０＜x １＜x ２,有l n x ２－l n x １x ２－x １＞１x ２＋x １２,即x ２－x １l n x ２－l n x １＜x １＋x ２２,此为对数均值不等式．(２)函数f (x )＝x l n x ,因为f ᶄ(x )＝１＋l n x 在(０,＋ɕ)上为凸函数,则对任意０＜x １＜x ２,有x ２l n x ２－x １l n x １x ２－x １＜１＋l n x ２＋x １２．许多考题都是以此为背景命题,比如,如下高三模拟考试的压轴题．例６㊀已知函数f (x )＝l n x －a x ２２＋(a －１)x －３２a(a ＞０),在函数f (x )的图象上是否存在不同两点A (x １,y １),B (x ２,y ２),线段A B 中点的横坐标为x ０,直线A B 的斜率为k ,使得k ＞f ᶄ(x ０)．简证㊀由于f ᶄ(x )＝１x－a x ＋a －１(a ＞０)在(０,＋ɕ)上为凹函数,可见结论成立!例７㊀设函数f (x )＝xex ,若x １ʂx ２,且f (x １)＝f (x ２),证明:x １＋x ２＞２．分析㊀本题的本质是极值点偏移问题,常见证法是利用对称性构造函数,这里采用定积分来证明．证明㊀不妨设x １＜x ２,由f ᶄ(x )＝１－x ex ,可知f (x )在(－ɕ,１]上单调递增,在[１,＋ɕ)上单调递减,且f (０)＝０．当x ＞０时,f (x )＞０,可知０＜x １＜１＜x ２．设x １e x １＝x ２e x ２＝t ,则x １＋x ２＝t (e x １＋e x ２),x ２－x １＝t (e x ２－e x １),考虑函数y ＝e x ,则根据定积分的梯形面积放缩有e x ２－e x １＝ʏx ２x １e xd x ＜(e x １＋e x２)(x ２－x １)２,则x ２－x １t ＜１２ x ２＋x １t(x ２－x １),故x １＋x ２＞２．(作者单位:广东省中山市中山纪念中学)６２。
定积分的计算和积分不等式摘要：本文首先介绍了定积分的几种计算方法：牛顿—莱布尼兹公式，分部积分法，换元积分法，积分值的估计。
其次再介绍了积分不等式的几种证明：用微分学的方法证明积分不等式，利用被积函数的不等式证明积分不等式，在不等式两端取变限积分证明新的不等式，利用积分性质证明不等式，利用积分中值定理证明不等式。
关键字：定积分；牛顿—莱布尼兹公式；分部积分法；换元积分法The Definite Integral Compute and Integral InequalityAbstract: In this paper, firstly, mainly introduced a few kinds computational method of definite integral: Newton-Leibniz, definite integration by parts, integration by substitution, definite integral by estimate value. Secondly, this paper also introduced a few kinds of integral invariant: using the method of differential calculus to prove integral invariant; making use of integrand invariant to prove integral invariant; using transfinite integrate to prove integral invariant; using integral characteristic to prove integral invariant; making use of integral mean value theorem to prove integral invariant.Key word:Definite integral; Newton-Leibniz; definite integration by parts; integration by substitution.引言数学分析是数学专业中一门重要的基础课，定积分的计算和积分不等式无疑是数学分析中一个重要的方面。
定积分不等式证明方法要证明一个定积分的不等式，通常可以使用下面的方法：1.使用函数的性质：a.利用函数的递增性或递减性：如果能够证明被积函数在积分区间上是递增函数或递减函数，那么可以利用这个性质来证明不等式。
b.利用函数的凸性或凹性：如果被积函数在积分区间上是凸函数或凹函数，那么可以利用这个性质来证明不等式。
c.利用函数的导数性质：如果能够证明被积函数的导数在积分区间上具有一些特定的性质，比如非负或非正，那么可以利用这个性质来证明不等式。
2.使用定积分的性质：a.利用定积分的线性性质：如果能够将被积函数表示为两个或多个可积函数的线性组合，那么可以利用定积分的线性性质来证明不等式。
b.利用定积分与函数极限的关系：如果被积函数是一个收敛函数序列的极限函数，那么可以利用定积分与函数极限的关系来证明不等式。
c.利用平均值定理：如果能够找到一个介于被积函数在积分区间上的最大值和最小值之间的常数函数，那么可以利用平均值定理来证明不等式。
3.使用面积比较法：a.利用图形的几何性质：将被积函数与一个已知函数或图形进行比较，通过比较图形的面积大小来证明不等式。
b.利用图形的对称性：如果能够将积分区间对称分割，或者利用函数的对称性，那么可以利用对称性来证明不等式。
4.使用特殊技巧：a.利用变量替换：通过对积分变量进行适当的代换，可以将原来的不等式转化为更加简单的形式，从而更容易证明。
b.利用积分的可加性：如果被积函数具有可加性的性质，即可以将积分区间分成多个子区间进行求积分，那么可以利用这个性质来证明不等式。
以上是一些常用的定积分不等式证明方法，但并不是穷尽的。
在实际问题中，根据具体的情况可能需要结合多种方法来证明不等式。
最后，需要强调的是，在证明中需要合理运用数学工具和定义、定理，推导过程要严密，逻辑要清晰，以确保证明的正确性和严谨性。
第３卷第３期天津成人高等学校联合学报Ｎｏ．３Ｖ０１．３２００１匀；８月ＪｏｕＲＡＮＬｏＦＴＩＡＮＪＩＮＡＤｕＬＴＨＩＧＨＥＲＬＥＡＲＮｌＮＧＡｕｇ．２００１定积分中不等式的证明杨凡（天津市河北区职工大学天津市３００１５０）摘要：文章归纳、介绍了由变上限函数的特性、由ｃ肌ｃｈｙ不等式、由Ｔａｙｌｏｒ公式及余项、由积分的性质、由积分中值定理，证明定积分不等式的五种方法，并以适量的例题，说明运用这些方法时的基本思路和解题技巧．关键词：不等式；证明；函数；积分中图分类号：０１７５．５文献标识码：Ａ文章编号：１００９－２４９８（２００１）０３—００７２－０３在微积分学中，不等式的证明是个难点，用来证明积分不等式的方法也不多．为探讨不等式的证明问题，本文介绍几种证明方法，并以相应的实例加以说明．１由变上限函数的特性证明变上限函数剜∽＝Ｉ八ｆ）ｄｆ，有一非常好的特性，即：西ｂ）＝（Ｉ以ｆ）ｄｆ），＝／ｂ）由此可证明不等式，下面的例题说明了这一点．例ｌ设函数，ｂ）在［０，＋一】上连续且单调增加，证明对任何实数口、６（６＞口＞０），不等式．『Ｉ≯）出≥吉（６Ｉ『．扣出一口．『．和血）成立．证明令只ｘ）＝ｘＩ八ｆ）出Ｏ≥ｏ），有以６）＝６Ｉ／∽血，只口）＝口Ｉ／ｂ）血，‘．‘６Ｉ几）出一口Ｉ删血＝，（６）一只口）＝汴∽ａｘ＝小ｌＩ．和㈦’缸＝卜Ｊ和批ｃ．『．和㈣，）血＝厂（．『－×ｆ）ｄ以·几））血卜‘（ｘ．『．≯力㈦’＝弛））≤ＩＧ·／ｂ）乜－／∽）血（‘．‘／ｂ）单调增加）＝２ｌ枷）缸，．·．．Ｉ．乡∞血≥丢ｃ６．Ｉ．和血一口．Ｉ－≯）出，．２由Ｃａｕｃｈｙ不等式证明若函数，ｂ），ｇＧ）在（口，６）皆可积，则（．『．乡∽血·出）血］２≤（．『．夕∽血］·（．『．≥∽血）．上式称为ｃ明ｃｈｙ不等式．例２设函数，ｂ）在（０，１）上导数连续，八ｏ）亏“１）＝０，证明ｌＩ．≯∽如≤丢．『．：（厂∽）２血证明。
．‘以ｏ）＝ｏ，．。
．／∽＝Ｉ厂协）血尸∽＝（Ｊｉ厂ｂ）血）２收稿日期：２００ｌ一０４—１９作者简介：杨凡，（１９６３－）男，天津人，天津市河北区职工大学讲师，理学学士，研究方向：高ａｌＴｅｃｌｌｌ】ｏｌｏｇｙｍｓｔｌｔＨｔｅ，ＴＪａ蟛ｉｎ３００ｌ７０）Ａｂ吼ｒａｃｔ：Ｔｌｌｉｓｐ叩ｅｒｐｒｏｖｅｓｍａｔｆｏｕｒｒｅｐｒｅｓｅｎｔａｔｉｖｅｎｏｎ一向ｌｌｙｃｏｎｔｉｎｕｏｕｓ如ｎｃｔｉｏｎｓａｒｅｃｏｎｔｉｌｌｕｏｕｓ向ｎｃｔｉｏｎａｎｄｓｈｏｗｓｕｐｔｈｅｉｒｃａｕｓｅｏｆｎｏｎ—ｆｕｌｌｙｃｏｎｔｉｎｕｏｕｓ． 万方数据式≤仔出·．『－：（ｍ炉出≤ｚ－－『－：（／∽）２缸。
）又‘．‘八１）＝ｏ，．。
．删＝Ｉ厂∽血尸∽＝（．『．７协）缸）２≤－Ｊ．！ｔ２血·．『．：≤（１一ｘ）‘Ｊ’：（厂ｂ））２出∞）由口）与饵）得：ｍ血≤．ｆ．知·－『．：ｃ刑一．Ｉ－』·＝等ｌｊ．ＪＩ：ｃ厂∽，２甜Ｇ一等＝（抻．１．：【，ｗ血＝｛．『．：（厂榭血（ｆ７∽）：出肌ｌ『．≯∽出≤｛．ｆ．：（，∽）２出３由Ｔａｙｌｏｒ公式及余项证明定积分证明题中，若被积函数具有二阶及二阶以上导数时，利用，Ｉ’ａｙｌｏｒ公式可对余项做放缩处理，进而证明不等例３设，ｂ）是．（０，ａ）上的非负函数，，”（曲≥０，ａ＞Ｏ，证明Ｉｋ）ｄｂｃ≥砜导）．证明对厂ｂ）在勘＝号点处利用１’ａｙｌｏｒ公式，即／ｂ）＝八号坩’（争Ｇ一争＋未－厂”（ｏＧ一争（此处：号介于ｘ与号之间）··。
，”∽≥ｏ．Ｇ一号）２≥ｏ．·．弛）豺睁Ｍ，（导№一书两边取从０到口的积分，得：ＩＩ．和出≥．ｆ．：（晴）ｖ呼）Ｇ一号）血＝Ｊ：（睁Ｖ９Ｇ一争血５盯’（睁Ｖ喏）Ｇ一号）ｄＱ一争）＝口·＝口·一（ｏ一号）２）＝口‘蜡），吼．Ｉ．砖妇≥口·赠）．４由积分的性质证明利用下列两条定积分的性质可证明定积分不等式．（１）若在（口，６１上，弛）≥ｇ∽，则．『．乡∽血≥Ｉ『．必）血（１）若在（口，６）上，弛）≥ｇ∽，则Ｉ几）血≥Ｉ如）血（２）朋和肌为厂∽在（口，６）上的最大值和最小值，则脚∞一力≤ｆ：，（蛐≤＾ｌ（６一曲例４当玎＞２时，证明专≤Ｊ：专爿妥≤詈．证明ｚ∈（ｏ，｛］，聍＞２，ｒ≤，，有１≥１一ｒ≥１一Ｐｌ≥厅≥廊·≤赤≤志取从。
到｛的积分，得·７３·』仆争畸陋霎霎蜡碍 万方数据 万方数据定积分中不等式的证明作者：杨凡， YANG Fan作者单位：天津市河北区职工大学,天津市,300150刊名：天津成人高等学校联合学报英文刊名：JOURNAL OF TIANJIN ADULT HIGHER LEARNING年，卷(期)：2001，3(3)被引用次数：0次1.蒋传章.陈俊杰.黄璞生高等数学题解词典 19932.陈兰祥高等数学典型题精解 20003.同济大学数学教研室高等数学 19881.期刊论文邢家省.郭秀兰.朱建设.Xing Jiasheng.Guo Xiulan.Zhu Jianshe H(o)lder不等式的初等证明及其应用-河南科学2009,27(12)首先利用贝努利不等式给出了几何平均算术平均不等式的证明,其次给出了Young不等式和Young逆不等式的初等证明方法,进而给出了H(o)lder不等式的初等证明,沟通了这些重要的不等式之间在初等数学阶段的联系.2.期刊论文徐嘉.姚勇.XU Jia.YAO Yong一类根式不等式的有理化算法与机器证明-计算机学报2008,31(1)文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合,给出了一大类具有相当难度的几何不等式的机器证明.此前该课题仅有的工作是杨路关于二次根式的结果.3.期刊论文李斌不等式证明的推广-宿州教育学院学报2010,13(1)探索了解不等式的证明过程,发掘不等式背后蕴含的更一般的结论,对于提高学生数学地提出、分析、和解决问题的能力和创新意识都有积极意义.本文通过两道不等式证明的推广来加以简述.4.期刊论文邢家省.张愿章.陶鹏飞.XING Jia-sheng.ZHANG Yuan-zhang.TAO Peng-fei几何算术平均不等式的初等证明与应用-河南科学2007,25(3)几何平均算术平均不等式是非常重要的不等式.给出几何平均算术平均不等式的初等证明,这样就可使此不等式的使用大为提前,通过一些实例体现此不等式的使用价值.5.期刊论文伍军.WU jun不等式证明的一则注记-新疆师范大学学报（自然科学版）2007,26(1)对于不同的不等式,可以利用适当灵活的方法进行证明,本文应用ex≥1+x可以使某些不等式,特别是有连乘积、乘方不等式的证明来得简捷有效. 6.学位论文夏时洪一类不等式型定理可读证明的自动生成2002过去20多年来定理机器证明所获进展主要限于等式型定理的证明,而对不等式型定理机器证明的研究却举步维艰.1994年,周咸青、高小山等将"柱形代数剖分"原有算法和吴方法相结合,在这方面做了有益的探讨,可以处理原先不能处理的一些问题.1998年,杨路提出了不等式型定理机器证明的"降维算法",据此编制的通用程序——BOTTEMA能够成批地验证不等式命题."不等式型定理的自动证明"和"可读证明的自动产生"构成了当代自动推理研究领域的两大重点,该项工作将这两大难点结合起来考虑,研究并给出了不等式型定理机器证明的一般算法,改进了BOTTEMA中的原有算法并扩展了其功能,给出了比较实代数数大小的符号算法,并提出了一类三角形几何不等式可读证明自动生成的高效的算法.7.期刊论文高等数学中微积分证明不等式的探讨-现代商贸工业2009,""(20)不等式是高等数学中经常遇到而又比较困难的问题之一.众所周知不等式的证明在高等数学中起着重要的作用.同时,不等式证明的教学对发展学生的数学思维,培养逻辑思维能力起着非常重要的作用,证明不等式没有固定的模式,方法因题而异,灵活多变,技巧性强.将利用函数的单调性、函数极值及拉格朗日中值定理等证明一些与函数有关的不等式,通过几个例子来具体说明微分中值定理在证明不等式中的运用,以及不同中值定理在解决的不等式的区别.8.期刊论文杨全.YANG Quan一个不等式的证明及推广-海南大学学报(自然科学版)2009,27(1)利用函数的积分性,给出不等式((√a+√b)/2)2＜1/e[(bb/aa)1/(b-a)]的证明,并推广结论.9.期刊论文李文光应用导数方法证明不等式-科技信息2010,""(5)不等式的证明在高等数学中起着重要作用,它没有固定的模式,方法灵活多变,因题而异,且技巧性强,是高等教学中比较困难的问题之一.常见的不等式有三种:函数不等式、数值不等式和中值不等式,有些数值不等式的证明可以通过构造辅助函数化为函数不等式来证明.本文仅通过典型例子来具体说明导数方法在证明不等式中的应用.10.期刊论文魏全顺.WEI Quan-shun微分在不等式证明中的应用-湖南第一师范学报2006,6(1)利用函数的微分证明不等式的思想方法,在诸多数学分析论著中有所提及,是微分的一个重要应用.其主要方法有:利用函数的单调性证明不等式;利用函数的凸凹性证明不等式;利用Lagrange微分中值定理或泰勒公式证明不等式;利用求函数极值的方法证明不等式.本文链接：/Periodical_tjcrgdxxlhxb200103023.aspx授权使用：中共汕尾市委党校(zgsw)，授权号：5de08c47-702a-4b2c-acec-9dcd016553ed下载时间：2010年8月9日。
