- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2.1积分第一中值定理证明
积分第一中值定理:
假如函数f(x)在闭区间[a,b]上连续,g(x)在(a,b)上不变号,并且g(x)在闭区间
[a,b]上是可积的,则在[a,b]上起码存在一点,使得
建立。
证明以下:
因为g(x)在闭区间[a,b]上不变号,我们不如假定g(x)0,并且记f(x)在闭区间[a,b]上
的最大值和最小值为M和m,即mf(x)M,我们将不等式两边同乘以g(x)能够推出,
此时关于随意的x[a,b]都会有
建立。对上式在闭区间[a,b]长进行积分,能够获得
bbb
mg(x)dxf(x)g(x)dxMg(x)dx。
aaa
此时在m,M之间必存在数值,使得mM,即有
建立。
因为f(x)在区间[a,b]上是连续的,则在[a,b]上必然存在一点,使f()建立。
此时即可获得
bb
f(x)g(x)dxf()g(x)dx,
aa
命题得证。
2.2积分第一中值定理的推行
定理:(推行的第一积分中值定理)若函数f(x)是闭区间[a,b]上为可积函数,g(x)在[a,b]
上可积且不变号,那么在开区间(a,b)上起码存在一点,使得
建立。
推行的第一积分中值定理很重要,在这里给出两种证明方法。
证法
1:因为函数f(x)在闭区间[a,b]上是可积的,g(x)在[a,b]上可积且不变号,令
x
x
,很明显F(x),G(x)在[a,b]上连续。并且
F(x)
f(t)g(t)dt,G(x)g(t)dt
a
a
b
)0,
()
b
,F()f()g(),G()g()。
F(a)0,F(b)
,(
()
dt
aa
由柯西中值定理即可获得
F(b)
F(a)
F(
),
(a,b),
G(b)
G(a)
G(
)
化简,即
b
f(t)g(t)dt
a
f()g()
,
b
g()
g(t)dt
a
依据上式我们很简单得出
b
b
(a,b),
f(t)g(t)dt
f()g(t)dt,
a
a
命题得证。
证法2:因为函数g(x)在[a,b]上可积且不变号,我们不如假定
g(x)0
。而函数f(x)
在闭区间[a,b]上可积,我们令minf
f(x)|x[a,b],M
sup
f(x)|x
[a,b]。假定
F(x)是f(x)在闭区间[a,b]上的一个原函数,即F(x)
f(x),
x
[a,b]。我们就能够得
到下边等式
此时因为g(x)
0,则会有
b
g(x)dx0
,因为存在两种可能性,那么下边我们就要分两
a
种状况以下我们分两种情况来进行议论:
(1).
b
0
b
(a,b)
假如
g(x)dx
f(x)g(x)dx0,那么关于
a
a
都有
恒建立。
(2).
b
0
b
假如
g(x)dx
g(x)dx可得
a
a
我们记
此时我们又分两种情况持续进行议论:
(Ⅰm
b
f(x)g(x)dx
a
M建立,则此时必定就存在m
M,能够使得
b
g(x)dx
a
mf(x1),f(x2)M,
我们不如假定x1x2,这此中x1,x2[a,b]。因为F(x)f(x),x[a,b],则会有
F(x1)f(x1)f(x2)F(x2)。
此时起码存在一点(x1,x2),使得F()f(),即有
建立,进而结论建立。
M,因为
b
0
,此时必定存在区间[a1,b1]
(a,b)(此中a1
b1),
(Ⅱ
g(x)dx
a
使得
x
[a1,b1],恒有g(x)
0
b
b
g(x)dx
f(x)g(x)dx,
a
a
因为
M,则有
并且我们已知[M
f(x)]g(x)
0
,则
0
x1
f(x)]g(x)dx
b
f(x)]dx0。
[M
[M
y1
a
于是
[a1,b1]
(a,b),使得f()
M。
假如不存在一个
[a1,b1]
(a,b),使得f(
)
M,则在闭区间[x1,y1]上必然有
M
f(x)
0及g(x)0建立,进而使得[M
f(x)]g(x)
0。
假如
b1
f(x)]g(x)dx
0,由达布定理在
[a1,b1]上有[M
f(x)]g(x):0
,这与
[M
a1
[M
f(x)]g(x)
0矛盾。
假如
b1
f(x)]g(x)dx
0
b
f(x)g(x)dxf(
b
(a,b),
[M
[a,b],使
)g(x)dx,
a1
a
a
定理证毕。
文档评论(0)