微分学<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…...
synchronized 学习
学习源: https://www.bilibili.com/video/BV1aJ411V763?spm_id_from333.788.videopod.episodes&vd_source32e1c41a9370911ab06d12fbc36c4ebc 1.应用场景 不超卖,也要考虑性能问题(场景) 2.常见面试问题: sync出…...
vue3 字体颜色设置的多种方式
在Vue 3中设置字体颜色可以通过多种方式实现,这取决于你是想在组件内部直接设置,还是在CSS/SCSS/LESS等样式文件中定义。以下是几种常见的方法: 1. 内联样式 你可以直接在模板中使用style绑定来设置字体颜色。 <template><div :s…...
【决胜公务员考试】求职OMG——见面课测验1
2025最新版!!!6.8截至答题,大家注意呀! 博主码字不易点个关注吧,祝期末顺利~~ 1.单选题(2分) 下列说法错误的是:( B ) A.选调生属于公务员系统 B.公务员属于事业编 C.选调生有基层锻炼的要求 D…...
AI语音助手的Python实现
引言 语音助手(如小爱同学、Siri)通过语音识别、自然语言处理(NLP)和语音合成技术,为用户提供直观、高效的交互体验。随着人工智能的普及,Python开发者可以利用开源库和AI模型,快速构建自定义语音助手。本文由浅入深,详细介绍如何使用Python开发AI语音助手,涵盖基础功…...
【Elasticsearch】Elasticsearch 在大数据生态圈的地位 实践经验
Elasticsearch 在大数据生态圈的地位 & 实践经验 1.Elasticsearch 的优势1.1 Elasticsearch 解决的核心问题1.1.1 传统方案的短板1.1.2 Elasticsearch 的解决方案 1.2 与大数据组件的对比优势1.3 关键优势技术支撑1.4 Elasticsearch 的竞品1.4.1 全文搜索领域1.4.2 日志分析…...
【Linux手册】探秘系统世界:从用户交互到硬件底层的全链路工作之旅
目录 前言 操作系统与驱动程序 是什么,为什么 怎么做 system call 用户操作接口 总结 前言 日常生活中,我们在使用电子设备时,我们所输入执行的每一条指令最终大多都会作用到硬件上,比如下载一款软件最终会下载到硬盘上&am…...
【安全篇】金刚不坏之身:整合 Spring Security + JWT 实现无状态认证与授权
摘要 本文是《Spring Boot 实战派》系列的第四篇。我们将直面所有 Web 应用都无法回避的核心问题:安全。文章将详细阐述认证(Authentication) 与授权(Authorization的核心概念,对比传统 Session-Cookie 与现代 JWT(JS…...
链式法则中 复合函数的推导路径 多变量“信息传递路径”
非常好,我们将之前关于偏导数链式法则中不能“约掉”偏导符号的问题,统一使用 二重复合函数: z f ( u ( x , y ) , v ( x , y ) ) \boxed{z f(u(x,y),\ v(x,y))} zf(u(x,y), v(x,y)) 来全面说明。我们会展示其全微分形式(偏导…...
LeetCode 0386.字典序排数:细心总结条件
【LetMeFly】386.字典序排数:细心总结条件 力扣题目链接:https://leetcode.cn/problems/lexicographical-numbers/ 给你一个整数 n ,按字典序返回范围 [1, n] 内所有整数。 你必须设计一个时间复杂度为 O(n) 且使用 O(1) 额外空间的算法。…...
十二、【ESP32全栈开发指南: IDF开发环境下cJSON使用】
一、JSON简介 JSON(JavaScript Object Notation)是一种轻量级的数据交换格式,具有以下核心特性: 完全独立于编程语言的文本格式易于人阅读和编写易于机器解析和生成基于ECMAScript标准子集 1.1 JSON语法规则 {"name"…...
