下载文档原格式
定积分不有等式、积分平均值定理、积分第二中值定理（连续可微情形）的证明简单不等式定理1、设)(x f 在[]b a ,上可积，且0)(≥x f ，（[]b a x ,∈），则有⎰≥ba dx x f 0)(。
定理2、设)(x f 在[]b a ,上连续且非负，（即0)(≥x f ，[]b a x ,∈），如果)(x f 不恒等于0，则有⎰>ba dx x f 0)(。
证明：由条件得，存在一点[]b a x ,0∈使0)(0>x f 。
由连续函数的性质，存在一个子区间[]βα,，适合[][]b a x ,,0⊂∈βα，使得对一切[]βα,∈x ，有)(21)(0x f x f ≥由积分对区间的可加性，知⎰⎰⎰⎰++=ba ab dx x f dx x f dx x f dx x f αββα)()()()( ⎰≥βαdx x f )( ⎰≥βαdx x f )(210 0))((210>-=αβx f 。
推论1、设[]0,,≥∈f b a f ，如果有⎰=ba dx x f 0)(，则有0)(=x f ，[]b a x ,∈。
推论2、设[]b a f ,∈，如果对任意[]b a g ,∈都有⎰=ba dx x g x f 0)()(，则必有0)(=x f ，[]b a x ,∈。
积分平均值定理定理3、设[],f C a b ∈，则存在),(b a ∈ξ，使得⎰-=b a a b f dx x f ))(()(ξ证明：设m M ,分别是f 在[]b a ,上的最大值和最小值，显然[]b a x M x f m ,,)(∈≤≤ 于是 ⎰⎰⎰≤≤b ab a ba Mdx dx x f mdx )( )()()(ab M dx x f a b m ba -≤≤-⎰从而有 M dx x f a b m b a≤-≤⎰)()(1。
如果M m =，则)(x f 常数，则对任意),(b a ∈ξ，有⎰-=ba ab f dx x f ))(()(ξ。
积分第二中值定理
积分中值定理的证明：设f(x)在[a，b]上连续，且最大值为m,最小值为m，最大值和最小值可相等。
由估值定理及连续函数的介值定理可证明积分中值定理。
积分中值定理在应用中所起到的重要作用是可以使积分号去掉，或者使复杂的被积函
数化为相对简单的被积函数，从而使问题简化。
因此，对于证明有关题设中含有某个函数
积分的等式或不等式，或者要证的结论中含有定积分，或者所求的极限式中含有定积分时，一般应考虑使用积分中值定理，去掉积分号，或者化简被积函数。
不等式证明
积分不等式是指不等式中含有两个以上积分的不等式,当积分区间相同时,先合并同一
积分区间上的不同积分,根据被积函数所满足的条件,灵灵活运用积分中值定理,以达到证
明不等式成立的目的。
在证明的定分数不等式时, 常常考量运用分数中值定理, 以便换成分数符号, 如果被
内积函数就是两个函数之积时, 可以考量用分数第一或者第二中值定理。
对于某些不等式
的证明, 运用原分数中值定理就可以获得“≥”的结论, 或者不等式显然无法获得证明。
而运用改良了的分数中值定理之后, 则可以获得“\ue”的结论, 或者顺利的解决问题。
中值定理的应用方法与技巧中值定理包括微分中值定理和积分中值定理两部分.微分中值定理即罗尔定理、拉格朗日中值定理和柯西中值定理,一般高等数学教科书上均有介绍，这里不再累述.积分中值定理有积分第一中值定理和积分第二中值定理。
积分第一中值定理为大家熟知，即若)(x f 在［a,b ］上连续，则在[a,b]上至少存在一点ξ，使得))(()(a b f dx x f ba -=⎰ξ。
积分第二中值定理为前者的推广，即若)(),(x g x f 在[a ，b ］上连续，且)(x g 在［a ，b ］上不变号，则在［a ，b]上至少存在一点ξ，使得⎰⎰=ba ba dx x g f dx x g x f )()()()(ξ。
一、 微分中值定理的应用方法与技巧三大微分中值定理可应用于含有中值的等式证明,也可应用于恒等式及不等式证明。
由于三大中值定理的条件和结论各不相同,又存在着相互关联，因此应用中值定理的基本方法是针对所要证明的等式、不等式，分析其结构特征，结合所给的条件选定合适的闭区间上的连续函数,套用相应的中值定理进行证明。
这一过程要求我们非常熟悉三大中值定理的条件和结论，并且掌握一定的函数构造技巧。
例一．设)(x ϕ在［0，1]上连续可导，且1)1(,0)0(==ϕϕ。
证明:任意给定正整数b a ,，必存在（0，1）内的两个数ηξ,，使得b a ba +='+')()(ηϕξϕ成立。
证法1:任意给定正整数a ，令)()(,)(21x x f ax x f ϕ==，则在[0，1]上对)(),(21x f x f 应用柯西中值定理得：存在)1,0(∈ξ，使得a a a =--=')0()1(0)(ϕϕξϕ。
任意给定正整数b ，再令)()(,)(21x x g bx x g ϕ==，则在[0，1]上对)(),(21x g x g 应用柯西中值定理得:存在)1,0(∈η,使得b b b =--=')0()1(0)(ϕϕηϕ。
三个中值定理
三个中值定理的公式：
罗尔定理：如果函数f(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导；在区间端点处的函数值相等，即f(a)=f(b)，那么在（a,b)内至少有一点ξ（a<ξ＜b)，使得f'(ξ）＝0。
柯西定理：如果函数f(x)及F(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导；（3)对任一x∈（a,b)，F'(x)≠0那么在（a,b)内至少有一点ξ，使等式［f(b)-f(a)]/=f'(ξ）／F'(ξ）成立。
拉格朗日定理：如果函数f(x)满足在闭区间［a,b]上连续；在开区间（a,b)内可导。
那么在（a,b)内至少有一点ξ（a<ξ＜b)，使等式f(b)-f(a)=f′（ξ）（b-a)成立。
积分中值定理：
积分中值定理，是一种数学定律。
分为积分第一中值定理和积分第二中值定理，它们各包含两个公式。
其中，积分第二中值定理还包含三个常用的推论。
这个定理的几何意义为：若f(x)≥0，x∈［a,b]，则由x轴、x=a、x=b及曲线y=f(x)围成的曲边梯形的面积等于一个长为b-a，宽为f(ξ)的矩形的面积。
㊀㊀㊀㊀数学学习与研究㊀２０２２ ３１积分中值定理的推广及应用积分中值定理的推广及应用Һ丁建华㊀（甘肃有色冶金职业技术学院教育系，甘肃㊀金昌㊀７３７１００）㊀㊀ʌ摘要ɔ本文首先对积分中值定理的几何特征进行详细介绍，并对该定理中ｆ（ｘ）在［ａ，ｂ］上恒为常数㊁ｆ（ｘ）在［ａ，ｂ］上不为常数函数做出一定的补充，并证明此结论也是成立的；其次，对第一积分中值定理和第二积分中值定理进行了推广，并进一步证明了结论的准确性；最后，通过不等式的证明㊁极限的求值进一步验证了改进结论的正确性．ʌ关键词ɔ中值定理；连续性；不等式一㊁积分中值定理的几何特征与补充积分中值定理的几何意义可以理解为：若函数ｆ（ｘ）在闭区间［ａ，ｂ］上非负连续时，定积分ʏｂａｆ（ｘ）ｄｘ在几何上可以表示为ｙ＝ｆ（ｘ），ｘ＝ａ，ｘ＝ｂ及ｘ轴所围成的曲边梯形面积（如图１，定积分ʏｂａｆ（ｘ）ｄｘ表示曲边梯形ＡａｂＢ的面积）．根据闭区间上连续函数的性质，ｆ（ｘ）在［ａ，ｂ］上存在最大值Ｍ和最小值ｍ，即∀ｘɪ［ａ，ｂ］，有ｍɤｆ（ｘ）ɤＭ，从而ｍ（ｂ－ａ）ɤʏｂａｆ（ｘ）ｄｘɤＭ（ｂ－ａ）．它可以化为ｍɤ１ｂ－ａʏｂａｆ（ｘ）ｄｘɤＭ．由连续函数的介值定理，则至少有这样的一个点ξɪ［ａ，ｂ］，使得ｆ（ξ）＝１ｂ－ａʏｂａｆ（ｘ）ｄｘ，则ʏｂａｆ（ｘ）ｄｘ＝ｆ（ξ）（ｂ－ａ）．根据上面知识点，我们可以获得数学分析中常用的重要积分学性质和定理．积分中值定理㊀若函数ｆ（ｘ）在［ａ，ｂ］上连续，则在［ａ，ｂ］上至少存在一点ξ，使得ʏｂａｆ（ｘ）ｄｘ＝ｆ（ξ）（ｂ－ａ）（ａɤξɤｂ）．这里要求函数ｆ（ｘ）在［ａ，ｂ］上连续即可，对函数没有严格要求．进一步地，我们可将ｆ（ｘ）在［ａ，ｂ］上连续的这一条件更改为ｆ（ｘ）在［ａ，ｂ］上可积，其结论仍然成立．当ｆ（ｘ）在［ａ，ｂ］上连续且非负时，积分公式ʏｂａｆ（ｘ）ｄｘ＝ｆ（ξ）（ｂ－ａ）有着明显的几何意义，即ｙ＝ｆ（ｘ）在［ａ，ｂ］上的曲边梯形面积等于以图１所示的ｆ（ξ）为高㊁［ａ，ｂ］为底的矩形面积，即以ｆ（ξ）为高的矩形ＡａｂＤ的面积．㊀图１通过对上面图１进一步分析，我们可以发现定理中的ξɪ［ａ，ｂ］可以改为ξɪ（ａ，ｂ），事实上，若ξ仅取在［ａ，ｂ］的端点上，不妨设ξ＝ａ，则可从图２中看出，曲边梯形ＡａｂＢ的面积ʏｂａｆ（ｘ）ｄｘ与矩形ＡａｂＤ的面积不可能相等．㊀图２本文给出如下两种证明．证法一：若函数ｆ（ｘ）在闭区间［ａ，ｂ］上恒为常数，则ξ取（ａ，ｂ）内任意一点，结论都是成立的．若ｆ（ｘ）在［ａ，ｂ］上为一个变量函数，设Ｍ，ｍ分别为ｆ（ｘ）在［ａ，ｂ］上的最大值与最小值，则存在ｘ０ɪ（ａ，ｂ），使得ｍɤｆ（ｘ０）ɤＭ．事实上，若这样的ｘ０不存在，则在［ａ，ｂ］上必存在一点ｘ１，使得ｆ（ｘ）在ａ，ｘ１[]上恒有ｆ（ｘ）＝ｍ或ｆ（ｘ）＝Ｍ()，在［ｘ１，ｂ］上恒有ｆ（ｘ）＝Ｍ（或ｆ（ｘ）＝ｍ）．这样一来，ｘ１是间断点，与ｆ（ｘ）在区间［ａ，ｂ］上连续矛盾．又ｆ（ｘ）在ｘ０连续，则存在δ＞０，ｘ０－δ，ｘ０＋δ()⊂［ａ，ｂ］，当ｘ－ｘ０＜δ时，有ｆ（ｘ）－ｆ（ｘ０）＜Ｍ－ｆ（ｘ０）２和ｆ（ｘ）－ｆ（ｘ０）＜ｆ（ｘ０）－ｍ２，从而Ｍ－ｆ（ｘ０）＞Ｍ－ｆ（ｘ０）２＞０，ｆ（ｘ０）－ｍ＞ｆ（ｘ０）－ｍ２＞０，于是ʏｘ０＋δｘ０－δ［Ｍ－ｆ（ｘ）］ｄｘȡʏｘ０＋δｘ０－δＭ－ｆ（ｘ０）２éëêùûúｄｘ，即ʏｘ０＋δｘ０－δｆ（ｘ）ｄｘɤＭ－ｆ（ｘ０）２ʏｘ０＋δｘ０－δｄｘ，又ｆ（ｘ０）＜Ｍ，ʏｘ０＋δｘ０－δｆ（ｘ）ｄｘ＜Ｍʏｘ０＋δｘ０－δｄｘ，同理有ʏｘ０＋δｘ０－δｆ（ｘ）ｄｘ＞ｍʏｘ０＋δｘ０－δｄｘ，于是ʏｂａｆ（ｘ）ｄｘ＝ʏｘ０－δａｆ（ｘ）ｄｘ＋ʏｘ０＋δｘ０－δｆ（ｘ）ｄｘ＋ʏｂｘ０＋δｆ（ｘ）ｄｘ＜Ｍʏｘ０－δａｄｘ＋Ｍʏｘ０＋δｘ０－δｄｘ＋Ｍʏｂｘ０＋δｄｘ＝Ｍ（ｂ－ａ）．同理可得ʏｂａｆ（ｘ）ｄｘ＞ｍ（ｂ－ａ），㊀㊀㊀㊀㊀数学学习与研究㊀２０２２ ３１因此ｍ（ｂ－ａ）＜ʏｂａｆ（ｘ）ｄｘ＜Ｍ（ｂ－ａ），即ｍ＜１ｂ－ａʏｂａｆ（ｘ）ｄｘ＜Ｍ．由介值定理，存在ξɪ（ａ，ｂ），使得ｆ（ξ）＝１ｂ－ａʏｂａｆ（ｘ）ｄｘ，即ʏｂａｆ（ｘ）ｄｘ＝ｆ（ξ）（ｂ－ａ），其中ξɪ（ａ，ｂ）．证法二：作辅助函数Ｆ（ｘ）＝ʏｘａｆ（ｔ）ｄｔ，ｘɪ［ａ，ｂ］，则Ｆ（ｘ）是［ａ，ｂ］上的可微函数，且Ｆᶄ（ｘ）＝ｆ（ｘ），由微分中值定理，至少存在一点ξɪ（ａ，ｂ），使得Ｆ（ａ）－Ｆ（ｂ）＝Ｆᶄ（ξ）（ｂ－ａ）．注意到，Ｆ（ｂ）＝ʏｂａｆ（ｘ）ｄｘ，Ｆ（ａ）＝０，则有ʏｂａｆ（ｘ）ｄｘ＝ｆ（ξ）（ｂ－ａ），ξɪ（ａ，ｂ）．于是，我们可以进一步将积分中值定理进行推广．设ｆ（ｘ），ｇ（ｘ）在［ａ，ｂ］上连续，ｇ（ｘ）在［ａ，ｂ］上不能等于零，同时符号不会改变，在这样特殊的情形下，可以得到如下的结论，ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ，ξɪ（ａ，ｂ）．令Ｆ（ｘ）＝ʏｘａｆ（ｔ）ｇ（ｔ）ｄｔ，Ｇ（ｘ）＝ʏｘａｇ（ｔ）ｄｔ，则由微分学的柯西中值定理知，Ｆ（ｂ）－ｆ（ａ）Ｇ（ｂ）－Ｇ（ａ）＝Ｆᶄ（ξ）Ｇ（ξ），ξɪ（ａ，ｂ），即有ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘʏｂａｇ（ｘ）ｄｘ＝ｆ（ξ）ｇ（ξ）ｇ（ξ），ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ，ξɪ（ａ，ｂ）．但当ｇ（ｘ）在［ａ，ｂ］只是可积分，并且恒为正或恒为负时，前面我们进行推导的思路完全行不通，即不可能成立，因为可积不变号时，ｇ（ｘ）可以等于零，我们就不能使用上面的结论了．二㊁第一㊁第二积分中值定理的推广及其证明积分第一中值定理设函数ｆ（ｘ）在［ａ，ｂ］上连续，ｇ（ｘ）在［ａ，ｂ］上可积不变号，则在［ａ，ｂ］存在一点ξ，使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ．积分第二中值定理设（ⅰ）ｇ（ｘ）在［ａ，ｂ］上连续；（ⅱ）ｆ（ｘ）在［ａ，ｂ］上单调递增且连续；（ⅲ）ｆ（ｘ）ȡ０，则必有ξɪ［ａ，ｂ］，使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ｂ）ʏｂξｇ（ｘ）ｄｘ．推论１．若积分第二中值定理中的递增改为递减，其他条件不变的情况下，则必有ξɪ［ａ，ｂ］，使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ａ）ʏξａｇ（ｘ）ｄｘ．２．若积分第二中值定理中的ｆ（ｘ）ȡ０去掉，则必有ξɪ［ａ，ｂ］，使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ａ）ʏξａｇ（ｘ）ｄｘ＋ｆ（ｂ）ʏｂξｇ（ｘ）ｄｘ．当ξ所在区间［ａ，ｂ］变为（ａ，ｂ），其余条件㊁结论不变，我们就可以将积分中值定理进一步推广．接下来，我们进一步证明积分中值定理的推广定理，先验证积分第一中值定理的推广．证明㊀由于ｆ（ｘ）在［ａ，ｂ］上连续．设Ｍ为ｆ（ｘ）在［ａ，ｂ］上的最大值，ｍ为ｆ（ｘ）在［ａ，ｂ］上的最小值，即有ｍɤｆ（ｘ）ɤＭ，又由于ｇ（ｘ）在［ａ，ｂ］上定号，不妨令ｇ（ｘ）ȡ０（ｇ（ｘ）ɤ０的情况同理），从而有ｍｆ（ｘ）ɤｆ（ｘ）ｇ（ｘ）ɤＭｇ（ｘ），即ｍʏｂａｇ（ｘ）ｄｘɤＭʏｂａｇ（ｘ）ｄｘ．（１）ʏｂａｇ（ｘ）ｄｘ＝０，由上面不等式的结论可知，ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝０，因此有ξɪ（ａ，ｂ），使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ．（２）ʏｂａｇ（ｘ）ｄｘ＞０．（ⅰ）如果ｍʏｂａｇ（ｘ）ｄｘ＜ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＜Ｍʏｂａｇ（ｘ）ｄｘ，即ｍ＜ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘʏｂａｇ（ｘ）ｄｘ＜Ｍ时，由闭区间上连续函数的介值定理我们可以知道，有一ξɪ（ａ，ｂ），使得ｆ（ξ）＝ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘʏｂａｇ（ｘ）ｄｘ，即ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ．（ⅱ）如果ｍʏｂａｇ（ｘ）ｄｘ＝ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ，（ａ）假如有一ξɪ（ａ，ｂ），都有ｆ（ξ）＝ｍ，我们可以得到ｍʏｂａｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ结论成立．（ｂ）除此之外，对任意的ｘɪ（ａ，ｂ），都有ｆ（ｘ）＞ｍ，而由ʏｂａｇ（ｘ）ｄｘ＞０，必定存在充分小的数η，使得ʏｂ－ηａ＋ηｇ（ｘ）ｄｘ＞０（倘若不然的话，对于任意的正数η，都有ʏｂ－ηａ＋ηｇ（ｘ）ｄｘɤ０，从而ʏｂａｇ（ｘ）ｄｘ＝ｌｉｍηң０ʏｂ－ηａ＋ηｇ（ｘ）ｄｘɤ０与ʏｂａｇ（ｘ）ｄｘ＞０矛盾）．于是得到０＝ʏｂａ［ｆ（ｘ）－ｍ］ｇ（ｘ）ｄｘȡʏｂ－ηａ＋η［ｆ（ｘ）－ｍ］ｇ（ｘ）ｄｘ．利用原积分中值定理，得ʏｂ－ηａ＋η［ｆ（ｘ）－ｍ］ｇ（ｘ）ｄｘ＝［ｆ（ξᶄ）－ｍ］ʏｂ－ηａ＋ηｇ（ｘ）ｄｘ＞０，ξᶄɪ［ａ＋η，ｂ－η］⊂（ａ，ｂ）．与之比较，知矛盾．（ⅲ）Ｍʏｂａｇ（ｘ）ｄｘ＝ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ，这个证明类似于证㊀㊀㊀㊀数学学习与研究㊀２０２２ ３１明（ⅱ）的过程．综上所述，存在ξɪ（ａ，ｂ），使得ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ξ）ʏｂａｇ（ｘ）ｄｘ成立．证毕！根据积分第一中值定理的推广证明，我们同样可以对积分第二中值定理的推广进行证明．接下来，我们试证积分第二中值定理的推广结果．证明㊀由ｆ（ｘ）在［ａ，ｂ］上连续，Ｆ（ｘ）＝ʏｘａｆ（ｔ）ｄｔ在［ａ，ｂ］上可导，从而有ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ʏｂａｇ（ｘ）ｄＦ（ｘ）＝ｇ（ｂ）Ｆ（ｂ）－ʏｂａＦ（ｘ）ｇᶄ（ｘ）ｄｘ－ｇ（ａ）Ｆ（ａ）＝ｇ（ｂ）ʏｂａｆ（ｘ）ｄｘ－ʏｂａＦ（ｘ）ｇᶄ（ｘ）ｄｘ．对于ʏｂａＦ（ｘ）ｇᶄ（ｘ）ｄｘ应用推广的第一积分中值定理，得到ʏｂａＦ（ｘ）ｇᶄ（ｘ）ｄｘ＝Ｆ（ξ）［ｇ（ｂ）－ｇ（ａ）］，其中ξɪ（ａ，ｂ），从而有ʏｂａＦ（ｘ）ｇᶄ（ｘ）ｄｘ＝ｇ（ｂ）ʏｂａｆ（ｘ）ｄｘ－Ｆ（ξ）［ｇ（ｂ）－ｇ（ａ）］＝ｇ（ｂ）ʏξａｆ（ｘ）ｄｘ＋ʏｂξｆ（ｘ）ｄｘ[]－ʏξａｆ（ｘ）ｄｘ［ｇ（ｂ）－ｇ（ａ）］＝ʏｂａｆ（ｘ）ｇ（ｘ）ｄｘ＝ｆ（ａ）ʏξａｇ（ｘ）ｄｘ＋ｆ（ｂ）ʏｂａｇ（ｘ）ｄｘ．证毕！三㊁积分中值定理的应用例１㊀证明下列积分不等式：（１）π２＜ʏπ２０１１－１２ｓｉｎ２ｘｄｘ＜π２；（２）２ｅ－１４＜ʏ２０ｅｘ２－ｘｄｘ＜２ｅ２．证明㊀（１）由积分中值定理，有π２＜ʏπ２０１１－１２ｓｉｎ２ｘｄｘ＝１１－１２ｓｉｎ２ξ㊃π２，其中ξɪ０，π２()，当ξɪ０，π２()时，有０＜ｓｉｎ２ξ＜１，从而１＜１１－１２ｓｉｎ２ξ＜２，因此有π２＜ʏπ２０１１－１２ｓｉｎ２ξｄｘ＜π２．证毕．（２）由定积分性质，有ʏ２０ｅｘ２－ｘｄｘ＝ʏ１２０ｅｘ２－ｘｄｘ＋ʏ２１２ｅｘ２－ｘｄｘ＝１２ｅξ２１－ξ１＋３２ｅξ２２－ξ２，其中ξ１ɪ０，１２()，ξ２ɪ１２，２()，又ｅｘ在－ɕ，＋ɕ()上严格单调递增，而ｆ（ｘ）＝ｘ２－ｘ在０，１２[]上严格单调递减，在１２，２[]上严格单调递增，所以，当ξ１ɪ０，１２()时，ｅ－１４＜ｅξ２１－ξ１＜１；当ξ２ɪ１２，２()时，ｅ－１４＜ｅξ２２－ξ２＜ｅ２．从而１２ｅξ２１－ξ１＋３２ｅξ２２－ξ２＞１２ｅ－１４＋３２ｅ－１４＝２ｅ－１４，１２ｅξ２１－ξ１＋３２ｅξ２２－ξ２＜１２＋３２ｅ２＜２ｅ２，因此２ｅ－１４＜ʏ２０ｅｘ２－ｘｄｘ＜２ｅ２．如果ξ取自任意闭区间，使得积分中值定理成立，则需要将例１的证明结果做进一步的讨论．由此可见，对积分中值定理进行改进或者推广对我们的学习很有帮助，当然，我们也要合理使用该定理，否则就会出现错误的结论．例２㊀证明：ｌｉｍｎңɕʏ１０ｘｎ１＋ｘｄｘ＝０．如果利用积分中值定理，得ʏ１０ｘｎ１＋ｘｄｘ＝ξｎ１＋ξ，其中ξɪ０，１()，从而ｌｉｍｎңɕʏ１０ｘｎ１＋ｘｄｘ＝ｌｉｍｎңɕʏ１０ξｎ１＋ξｄｘ＝０，这是错误的，因为ξ与ｎ有关．正确的解法是：因为０ɤｘｎ１＋ｘɤｘｎ，ｘɪ０，１[]，所以０ɤʏ１０ｘｎ１＋ｘｄｘɤʏ１０ｘｎｄｘ，而ʏ１０ｘｎｄｘ＝１１＋ｎ，ｌｉｍｎңɕ１１＋ｎ＝０，因此ｌｉｍｎңɕʏ１０ｘｎ１＋ｘｄｘ＝０．证毕！ʌ参考文献ɔ［１］华东师范大学数学系．数学分析（第四版）［Ｍ］．北京：高等教育出版社，２０１０．［２］黎金环，刘丽霞，朱佑彬．积分中值定理在一道极限题的应用分析［Ｊ］．高等数学研究，２０２１（２）．［３］同济大学数学教研室．高等数学［Ｍ］．北京：高等教育出版社，１９９３．［４］郝玉芹，时立文，欧阳占瑞．对积分中值定理结论的一点改动［Ｊ］．河北能源职业技术学院学报，２００７（３）．［５］周冰洁．巧用积分中值定理［Ｊ］．现代职业教育，２０１９（３１）．［６］余小飞．积分中值定理在积分不等式中的应用［Ｊ］．当代教育实践与教学研究，２０１７（８）．。
二元积分中值定理公式【实用版】目录1.二元积分中值定理公式的概念2.二元积分中值定理公式的推导3.二元积分中值定理公式的应用4.总结正文一、二元积分中值定理公式的概念二元积分中值定理公式是微积分学中的一个重要定理，主要用于求解二元函数的定积分。
它指出，如果函数 f(x,y) 在矩形区域 [a,b]×[c,d] 上有界，那么在这个区域内一定存在一个点 (ξ,η)，使得函数在该点处的值为定积分的四则平均值。
二、二元积分中值定理公式的推导为了更好地理解二元积分中值定理公式，我们可以通过以下步骤对其进行推导：设函数 f(x,y) 在矩形区域 [a,b]×[c,d] 上有界，考虑对该函数进行分割，即将矩形区域分割为无数个小矩形。
对于每个小矩形，我们计算函数在该小矩形上的平均值。
根据积分的定义，我们有：∫(a,b)∫(c,d)f(x,y)dxdy = Σ[f(x_i,y_i)Δx_iΔy_i]其中，(x_i,y_i) 表示每个小矩形的左上角点，Δx_i 和Δy_i 分别表示小矩形的宽度和高度。
由于 f(x,y) 有界，我们可以令 M=max{f(x,y)}，那么对于每个小矩形，我们有：|f(x_i,y_i)Δx_iΔy_i| ≤ MΔx_iΔy_i根据拉格朗日中值定理，存在一点 (ξ,η)，使得：f(x_i,y_i) = f(ξ,η) + f_x(ξ,η)(x_i-ξ) + f_y(ξ,η)(y_i-η)其中，f_x 和 f_y 分别是函数 f(x,y) 关于 x 和 y 的偏导数。
将上述等式代入积分式中，我们得到：∫(a,b)∫(c,d)f(x,y)dxdy = Σ[f(ξ,η)Δx_iΔy_i + f_x(ξ,η)(x_i-ξ)Δx_iΔy_i + f_y(ξ,η)(y_i-η)Δx_iΔy_i] 由于 f(ξ,η)、f_x(ξ,η) 和 f_y(ξ,η) 都是常数，因此我们可以将它们提出来，得到：∫(a,b)∫(c,d)f(x,y)dxdy = M∫(a,b)∫(c,d)Δx_iΔy_i= MΣ[∫(c,d)Δx_i∫(a,b)Δy_i]= MΣ[∫(c,d)f(ξ,η)Δx_iΔy_i]= M∫(c,d)∫(a,b)f(ξ,η)Δx_iΔy_i= M∫(c,d)f(ξ,η)[∫(a,b)Δx_iΔy_i]= M∫(c,d)f(ξ,η)(b-a)(d-c)= M(b-a)(d-c)f(ξ,η)由于 M、(b-a) 和 (d-c) 都是常数，因此我们可以将它们提出来，得到：∫(a,b)∫(c,d)f(x,y)dxdy = Cf(ξ,η)其中，C=(b-a)(d-c)M。
二元积分中值定理公式一、二元积分中值定理的定义及意义二元积分中值定理是微积分中的一个重要定理，它为我们研究多元函数的性质提供了有力的工具。
该定理指出：在二元函数的某一区域内，存在一个二维平面上的点，使得该点处的函数值与该点所在边界上的函数值之间存在一定的联系。
简而言之，二元积分中值定理揭示了多元函数在空间中的变化规律，有助于我们更好地理解和分析多元函数的图像和性质。
二、二元积分中值定理的公式二元积分中值定理的公式如下：设函数f(x, y)在区域D上有界，D包含在x轴和y轴的交点围成的四边形内。
在D内存在一个点（a, b），使得：∫∫D f(x, y) dxdy = f(a, b) × ∫∫D dxdy其中，∫∫D f(x, y) dxdy 表示二元积分，f(a, b) 表示点（a, b）处的函数值，∫∫D dxdy 表示D区域的面积。
三、二元积分中值定理的应用实例1.计算平面区域的面积：利用二元积分中值定理，我们可以求解某一平面区域的面积。
例如，计算三角形、矩形、圆形等形状的面积。
2.研究多元函数的性质：通过二元积分中值定理，我们可以分析多元函数在特定区域内的变化规律，例如研究函数的极值、拐点等。
3.求解微分方程：将二元积分中值定理应用于微分方程，可以简化求解过程，例如求解热传导方程、波动方程等。
四、提高二元积分中值定理计算效率的方法1.选择合适的积分区域：合理划分积分区域，可以减少计算量，提高计算效率。
2.简化被积函数：通过变量代换、部分分式分解等方法，简化被积函数，有助于提高积分速度。
3.利用数值积分方法：当无法求解解析解时，可以采用数值积分方法，如辛普森法、高斯积分法等，逼近二元积分的结果。
五、总结与展望二元积分中值定理作为微积分中的一个重要定理，在实际应用中具有重要意义。
通过深入学习二元积分中值定理，我们可以更好地理解多元函数的性质，提高解决实际问题的能力。
二次积分中值定理
二次积分中值定理是一个关于二重积分的定理。
它表示在一定条件下，对于二元函数f(x,y)在一个有界闭区域D上的二次积分，存在一个点(ξ, η) ∈ D，使得二次积分的结果等于函数在该点的值乘以该区域的面积。
具体表述如下：设函数 f(x,y) 在有界闭区域 D 上连续，g(x,y) 是 D 上的非负可积函数，且满足：
∬_D g(x,y) dσ ≠ 0，
则存在(x_0,y_0)∈D，使得
∬_D g(x,y)f(x,y) dσ = g(x_0,y_0) ∬_D f(x,y) dσ，
其中，dσ 表示面积元素。
这个定理在数学分析和应用数学中非常重要，可以用来证明一些重要的结果和性质，同时也有助于计算二次积分中的一些特殊形式的积分。
微积分中的积分中值定理积分中值定理是微积分中的一个重要定理，指在一个函数在区间[a,b]上积分的平均值等于这个函数在区间[a,b]上的某一点的函数值。
积分中值定理起源于求平均速度的问题，随着时间的推移，它逐渐成为微积分学中的一个重要定理，被广泛应用于各种物理问题和工程问题中。
定理描述积分中值定理主要有三种形式，分别为第一型，第二型和第三型。
这些形式的积分中值定理都是基于微积分的基本定理的。
第一型：如果f(x)是在[a,b]上可积的函数，且b>a，则至少存在一个数字c∈[a,b]，使得$$\int_{a}^{b}f(x)dx=f(c)\cdot(b-a)$$第二型：如果f(x)和g(x)是在[a,b]上可积的函数，且g(x)不等于0，则至少存在一个数字c∈[a,b]，使得$$\int_{a}^{b}f(x)g(x)dx=f(c)\cdot\int_{a}^{b}g(x)dx$$第三型：如果f(x)是在[a,b]上连续的函数，且存在一个数字k，使得对于区间[a,b]上的任意一点x，都有|f(x)|<=k，则至少存在一个数字c∈[a,b]，使得$$\int_{a}^{b}f(x)dx=f(c)\cdot(b-a)$$其中，第一型积分中值定理是积分学中最基本的积分中值定理，第二型积分中值定理可以用于证明微积分基本定理，第三型积分中值定理则是积分中值定理的一个推论。
理解积分中值定理的物理意义积分中值定理的物理意义可以通过一个具体的例子来说明。
我们知道，物体在垂直下落的过程中，其速度可以用时间t的函数v(t)表示。
假设物体下落的高度为h，则其速度v(t)可以表示为$$v(t)=\frac{dh}{dt}$$因此，物体下落的时间t和高度h之间的关系可以表示为$$h=\int_{0}^{t}v(t)dt$$由积分中值定理，我们知道存在一个时刻t0，使得$$h=v(t_0)\cdot t_0$$即物体下落的平均高度等于某一时刻的高度，这也说明了物体下落的速度在不同时间段内是不同的。
积分中值定理及其应用学号：*************师范大学学士学位论文题目积分中值定理及其应用学生&&&&指导教师****** 副教授年级2009级专业数学与应用数学系别数学系学院数学科学学院***师范大学2013年4月学士学位论文题目积分中值定理及其应用学生******指导教师****** 副教授年级2009级专业数学与应用数学专业系别数学系学院数学科学学院***师范大学2013年4月积分中值定理及其应用摘要:本论文主要内容是积分中值定理及其应用，主要从以下几个方面论述：积分中值定理、积分中值定理的推广、积分中值定理中值点ξ的渐进性，积分中值定理的应用.关键词：积分中值定理；推广； 应用一、引言随着科技时代的发展，数学也随之大步前进.其中，微积分的创立，为数学的发展奠定了不可磨灭的基础.积分中值定理是作为微积分中的一个重要性质，而且在数学分析的学习过程占有很重要的地位，对于后续课程的学习也起着较大作用，在此我就把积分中值定理及其应用简单清晰论述一下.通常情况下，积分中值定理包含第一积分中值定理、第二积分中值定理.而在此我们既讨论了在特殊情况下的积分中值定理，即在一个区间上的情形.还讨论了在几何形体上二重、三重积分的情形的积分中值定理.并且这两个定理在各个方面的应用都较为广泛，比如物理学和数学.我们将积分中值定理加以应用，把微积分体系中比较基础的东西找出更为简单的解决方式：数学中一些定理的证明，数学定理、命题，几何应用，含定积分的极限应用，确定积分符号，比较积分大小，证明函数单调性，估计积分值.虽然有时第一积分中值定理在处理一些积分极限问题上显得很繁琐，但是我们任然可以把它当作一个基础定理，解决一些现实问题.本课题的研究过程为：讨论和分析积分中值定理，然后将其加以推广，讨论各个积分中值定理中的中间点的渐进性质，最后论述了积分中值定理在各方面的应用问题.课题研究的主要目标则是通过研究和分析积分中值定理、推广、渐进性，将各方面的应用如：估计积分值，求含有定积分的极限，确定积分号，比较积分大小，证明函数的单调性还有对阿贝尔判别法和狄理克莱判别法这两个定理的证明总结出积分中值定理并把其以论文的形式整理出来.二、 积分中值定理的证明 1、 定积分中值定理引理：假设M 和m 分别为函数()f x 在区间[,]a b 上的最大值和最小值，则有()()(),()bam b a f x dx M b a a b -≤≤-<⎰成立.证明：因为M 和m 分别为函数()f x 在区间[,]a b 上的最大值和最小值，即()m f x M ≤≤，我们对不等式进行积分可得()bb baaamdx f x dx Mdx≤≤⎰⎰⎰，由积分性质可知()()()bam b a f x dx M b a -≤≤-⎰ （1）成立，命题得证.定理1（定积分中值定理）：如果函数()f x 在闭区间[,]a b 上连续，则在区间[,]a b 上至少存在一个点ξ，使下式()()(),()baf x dx f b a a b ξξ=-≤≤⎰成立.证明：由于0b a ->，将（1）同时除以b a -可得1()ba m f x dx Mb a ≤≤-⎰.此式表明1()ba f x dxb a -⎰介于函数()f x 的最大值M 和最小值m 之间.由闭区间上连续函数的介值定理，在闭区间[,]a b 上至少存在一点ξ，使得函数()f x 在点ξ处的值与这个数相等，即应该有1()()ba f x dx fb a ξ=-⎰，成立，将上式两端乘以b a -即可得到()()(),()baf x dx f b a a b ξξ=-≤≤⎰，命题得证.备注1：很显然，积分中值定理中公式()()()baf x dx f b a ξ=-⎰（ξ在a 与b 之间）不论a b <或a b >都是成立的.2、 积分第一中值定理定理2（第一积分中值定理）：如果函数()f x 在闭区间[,]a b 上连续，()g x 在(,)a b 上不变号，并且()g x 在[,]a b 上是可积的，则在[,]a b 上至少存在一点ξ，使得()()()(),()bbaaf xg x dx f g x dx a b ξξ=≤≤⎰⎰成立.证明：由于()g x 在[,]a b 上不变号，我们不妨假设()0g x ≥，并且记()f x 在[,]a b 上的最大值和最小值为M 和m ，即()m f x M ≤≤，将不等式两边同乘以()g x 可知，此时对于任意的[,]x a b ∈都有()()()()mg x f x g x Mg x ≤≤成立.对上式在[,]a b 上进行积分，可得()()()()b b baaam g x dx f x g x dx M g x dx≤≤⎰⎰⎰.此时在,m M 之间必存在数值μ，使得m M μ≤≤，即有()()()bbaaf xg x dx g x dxμ=⎰⎰成立.由于()f x 在区间[,]a b 上是连续的，则在[,]a b 上必定存在一点ξ，使()f ξμ=成立.此时即可得到()()()()bbaaf xg x dx f g x dxξ=⎰⎰，命题得证.3、 积分第二中值定理定理3（积分第二中值定理）：如果函数()f x 在闭区间[,]a b 上可积，而()g x 在区间(,)a b 上单调，则在[,]a b 上至少存在一点ξ，使下式成立()()()()()()bbaaf xg x dx g a f x dx g b f x dxξξ=+⎰⎰⎰ （2）特别地，如果()g x 在区间(,)a b 上单调上升且()0g a ≥ ，那么存在ξ，使下式成立()()()()bbaf xg x dx g b f x dxξ=⎰⎰ （3）如果()g x 在区间(,)a b 上单调下降且()0g b ≥，那么存在ξ，使下式成立()()()()b aaf xg x dx g a f x dxξ=⎰⎰ （4）证明：由题设条件知(),()f x g x 在区间[,]a b 上都是可积的，由积分性质可知()()f x g x ⋅也是可积的.我们先证明（3）式，即在()g x 非负、且在区间(,)a b 上单调上升的情形下加以证明. 对于（4）式证明是类似的，最后我们再将其推导到一般情形，即可证明（2）式.在区间[,]a b 上取一系列分点使011i i n a x x x x x b -=<<<<<<=，记1i i i x x x -∆=-，其中i ω为()g x 在i x ∆上的幅度，即11[][]sup {()}inf {()}i i i i i x x x x g x g x ω----=-，再将所讨论的积分作如下改变：将积分限等分为如下n 等份，并且记11()[()()]ii nx i x i f x g x g x dx ρ-=-=∑⎰，11()()ii nx i x i g x f x dx σ-==∑⎰.则11()()()()ii nbx ax i f x g x dx f x g x dx-==∑⎰⎰1111()()()[()()]i ii i nnx x i i x x i i g x f x dx f x g x g x dx σρ--===+-≡+∑∑⎰⎰，因为()f x 在[,]a b 上可积，且区间[,]a b 是有限的，所以()f x 在[,]a b 上有界，此时我们不妨假设()f x L≤.估计ρ如下：11()[()()]ii nx i x i f x g x g x dxρ-==-∑⎰11()()()ii n x i x i f x g x g x dx-=≤-∑⎰11()()()ii nx i i x i f x g x g x dx-=≤-∑⎰111ii nnx i i ix i i L dx L x ωω-==≤=∆∑∑⎰由于()g x 可积，所以当max 0i x λ=∆→时，有1ni i i x ω=∆→∑，从而有0lim 0λρ→=，从而可知()()lim()lim lim baf xg x dx λλλσρσρ→→→=+=+⎰11lim lim ()()ii nx i x i g x f x dxλλσ-→→===∑⎰我们记()()bxF x f x dx=⎰，由于函数()f x 在闭区间[,]a b 上可积，那么函数()F x 是[,]a b 上的连续函数，并且有最大值和最小值M 和m ，记为()i m F x M ≤≤，很显然11()()()ii x i i x f x dx F x F x --=-⎰，0()()0F x F b ==，从而11()()ii nx i x i g x f x dxσ-==∑⎰[]11()()()ni i i i g x F x F x -==-∑111()()()()nni i i i i i g x F x g x F x -===-∑∑110121()()()()()()nn i i i i i i g x F x g x F x g x F x --===+-∑∑11011()()[()()]()n i i i i g x F x g x g x F x -+==+-∑因为()g x 是非负的，并且在区间(,)a b 上单调上升，即有10()()()0g x g x g a ≥=≥、1()()0i i g x g x +-≥成立，所以有下式成立()()11111111{()()()}{()()()}n n i i i i i i m g x g x g x M g x g x g x σ--++==+-≤≤+-∑∑.即有()()mg b Mg b σ≤≤成立.从而可以得到lim ()g b σμ=，其中μ满足m M μ<<.由于函数()F x 连续，则在[,]a b 之间存在一点ξ，使()()bF f x dxξμξ==⎰成立，从而有公式（2-3）成立，即()()()()bbaf xg x dx g b f x dxξ=⎰⎰成立，（3）式得证.对于()g x 单调下降且()0g b ≥的情形即公式（4）的证明过程是类似的，证明略.对于()g x 是一般单调上升情形，我们作辅助函数()()()x g x g a ψ=-，其中ψ为单调上升且()0a ψ≥，此时公式（3）对于()x ψ是成立的，即存在ξ使[][]()()()()()()bbaf xg x g a dx g b g a f x dxξ-=-⎰⎰成立，这就证明了公式（2）()()()()()()b baaf xg x dx g a f x dx g b f x dxξξ=+⎰⎰⎰.对于()g x 是一般单调下降的情形，此时应用公式（4），同样可得到（2）式，此命题得证.三、 积分中值定理的推广 1、定积分中值定理的推广定理7（推广的定积分中值定理） ：如果函数()f x 在闭区间[,]a b 连续，则在开区间(,)a b 至少存在一个点ξ，使得下式()()(),()baf x dx f b a a b ξξ=-<<⎰成立.证明：作辅助函数()F x 如下：()(),[,]xaF x f t dt x a b =∈⎰.由于()f x 在闭区间[,]a b 连续，则()F x 在[,]a b 上可微，且有()()F x f x '=成立.由微分中值定理可知：至少存在一点(,)a b ξ∈，使得()()()()F b F a F b a ξ'-=-成立.并且有()()baF b f t dt=⎰，()0F a =，此时即可得到下式()()(),(,)baf t dt f b a a b ξξ=-∈⎰，命题得证.2、定积分第一中值定理的推广定理8（推广的定积分第一中值定理）： 若函数()f x 是闭区间[,]a b 上可积函数，()g x 在[,]a b 上可积且不变号，则在开区间(,)a b 上至少存在一点ξ，使得()()()(),(,)bbaaf xg x dx f g x dx a b ξξ=∈⎰⎰成立.证法1：由于函数()f x 在闭区间[,]a b 上是可积的，()g x 在[,]a b 上可积且不变号，令()()()xaF x f t g t dt=⎰，()()xaG x g t dt=⎰，很显然(),()F x G x 在[,]a b 上连续.并且()0,()()()baF a F b f t g t dt==⎰，()0,()()b aG a G b g t dt==⎰，()()()F f g ξξξ'=，()()G g ξξ'= .由柯西中值定理即可得到()()(),(,)()()()F b F a F a b G b G a G ξξξ'-=∈'-，即()()()()()()babaf tg t dtf g g g t dtξξξ=⎰⎰，()()()(),(,)bbaaf tg t dt f g t dt a b ξξ=∈⎰⎰，命题得证.证法2：由于函数()g x 在[,]a b 上可积且不变号，我们不妨假设()0g x ≥.而函数()f x 在闭区间[,]a b 上可积，我们令{}inf ()|[,]m f x x a b =∈，{}sup ()|[,]M f x x a b =∈.假设()F x 是()f x 在闭区间[,]a b 上的一个原函数，即()(),[,]F x f x x a b '=∈.此时我们有下式成立()()()()bbb aaam g x dx f x g x dx M g x dx≤≤⎰⎰⎰（1）由于()0g x ≥，则有()0bag x dx ≥⎰，以下我们分两种情形来进行讨论：[1]如果()0bag x dx =⎰，由（3-1）式可知()()0baf xg x dx =⎰，则此时对于(,)a b ξ∀∈有()()0()()bbaaf xg x dx f g x dxξ==⎰⎰成立.[2]如果()0b ag x dx >⎰，将（3-1）式除以()bag x dx⎰可得()()()babaf xg x dxm Mg x dx≤≤⎰⎰，（2）我们记()()()babaf xg x dxg x dxμ=⎰⎰，（3）此时我们又分两种情形继续进行讨论：i 如果（2）式中的等号不成立，即有()()()babaf xg x dxm Mg x dx<<⎰⎰成立，则此时存在m M μ<<，使得12(),()m f x f x M μμ<≤<≤，我们不妨假设12x x <，其中12,[,]x x a b ∈.因为()()F x f x '=，[,]x a b ∈，则有1122()()()()F x f x f x F x μ''=<<=.此时至少存在一点12(,)x x ξ∈，使得()()F f ξξμ'==，即有12()()()(),(,)[,]bbaaf xg x dx f g x dx x x a b ξξ=⋅∈∈⎰⎰成立，从而结论成立.ii 如果（2）式中仅有一个等号成立，不妨假设M μ=，因为()0ba g x dx >⎰，此时必存在11[,](,)a b a b ∈（其中11a b <），使得11[,]x a b ∀∈，恒有()0g x >成立，我们则可将（3）式可改写为()()()b baag x dx f x g x dxμ⋅=⎰⎰，因为M μ=，则有[()]()0baM f x g x dx -=⎰（4）又注意到[()]()0M f x g x -≥，必有110[()]()[()]0b ba aM f x g x dx M f x dx ≤-≤-=⎰⎰.于是11[()]()0b a M f x g x dx -=⎰（5）下证必存在11[,](,)a b a b ξ∈⊂，使()f M ξμ==.若不然，则在11[,]a b 上恒有()0M f x ->及()0g x >成立，从而[()]()0M f x g x ->.如果11[()]()0b a M f x g x dx -=⎰，由达布定理在11[,]a b 上有[()]()0M f x g x -，这与[()]()0M f x g x ->矛盾.如果11[()]()0b a M f x g x dx ->⎰，这与（5）式矛盾.所以存在[,]a b ξ∈，使()()()(),(,)bbaaf xg x dx f g x dx a b ξξ=∈⎰⎰，定理证毕.3、 推广定积分第二中值定理定理9（推广定积分第二中值定理）： 如果函数()f x 在闭区间[,]a b 可积，()g x 在区间[,]a b 上可积且不变号，则在(,)a b 上必存在一点ξ，使得()()()()()(),(,)bc baacf xg x dx g a f x dx g b f x dx a b ξ=+∈⎰⎰⎰成立.证明过程详见参考文献[9].4、 第一曲线积分中值定理定理10（第一型曲线积分中值定理）： 如果函数(,)f x y 在光滑有界闭曲线C 上连续，则在曲线C 上至少存在一点(,)ξη，使(,)(,)Cf x y ds f Sξη=⎰成立，其中S 为曲线C 的弧长.证明：因为函数(,)f x y 在光滑有界闭曲线C 上连续，所以存在,m M R ∈，其中(,)m f x y M ≤≤，对不等式在闭曲线C 上进行第一类曲线积分可得(,)CCCm ds f x y ds M ds⋅≤≤⋅⎰⎰⎰，其中Cds⎰为曲线C 的弧长，并且Cds S=⎰，由于0S >，将上式同除以常数S ，即可得到1(,)C m f x y ds M S ≤≤⎰，由于函数(,)f x y 在曲线C 上连续，故由闭区间上连续函数的介值定理，在曲线C 上至少存在一点(,)ξη，使1(,)(,)C f f x y ds S ξη=⎰成立，左右两边同除以常数S ，即可得到结论，从而命题得证.5、 第二曲线积分中值定理定理11（第二型曲线积分中值定理）：如果函数(,)f x y 在光滑有向曲线C 上连续，则在曲线C 上至少存在一点(,)ξη，使得(,)(,)Cf x y dx f Iξη=±⋅⎰成立.其中I 为光滑有向曲线C 在x 轴正向上的投影，其中符号“±”是由曲线C 的方向确定的.证明：因为函数(,)f x y 在有界闭曲线C 上连续，所以存在,m M R ∈，其中(,)m f x y M ≤≤，对上式进行第二型曲线积分可得(,)cCcm dx f x y dx M dx≤≤⎰⎰⎰（6）其中cdx ⎰为有向光滑曲线C 在x 轴上的投影，此时我们不妨记cdx I =±⎰，并且分以下两种情况进行讨论：[1]假设cdx I =⎰，将（3-6）式除以I 可得1(,)C m f x y dx M I ≤≤⎰.因为(,)f x y 在C 上连续，故由介值定理，则在曲线C 上至少存在一点(,)ξη，使1(,)(,)C f x y dx f I ξη=⎰成立，即有(,)(,)Cf x y dx f Iξη=⋅⎰成立.[2]同理当cdx I =-⎰，式左右两边同时除以I -可得1(,)C M f x y dx m I -≤-≤-⎰，因为(,)f x y 在C 上连续，故由介值定理，则在曲线C 上至少存在一点(,)ξη，使1(,)(,)C f x y dx f I ξη-=⎰ 成立，即有(,)(,)Cf x y dx f Iξη=-⋅⎰成立，由上面证明过程可得(,)(,)Cf x y dx f Iξη=±⋅⎰，命题得证.6、 第一曲面积分中值定理定理12（第一型曲面积分中值定理）：设D 为xoy 平面上的有界闭区域，其中(,)z z x y =为光滑曲面S ，并且函数(,,)f x y z 在S 上连续，则在曲面S 上至少存在一点(,,)ξηζ，使(,,)(,,)Sf x y z d f Aσξηζ=⋅⎰⎰成立，其中A 是曲面S 的面积.证明：因为(,,)f x y z 在曲面S 上连续，所以存在,m M R ∈且使得(,,)m f x y z M ≤≤成立，我们对上式在S 上进行第一类曲面积分可得(,,)SSSm d f x y z d M d σσσ⋅≤≤⎰⎰⎰⎰⎰⎰，其中Sd σ⎰⎰为曲面的面积，且Sd Aσ=⎰⎰，因为0A ≠，两边同除以A 有1(,,)Sm f x y z d M A σ≤≤⎰⎰，由于(,,)f x y z 在曲面S 上连续，故由介值定理，在曲面S 上至少存在一点(,,)ξηζ，使1(,,)(,,)Sf f x y z d A ξηζσ=⎰⎰，成立，两边同时乘以A 可得(,,)(,,)Sf x y z d f Aσξηζ=⋅⎰⎰，命题得证.7、 第二曲面积分中值定理定理13（第二型曲面积分中值定理）：若有光滑曲面:(,),(,)xyS z x y x y D ∈，其中xyD 是有界闭区域，函数(,,)f x y z 在S 上连续，由此在曲面S 上至少存在一点(,,)ξηζ，使(,,)(,,)Sf x y z dxdy f Aξηζ=±⋅⎰成立，其中A 是S 的投影xyD 的面积.证明：因为函数(,,)f x y z 在曲面S 上连续，所以存在,m M R ∈使得(,,)m f x y z M ≤≤，对上式在曲面S 上进行第二类曲面积分可得(,,)SSSm dxdy f x y z dxdy M dxdy⋅≤≤⎰⎰⎰⎰⎰⎰，其中Sdxdy⎰⎰为(,,)f x y z 投影在曲面xy D上的面积，并且我们记Sdxdy A=±⎰⎰.[1]若Sdxdy A=⎰⎰，则上式除以A 有1(,,)Sm f x y z dxdy M A ≤≤⎰⎰，由于(,,)f x y z 在曲面S 上连续，故由介值定理，在曲面S 上至少存在一点(,,)ξηζ，使1(,,)(,,)S f f x y z dxdy A ξηζ=⎰⎰，两边同时乘以A 有(,,)(,,)Sf x y z dxdy Af ξηζ=⎰⎰，[2]同理，若Sdxdy A=-⎰⎰，则上式除以A -有1(,,)SM f x y z dxdy m A -≤-≤-⎰⎰，由于(,,)f x y z 在曲面S 上连续，故由介值定理，在曲面S 上至少存在一点(,,)ξηζ，使1(,,)(,,)S f f x y z dxdy A ξηζ=-⎰⎰，两边同时乘以A -有(,,)(,,)SAf f x y z dxdyξηζ-=⎰⎰.由以上证明过程可得(,,)(,,)Sf x y z dxdy f Aξηζ=±⋅⎰，从而结论成立.四、 第一积分中值定理中值点的渐进性定理14 ：假设函数()f x 在[,]a b 上n 阶可导，其中()f x 在a 点的直到1n -阶右导数为0，而n 不为0，即(1)()()()0n f a f a f a -+++'''====，()()0n f a +≠，并且有()()n f x 在a 点连续；函数()g x 在[,]a b 可积且不变号，并且对于充分小的0()a b δδ>+<， ()g x 在[,]a a δ+上连续，且()0g a ≠，则第一积分中值定理中的中值点ξ满足lim(,)x a ax a b x aξ→+-=∈-.证明：对任意(,)x a b ∈，我们做一个辅助函数()F x 如下：1()()()()()()xxaan f t g t dt f a g t dtF x x a +-=-⎰⎰一方面，当0x a →+时，分子分母同时趋于零，满足洛比达法则条件，由洛比达法则()()()()lim ()lim(1)()nx a x a f x g x f a g x F x n x a →+→+-=+-()()()lim ()1n x a f x f a g x x a n →+-=-+001()()lim ()lim1()n x a x a f x f a g x n x a →+→+-=⋅⋅+-由积分中值定理和洛比达法则可以得到()0()()()lim ()!n n x a f a f x f a x a n +→+-=-，从而()0()()lim ()(1)!n x a g a f a F x n +→+=+. （1）且有()0()()()lim ,()()!n n x a f a f f a a x a n ξξξ+→+-=<<-成立.另一方面，由积分中值定理和洛比达法则可得1()()()()lim ()lim()x xaan x a x a f g t dt f a g t dtF x x a ξ+→+→+-=-⎰⎰=0()()()lim ()xna n x a g t dt f f a a a x a x a ξξξ→+⎡⎤--⎛⎫⎢⎥⋅⋅ ⎪⎢⎥---⎝⎭⎢⎥⎣⎦⎰ 000()()()lim lim lim ()a na n x a x a g t dtf f a a a x a δδξξξδ+→+→+→+--⎛⎫=⋅⋅ ⎪--⎝⎭⎰由洛比达法则，则有()lim()a ag t dtg a δδδ+→+=⎰，因此可得()0()()lim ,()!nn x a f a g a a a x n x a ξξ+→+-⎛⎫=⋅<< ⎪-⎝⎭. （2）比较（4-1）式与（4-2）式可以得到lim(,)x a ax a b x aξ→+-=∈-.定理15：假设函数()f x 在[,]a b 上连续，()f a +'存在并且有()0f a +'≠，()[,]g x a b 在上有m 阶导数，有(1)()()()()0m g a g a g a g a -+++'''=====， ()()0m g a +≠成立，并且()()m g x 在a 点连续，()g x 不变号，则第一积分中值定理中的点ξ满足1lim,(,)2x a am x a b x am ξ→+-+=∈-+.证明：对任意的(,)x a b ∈，构造辅助函数()H x 如下2()()()()()()xxaam f t g t dt f a g t dtH x x a +-=-⎰⎰ .一方面，当0x a →+时，分子分母同时趋于零，满足洛比达法则条件，由洛比达法则，有10()()()()lim ()lim (2)()m x a x a f x g x f a g x H x m x a +→+→+-=+-=()()()1lim()2m x a f x f a g x x a x a m →+-⋅⋅--+由于0x a →+，则0()()lim()x a f x f a f a x a +→+-'=-，且函数()[,]g x a b 在上有m 阶导数，则上式等于()0()1()1()lim ()2()2!m m x a g x g x f a f a m x a m m +++→+''⋅⋅=⋅⋅+-+（3）另一方面，由积分中值定理()()()()xxaaf tg t dt f g t dtξ=⎰⎰.则2[()()]()lim ()lim()()xam x a x a f f a g t dtH x a x x a ξξ+→+→+-⋅=<<-⎰=10()[()()]lim ()xa m x a g t dt f f a a a x a x a ξξξ+→+--⋅⋅---⎰=1000()[()()]lim lim lim ()xam x a x a x a g t dt f f a a a x a x a ξξξ+→+→+→+--⋅⋅---⎰对()H x 使用洛比达法则可得=()0()()lim(1)!m x a g a a f a m x a ξ++→+-'⋅⋅+-（4） 比较（3），（4）式我们可以得到1lim,(,)2x a am x a b x am ξ→+-+=∈-+.定理16：设函数()f x 在[,]a b 上n 阶可导，(1)()()()0n f a f a f a -+++'''====，()()0n f x ≠，()()n f x 在a点连续；函数()[,]g x a b 在上有m阶导数，且(1)()()()()0m g a g a g a g a -+++'''=====，()()0m g a ≠，并且()()m g x 在a 点连续，()g x 不变号，则第一积分中值定理中的ξ满足lim(,)x a ax a b x aξ→+-=∈-.证明：对任意的(,)x a b ∈，我们构造辅助函数()L x 如下1()()()()()()xxaam n f t g t dt f a g t dtL x x a ++-=-⎰⎰一方面，由于0x a →+时，分子分母同时趋于零，满足洛比达法则条件，由洛比达法则，有()()()()lim ()lim (1)()m n x a x a f x g x f a g x L x m n x a +→+→+-=++-=()()()1lim()()1n m x a f x f a g x x a x a m n →+-⋅⋅--++001()()()lim lim1()()nm x a x a f x f a g x m n x a x a →+→+-=⋅⋅++--由于函数()f x 在[,]a b 上n 阶可导，且函数()g x 在[,]a b 上m 阶可导，则上式等于()()()()11!!n m f a g x m n n m ++=⋅⋅++ （5）另一方面，由积分中值定理()()()()xxaaf tg t dt f g t dtξ=⎰⎰.则1[()()]()lim ()lim()()xa m n x a x a f f a g t dtL x a x x a ξξ++→+→+-⋅=<<-⎰=10()[()()]()lim ()()()xna n m m x a g t dt f f a a a x a x a ξξξ+→+--⋅⋅---⎰=1000()[()()]()lim lim lim ()()()xnan m m x a x a x a g t dt f f a a a x a x a ξξξ+→+→+→+--⋅⋅---⎰对()L x 使用洛比达法则可得()()0()()lim ,()!(1)!nn m x a f a g a a a x n x a m ξξ++→+-⎛⎫=⋅⋅<< ⎪-+⎝⎭ （6）比较（5）、（6）式我们可以得到0lim(,)x a ax a b x aξ→+-=∈-.五、 第二积分中值定理中值点的渐进性定理17 ：假设函数()[,]f x a b 在上单调，并且在a 点的右导数存在，且有(0)0f a '+≠；()g x 在[,]a b 上可积，在a 点的右极限存在，且(0)0g a +≠.则第二积分中值定理中的ξ满足01lim,(,)2x a ax a b x a ξ→+-=∈-.证明：对于任意的(,)x a b ∈，构造辅助函数()F x 如下2()()()()()()xxaaf tg t dt f a g t dtF x x a -=-⎰⎰.一方面，当0x a →+时，分子分母同时趋于零，满足洛比达法则条件，由洛比达法则可得()()()()lim ()lim2()x a x a f x g x f a g x F x x a →+→+-=-001()()1lim lim ()(0)(0)02()2x a x a f x f a g x f a g a x a →+→+-'==++≠-（1）另一方面，由第二积分中值定理，有2()()()()()()lim ()lim()x xaax a x a f a g t dt f x g t dt f a g t dtF x x a ξξ→+→++-=-⎰⎰⎰20()()()()()()()lim()x xa a a a x a f a g t dt f x g t dt g t dt f a g t dtx a ξξ→+⎡⎤+--⎢⎥⎣⎦=-⎰⎰⎰⎰[][]2()()()()()()lim()x aax a f x f a g t dt f x f a g t dtx a ξ→+---=-⎰⎰00()()()()lim lim x aa x a x a g t dt g t dt f x f a x a x aξ→+→+⎡⎤--⎢⎥=⎢⎥--⎢⎥⎣⎦⎰⎰ 00()()()()lim lim x a a x a x a g t dt g t dt f x f a a x a x a a x a ξξξ→+→+⎡⎤--⎢⎥=-⋅⎢⎥----⎢⎥⎣⎦⎰⎰0(0)(0)(0)limx a a f a g a g a x a ξ→+-⎡⎤'=++-+⎢⎥-⎣⎦ 0(0)(0)1limx a a f a g a x a ξ→+-⎡⎤'=++-⎢⎥-⎣⎦（5-2）比较（5-1）、（5-2）式知011lim2x a ax aξ→+--=-，即可得到01lim 2x a a x a ξ→+-=-. 将此定理推广，即可得到以下定理定理18：假设函数()f x 在[,]a b 上单调，在[,]a b 内有直到n 阶导数，()()n f x 在a 点连续，()f x 在a 点的右导数满足(1)(0)(0)(0)0n f a f a f a -'''+=+==+=，()(0)0;n f a +≠()g x 在[,]a b 上可积，在a 点的右极限存在，且(0)0g a '+≠，则第二积分中值定理中的ξ满足lim,(,)1x a anx a b x an ξ→+-=∈-+.定理19：假设函数()f x 在[,]a b 上单调，函数()f x 在a 点的右导数存在，并且有(0)0f a '+≠；()g x 在[,]a b 上存在直到m 阶导数，且有()()m g x 在a 点连续，并且满足(1)()(0)(0)0m g a g a g a -'=+==+=，()(0)0m g a +≠，则第二积分中值定理中的点ξ满足lim(,)x a ax a b x aξ→+-=∈-.定理20：假设函数()f x 在[,]a b 上单调，在[,]a b 上有直到n 阶的导数，()()n f x 在a 点连续，并且在a 点的右导数满足(1)(0)(0)(0)0n f a f a f a -'''+=+==+=，()(0)0n f a +≠；()g x 在[,]a b上存在直到m 阶导数，()()m g x 在a 点连续，且满足(1)()(0)(0)0m g a g a g a -'=+==+=，()(0)0m g a +≠，则第二积分中值定理中的点ξ满足0lim(,)x a ax a b x aξ→+-=∈-.6 积分中值定理的应用 6.1 估计积分值例1 估计2010.5sin xdxx +⎰的积分解：由于11110.510.5sin 10.5x ≤≤++-，即212310.5sin x ≤≤+.于是2044310.5sin x dx x ππ≤≤+⎰此时可得到估计的积分值为2084(1)10.5sin 33xdx x ππθθ=±≤+⎰.例2 估计2sin ,(0)bax dx a b <<⎰的积分解：设x =.则2221sin 2bb a a x dx =⎰⎰，其次，假设()sin f t t =和12()t tϕ-=，则()t ϕ单调下降，并且有()0t ϕ>.于是，2222111sin (cos cos )222b a a tdx a a a ξξ==-⎰⎰2211sin sin 22a a a a ξξθ+-==其中22a b ξ≤≤，1θ≤.因此2sin (1)bax dx aθθ=≤⎰.例3 证明等式sin lim 0n pnn xdx x +→∞=⎰.证法1：由第一积分中值定理可知sin sin lim lim 0n pn nn n n xdx p x ξξ+→∞→∞==⎰，其中n ξ位于n 和n p +之间的某个值.证法2：由第二积分中值定理可知得sin 1sin nn pnnx dx xdxx nξ'+=⎰⎰11cos cos 0()nn n n n ξ'=-≤→→∞，其中n ξ位于n 和n p +之间的某个值，于是sin lim 0n p nn xdx x +→∞=⎰.2、求含定积分的极限例4 求极限120lim 1nn x x →∞+⎰解：利用广义积分中值定理1122001lim 11n n n x dx x dxx ξ→∞=++⎰⎰1102211[],(01)11(1)(1)n x n n ξξξ+==≤≤++++则12201lim lim 01(1)(1)n n n x dx x n ξ→∞→∞==+++⎰3、 确定积分号例5确定积分131x x e dx-⎰的符号解：11133333111()()xxxtx x e dx x e dx x e dxx t t e d t x e dx----=+=---+⎰⎰⎰⎰⎰1113333311()txtxx x t e dt x e dx t e dt x e dx x e e dx--=+=-+=+⎰⎰⎰⎰⎰由积分中值定理可知1331()0x x e dx e e ξξξ--=-≥⎰其中(01)ξ≤≤.又3xx e 在[1,1]-上不恒为0，则有1310xx e dx ->⎰，即131xx e dx -⎰的符号为正号.4、 比较积分大小例6 比较积分34sin xπ⎰和240sin xπ⎰的大小解：当(0,)4x π∈时，0sin 1x <<，从而有320sin sin 1x x <<<，于是我们有32440sin sin x xππ≤⎰⎰，即340sin xπ⎰小于等于240sin xπ⎰.5、 证明函数的单调性例7设函数()f x 在(0,)+∞上连续，其中0()(2)()xF x x t f t dt=-⎰，试证：在(0,)+∞内，若()f x 为非减函数，则()F x 必为非增函数.证明：利用分歩积分法，将()F x 化为()(2)()()2()x x xF x x t f t dt x f t dt tf t dt=-=-⎰⎰⎰对上式求导，可以得到：()()()2()()()x xF x f t dt xf x xf x f t dt xf x '=+-=-⎰⎰.由积分中值定理，可得：()()()(()()),(0)F x xf xf x x f f x x ξξξ'=-=-≤≤.若()f x 为非减函数，则有()()0f f x ξ-≤成立，因此可以得到()0F x '≤，故()F x 为非增函数，命题得证.6、 证明定理例8 证明（阿贝尔判别法）如果()f x 在[,)a +∞上可积，()g x 单调有界，那么()()a f x g x dx+∞⎰收敛.证明：由假设条件，利用第二中值定理，在任何一个区间[,]A A '上（其中,A A a '>），存在[,]A A ξ'∈，使得()()()()()()A A AAf xg x dx g A f x dx g A f x dxξξ'''=+⎰⎰⎰.因为()f x 在[,)a +∞上可积，则()af x dx+∞⎰收敛，所以对于任何0ε>，存在0A a ≥，使得当0,A A A '≥时，成立(),()A Af x dx f x dx ξξεε'<<⎰⎰.又由0(),,g x L A A A '<≥所以当时，有()()()()()()A A AAf xg x dx g A f x dx g A f x dxξξ'''=+⎰⎰⎰()()()()2A Ag A f x dx g A f x dx L ξξε''≤+≤⎰⎰，根据柯西收敛原理可推知积分()()af xg x dx+∞⎰收敛.备注2： 当讨论无界函数广义积分时，可将阿贝尔判别法可改写为： 假设()f x 在x a =有奇点，()baf x dx⎰收敛，()g x 单调有界，那么积分()()baf xg x dx⎰收敛.证明：对()()a a f x g x dxηη'++⎰应用第二积分中值定理，证明过程略.备注3：当讨论二元函数的积分限为含有参变量时，则含参变量的广义积分的阿贝尔判别法可写为：假设(,)af x y dx+∞⎰关于[,]y c d ∈为一致收敛，(,)g x y 关于x 单调（即对每个固定的[,]y c d ∈，(,)g x y 作为x 的函数是单调的），并且关于y 是一致有界的，即存在正数L ，对所讨论范围内的一切,x y 成立：(,)g x y L <.那么积分(,)(,)af x yg x y dx+∞⎰关于y 在[,]c d 上是一致收敛的.证明：由于(,)af x y dx+∞⎰关于[,]y c d ∈是一致收敛的，则对于任意正数0ε>，存在0A a ≥，当0,A A A '≥时，成立(,)A Af x y dx ε'<⎰.因此，当0,A A A '≥时，将y 看成给定常数，则由积分第二中值定理中的公式(,)(,)A Af x yg x y dx '⎰()()(,)(,)(,)(,)y A Ay g A y f x y dx g A y f x y dxεε''=+⎰⎰因为对任意的,x y 都有(,)g x y L<，则(,)(,)2A Af x yg x y dx L ε'≤⎰.因此，(,)(,)af x yg x y dx+∞⎰关于y 在[,]c d 上是一致收敛的，命题得证.例9 证明（狄里克莱判别法）如果()()AaF A f x dx=⎰有界，即存在0K >，使得(),()Aaf x dx Kg x ≤⎰单调且当x →+∞时趋向于零，那么积分()()af xg x dx+∞⎰收敛.证明：因为()0()g x x →→+∞，所以对任意的0ε>，存在0A ，当0,A A A '≥时，()g A ε<，()g A ε'<.又因()Aaf x dx K≤⎰，所以()()()2AAaaf x dx f x dx f x dx Kξξ=-≤⎰⎰⎰，同样我们有()2A f x dx Kξ'≤⎰.由第二积分中值定理，只要0,A A A '≥，就有()()()()()()4A A AAf xg x dx g A f x dx g A f x dx K ξξε'''≤+≤⎰⎰⎰所以积分()()af xg x dx+∞⎰收敛，命题得证.备注4：当讨论无界函数广义积分时，我们可将狄立克莱判别法写为：设()f x 在x a =有奇点，()ba f x dx η+⎰是η的有界函数，()g x 单调且当x a →时趋于零，那么积分()()baf xg x dx⎰收敛.证明：对()()a a f x g x dxηη'++⎰应用第二积分中值定理，证明过程略.备注5： 当讨论二元函数的积分限为含有参变量时，则含参变量的广义积分的狄立克莱判别法写为：设积分(,)A af x y dx⎰对于A a ≥和[,]y c d ∈是一致有界的，即存在正数K ，使对上述,A y 成立(,)Aaf x y dx K≤⎰又因为(,)g x y 关于x 是单调的，并且当x →+∞时，(,)g x y 关于[,]c d 上的y 一致趋于零，即对于任意给定的正数ε，有0A ，当0x A ≥时，对一切[,]y c d ∈成立(,)g x y ε<，那么积分(,)(,)af x yg x y dx+∞⎰关于y 在[,]c d 上是一致收敛的.证明：由所假设的条件可推知对任何,A A a '≥，有(,)(,)(,)A AA Aaaf x y dx f x y dx f x y dx''=-⎰⎰⎰(,)(,)2AA aaf x y dx f x y dx K'≤+≤⎰⎰而由(,)g x y ε<和上式可推知，当,A A a '≥时()(,)(,)(,)(,)A y AAf x yg x y dx g A y f x y dxε'≤⎰⎰()(,)(,)224A y g A y f x y dx K K K εεεε''+<⋅+⋅=⎰，因此，(,)(,)af x yg x y dx+∞⎰关于y 在[,]c d 上是一致收敛的，命题得证.参考文献：[1] 陈纪修、於崇华、金路.数学分析（第二版上册）.北京:高等教育出版社，2004.294-310 [2] 陈纪修、於崇华、金路.数学分析（第二版下册）.北京:高等教育出版社，2004.165-170 [3] 陈传璋、金福林等编.数学分析（下册）.北京：高等教育出版社，1983. 286-288 [4] 陈传璋、金福林等编.数学分析（上册）.北京：高等教育出版社，1983. 51-56， 252 [5] 同济大学应用数学系.高等数学（第五版上册）.北京：高等教育出版社，1996. 232THE MEAN-VALUE THEOREM AND ITS APPLICATIONAbstract:The main content of this paper are the mean-value theorem and its application, it will be mainly divided into the following respects: integral mean-value theorem, the generalation of integral mean-value theorem, the asymptotic property of the “intermediate point”of integral median point, the application of integral mean-value theorem.Key words:integral mean-value; theorem promotion ;apply指导教师评语页本科毕业论文（设计）答辩过程记录院系数学科学学院专业数学与应用数学年级2009 级答辩人姓名**** 学号**********毕业论文（设计）题目积分中值定理及其应用毕业论文（设计）答辩过程记录：答辩是否通过：通过（）未通过（）记录员答辩小组组长签字年月日年月日=本科毕业论文（设计）答辩登记表。
二重积分中值定理证明二重积分中值定理证明引言二重积分中值定理是微积分学中重要的定理之一，它描述了在某些条件下，一个函数在某个区域上的平均值等于这个函数在该区域上的某个点的取值。
这个定理在应用数学、物理学、工程学等领域都有广泛的应用。
本文将对二重积分中值定理进行证明。
定义设 $f(x,y)$ 是一个定义在有限闭区域 $D$ 上的连续函数，则存在一点$(\xi,\eta)$，使得$$\iint_D f(x,y) dxdy = f(\xi,\eta) \iint_D dxdy$$证明为了证明二重积分中值定理，我们需要使用以下两个引理：引理1：闭区间上连续函数的最大最小值存在。
引理2：如果 $f(x,y)$ 在有限闭区域 $D$ 上连续且非负，则 $\iint_D f(x,y) dxdy > 0$。
接下来我们将使用这两个引理来证明二重积分中值定理。
第一步：构造辅助函数为了方便证明，我们可以构造一个辅助函数 $F(t)$：$$F(t) = \iint_D [f(x,y)-t]dxdy$$其中 $t$ 是一个常数。
显然，$F(t)$ 是 $t$ 的连续函数。
第二步：证明引理1由于 $f(x,y)$ 在有限闭区域 $D$ 上连续，因此 $F(t)$ 也是在闭区间上的连续函数。
根据引理1，$F(t)$ 在某个点 $t_0$ 处取得最小值和最大值。
设最小值为 $m$，最大值为 $M$。
第三步：证明引理2由于 $f(x,y)$ 在有限闭区域 $D$ 上连续且非负，因此 $\iint_D f(x,y) dxdy \geq 0$。
如果 $\iint_D f(x,y) dxdy = 0$，则对于任意常数$t_0$，$$F(t_0) = \iint_D [f(x,y)-t_0]dxdy \leq 0$$但是根据定义，当 $t=t_0=m$ 时，$$F(m) = \iint_D [f(x,y)-m]dxdy \geq 0$$这与上式矛盾。
积分第二中分定理
积分第二中值定理
积分第二中值定理是高等数学中的一个重要定理。
它被广泛应用于计算积分、研究微积分学中的相关问题。
本文将从概念、定理以及例题等方面进行详细介绍。
概念：积分第二中值定理是指，如果在一个区间上的函数f(x)在该区间内是连续的且不存在零点，那么必然至少存在一点c，使得
∫abf(x)dx=f(c)(b-a)。
定理证明：首先，我们可以从函数f(x)的连续性出发，构造一个函数g(x)，使得f(x)和g(x)在闭区间[a,b]上都满足连续性。
设
g(x)=∫abf(t)dt/(b-a)，将其带入到定理中可得出∫abf(x)dx=g(x)(b-a)。
因为g(x)和f(x)都在区间[a,b]内连续，由于连续函数介值定理，所以必有
g(x)在区间[a,b]内取到了某个值c。
于是，由上述式子可以推导出
f(c)=(∫abf(t)dt/(b-a))/(b-a)=∫abf(t)dt/(b-a)×1/(b-a)=g(x)。
因此，得证。
例题：对函数f(x)=x2在区间[0,2]上求∫abf(x)dx与积分第二中值定理确定的值。
分析：f(x)在该区间内是一个连续的函数，故可以用积分第二中值定理
来求解。
解法：首先求出∫02x2dx=(x3/3)|02=8/3，然后求出g(x)=8/3/2=4/3，因为
f(x)在区间[0,2]内连续，故必存在一点c∈[0,2]使得f(c)=4/3。
总结：积分第二中值定理是微积分中的基础概念，常常被应用于实际
问题的求解。
虽然证明过程相对比较复杂，但是只要理解其基本思想，推导就能较为顺利。
浅析积分第二中值定理及应用作者：石桃华佳林来源：《科技资讯》2011年第30期摘要：本文讨论了积分第二中值定理的证明方法，以及定理中“中值点”的区间给予了改进，给出了第二中值定理的一些推广形式与其证明方法。
总结了中值定理在各个方面应用。
关键词:积分第二中值定理中值点应用中图分类号：O172 文献标识码：A 文章编号：1672-3791(2011)10(c)-0000-001 积分第二中值定理的证明积分中值定理无论在理论还是在应用上在积分学中都有重要意义，所谓积分第二中值定理则比积分第一中值定理更为精细下面给出该定理与其证明。
结论：在一些比较复杂的极限证明过程中应用积分第二中值定理可以得到很好的结果，而且计算过程简单易懂。
4 结束语积分中值定理是数学分析课程中很重要的一个定理，同时也是解决后续课程中相关问题的重要方法。
本文重要介绍了积分第二中值定理的证明，和由它衍生出来的一系列问题。
给出了它的很多应用，使我们对它有了更深一层的理解。
另外积分中值定理在很多方面有着很重要的应用，例如一些收敛定理的证明，反常积分收敛性的证明。
在这里我们不做过多的讨论。
参考文献[1] 吉林大学数学系.数学分析(上册)[M].北京：人民教育出版社,1979,191-207．[2] 费定晖,周学圣.B n吉米多维奇．《数学分析习题集题解(三)》[M].济南：山东科学技术出版社,1979,454-455．[3] 金渝光.关于积分中值定理[J].重庆师范学院学报(自然科学版),1998,15(增刊)：36-37．[4] 原华丽.关于积分第二中值定理的探究[J].山东师范大学学报(自然科学版),2004,19(3)：83-85．。
第二讲 函数的连续性 中值定理 积分一．连续性 定理：设()f x 在[,]a b 上Riemann 可积，则(,)[,]()a b a b αβαβ∀⊂≤<≤，0(,)x αβ∃∈使()f x 在0x x =处连续。
证明：作分划010:n x x x x nβααβ-∆=<=+<<= 。
因()f x 在[,]a b 上Riemann 可积，取102βαε-=>，存在14n ≥，使1(1)(1)11()2n i i i M m n βαβα=---<∑（其中1,1,(1)(1)[][]{()},inf {()}i i i i ii x x x x x x M sup f x m f x --∈∈==，以下类似定义。
） 所以1(1)(1)111()22n i i i n M m n =-<≤-∑，因此至少有三个i ，使(1)(1)1i iM m -<。
取110,i n <<使11(1)(1)1i i M m -<。
作区间11111[,][,]i i x x αβ-=，则()f x 在11[,]αβ上Riemann 可积。
取112202βαε-=>，存在24n ≥，使1(2)(2)111121()4n iii M m n βαβα=---<∑于是2(2)(2)2212()42n i i i n n M m =--<≤∑，因此至少有三个i ，使(2)(2)12iiM m -<。
取220,i n <<使22(2)(2)12i i M m -<。
如此继续可以得到一个闭区间套 11[,][,][,]n n αβαβαβ⊃⊃⊃使得（1）4n n nβαβα--≤；（2）()f x 在[,]n n αβ上的上下确界满足()()1n n i i M m n -<。
由闭区间套定理知01[,]{}n n n x αβ∞== 。
积分第二中值定理的证明回复积分第二中值定理的证明如下：设$f(x)$在$[a,b]$内连续，则存在$c\in[a,b]$，使得$$\int_a^bf(x)dx=f(c)(b-a)$$证明：考虑将$[a,b]$分成$n$个相等的小区间，每个小区间的长度为$\Delta x=\frac{b-a}{n}$，分别记为$[x_0,x_1],[x_1,x_2],...,[x_{n-1},x_n]$，其中$x_0=a,x_n=b$。
对于每个小区间$[x_{i-1},x_i]$，根据拉格朗日中值定理，存在$x_i^*\in[x_{i-1},x_i]$，使得$$\int_{x_{i-1}}^{x_i}f(x)dx=f(x_i^*)\Delta x$$将上述式子对$i=1,2,...,n$进行求和，有$$\int_a^bf(x)dx=\sum_{i=1}^nf(x_i^*)\Delta x$$由于$f(x)$在$[a,b]$内连续，因此$f(x)$在$[a,b]$内一定有界，即存在$M>0$，使得$|f(x)|\leM$，$\forall x\in[a,b]$。
于是有$$\left|\sum_{i=1}^nf(x_i^*)\Delta x\right|\le\sum_{i=1}^n|f(x_i^*)|\Delta x\le M\sum_{i=1}^n\Delta x=(b-a)M$$令$\Delta x\rightarrow0$，则有$n\rightarrow\infty$，$x_i^*\rightarrow c$，其中$c\in[a,b]$。
因此，$$\lim_{\Delta x\rightarrow0}\sum_{i=1}^nf(x_i^*)\Delta x=\int_a^bf(x)dx$$又由于$f(x)$在$[a,b]$内连续，因此$f(x)$在$[a,b]$内一定可积，即存在$\lim_{\Delta x\rightarrow 0}\sum_{i=1}^nf(x_i^*)\Delta x$。
这个定理的推导比较复杂，牵扯到积分上限函数：Φ(x) = ∫f(t)dt（上限为自变量x，下限为常数a）。
以下用∫f(x)dx<a,b>表示从a到b的定积分。
首先需要证明，若函数f(x)在[a,b]内可积分，则Φ(x)在此区间内为一连续函数。
证明：给x一任意增量Δx，当x+Δx在区间[a,b]内时，可以得到
Φ(x+Δx) = ∫f(t)dt<a,x+Δx> = ∫f(t)dt<a,x> + ∫f(t)dt<x,x+Δx>
= Φ(x) + ∫f(t)dt<x,x+Δx>
即
Φ(x+Δx) - Φ(x) = ∫f(t)dt<x,x+Δx>
应用积分中值定理，可以得到
Φ(x+Δx) - Φ(x) = μΔx
其中m<=μ<=M，m、M分别为f(x)在[x,x+Δx]上的最小值和最大值，则当Δx->0 时，Φ(x+Δx) - Φ(x)->0，即
lim Φ(x+Δx) - Φ(x) = 0（当Δx->0）
因此Φ(x)为连续函数
其次要证明：如果函数f(t)在t=x处连续，则Φ(x)在此点有导数，为
Φ'(x) = f(x)
证明：由以上结论可以得到，对于任意的ε>0，总存在一个δ>0，使|Δx|<δ时，对于一切的t属于[x,x+Δx]，|f(t)-f(x)|<ε恒成立（根据函数连续的ε-δ定义得到），得f(x)-ε<f(t)<f(x)+ε
由于t属于[x,x+Δx]，因此m<=f(t)<=M（m、M的意义同上），由于f(x)-ε<f(t)& amp;lt;f(x)+ε当t属于[x,x+Δx]时恒成立，因此得到
f(x)-ε<=m<=M<=f(x)+ε
由于m<=μ<=M（μ的意义同上），可以得到
f(x)-ε<=μ<=f(x)+ε
即|μ-f(x)|<=ε
由于Φ(x+Δx) - Φ(x) = μΔx，可以得到，当Δx->0时，
Φ'(x) = lim [Φ(x+Δx) - Φ(x)]/Δx = lim μ = f(x)
命题得证。
由以上可得，Φ(x)就是f(x)的一个原函数。
设F(x)为f(x)的任意一个原函数，得到
Φ(x)=F(x)+C
当x=a时，Φ(a)=0（由定义可以得到），此时
Φ(a)=0=F(a)+C
即C=-F(a)
得到
Φ(x)=F(x)-F(a)
则当x=b时，Φ(b)=∫f(x)dx<a,b>，得到
Φ(b)=∫f(x)dx<a,b> = F(b)-F(a)。
