惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

爱范儿
爱范儿
Security Latest
Security Latest
NISL@THU
NISL@THU
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
C
Cybersecurity and Infrastructure Security Agency CISA
Cloudbric
Cloudbric
T
Threat Research - Cisco Blogs
大猫的无限游戏
大猫的无限游戏
C
CXSECURITY Database RSS Feed - CXSecurity.com
阮一峰的网络日志
阮一峰的网络日志
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
雷峰网
雷峰网
C
Cisco Blogs
V
Vulnerabilities – Threatpost
S
Security Archives - TechRepublic
V
Visual Studio Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
J
Java Code Geeks
D
Darknet – Hacking Tools, Hacker News & Cyber Security
Know Your Adversary
Know Your Adversary
博客园 - 叶小钗
腾讯CDC
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
P
Privacy International News Feed
P
Palo Alto Networks Blog
博客园_首页
V
V2EX
WordPress大学
WordPress大学
Schneier on Security
Schneier on Security
月光博客
月光博客
博客园 - 司徒正美
Google DeepMind News
Google DeepMind News
TaoSecurity Blog
TaoSecurity Blog
博客园 - 聂微东
酷 壳 – CoolShell
酷 壳 – CoolShell
人人都是产品经理
人人都是产品经理
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
博客园 - 【当耐特】
The Cloudflare Blog
罗磊的独立博客
美团技术团队
N
News | PayPal Newsroom
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
Last Week in AI
Last Week in AI
K
Kaspersky official blog
Google Online Security Blog
Google Online Security Blog
S
SegmentFault 最新的问题
Application and Cybersecurity Blog
Application and Cybersecurity Blog
T
Tailwind CSS Blog

又见苍岚

COLMAP PatchMatch Stereo 算法详解 事件驱动的状态机框架:从理论到工程实践 Git 在国内网络环境下无法 Push 的排查与修复 —— 配置 Clash 代理 分段五次多项式插值原理详解 路径插值方法深度对比研究 Claude Code 使用指南 OpenClaw 记忆管理与技能创建指南 CBS(Conflict-Based Search)算法详解 A* 算法及其变种详解 OpenClaw 配置多 Agents Windows Powershell 无法加载文件,因为在此系统上禁止运行脚本问题的解决方案 MaxClaw 安装流程 大模型 AI 名词介绍 AList 网盘聚合工具简介 Protobuf 简介与测试 Claude Code 简介以及 GLM 4.7 模型接入 Github 歌词下载工具 163MusicLyrics Python __getattr__ 懒加载 Python TypedDict 机器人仿真平台 Gazebo 安装记录 机器人仿真平台 Gazebo 简介 多机器人路径规划问题(Multi-Agent Path Finding, MAPF)简介 Python exifread 读取修改过的 jpeg 信息错误问题修复 3D 坐标系变换的理解 3D 旋转矩阵基本概念 MongoDB Compass 介绍 Python 环境管理工具 uv Flutter 开发指南 Snipaste 安装下载与黑屏问题解决方案 全局路径规划算法记录 2025 Python 版本性能测试 Flutter Hello World Flutter 安装环境配置 Ubuntu VMware 硬盘扩容后 SMBus Host controller not enabled 报错问题解决 Python NetworkX 教程 Docker GPU 报错 - Failed to initialize NVML Unknown Error 解决方案 Python matplotlib 图表绘制 cuda-toolkit 安装替代 Cuda 与 Cudnn Jinja2 Python 利用 docxtpl 和 Jinja2 生成基于模板的 Word 文档 Docker 实现 CPU 核心隔离 LoFTR 基于 Transformer 的特征提取匹配算法 OmniGlue 特征匹配 SuperGlue 使用图神经网络学习特征匹配 Ubuntu 下将 xlsx 文件按照 sheet 转换为 图片 Python 使用 SQLAlchemy Python FastAPI 教程 openwrt 软路由配置安装 Nav2 地图文件(PGM/YAML)规范标准 3D OBJ 模型转换为 glb 瓦片格式 Python 源码 Redis 数据库介绍 Ubuntu 22.04 内核自动升级导致 MongoDB 7.0.12 错误记录 ubuntu 20.04 安装 ROS Noetic ubuntu 18.04 安装 ROS Melodic VMware Workstation Pro 个人免费版下载、安装、使用指南 Hybrid A-star 路径规划 Reeds-Shepp 曲线 Dubins 曲线 Linux kvm 虚拟机网络不通的问题解决方法 Ubuntu 自动内存清理 BiliBili 缓存视频转 mp4 Python 求解线性规划 3D Gaussian Splatting 官方源码实践记录 ImageMagick 教程 Ubuntu 22.04 安装 Colmap 对数几率 odds Ubuntu nmcli 网络管理工具使用指南 SuperPoint 自监督深度学习特征点提取 SyncTV Music Tag Web 在线音乐信息整理工具 ncm 格式转 mp3 MusicBrainz 音乐元数据百科数据库 Ubuntu 网络流量监控工具 私人云音乐平台 Navidrome 入门 手眼标定 四元数(Quaternions) OHTTPS 实现免费自动 https 证书申请、更新、部署 ubuntu 22.04 安装 CloudCompare 单机 KVM 虚拟机冷迁移 Ubuntu 22.04 使用 mdadm 实现软 raid 小鱼 一键安装 ROS-humble Fluid -46- 基于 Simpletex API 构建公式识别页面 公式识别 API 简介 -- Simpletex 使用 Python web 部署库 waitress 3D Gaussian Splatting for Real-Time Radiance Field Rendering Ubuntu Swap 简介与空间扩展 Ubuntu 24.04 安装 forticlient Clash Verge 使用 MongoDB 7.0.17 集群 Docker 构建源码 Error code - 2013. Lost connection to MySQL server during query 问题解决 Python 日志记录库 loguru 使用指北 Python 实现 Web 日志查看服务 MySQL LOAD DATA LOCAL INFILE 极速数据加载 Image size exceeds limit of 89478485 pixels 解决方案 Docker 使用 NVIDIA GPU 驱动错误解决 阿里云 docker 镜像仓库 Ubuntu中没有wired connected的解决方案 MinIO 简介 subconverter 代理订阅格式转换 修复 node –openssl-legacy-provider is not allowed in NODE_OPTIONS 错误
积分中值定理
Yiwei Zhang · 2023-11-13 · via 又见苍岚

在一元积分理论中,积分中值定理包括积分第一中值定理和积分第二中值定理.它们都是微积分学中的基本定理,本文介绍相关内容。

极值定理

极值定理也叫最大最小值定理,它的含义非常直观:如果函数 $f(x)$ 在区间 $[a,b]$ 上连续的函数,必然存在最大值和最小值,并且取到最大值和最小值至少一次。

我们假设 $m$ 和 $M$ 分别是区间 $[a, b]$上函数 $f(x)$ 的最小值和最大值,那么根据极值定理,可以得到以下式子成立:
$$
m(b-a) \leq \int_{a}^{b} f(x) d x \leq M(b-a)
$$

上图当中灰色阴影部分就是定积分的结果,蓝色的矩形面积是 $m(b-a)$,大的矩形面积是 $M(b-a)$。

由于m和M分别是最小值和最大值,所以我们可以得到
$$
\int_{a}^{b} m d x \leq \int_{a}^{b} f(x) d x \leq \int_{a}^{b} M d x
$$

第一积分中值定理

定义:
$$
\frac{1}{b-a} \int_{a}^{b} f(x) d x=f(\xi), \quad(a \leq \xi \leq b)
$$

证明

上述 不等式两边同时除以 $b-a$,可以得到:
$$
m \leq \frac{1}{b-a} \int_{a}^{b} f(x) d x \leq M
$$
它的值位于函数在区间的最大值和最小值之间。根据连续函数的介值定理,我们一定可以在 $[a, b]$ 上找到一点$\xi $, 使得 $ \mathrm{f}(\mathrm{x}) $ 在 $ \xi $ 这点的取值与这个数值相等,也就是说:
$$
\frac{1}{b-a} \int_{a}^{b} f(x) d x=f(\xi), \quad(a \leq \xi \leq b)
$$
上面这个式子就是积分中值定理了,这里有两点要注意:

  1. 函数必须是一个连续函数,否则的话,可能刚好函数在 $ \xi $ 点处没有定义。这个也是定理成立的先决条件。

  2. 连续函数的介值定理,它的含义是说对于一个在区间 $[a, b]$ 上连续的函数,对于任一在其最大值和最小值之间的常数,我们必然可以在区间 $[a, b]$ 上找到一点,使得该点的函数值等于这个常数。

也可以写成:
$$
(b-a) f(\xi)=\int_{a}^{b} f(x) d x, \quad(a \leq \xi \leq b)
$$

也就是说以 $ \alpha f(\xi) $为高的矩形面积和函数围成的曲形面积相等,所以它既是矩形的高,也是函数在 $[a, b]$ 上的平均值。

第一积分中值定理的推广

若函数 $f(x)$ 与 $g(x)$ 在闭区间 $[a,b]$ 上连续,函数 $g(x)$ 在 $[a,b]$ 上 可积/连续 且不变号,则 $[a,b]$ 在上至少存在一点$ξ$,使得
$$
\int_{a}^{b} f(x) g(x) d x=f(\xi) \int_{a}^{b} g(x) d x
$$

证明

由于 $g(x)$ 连续不变符号,不妨设 $g(x) \ge 0$

$f(x)$ 连续,则在 $[a,b]$ 区间内存在最大值 $M$, 和最小值 $m$,则有:
$$
m\int_{a}^{b} g(x) d x \leq \int_{a}^{b} f(x) g(x) d x \leq M\int_{a}^{b} g(x) d x
$$
根据连续函数的介值定理,我们一定可以在 $[a, b]$ 上找到一点$\xi $, 使得 $ \mathrm{f}(\mathrm{x}) $ 在 $ \xi $ 这点的取值与这个数值相等:
$$
m\int_{a}^{b} g(x) d x \leq \int_{a}^{b} f(x) g(x) d x=f(\xi)\int_{a}^{b} g(x) d x \leq M\int_{a}^{b} g(x) d x
$$

第二积分中值定理

各种形式的积分第二中值定理叙述如下:

  • 设函数 $f(x)$ 与 $g(x)$ 在 $[a,b]$上可积
  1. 函数 $f(x)$ 在 $[a,b]$ 上单调增加且非负,则存在 $ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(b) \int_{\xi}^{b} g(x) d x $.
  2. 函数 $f(x)$ 在 $[a,b]$ 上单调增减且非负,则存在 $ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(a) \int_{a}^{\xi} g(x) d x $.
  3. 函数 $f(x)$ 在 $[a,b]$ 上单调,则存在$ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(a) \int_{a}^{\xi} g(x) d x+f(b) \int_{\xi}^{b} g(x) d x $.

参考资料

文章链接:
https://www.zywvvd.com/notes/study/math/theorem/mean-value-theorem/mean-value-theorem/