微分学<4>——微分中值定理
索引
- 微分中值定理
- 极值
- 定义4.1 极大(小)值
- 定理4.1 Fermat引理
- 定理4.2 Rolle定理
- Lagrange中值定理
- 定理4.3 Lagrange中值定理
- 定理4.4 Cauchy中值定理
- 导数对函数性质的刻画
- Jensen不等式
微分中值定理
极值
定义4.1 极大(小)值
若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\left ( x_{0}, \delta \right ) U(x0,δ),使得 ∀ x ∈ U ( x 0 ) , δ \forall x\in U\left ( x_{0}\right), \delta ∀x∈U(x0),δ, f ( x ) ≤ f ( x 0 ) f\left(x\right ) \le f\left(x_{0}\right ) f(x)≤f(x0),则称 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点。
若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\left ( x_{0}, \delta \right ) U(x0,δ),使得 ∀ x ∈ U ( x 0 ) , δ \forall x\in U\left ( x_{0}\right), \delta ∀x∈U(x0),δ, f ( x ) ≥ f ( x 0 ) f\left(x\right ) \ge f\left(x_{0}\right ) f(x)≥f(x0),则称 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极小值点。
定理4.1 Fermat引理
设 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极值点,且函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处可导,则 f ′ ( x 0 ) = 0 f^{\prime }\left ( x_{0} \right )=0 f′(x0)=0。
不妨设 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点。
令 Δ x ∈ ( 0 , δ ) \Delta x\in \left ( 0,\delta \right ) Δx∈(0,δ),则 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≤ 0 \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x} \le 0 Δxf(x0+Δx)−f(x0)≤0,
根据函数极限的保不等号性, f + ′ ( x 0 ) = lim x 0 + → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≤ 0 f^{\prime } _{+}\left ( x_{0} \right ) =\lim_{x_{0}^{+} \to 0} \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x}\le 0 f+′(x0)=limx0+→0Δxf(x0+Δx)−f(x0)≤0;
同理令 Δ x ∈ ( − δ , 0 ) \Delta x\in \left ( -\delta,0 \right ) Δx∈(−δ,0),则 f − ′ ( x 0 ) = lim x 0 − → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≥ 0 f^{\prime } _{-}\left ( x_{0} \right ) =\lim_{x_{0}^{-} \to 0} \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x}\ge 0 f−′(x0)=limx0−→0Δxf(x0+Δx)−f(x0)≥0,
因为函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处可导,所以函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处 f + ′ ( x 0 ) = f − ′ ( x 0 ) = f ′ ( x 0 ) = 0 f^{\prime } _{+}\left ( x_{0} \right ) =f^{\prime } _{-}\left ( x_{0} \right ) =f^{\prime }\left ( x_{0} \right )=0 f+′(x0)=f−′(x0)=f′(x0)=0。
定理4.2 Rolle定理
函数 f ( x ) f\left ( x \right ) f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导, f ( a ) = f ( b ) f\left ( a \right )=f\left ( b \right ) f(a)=f(b),则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
根据最值定理, f ( x ) f\left ( x \right ) f(x)在 [ a , b ] \left [ a,b \right ] [a,b]上必有最大值 M M M和最小值 m m m,也就是 ∃ η \exists \eta ∃η, ξ ∈ [ a , b ] \xi \in \left [ a,b \right ] ξ∈[a,b]: ∀ x ∈ [ a , b ] \forall x\in \left [ a,b \right ] ∀x∈[a,b], f ( η ) = m = min f ( x ) f\left ( \eta \right )=m= \min f\left ( x \right ) f(η)=m=minf(x), f ( ξ ) = M = max f ( x ) f\left ( \xi \right )=M=\max f\left ( x \right ) f(ξ)=M=maxf(x)。
不妨设函数 f ( x ) f\left ( x \right ) f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上有最大值 M = f ( ξ ) M=f\left ( \xi \right ) M=f(ξ)。
<1> M = f ( a ) ( = f ( b ) ) M=f\left ( a \right )(=f\left ( b \right )) M=f(a)(=f(b))
此时函数 f ( x ) f\left ( x \right ) f(x)为常数函数,显然 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
<2> M ≠ f ( a ) ( = f ( b ) ) M\neq f\left ( a \right )(=f\left ( b \right )) M=f(a)(=f(b))
此时 M = f ( ξ ) M=f\left ( \xi \right ) M=f(ξ)为 f ( x ) f\left ( x \right ) f(x)在 [ a , b ] \left [ a,b \right ] [a,b]上的一个极大值, ξ \xi ξ是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点,
根据Fermat引理, f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
Lagrange中值定理
定理4.3 Lagrange中值定理
函数 y = f ( x ) y=f\left ( x \right ) y=f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = f ( b ) − f ( a ) b − a f^{\prime } \left ( \xi \right )=\frac{f\left ( b\right ) -f\left ( a \right ) }{b-a} f′(ξ)=b−af(b)−f(a)。
任取 t ∈ ( a , b ) t \in \left ( a,b \right ) t∈(a,b), x = t x=t x=t处切线斜率为 f ′ ( t ) f^{\prime } \left ( t \right ) f′(t)。
另外连接闭区间 [ a , b ] \left [ a,b \right ] [a,b]端点的割线斜率为 k = f ( b ) − f ( a ) b − a k=\frac{f\left ( b \right )-f\left ( a \right ) }{b-a} k=b−af(b)−f(a),割线方程为 y − f ( a ) = ( f ( b ) − f ( a ) b − a ) ( x − a ) y-f\left ( a \right )=\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{b-a} \right )\left ( x-a \right ) y−f(a)=(b−af(b)−f(a))(x−a),
而点 ( t , f ( t ) ) \left (t ,f\left (t \right ) \right ) (t,f(t))到割线 y = ( f ( b ) − f ( a ) b − a ) ( x − a ) y=\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{b-a} \right )\left ( x-a \right ) y=(b−af(b)−f(a))(x−a)的距离函数为 d ( t ) = ∣ k ( t − a ) + f ( a ) − f ( t ) ∣ 1 + k 2 d\left ( t \right )=\frac{\left | k\left ( t-a \right )+f\left ( a \right ) -f\left ( t \right )\right | }{\sqrt{1+k^{2} } } d(t)=1+k2∣k(t−a)+f(a)−f(t)∣, d ′ ( t ) = ∣ k − f ′ ( t ) ∣ 1 + k 2 d^{\prime } \left ( t \right ) =\frac{\left | k-f^{\prime } \left ( t \right ) \right | }{\sqrt{1+k^{2} } } d′(t)=1+k2∣k−f′(t)∣,
因为 d ( t ) d\left ( t \right ) d(t)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,且 d ( a ) = d ( b ) = 0 d \left ( a \right )= d \left ( b \right )=0 d(a)=d(b)=0,所以根据Rolle定理, ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): d ′ ( ξ ) = 0 d^{\prime }\left ( \xi \right )=0 d′(ξ)=0,
解方程 d ′ ( ξ ) = ∣ k − f ′ ( ξ ) ∣ 1 + k 2 = 0 d^{\prime }\left ( \xi \right )=\frac{\left | k-f^{\prime } \left ( \xi \right ) \right | }{\sqrt{1+k^{2} } }=0 d′(ξ)=1+k2∣k−f′(ξ)∣=0,可得 f ′ ( ξ ) = k = f ( b ) − f ( a ) b − a f^{\prime } \left ( \xi \right ) =k=\frac{f\left ( b \right )-f\left ( a \right ) }{b-a} f′(ξ)=k=b−af(b)−f(a)。
从几何意义出发,同样根据距离函数 d ( t ) d\left ( t \right ) d(t)的分子部分,可以构造函数 φ ( x ) = f ( x ) − f ( a ) − f ( b ) − f ( a ) b − a ( x − a ) = f ( x ) − f ( a ) − k ( x − a ) \varphi \left ( x \right )=f\left ( x \right )-f\left ( a \right )-\frac{f\left ( b \right )-f\left ( a \right ) }{b-a}\left ( x-a \right )= f\left ( x \right )-f\left ( a \right )-k\left ( x-a \right ) φ(x)=f(x)−f(a)−b−af(b)−f(a)(x−a)=f(x)−f(a)−k(x−a), φ ( x ) \varphi \left ( x \right ) φ(x)仍然满足Rolle定理, ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): φ ′ ( ξ ) = 0 \varphi^{\prime } \left ( \xi \right )=0 φ′(ξ)=0,代数方法与几何方法实质上殊途同归。
定理4.4 Cauchy中值定理
函数 y = f ( x ) y=f\left ( x \right ) y=f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) g ′ ( ξ ) = f ( b ) − f ( a ) g ( b ) − g ( a ) ( g ′ ( ξ ) ≠ 0 ) \frac{f^{\prime }\left ( \xi \right ) }{g^{\prime }\left ( \xi \right ) }=\frac{f\left ( b \right )-f\left ( a \right ) }{g\left ( b \right )-g\left ( a \right ) }\left ( g^{\prime}\left ( \xi \right ) \neq 0 \right ) g′(ξ)f′(ξ)=g(b)−g(a)f(b)−f(a)(g′(ξ)=0)。
联立参数方程:
{ y = f ( t ) x = g ( t ) \left\{\begin{matrix} y=f\left ( t \right ) \\ x=g\left ( t \right ) \end{matrix}\right. {y=f(t)x=g(t)
参考Lagrange中值定理,可构造函数 φ ( x ) = f ( x ) − f ( a ) − ( f ( b ) − f ( a ) g ( b ) − g ( a ) ) ( g ( x ) − g ( a ) ) \varphi \left ( x \right )=f\left ( x \right )-f\left ( a \right )-\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{g\left ( b \right )-g\left ( a \right ) } \right ) \left ( g\left ( x \right ) -g\left ( a \right ) \right ) φ(x)=f(x)−f(a)−(g(b)−g(a)f(b)−f(a))(g(x)−g(a)),后续过程与Lagrange中值定理一致。
导数对函数性质的刻画
Jensen不等式
相关文章:
微分学<4>——微分中值定理
索引 微分中值定理极值定义4.1 极大(小)值定理4.1 Fermat引理定理4.2 Rolle定理 Lagrange中值定理定理4.3 Lagrange中值定理定理4.4 Cauchy中值定理 导数对函数性质的刻画Jensen不等式 微分中值定理 极值 定义4.1 极大(小)值 若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\…...
FPGA的时钟资源
目录 简介 Clock Region详解 MRCC和SRCC的区别 BUFGs 时钟资源总结 简介 7系列FPGA的时钟结构图: Clock Region:时钟区域,下图中有6个时钟区域,用不同的颜色加以区分出来 Clock Backbone:从名字也能看出来&#x…...
LeetCode27: 移除元素
题目描述 给你一个数组 nums 和一个值 val,你需要 原地 移除所有数值等于 val 的元素,并返回移除后数组的新长度。 不要使用额外的数组空间,你必须仅使用 O(1) 额外空间并 原地 修改输入数组。 元素的顺序可以改变。你不需要考虑数组中超出…...
Python使用Beautiful Soup及解析html获取元素并提取内容值
Python使用Beautiful Soup及解析html获取元素并提取内容值 1. 包括解析获取标题2. 根据标签及id获取所有元素3. 根据标签及class获取所有元素4. 获取元素下的标签的值5. 获取元素下的parent及child的元素的值参考 1. 包括解析获取标题 2. 根据标签及id获取所有元素 3. 根据标…...
如何清除keep-alive缓存
在 Vue.js 中,使用 <keep-alive> 组件可以将组件保留在内存中,以避免重复渲染和销毁,从而提高性能。如果需要手动清除 <keep-alive> 组件的缓存,可以通过两种方法来实现: 通过 $destroy 方法销毁组件&…...
2024年新手视频剪辑软件推荐-6款视频剪辑软件测评
视频剪辑软件推荐 premiere premiere 直达地址:各大软件网站 说到底,还是得专业的来,虽然很多人觉得他是收费的,但是你懂的,想要免费总是会有办法的.别的不说,剪辑这块,我还是很认可这个软件,虽然我现在还是刚入门. 剪映 剪映 抖音官方推出的一款手机视频编辑剪辑应用,提供切割…...
无货源抖店可以做吗?那些月入上万是真的吗?分享我的成功秘籍
大家好,我是电商花花。 现在还是有人在不停的在问,抖音小店无货源还可以做吗?那些月入上万都是真的吗? 当然是真的,而且做抖音小店非常简单,前提是你真的完全掌握到核心玩法,且要有执行力。 …...
文献阅读:DEA-Net:基于细节增强卷积和内容引导注意的单图像去雾
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 文章目录 摘要Abstract文献阅读:DEA-Net:基于细节增强卷积和内容引导注意的单图像去雾1、研究背景2、方法提出3、相关知识3.1、DEConv3.3、多重卷积的…...
2024想要赚点小钱真的很容易!帮你们找的10个搞钱第二职业
我们都希望在空闲时间里增加一些额外收入,并有机会找到自己热爱的事业,每天贝兼几十上百元是一个不错的开始,小钱也是钱, 搞钱的经验会积少成多。今天分享10个搞钱第二职业,2024想要赚点小钱真的很容易。 一.摆摊卖花 …...
【Linux网络】再谈 “协议“
目录 再谈 "协议" 结构化数据的传输 序列化和反序列化 网络版计算器 封装套接字操作 服务端代码 服务进程执行例程 启动网络版服务端 协议定制 客户端代码 代码测试 使用JSON进行序列化与反序列化 我们程序员写的一个个解决我们实际问题,满…...
猫头虎分享已解决Bug || 系统监控故障:MonitoringServiceDown, MetricsCollectionError
博主猫头虎的技术世界 🌟 欢迎来到猫头虎的博客 — 探索技术的无限可能! 专栏链接: 🔗 精选专栏: 《面试题大全》 — 面试准备的宝典!《IDEA开发秘籍》 — 提升你的IDEA技能!《100天精通鸿蒙》 …...
Java中的基本数据类型有哪些
在Java编程语言中,基本数据类型(Primitive Types)是预定义的数据类型,它们不是由用户定义的类创建的,而是由语言本身提供的。这些基本数据类型是构成Java程序的基础,用于存储不同类型的值,如整数…...
二叉树遍历(前中后序的递归/非递归遍历、层序遍历)
二叉树的遍历 1. 二叉树的前序、中序、后序遍历 前、中、后序遍历又叫深度优先遍历 注:严格来说,深度优先遍历是先访问当前节点再继续递归访问,因此,只有前序遍历是严格意义上的深度优先遍历 首先需要知道下面几点: …...
UE4升级UE5 蓝图节点变更汇总(4.26/27-5.2/5.3)
一、删除部分 Ploygon Editing删除 Polygon Editing这个在4.26、4.27中的插件,在5.1后彻底失效。 相关的蓝图,如编辑器蓝图 Generate mapping UVs等,均失效。 如需相关功能,请改成Dynamic Mesh下的方法。 GetSupportedClass删…...
【python】异常处理
前言 省略各种废话,直接快速整理知识点 try-except 基础 作用 程序不可能永远都是对的,当7除a,a由用户输入时,用户输入0就会报错。try-except就是解决这些问题。 结构 多分支自定义错误类型 上方的exception是一个错误类型…...
【xv6操作系统】Lab systems calls
一、实验前须知 阅读 xv6 文档的第 2 章和第 4 章的 4.3 节和 4.4 节以及相关源文件: 系统调用的用户空间代码在 user/user.h 和 user/usys.pl 中。 内核空间代码在 kernel/syscall.h 和 kernel/syscall.c 中。 与进程相关的代码在 kernel/proc.h 和 kernel/proc.c…...
python的scripts文件夹作用
Windows系统: Scripts文件夹通常位于Python的安装目录下,如C:\Python\Scripts。该文件夹内包含了各种有用的工具,例如pip、virtualenv等,这些工具有助于管理和配置Python环境和依赖包。 Linux系统: 在Linux系统中&…...
Discuz论坛网站报错Discuz!Database Error(0)notconnect的解决办法
运营服务器大本营有段时间了,在运营期间遇到两次Discuz!Database Error(0)notconnect报错,和你们分享遇到Discuz报错的解决办法,希望可以帮助到你。 首先网站报错(0)notconnect&…...
掌握mysql,看完这篇文章就够了
数据库 对大量数据进行存储和管理(增删改查) 客户端: 黑窗口终端navicat 熊掌软件数据库分类: 关系型数据库 通过表与表产生关联关系,每个表中都存储结构化数据,支持sql结构化查询语言MysqlOracleSQLS…...
守护Web安全:了解Web攻击与防护策略
🤍 前端开发工程师、技术日更博主、已过CET6 🍨 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 🕠 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 🍚 蓝桥云课签约作者、上架课程《Vue.js 和 E…...
mPLUG在农业领域的应用:作物病害视觉诊断
mPLUG在农业领域的应用:作物病害视觉诊断 1. 引言 想象一下,一位农民在田间发现作物叶片上出现了奇怪的斑点,他拿出手机拍张照片,上传到一个智能系统,几秒钟后系统就告诉他:"这是黄瓜霜霉病…...
Windows 10 下 Node.js 16.15.1 保姆级安装与环境变量配置(含 npm 报错解决)
Windows 10 下 Node.js 16.15.1 完整安装与深度配置指南 对于刚接触 Node.js 开发的 Windows 用户来说,从零开始搭建开发环境往往会遇到各种"坑"。本文将带你一步步完成 Node.js 16.15.1 LTS 版本的安装、环境变量配置以及常见问题的解决方案,…...
从Pad Limit到Core Limit:一次流片失败复盘,聊聊芯片面积估算里的那些‘坑’
从Pad Limit到Core Limit:一次流片失败复盘与芯片面积估算实战指南 那是个周五的深夜,当我收到Foundry发来的最终面积报告时,咖啡杯直接从手中滑落——芯片面积比预算超标23%。这意味着要么接受每片晶圆成本增加40%的残酷现实,要…...
小程序生态联动:如何设计一个优雅的跨小程序用户流程与数据共享方案
小程序生态联动:如何设计一个优雅的跨小程序用户流程与数据共享方案 在移动互联网生态中,小程序以其轻量化和即用即走的特性,逐渐成为连接用户与服务的重要桥梁。当业务场景需要多个小程序协同工作时,如何实现无缝跳转与数据共享&…...
从实验室到报告:如何用Matplotlib把你的Python数据分析结果‘包装’成专业图表(含多子图布局与样式美化)
从实验室到报告:如何用Matplotlib把你的Python数据分析结果‘包装’成专业图表 在数据分析的最后一公里,图表质量直接决定成果的传达效率。当你的分析报告需要呈现在学术期刊、商业决策会议或投资人路演中时,基础plt.plot()生成的粗糙图表就像…...
2026最权威的五大AI学术方案推荐榜单
Ai论文网站排名(开题报告、文献综述、降aigc率、降重综合对比) TOP1. 千笔AI TOP2. aipasspaper TOP3. 清北论文 TOP4. 豆包 TOP5. kimi TOP6. deepseek 根据维普系统针对生成式AI文本的识别特点,要降低文章的AI率,得从语言…...
面试官爱问的二叉树重建:对比‘先序+中序’与‘中序+层序’两种解法(C++实现)
二叉树重建实战:从遍历序列到完整结构的两种经典解法 在技术面试中,二叉树相关的问题几乎成了必考题目。而其中最具代表性的,莫过于根据遍历序列重建二叉树的问题。这类问题不仅考察候选人对二叉树结构的理解程度,更能检验其递归思…...
从数据碎片到数字记忆:WeChatMsg如何重构你的微信对话价值
从数据碎片到数字记忆:WeChatMsg如何重构你的微信对话价值 【免费下载链接】WeChatMsg 提取微信聊天记录,将其导出成HTML、Word、CSV文档永久保存,对聊天记录进行分析生成年度聊天报告 项目地址: https://gitcode.com/GitHub_Trending/we/W…...
NVIDIA Profile Inspector完全指南:解锁显卡隐藏性能的终极工具
NVIDIA Profile Inspector完全指南:解锁显卡隐藏性能的终极工具 【免费下载链接】nvidiaProfileInspector 项目地址: https://gitcode.com/gh_mirrors/nv/nvidiaProfileInspector NVIDIA Profile Inspector是一款强大的显卡驱动配置工具,能够深度…...
保姆级教程:用FFmpeg解析海康摄像头PS流,提取H.264裸流(附完整代码)
海康摄像头PS流解析实战:从协议分析到H.264裸流提取 在视频监控和流媒体处理领域,海康威视的设备因其稳定性和高性能被广泛应用。然而,当开发者需要从海康摄像头的实时回调接口获取视频流时,往往会遇到一个技术难题——如何将PS(P…...
