积分第一中值定理及其推广证明
- 格式:doc
- 大小:148.50 KB
- 文档页数:4
定积分中值定理证明1. 引言定积分中值定理是微积分中的重要定理之一,它建立了函数在某个区间上的平均值与某个点的函数值之间的关系。
本文将对定积分中值定理进行证明。
2. 定积分中值定理的表述设函数f (x )在闭区间[a,b ]上连续,则存在ξ∈[a,b ],使得∫f ba (x )dx =(b −a )f (ξ)3. 证明过程为了证明定积分中值定理,我们需要利用微积分中的一些基本原理和方法。
首先,我们定义一个辅助函数F (x ):F (x )=∫f xa (t )dt根据定义,F′(x )=f (x ),即f (x )是F (x )的导数。
由于f (x )在闭区间[a,b ]上连续,根据微积分基本定理,F (x )在闭区间[a,b ]上是可导的。
根据拉格朗日中值定理(也称为微分中值定理),对于可导函数F (x )来说,在闭区间[a,b ]上存在一个点ξ∈(a,b ),满足:F (b )−F (a )b −a=F′(ξ) 将F (x )的定义代入上式,得到:∫f b a (t )dt −∫f aa (t )dtb −a=f (ξ) 由于∫f a a (t )dt =0,上式可以进一步简化为:∫f b a (t )dt b −a=f (ξ) 最后,将等式两边乘以(b −a ),即可得到定积分中值定理的表述:∫f b a (x )dx =(b −a )f (ξ)4. 结论与讨论定积分中值定理提供了函数在某个区间上平均值与某个点的函数值之间的关系。
它在实际问题中具有广泛的应用,例如计算曲线长度、求解平均值等。
需要注意的是,在证明过程中我们假设了函数f(x)在闭区间[a,b]上连续。
这是因为连续性是定积分中值定理成立的一个重要条件。
如果函数f(x)不满足连续性,则无法使用定积分中值定理来推导出相应的结论。
另外,根据证明过程可以看出,定积分中值定理实际上是拉格朗日中值定理在积分形式下的推广。
因此,对于熟悉拉格朗日中值定理的读者来说,理解定积分中值定理的证明过程会更加容易。
目录诚信声明---------------------------------------------------------------------------------------------------- 错误!未定义书签。
摘要 ---------------------------------------------------------------------------------------------------------------------------------- 2 1积分中值定理 ------------------------------------------------------------------------------------------------------------------- 21.1定积分中值定理及推广 ---------------------------------------------------------------------------------------------- 21.1.1定积分中值定理----------------------------------------------------------------------------------------------- 21.1.2定积分中值定理的推广 ------------------------------------------------------------------------------------- 21.2定积分第一中值定理及推广---------------------------------------------------------------------------------------- 31.2.1定积分第一中值定理----------------------------------------------------------------------------------------- 31.2.2定积分第一中值定理的推广 ------------------------------------------------------------------------------- 31.3定积分第二中值定理及推广---------------------------------------------------------------------------------------- 41.3.1定积分第二中值定理----------------------------------------------------------------------------------------- 41.3.2积分第二中值定理的推广 ---------------------------------------------------------------------------------- 61.4 重积分的中值定理 --------------------------------------------------------------------------------------------------- 71.4.1二重积分的中值定理----------------------------------------------------------------------------------------- 71.4.2三重积分的中值定理----------------------------------------------------------------------------------------- 81.5曲线积分中值定理 ---------------------------------------------------------------------------------------------------- 81.5.1第一曲线积分中值定理 ------------------------------------------------------------------------------------- 81.5.2第二曲线积分中值定理 ------------------------------------------------------------------------------------- 81.6 曲面积分中值定理 -------------------------------------------------------------------------------------------------- 101.6.1第一曲面积分中值定理 ------------------------------------------------------------------------------------ 101.6.2第二曲面积分中值定理 ------------------------------------------------------------------------------------ 10 2中值点的渐进性 --------------------------------------------------------------------------------------------------------------- 102.1第一积分中值定理中值点的渐进性 ----------------------------------------------------------------------------- 102.2第二积分中值定理中值点的渐进性 ----------------------------------------------------------------------------- 13 3积分中值定理的应用--------------------------------------------------------------------------------------------------------- 143.1估计积分值------------------------------------------------------------------------------------------------------------- 143.2求含定积分的极限 --------------------------------------------------------------------------------------------------- 153.3确定积分值符号 ------------------------------------------------------------------------------------------------------ 153.4比较积分大小---------------------------------------------------------------------------------------------------------- 163.5证明函数的单调性 --------------------------------------------------------------------------------------------------- 163.6证明定理---------------------------------------------------------------------------------------------------------------- 16 结论 ------------------------------------------------------------------------------------------------------------------------------- 18 参考文献--------------------------------------------------------------------------------------------------------------------------- 19 英文摘要---------------------------------------------------------------------------------------------------- 错误!未定义书签。
关于积分第一中值定理的证明和推广
徐秋丽
【期刊名称】《长春师范学院学报(自然科学版)》
【年(卷),期】2005(024)001
【摘要】本文利用变上限积分函数,依据罗尔中值定理证明了积分第一中值定理,并将定理条件改变,利用压缩映象不动点原理又给出了一种证明方法,同时给出了积分第一中值定理的几个推广.
【总页数】2页(P7-8)
【作者】徐秋丽
【作者单位】廊坊师范学院数学系,河北廊坊,065000
【正文语种】中文
【中图分类】O172.2
【相关文献】
1.积分第一中值定理的证明及其推广 [J], 李仕琼;梁波;;;
2.积分第一中值定理的证明及其推广 [J], 李仕琼;梁波
3.积分第一中值定理的证明与推广 [J], 宫小芳
4.积分第一中值定理中间点渐进性定理及等价性定理的证明 [J], 张素玲
5.基于微分中值定理证明微积分基本公式和积分中值定理 [J], 郑权
因版权原因,仅展示原文概要,查看原文内容请购买。
定积分的中值定理是一个非常重要的数学定理,它可以帮助我们更加深入地了解定积分的本质和性质,同时也为我们解决各种实际问题提供了非常有效的方法和手段。
在本文中,我们将探讨的相关知识和应用。
一、中值定理的基本概念和定义中值定理是微积分学中的一个基本定理,它描述了函数在某个区间内的平均值与函数在该区间内某一点的取值之间的关系。
具体来说,如果函数$f(x)$在区间$[a,b]$上连续,并且在该区间内存在一个点$c\in(a,b)$,使得$\int_a^bf(x)dx=f(c)\times(b-a)$,则$c$就是函数$f(x)$在区间$[a,b]$上的中值点。
这个定理的基本思想是:将函数在某个区间上的积分值与该区间的长度相乘,得到的是函数在该区间上的平均值,这个平均值可以通过中值定理求得。
中值定理的重要性在于它建立了积分与函数取值之间的联系,使得我们能够更加深入地理解和应用积分的相关知识和技巧。
二、中值定理的证明方法中值定理的证明方法有很多种,其中比较常用和直观的方法是通过构造辅助函数来进行证明。
具体来说,我们可以这样做:假设函数$f(x)$在区间$[a,b]$上连续,并且在该区间内存在一个点$c\in(a,b)$,使得$\int_a^bf(x)dx=f(c)\times(b-a)$。
我们定义一个辅助函数$F(x)=f(x)-f(c)$,则有$\int_a^bF(x)dx=\int_a^bf(x)dx-\int_a^bf(c)dx=\int_a^bf(x)dx-f(c)\times(b-a)=0$。
根据介值定理,由于$F(x)$是连续函数,所以一定存在一个点$d\in(a,b)$,使得$F(d)=0$。
即$f(d)-f(c)=0$,从而得到$c=d$。
三、中值定理的应用中值定理在实际问题中有着广泛的应用,其中比较常见和重要的应用包括:1. 求函数在某个区间上的平均值。
根据中值定理,函数在区间$[a,b]$上的平均值可以通过$\frac{\int_a^bf(x)dx}{b-a}$来计算,其中$\int_a^bf(x)dx$是函数在该区间上的积分值。
积分第一中值定理
积分第一中值定理是数学中一种重要的结论,它主要用于推导积分的上下界。
它的使用主要有三个方面:助于确定积分的上下界,有助于理解函数的性质,也有助于求解积分。
积分第一中值定理(FIT)由法国数学家科林莫里斯(Colin Mc Cormick)提出,它是用以确定一个函数在某一区间上的积分的上下界的定理。
其定理的实质是,在某一区间上的积分的下界是积分的上界的一半。
若函数$f(x)$在闭合区间[a,b]上连续可导,则有:
$$int_a^bf(x) dxleq b-aBig(frac{f(a)+f(b)}{2}Big)$$ 以上定理可用于推导函数的积分的上下界,若函数在区间[a,b]上是凹函数,则定理的右边是积分的上界,否则就是积分的下界。
《积分第一中值定理》可以帮助我们理解函数的性质,这是因为函数的积分反映了函数在该区间上的变化趋势。
如果我们知道函数的积分,我们就可以更清楚地理解函数在某个区间内的行为特性,以及在区间内变化的趋势。
此外,《积分第一中值定理》也有助于解积分问题。
因为可以根据其定理,通过求准函数的偏导数的方法,来确定积分的上下界。
在实践中,我们应该根据定理的要求求出准函数的偏导数,便可确定积分的上下界。
综上所述,积分第一中值定理是一个重要的定理,它主要用于推导积分的上下界,有助于理解函数的性质,同时也有助于求解积分问
题。
引用它可以帮助我们更深入地理解积分和函数,从而有助于解决一些更复杂的数学问题。
积分中值定理的推广证明稿子一嗨呀,亲爱的小伙伴们!今天咱们来聊聊积分中值定理的推广证明。
积分中值定理大家都不陌生吧,可它的推广就更有意思啦!你想啊,原本简单的定理,一推广,那应用范围可就更广了。
咱们先来说说为什么要推广它。
其实就是为了能在更多复杂的情况下,也能找到那个神奇的“中值”。
就好像在一堆乱麻中,找到那根能解开谜题的关键线索。
证明这个推广可不容易呢!得一点点地分析,一点点地推导。
不过别担心,跟着思路走,也没那么可怕。
比如说,咱们得先弄清楚原定理的条件和结论,然后看看怎么把新的条件加进去,让定理变得更强大。
这过程就像是搭积木,一块一块地往上加,搭出一个漂亮的城堡。
有时候可能会遇到困难,感觉走不下去了,但别放弃呀!多想想,多试试,说不定灵感就来了。
等咱们真的把这个推广证明出来,那种成就感,简直爆棚!就像攻克了一座超级难爬的山峰,站在山顶,风光无限好。
怎么样,是不是有点小期待跟着我一起去探索这个神奇的证明之旅啦?稿子二嘿,朋友们!今天咱们来侃侃积分中值定理的推广证明。
积分中值定理,听起来就很厉害对不对?那它的推广就更牛啦!想象一下,原本的定理就像一个小工具,能解决一些问题。
但推广之后,它就变成了一个超级强大的武器,能应对更多更难的挑战。
咱们开始证明之前,得先在脑子里有个大概的框架。
就像盖房子,先有个设计图。
然后呢,一步一步来,每一步都要走得稳稳的。
可能会遇到一些弯弯曲曲的路,但是别怕,坚持走下去。
比如说,要用到一些巧妙的数学方法和技巧,这就像是打开宝藏的钥匙。
有时候,还得回头看看走过的路,检查一下有没有遗漏什么。
证明的过程中,可能会觉得有点头疼,但是别灰心。
因为一旦成功,那种喜悦是无法形容的。
就好像在黑暗中摸索了好久,突然看到了一丝光亮,然后顺着那光亮,找到了出口。
当我们真的完成了这个推广证明,就会发现数学的世界真是太奇妙啦!好啦,小伙伴们,准备好和我一起在这个数学的海洋里畅游了吗?。
对于积分中值定理的一点思考摘要积分中值定理是高等数学中重要的一部分,中值定理是人们认识高等数学世界、解决数学问题的重要武器,本文在数学分析教材中第一积分中值定理的条件下,证明了介值点ξ必可在开区间),(b a 内取得,并且给出几分中值定理及其推广的一些应用.关键词 积分中值定理 积分中值定理应用 积分中值定理的推广 第一积分中值定理 极限一 引言推广的积分第一中值定理:若函数f(x)与g(x)在闭区间[a, b]上连续,且g(x)在[a, b]上不变号,则在[a, b]上至少存在一点ξ使得⎰⎰=babax d x g f x d x g x f )()()()()()(ξ (1)推广的积分中值定理可改进如下:定理1:若函数f(x)与g(x)在闭区间[a, b]上连续,且g(x)在[a, b]上不变号,则在),(b a 上至少存在一点ξ使得⎰⎰=babax d x g f x d x g x f )()()()()()(ξ。
对其证明如下:因为)(x f 在],[b a 上连续,故)(x f 在],[b a 上存在最大值和最小值,不妨分别设为M 和m,即M x f m ≤≤)(,则必存在x x x x b a 2121],,[,<∈,使m f x =)(1,M f x =)(2,又因为)(x g 在],[b a 上不变号,不妨设0)(≥x g ,则⎰≥badx x g 0)(,且有)()()()(x Mg x g x f x mg ≤≤,又)(x f 和)(x g 都在],[b a 可积,则)()(x g x f 在],[b a 也可积,从而有 ⎰⎰⎰≤≤bababadx x g M dx x g x f dx x g m )()()()( (2)(1) 当⎰=b adx x g 0)(时,有⎰=b adx x g m 0)(以及⎰=badx x g M 0)(,由(2)得⎰=badx x g x f 0)()(,因此对),(b a ∈∀ξ,有dx x g f dx x g x f bab a ⎰⎰=)()()()(ξ 。
积分第一中值定理的推广研究【摘要】本文主要研究了积分第一中值定理的推广研究。
在介绍了研究背景、研究目的以及研究意义。
在分别讨论了积分第一中值定理的基本概念、推广方法、应用领域分析、案例研究以及数学证明。
结合实际案例,探讨了该定理在实际问题中的应用和价值。
在总结了积分第一中值定理的推广效果,提出了未来研究方向。
通过深入研究和推广,该定理可以在更广泛的领域得到应用,对数学研究具有重要意义。
本研究将为相关领域的研究提供新的理论支持和启发,推动数学理论的发展。
【关键词】积分第一中值定理,推广研究,基本概念,推广方法,应用领域,案例研究,数学证明,推广效果,未来研究方向,总结。
1. 引言1.1 研究背景积分第一中值定理是微积分中的一个重要概念,它解决了函数在区间上的平均值与某一点的函数值之间的关系。
随着数学的发展,人们对积分第一中值定理的应用也越来越广泛。
目前对于积分第一中值定理的推广研究还比较有限。
研究背景部分将探讨当前对积分第一中值定理的研究现状,包括已有的成果、存在的问题和挑战。
通过对这些信息的梳理和分析,我们可以更清晰地认识到积分第一中值定理的重要性和研究的必要性。
研究背景还可以为我们打开新的思路和方法,拓展对积分第一中值定理的理解和应用范围。
在本文中,我们将从研究背景出发,逐步展开对积分第一中值定理的推广研究,探讨其基本概念、推广方法、应用领域分析、案例研究和数学证明等内容。
通过对这些方面的深入探讨,我们希望能够为积分第一中值定理的推广研究提供新的思路和方法,推动该领域的发展。
1.2 研究目的研究目的是通过对积分第一中值定理的推广研究,探索其在更广泛的数学领域和实际应用中的价值和作用。
具体来说,我们希望通过深入理解积分第一中值定理的基本概念和推广方法,分析其在不同应用领域中的实际运用情况,并通过案例研究来展示其在解决具体问题中的作用。
通过这些研究,我们旨在揭示积分第一中值定理的推广效果,为未来的数学研究和应用提供参考和指导。
积分第一中值定理积分第一中值定理,也称作中值定理,是一种数学原理,它指出,在所有不同的积分(即曲线的具体形式)中,积分的绝对值的中值最小。
这是一个很有用的定理,它可以帮助人们更好地理解和正确推断积分的特性。
积分第一中值定理的历史可以追溯到18世纪的法国数学家卢梭(Jean Le Rond dAlembert)和德国数学家威廉什罗普(Johann W. von Schulze)。
他们在1770年发表论文《关于积分第一中值定理的一些洞见》(Some Insight Into First Median Integral Theorem),提出了该定理。
这项发现彻底改变了数学界对积分的理解和认识,也为积分在数学中的应用奠定了基础。
积分第一中值定理可以用数学推导来进行证明。
简单地说,它是一个函数的一阶导数的和,可以表示为:F(x) =∫a (f(x)dx)其中,f(x)是曲线上的函数,a是积分的上限,而∫表示积分运算。
当求出函数的一阶导数时,我们可以进一步推出:F(x) = d/dx{∫a f(x)dx}这里的d/dx表示对x求导,而∫a f(x)dx是函数的积分。
为了求出积分的绝对值的中值,我们将上式简化为:F(x) = d/dx∫a f(x)dx = a也就是说,当曲线的函数在满足所有条件的情况下,它的积分绝对值的中值将会最小。
积分第一中值定理有着广泛的应用,它可以帮助我们解决许多数学问题,特别是它可以帮助我们对一维曲线的数学特征进行更好的分析和推断。
除此之外,它也经常被用于二维曲线的分析,例如分析函数的极值和斜率,或者分析装换变换等等。
当我们想要分析函数在某个区间内的特性时,积分第一中值定理也可以派上用场。
由于它具有最小中值的特性,我们可以通过它分析函数在一定区间内的中值,从而可以准确推断出函数的特性。
比如,我们可以通过它来判断函数在某个区间内的最大值、最小值和拐点。
总的来说,积分第一中值定理是一个重要的数学原理,它对于证明数学结论具有重要意义。
定积分中值定理证明与应用引言定积分中值定理是微积分中的重要定理之一,它建立了函数在某个区间上的平均值与某点的函数值之间的关系。
本文将会介绍定积分中值定理的证明过程,并探讨其在实际问题中的应用。
定积分中值定理的表述设函数f(x)在区间[a,b]上连续,则存在一个$\\xi \\in [a,b]$,使得定积分$\\int_a^b f(x)dx$等于函数在[a,b]上的平均值乘以区间长度,即:$$\\int_a^b f(x)dx = f(\\xi)(b-a)$$定积分中值定理的证明证明定积分中值定理需要借助于罗尔定理和柯西中值定理。
下面给出证明的步骤:1.设函数F(x)为函数f(x)在区间[a,b]上的一个原函数,即F′(x)=f(x)。
2.根据区间[a,b]上的连续函数的性质,可以得知函数F(x)在区间[a,b]上是可导的。
3.根据柯西中值定理,存在一个$\\xi \\in [a,b]$,使得$$\\frac{F(b)-F(a)}{b-a} = F'(\\xi) = f(\\xi)$$4.由于$\\frac{F(b)-F(a)}{b-a}$是函数F(x)在[a,b]上的平均变化率,即为其斜率,将其表示为$\\lambda$。
5.根据罗尔定理,由于函数F(x)在区间[a,b]上是可导的,且满足F(a)=F(b),所以存在一个$\\eta \\in (a,b)$,使得$F'(\\eta) = 0$。
6.结合第3步和第5步的结论,我们可以得到:$$f(\\xi) = F'(\\xi) = \\frac{F(b)-F(a)}{b-a} = \\lambda$$7.结合定积分的定义,即可得到定积分中值定理的结论:$$\\int_a^b f(x)dx = f(\\xi)(b-a) = \\lambda(b-a) = F(b) - F(a)$$定积分中值定理在实际问题中的应用定积分中值定理是微积分中非常重要的定理,它在实际问题中有着广泛的应用。
积分第一中值定理
在数学研究中,积分第一中值定理是一个重要的定理,它能够证明函数在某一特定的区间内的积分,并将其用于许多其他的数学证明中。
积分第一中值定理又被称为高斯-斯拉夫特定理,它是由德国数学家兼物理学家兼天文学家卡尔高斯和俄罗斯数学家斯拉夫斯拉夫(vrentev)在17种文章中发表的。
积分第一中值定理指出,如果函数$ f (x)在给定的区间$ [a,b]上是可积分,则存在一个实数c,使得
[ int_a^b f(x)dx = f(c) (b-a) ]
让我们来看一个例子,以便更好地理解这个定理。
假设我们有一个函数$ y = x^2 $,要求在$ [0,2]$上的积分。
显然,这个函数在我们所给出的区间上是可积分的,因此,根据积分第一中值定理,我们可以找到一个实数$ c $,使得
[ int_0^2 x^2 dx = x^2(2-0) = c^2(2-0) ]
解得$ c=1 $,因此,我们可以得出结论
[ int_0^2 x^2dx = 2 ]
积分第一中值定理可以用来证明许多其他的数学定理,例如贝塞尔定理,它可以用来证明函数在某一给定的区间上的局部极大值和极小值。
另外,这个定理也能用来证明牛顿-勒莱特定理,它解释了积分在特定区间内的变化情况。
积分第一中值定理也可以用来解决微积分中出现的许多问题,因此它在微积分中十分重要。
例如,它可以用来证明曲线有几个拐点或
者它在特定区间内的积分是多少。
它还可以用来求解积分方程。
积分第一中值定理是一个重要的定理,它已经成为微积分中数学证明的基础,它给出了很多实用的工具,能够解决微积分中的许多问题。
积分中值定理(开区间)的几种证明方法定理:设f 在[,]a b 上连续,则(,)a b ξ∃∈,使得()()()ba f x dx fb a ξ=-⎰。
[证一]:由积分第一中值定理(P217),[,]a b ξ∃∈, 使得()()()b a f x dx f b a ξ=-⎰。
于是[()()]0.b af x f dx ξ-=⎰ 由于函数()()()F x f x f ξ=-在[,]a b 上连续,易证(可反证):(这还是书上例2的结论)(,)a b η∃∈,使得()()()0F f f ηηξ=-=,即()()f f ηξ=。
[证二]:令()()xa F x f t dt =⎰,则()F x 在[,]ab 上满足拉格朗日中值定理的条件,故(,)a b ξ∃∈,使得()()()()F b F a F b a ξ'-=-,即结论成立。
(注:书上在后面讲的微积分基本定理)[证三]:反证:假设不(,)a b ξ∃∈,使得 ()()()ba f x dx fb a ξ=-⎰,由积分第一中值定理,知ξ只能为a 或b ,不妨设为b ,即1(,),()()()b a x a b f x f b f x dx b a∀∈≠=-⎰。
由于f 连续,故(,),x a b ∀∈ ()()f x f b >(或()()f x f b <),(这一点是不是用介值定理来说明)这样(上限x 改为b )()()()().xba a f x dx fb dx f b b a >=-⎰⎰ (这个严格不等号不太显然要用书上例2结论来说明)矛盾。
[证四]:设f 在[,]a b 上的最大值为M ,最小值为m 。
若m M =,则f c ≡,ξ可任取。
若m M <,则1[,]x a b ∃∈,有1()0M f x ->,故[()]0b a M f x dx ->⎰,即 ()().ba f x d x Mb a<-⎰同理有()().ba mb a f x dx -<⎰ 由连续函数的介质定理知:(,)a b ξ∃∈,使得 1()().b a f f x dx b aξ=-⎰。
.
.
2.1积分第一中值定理证明
积分第一中值定理:
如果函数()fx在闭区间[,]ab上连续,()gx在(,)ab上不变号,并且()gx在
闭区间[,]ab上是可积的,则在[,]ab上至少存在一点,使得
()()()(),()bbaafxgxdxfgxdxab
成立。
证明如下:
由于()gx在闭区间[,]ab上不变号,我们不妨假设()0gx,并且记()fx在闭区
间[,]ab上的最大值和最小值为M和m,即()mfxM,我们将不等式两边同
乘以()gx可以推出,此时对于任意的[,]xab都会有
()()()()mgxfxgxMgx
成立。对上式在闭区间[,]ab上进行积分,可以得到
()()()()bbbaaamgxdxfxgxdxMgxdx
。
此时在,mM之间必存在数值,使得mM,即有
()()()bbaafxgxdxgxdx
成立。
由于()fx在区间[,]ab上是连续的,则在[,]ab上必定存在一点,使
()f
成立。此时即可得到
()()()()bbaafxgxdxfgxdx
,
命题得证。
2.2积分第一中值定理的推广
定理:(推广的第一积分中值定理)若函数()fx是闭区间[,]ab上为可积函数,
()gx在[,]ab
上可积且不变号,那么在开区间(,)ab上至少存在一点,使得
()()()(),(,)bbaafxgxdxfgxdxab
.
.
成立。
推广的第一积分中值定理很重要,在这里给出两种证明方法。
证法1:由于函数()fx在闭区间[,]ab上是可积的,()gx在[,]ab上可积且不
变号,令()()()xaFxftgtdt,()()xaGxgtdt,很显然(),()FxGx在[,]ab上连续。
并且()0,()()()baFaFbftgtdt,()0,()()baGaGbgtdt,()()()Ffg,
()()Gg
。由柯西中值定理即可得到
()()(),(,)()()()FbFaFabGbGaG
,
化简,即
()()()()()()babaftgtdt
fg
g
gtdt
,
根据上式我们很容易得出
()()()(),(,)bbaaftgtdtfgtdtab
,
命题得证。
证法2:由于函数()gx在[,]ab上可积且不变号,我们不妨假设()0gx。而
函数()fx在闭区间[,]ab上可积,我们令inf()|[,]mfxxab,
sup()|[,]Mfxxab
。假设()Fx是()fx在闭区间[,]ab上的一个原函数,即
()(),[,]Fxfxxab
。我们就可以得到下面等式
()()()()bbbaaamgxdxfxgxdxMgxdx
(2.2.1)
此时由于()0gx,则会有()0bagxdx,由于存在两种可能性,那么下面我们
就要分两种情况以下我们分两种情形来进行讨论:
(1).如果()0bagxdx,由等式(2.2.1)可得出()()0bafxgxdx,那么对
于(,)ab
都有
()()0()()bbaafxgxdxfgxdx
恒成立。
.
.
(2).如果()0bagxdx,将(2.2.1)除以()bagxdx可得
()()()babafxgxdx
mMgxdx
,(2.2.2)
我们记
()()()babafxgxdx
gxdx
,(2.2.3)
此时我们又分两种情形继续进行讨论:
(Ⅰ)如果(2.2.2)式中的等号不成立,即有()()()babafxgxdxmMgxdx成立,
则此时一定就存在mM,可以使得
12
(),()mfxfxM
,
我们不妨假设12xx,这其中12,[,]xxab。因为()()Fxfx,[,]xab,则会
有
1122
()()()()FxfxfxFx
。
此时至少存在一点12(,)xx,使得()()Ff,即有
12
()()()(),(,)[,]bbaafxgxdxfgxdxxxab
成立,从而结论成立。
(Ⅱ)如果(2.2.2)式中仅有一个等号成立时,我们不妨假设M,因
为()0bagxdx,此时一定存在区间11[,](,)abab(其中11ab),使得11[,]xab,
恒有()0gx成立,我们可以将(2.2.3)式进行简化
()()()bbaagxdxfxgxdx
,
因为M,则有
[()]()0baMfxgxdx
(2.2.4)
而且我们已知[()]()0Mfxgx,则
1
1
0[()]()[()]0xbyaMfxgxdxMfxdx
。
.
.
于是
1
1
[()]()0xyMfxgxdx
(2.2.5)
在式子(2.2.5)下必定存在11[,](,)abab,使得()fM。
如果不存在一个11[,](,)abab,使得()fM,则在闭区间11[,]xy上
必定有()0Mfx及()0gx成立,从而使得[()]()0Mfxgx。
如果11[()]()0baMfxgxdx,由达布定理在11[,]ab上有[()]()0Mfxgx,
这与[()]()0Mfxgx矛盾。
如果 11[()]()0baMfxgxdx,这与(2.2.5)式矛盾。所以存在[,]ab,
使()()()(),(,)bbaafxgxdxfgxdxab,定理证毕。