当前位置: 首页 > news >正文

带权拉格朗日中值定理的证明

带权拉格朗日中值定理:设 \(f(x)\)\([a, b]\) 连续,且 \(g(x)\)\([a,b]\) 可积且不变号(恒大于零或恒小于零),那么存在 \(c\in [a,b]\),使得

\[\int^b_af(x)g(x)\text{d}x = f(c)\int^b_ag(x)\text{d}x \]

证明:

\(M\)\(f(x)\)\([a, b]\) 的最大值,\(m\) 为最小值。

那么 \(m\leq f(x)\leq M\)

因为 \(g(x)\)\([a,b]\) 不变号,我们就假设 \(g(x) \geq 0\)\(g(x)<0\) 时证明方法类似)。

因此 \(mg(x)\leq f(x)g(x)\leq Mg(x)\)

同时求积分。

\(\displaystyle\int^b_amg(x)\text{d}x\leq \int^b_af(x)g(x)\text{d}x\leq \int^b_aMg(x)\text{d}x\)

\(m\displaystyle\int^b_ag(x)\text{d}x\leq \int^b_af(x)g(x)\text{d}x\leq M\int^b_ag(x)\text{d}x\)

\(\displaystyle\int^b_ag(x)\text{d}x = 0\),则由上式可知,\(\displaystyle\int^b_af(x)g(x)\text{d}x = 0\),这样原命题的两边都等于 \(0\),肯定成立。

否则同时除以 \(\displaystyle\int^b_ag(x)\text{d}x\)

\(m\leq \dfrac{\displaystyle\int^b_af(x)g(x)\text{d}x}{\displaystyle\int^b_ag(x)\text{d}x}\leq M\)

因此,根据介值定理(这个就不用我证明了吧,您去搜搜吧,我太累了),必然存在 \(c\) 满足 \(c\in [a, b]\)\(f(c) = \dfrac{\displaystyle\int^b_af(x)g(x)\text{d}x}{\displaystyle\int^b_ag(x)\text{d}x}\)

所以,\(f(c)\displaystyle\int^b_ag(x)\text{d}x = \displaystyle\int^b_af(x)g(x)\text{d}x\)

http://www.jsqmd.com/news/18879/

相关文章:

  • Linux 下将程序打包为安装包
  • hevc解码器下载
  • 2025.10.18 刷题
  • [网络] [iproute2] tc命令:Linux网络异常模拟(Network Emulation, netem)指南
  • 删除链表的倒数第N个结点-leetcode
  • NOI 八
  • 2025.10.21总结
  • Day1标签的关系与vs的注释
  • 软件工程学习日志2025.10.21
  • Win10安装WindowsCamera相机
  • 简易的本地部署OI-Wiki方法 for CCSP
  • [systemd] 如何为systemd服务进行资源限制
  • React Native 启动流程 (Android版)
  • NOIP 二十六
  • Say 题选记 (10.19 - 10.25)
  • 宝塔面板
  • 泰勒展开
  • 机器学习基础 -- 线性回归模型
  • 因果机器学习算法新进展解析
  • 一键生成爆款文章,并自动发布!
  • 软件工程作业三
  • MySQL 创建和授权用户
  • MySQL分页解决方案
  • 二维坐标旋转公式推导
  • 云计算简单算法练习题
  • 机器学习到深度学习发展历程
  • Java三大特性
  • 日总结 15
  • [CF 516 E] Drazil and His Happy Friends
  • NVIDIA Triton服务器漏洞危机:攻击者可远程执行代码,AI模型最高权限告急