积分第一中值定理及其推广证明.docxVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 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)

152****8277 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档