当前位置: 首页 > 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.gsyq.cn/news/26789.html

相关文章:

  • 低代码如何推动企业敏捷创新与业务赋能
  • 删除链表的倒数第N个结点-leetcode
  • 2025.10.21总结
  • 软件工程学习日志2025.10.21
  • 10月21号
  • NOIP 二十六
  • Say 题选记 (10.19 - 10.25)
  • MySQL 创建和授权用户
  • 机器学习到深度学习发展历程
  • [CF 516 E] Drazil and His Happy Friends
  • home-assistant.-Adding integrations
  • Windows系统内存占用过高,且任务管理器找不到对应进程
  • php如何生成6位不重复的字符串
  • Hetao P5593 删 题解 [ 蓝 ] [ 线性 DP ] [ DFS 序 ] [ 虚树 ]
  • Ancestral Problem 题解
  • 二叉树的中序遍历- 二叉树基本-递归 - MKT
  • 构建YouTube视频总结摘要智能体
  • 后量子密码学技术与标准化进程解析
  • JAVA基础理解
  • ICPC2022沈阳 游记(VP)
  • 大数据分析基础及应用案例:第四周学习报告——线性回归模型
  • 「LG7446-rfplca」题解
  • 手写体识别
  • 20231302邱之钊密码系统设计实验一第二
  • 你好,我是肆闲:C语言的学习,成长与分享旅程
  • ZR 2025 NOIP 二十连测 Day 6
  • 20251021
  • ORA-600 kokasgi1故障处理(sys被重命名)---惜分飞
  • 简单页面聊天
  • python 包来源镜像