【数学分析笔记】第5章第1节 微分中值定理(1)

5. 微分中值定理及其应用

5.1 微分中值定理

5.1.1 极值与极值点

【定义5.1.1】 f ( x ) f(x) f(x)定义域为 ( a , b ) (a,b) (a,b) x 0 ∈ ( a , b ) x_0\in(a,b) x0(a,b),若 ∃ O ( x 0 , ρ ) ⊂ ( a , b ) \exists O(x_0,\rho)\subset(a,b) O(x0,ρ)(a,b),使得 f ( x ) ≤ f ( x 0 ) , x ∈ O ( x 0 , ρ ) f(x)\le f(x_0),x\in O(x_0,\rho) f(x)f(x0),xO(x0,ρ)(以 x 0 x_0 x0为中心, ρ \rho ρ为半径的邻域),则称 x 0 x_0 x0 f ( x ) f(x) f(x)的一个极大值点 f ( x 0 ) f(x_0) f(x0)是一个极大值
f ( x ) f(x) f(x)定义域为 ( a , b ) (a,b) (a,b) x 0 ∈ ( a , b ) x_0\in(a,b) x0(a,b),若 ∃ O ( x 0 , ρ ) ⊂ ( a , b ) \exists O(x_0,\rho)\subset(a,b) O(x0,ρ)(a,b),使得 f ( x ) ≥ f ( x 0 ) , x ∈ O ( x 0 , ρ ) f(x)\ge f(x_0),x\in O(x_0,\rho) f(x)f(x0),xO(x0,ρ)(以 x 0 x_0 x0为中心, ρ \rho ρ为半径的邻域),则称 x 0 x_0 x0 f ( x ) f(x) f(x)的一个极小值点 f ( x 0 ) f(x_0) f(x0)是一个极小值
极大值点和极小值点统称极值点,极大值和极小值统称极值
(1)极值是局部概念。

极小值可以大于极大值,比如上图 x 0 x_0 x0是极大值点, x 1 x_1 x1是极小值点,但是 x 1 x_1 x1对应的极小值大于 x 0 x_0 x0对应的极大值
(2)极值点可以有无穷多个,比如 y = sin ⁡ 1 x y=\sin\frac{1}{x} y=sinx1 x = 1 n π + π 2 , n x=\frac{1}{n\pi+\frac{\pi}{2}},n x=+2π1,n是偶数,对应极大值点, n n n是奇数对应极小值点。
(3)极致概念与连续和可导等概念无关。
【定理5.1.1】【Fermat(费马)引理】设 x 0 x_0 x0 f ( x ) f(x) f(x)的一个极值点,若 f ( x ) f(x) f(x) x 0 x_0 x0可导,则 f ′ ( x 0 ) = 0 f'(x_0)=0 f(x0)=0.
【证】不妨设 x 0 x_0 x0是极大值点,在 x 0 x_0 x0的某一邻域中,
x < x 0 , f ( x ) ≤ f ( x 0 ) , f ( x ) − f ( x 0 ) x − x 0 ≥ 0 x<x_0,f(x)\le f(x_0),\frac{f(x)-f(x_0)}{x-x_0}\ge 0 x<x0,f(x)f(x0),xx0f(x)f(x0)0
x > x 0 , f ( x ) ≤ f ( x 0 ) , f ( x ) − f ( x 0 ) x − x 0 ≤ 0 x>x_0,f(x)\le f(x_0),\frac{f(x)-f(x_0)}{x-x_0}\le 0 x>x0,f(x)f(x0),xx0f(x)f(x0)0
由于 f ( x ) f(x) f(x) x 0 x_0 x0可导,则 f ′ ( x 0 ) = f + ′ ( x 0 ) = f − ′ ( x 0 ) f'(x_0)=f'_+(x_0)=f'_-(x_0) f(x0)=f+(x0)=f(x0)
f − ′ ( x 0 ) = lim ⁡ x → x 0 − f ( x ) − f ( x 0 ) x − x 0 ≥ 0 f'_-(x_0)=\lim\limits_{x\to x_0^-}\frac{f(x)-f(x_0)}{x-x_0}\ge 0 f(x0)=xx0limxx0f(x)f(x0)0
f − ′ ( x 0 ) = lim ⁡ x → x 0 + f ( x ) − f ( x 0 ) x − x 0 ≤ 0 f'_-(x_0)=\lim\limits_{x\to x_0^+}\frac{f(x)-f(x_0)}{x-x_0}\le 0 f(x0)=xx0+limxx0f(x)f(x0)0
由于 f ′ ( x 0 ) = f + ′ ( x 0 ) = f − ′ ( x 0 ) f'(x_0)=f'_+(x_0)=f'_-(x_0) f(x0)=f+(x0)=f(x0)
所以 f ′ ( x 0 ) = 0 f'(x_0)=0 f(x0)=0
证毕.
【注】某点导数为0,不一定在该点取到极值,比如 y = x 3 , y ′ = 3 x 2 y=x^3,y'=3x^2 y=x3,y=3x2,导数为0的点是 x = 0 x=0 x=0,但是根据图形,它在 x = 0 x=0 x=0这一点不是极值点。

5.1.2 Rolle(罗尔)定理

【定理5.1.2】【Rolle(罗尔)定理】 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]连续,在 ( a , b ) (a,b) (a,b)可导, f ( a ) = f ( b ) f(a)=f(b) f(a)=f(b),则至少存在一个 ξ ∈ ( a , b ) \xi\in(a,b) ξ(a,b),使得 f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0.
【证】 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]连续,则 f ( x ) f(x) f(x)一定在 [ a , b ] [a,b] [a,b]上取到最大值 M M M,最小值 m m m
不妨设 ξ , η ∈ [ a , b ] \xi,\eta\in[a,b] ξ,η[a,b] f ( ξ ) = M , f ( η ) = m f(\xi)=M,f(\eta)=m f(ξ)=M,f(η)=m
(1)若 m = M , f ( x ) = C , C m=M,f(x)=C,C m=M,f(x)=C,C为常数,定理结论成立;
(2)若 M > m M>m M>m,则 M , m M,m M,m中有一个不等于 f ( a ) ( = f ( b ) ) f(a)(=f(b)) f(a)(=f(b)),即最大值、最小值至少有一个在区间内部取到,若不然,最大值、最小值都在端点取到,推出 m = M m=M m=M矛盾,不妨设 M = f ( ξ ) > f ( a ) = f ( b ) M=f(\xi)>f(a)=f(b) M=f(ξ)>f(a)=f(b) M M M在内部取到), ξ ∈ ( a , b ) , ξ \xi\in(a,b),\xi ξ(a,b),ξ f ( x ) f(x) f(x)的一个极大值点,由于 f ( x ) f(x) f(x) ( a , b ) (a,b) (a,b)可导,则 f ( x ) f(x) f(x) ξ \xi ξ可导,由费马引理, f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0

【注】要用中值定理,首先的要求是闭区间连续开区间可导。
【罗尔定理的几何意义】满足定理条件的函数一定在某一点存在一条与 x x x轴平行,亦即与曲线的两个端点的连线平行的切线。

【例5.1.1】【Legendre(勒让德)多项式】 P n ( x ) = 1 2 n ⋅ n ! ⋅ d n d x n ( x 2 − 1 ) n P_n(x)=\frac{1}{2^n\cdot n!}\cdot\frac{d^n}{dx^n}(x^2-1)^n Pn(x)=2nn!1dxndn(x21)n ( x 2 − 1 ) n (x^2-1)^n (x21)n 2 n 2n 2n次多项式,它算 n n n阶导数后就变成 n n n次多项式,即勒让德多项式是 n n n次多项式,证明:它在 ( − 1 , 1 ) (-1,1) (1,1) n n n个不同的根。
【证】 ( x 2 − 1 ) n (x^2-1)^n (x21)n的根是 − 1 , 1 -1,1 1,1
由于 ( x 2 − 1 ) n (x^2-1)^n (x21)n在闭区间连续开区间 ( − 1 , 1 ) (-1,1) (1,1)可导,且在 − 1 -1 1 1 1 1点的函数值相等都是0,由罗尔定理可知, ∃ x 11 \exists x_{11} x11在对应开区间 ( − 1 , 1 ) (-1,1) (1,1)内,使得 d d x ( x 2 − 1 ) n ∣ x = x 11 = 0 \frac{d}{dx}(x^2-1)^n|_{x=x_{11}}=0 dxd(x21)nx=x11=0
d d x ( x 2 − 1 ) n = n ( x 2 − 1 ) n − 1 ⋅ 2 x \frac{d}{dx}(x^2-1)^n=n(x^2-1)^{n-1}\cdot 2x dxd(x21)n=n(x21)n12x的根有 − 1 , 1 -1,1 1,1,还有 x 11 x_{11} x11(导数等于0的点,刚才的罗尔定理),这下三个点函数值相等为0,三个点中两两中间有个导数为0的点(罗尔定理)
d 2 d x 2 ( x 2 − 1 ) n \frac{d^2}{dx^2}(x^2-1)^n dx2d2(x21)n包含因子 ( x 2 − 1 ) n − 2 (x^2-1)^{n-2} (x21)n2,则它还是有 − 1 , 1 -1,1 1,1这两个根,还有 x 21 , x 22 x_{21},x_{22} x21,x22(同上)
……
m < n m<n m<n d m d x m ( x 2 − 1 ) n \frac{d^m}{dx^m}(x^2-1)^n dxmdm(x21)n包含因子 ( x 2 − 1 ) n − m (x^2-1)^{n-m} (x21)nm,则它还是有 − 1 , 1 -1,1 1,1这两个根,还有 x m 1 , . . . , x m m x_{m1},...,x_{mm} xm1,...,xmm m m m个零点(同上)
d n − 1 d x n − 1 ( x 2 − 1 ) n \frac{d^{n-1}}{dx^{n-1}}(x^2-1)^n dxn1dn1(x21)n包含因子 ( x 2 − 1 ) (x^2-1) (x21),则它还是有 − 1 , 1 -1,1 1,1这两个根,还有 n − 1 n-1 n1个零点,即 x n − 1 , 1 , . . . , x n − 1 , n − 1 x_{n-1,1},...,x_{n-1,n-1} xn1,1,...,xn1,n1
d n d x n ( x 2 − 1 ) n \frac{d^n}{dx^n}(x^2-1)^n dxndn(x21)n ( − 1 , 1 ) (-1,1) (1,1)中有 n n n个零点(上面罗尔定理推过来的),但是没有 − 1 , 1 -1,1 1,1这两个根,因为求导把 ( x 2 − 1 ) n (x^2-1)^n (x21)n求成了常数(参考高阶导数那节课)
所以它在 ( − 1 , 1 ) (-1,1) (1,1) n n n个不同的根。
证毕。

5.1.3 Lagrange(拉格朗日)中值定理

【定理5.1.3】【Lagrange(拉格朗日)中值定理】【罗尔定理的推广】 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b]连续,在 ( a , b ) (a,b) (a,b)可导,则 ∃ ξ ∈ ( a , b ) \exists \xi \in(a,b) ξ(a,b),使得 f ′ ( ξ ) = f ( b ) − f ( a ) b − a f'(\xi)=\frac{f(b)-f(a)}{b-a} f(ξ)=baf(b)f(a).
【注】上述形式换写法:

  • f ( b ) − f ( a ) = f ′ ( ξ ) ( b − a ) , ξ = a + θ ( b − a ) , θ ∈ ( 0 , 1 ) f(b)-f(a)=f'(\xi)(b-a),\xi=a+\theta(b-a),\theta\in(0,1) f(b)f(a)=f(ξ)(ba),ξ=a+θ(ba),θ(0,1),即写成 f ( b ) − f ( a ) = f ′ ( a + θ ( b − a ) ) ( b − a ) , θ ∈ ( 0 , 1 ) f(b)-f(a)=f'(a+\theta(b-a))(b-a),\theta\in(0,1) f(b)f(a)=f(a+θ(ba))(ba),θ(0,1)
  • a = x , b = x + Δ x , b − a = Δ x , f ( x + Δ x ) − f ( x ) = f ′ ( x + θ Δ x ) Δ x , Δ x a=x,b=x+\Delta x,b-a=\Delta x,f(x+\Delta x)-f(x)=f'(x+\theta \Delta x)\Delta x,\Delta x a=x,b=x+Δx,ba=Δx,f(x+Δx)f(x)=f(x+θΔx)Δx,Δx可正可负
  • Δ y = f ′ ( x + θ Δ x ) Δ x \Delta y=f'(x+\theta \Delta x)\Delta x Δy=f(x+θΔx)Δx
    【几何解释】
    f ( b ) − f ( a ) b − a \frac{f(b)-f(a)}{b-a} baf(b)f(a)是在 ( a , b ) (a,b) (a,b)区间端点连线的这条弦的斜率,所以 ξ \xi ξ这点的切线和这条弦平行。

【证】令 φ ( x ) = f ( x ) − f ( a ) − f ( b ) − f ( a ) b − a ( x − a ) \varphi(x)=f(x)-f(a)-\frac{f(b)-f(a)}{b-a}(x-a) φ(x)=f(x)f(a)baf(b)f(a)(xa)
φ ( x ) \varphi(x) φ(x) [ a , b ] [a,b] [a,b]连续, ( a , b ) (a,b) (a,b)可导,
φ ( a ) = 0 , φ ( b ) = 0 = φ ( a ) \varphi(a)=0,\varphi(b)=0=\varphi(a) φ(a)=0,φ(b)=0=φ(a),由罗尔定理可知 ∃ ξ ∈ ( a , b ) \exists \xi \in (a,b) ξ(a,b),使得 φ ′ ( ξ ) = 0 \varphi'(\xi)=0 φ(ξ)=0 φ ′ ( x ) = f ′ ( x ) − f ( b ) − f ( a ) b − a \varphi'(x)=f'(x)-\frac{f(b)-f(a)}{b-a} φ(x)=f(x)baf(b)f(a)
φ ′ ( ξ ) = f ′ ( ξ ) − f ( b ) − f ( a ) b − a = 0 \varphi'(\xi)=f'(\xi)-\frac{f(b)-f(a)}{b-a}=0 φ(ξ)=f(ξ)baf(b)f(a)=0
f ′ ( ξ ) = f ( b ) − f ( a ) b − a f'(\xi)=\frac{f(b)-f(a)}{b-a} f(ξ)=baf(b)f(a)

用拉格朗日中值定理讨论函数性质
【例】已知 f ( x ) = c , c f(x)=c,c f(x)=c,c为常数 ⇒ f ′ ( x ) ≡ 0 \Rightarrow f'(x)\equiv 0 f(x)0 f ( x ) = c , c f(x)=c,c f(x)=c,c为常数,证明: ⇐ f ′ ( x ) ≡ 0 \Leftarrow f'(x)\equiv 0 f(x)0
【证】设 f ( x ) , x ∈ ( a , b ) , ∀ x 1 , x 2 ∈ ( a , b ) , f ( x 2 ) − f ( x 1 ) = f ′ ( ξ ) ( x 2 − x 1 ) f(x),x\in(a,b),\forall x_1,x_2\in(a,b),f(x_2)-f(x_1)=f'(\xi)(x_2-x_1) f(x),x(a,b),x1,x2(a,b),f(x2)f(x1)=f(ξ)(x2x1)(拉格朗日中值定理)
由于 f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0所以 f ( x 1 ) = f ( x 2 ) , ∀ x 1 , x 2 ∈ ( a , b ) f(x_1)=f(x_2),\forall x_1,x_2\in(a,b) f(x1)=f(x2),x1,x2(a,b)
f ( x ) = c , c f(x)=c,c f(x)=c,c为常数

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.xdnf.cn/news/1560604.html

如若内容造成侵权/违法违规/事实不符,请联系一条长河网进行投诉反馈,一经查实,立即删除!

相关文章

web基础-攻防世界

get-post 一、WP &#xff08;题目本质&#xff1a;get与post传参方法&#xff09; 用 GET 给后端传参的方法是&#xff1a;在?后跟变量名字&#xff0c;不同的变量之间用&隔开。例如&#xff0c;在 url 后添加/&#xff1f;a1 即可发送 get 请求。 利用 hackbar 进行…

岩石分类检测数据集 4700张 岩石检测 带标注 voc yolo 9类

岩石分类检测数据集 4700张 岩石检测 带标注 voc yolo 9类 岩石分类检测数据集 (Rock Classification and Detection Dataset) 描述: 本数据集旨在支持对不同类型的岩石进行自动分类和检测&#xff0c;特别适用于地质勘探、矿物识别、环境监测等领域。通过使用该数据集训练的模…

Python画图|多图共享X轴和Y轴

【1】引言 在python画图的众多场景中&#xff0c;存在多图对应X轴和Y轴可能一致的情形。 为此&#xff0c;尝试找到相关方法&#xff0c;不仅可以将代码写得更简洁&#xff0c;也更节省电脑内存&#xff0c;是提升工作效率的可选之路。 【2】官网教程 点击下方链接&#xf…

制造已然走出国门,数据如何走向全球?

1 行业趋势和背景 1.1 海外全球化——由中国制造到中国品牌全球造的全球化布局 为实现资源的最优配置、效率的最大化&#xff0c;现在越来越多的制造业企业&#xff0c;凭借着自己的品牌力和技术能力&#xff0c;进行全球化布局&#xff0c;加速从原来的“中国制造”到“中国…

EISS_2024企业信息安全峰会:《货拉拉信息安全实践》学习笔记

EISS_2024企业信息安全峰会&#xff1a;《货拉拉信息安全实践》 企业安全目标设定和安全框架企业信息安全组织和机制技术体系建设方法信息安全指标建设构建安全数据和体系技术体系支撑合规治理安全融入企业体系内建文化&#xff0c;外建生态 企业安全目标设定和安全框架 要点&a…

门店展台客流量摄像机功能:准确计数、行为分析、客流趋势预测

在车展展厅中&#xff0c;门店展台客流量摄像机发挥着至关重要的作用&#xff0c;其功能涵盖准确计数、行为分析和客流趋势预测等多个方面。 一、车展展厅应用客流统计方案原因 1. 评估展会效果&#xff1a;准确了解每个展台的客流量&#xff0c;判断展会的吸引力和热度&#…

Linux相关概念和易错知识点(14)(进程终止、进程退出、退出信息)

1.进程终止 &#xff08;1&#xff09;错误码 对于程序常见错误信息&#xff0c;C/C提供了信息解释&#xff0c;保存在<string.h>&#xff0c;使用strerror(错误码)就可以查询 错误信息成立的前提是错误码要和错误信息匹配&#xff0c;我们需要结合C/C给我们的错误码来…

极狐GitLab X 某轨道交通控制系统龙头企业,助力业务研发敏捷化

GitLab 是一个全球知名的一体化 DevOps 平台&#xff0c;很多人都通过私有化部署 GitLab 来进行源代码托管。极狐GitLab 是 GitLab 在中国的发行版&#xff0c;专门为中国程序员服务。可以一键式部署极狐GitLab。 学习极狐GitLab 的相关资料&#xff1a; 极狐GitLab 60天专业…

java多态-cnblog

java多态 细分的重载会增加代码量&#xff0c;降低易用程度 定义一个类&#xff0c;继承所有类的对象&#xff0c;根据向上转型可以让每个类的对象都调用初始类的方法&#xff0c;在方法中设置判断&#xff0c;不同的对象导致方法做不同的事&#xff0c;这就是多态 写一个灯…

计算机的错误计算(一百一十九)

摘要 用错数解释计算机的错误计算&#xff08;一百一十八&#xff09;中的错误计算。 计算机的错误计算&#xff08;一百一十八&#xff09;给出一个循环迭代 用C语言或Java编程计算&#xff0c;则 均是错误结果。 下面用错数解释其出错原因。 首先&#xff0c;将迭代看作 …

SSM(5)(动态sql <if>、<where>、返回主键值)

返回主键值&#xff1a; 方法一&#xff1a; useGeneratedKeys 为ture 声明 返回主键 keyProperty 表示要返回的值 封装到对象的属性中 但是这一种方法不支持Orcal数据库。 <insert id"save2" parameterType"com.findyou.entity.User" useGenerated…

【JVM系列】深入理解Java虚拟机(JVM)的核心技术 :从静态到运行时的秘密(三、Java常量池揭秘)

文章目录 【JVM系列】深入理解Java虚拟机&#xff08;JVM&#xff09;的核心技术 &#xff1a;从静态到运行时的秘密(二、Java常量池揭秘)1. 基本概念2. 常量池分类2.1 运行常量池2.2 静态常量池2.3 字符串常量池 3. String 类3.1 创建String对象的两种方式和区别3.2 字符串的特…

【Unity】背景图片随着背景里面内容大小而变化

今天制作项目里面的设置界面和暂停界面时&#xff0c;发现两个界面有很多重复部分&#xff0c;所以直接做一个界面就行了&#xff0c;但是两个界面的背景大小会有变化&#xff0c;图片在下面 这个是游戏暂停界面的&#xff0c;设置界面和这个界面有很多重复地方&#xff0c;仅仅…

Spring事务的1道面试题

每次聊起Spring事务&#xff0c;好像很熟悉&#xff0c;又好像很陌生。本篇通过一道面试题和一些实践&#xff0c;来拆解几个Spring事务的常见坑点。 原理 Spring事务的原理是&#xff1a;通过AOP切面的方式实现的&#xff0c;也就是通过代理模式去实现事务增强。 具体过程是…

【网页设计】CSS Part2

目标 能使用 emmet 语法能够使用 CSS 复合选择器能够写出伪类选择器的使用规范能够说出元素有几种显示模式能够写出元素显示模式的相互转换代码能够写出背景图片的设置方式能够计算 CSS 的权重 1. Emmet 语法 Emmet语法的前身是Zen coding,它使用缩写,来提高html/css的编写速…

java继承-cnblog

类的继承 继承本身 一个类要继承另一个类需要使用关键字extends 关键字extends的使用 class a extend b{}由于java只支持单继承&#xff0c;所以同时继承多个父类是错误的 在创造子类对象时&#xff0c;会先执行父类的构造方法&#xff0c;再执行子类的构造方法 举例说明 …

用 logfire 提高应用的可观测性

Logfire是由 Pydantic 团队打造的平台, 还有供 app 使用的 library, 我们经常提到对应用要做 LMT(Log, Metrics, Trace), Logfire 可以用来收集、存储、分析和可视化日志数据和应用性能指标。通过集成日志和度量&#xff0c;Logfire 提供了一个统一的界面来管理应用程序和系统的…

Windows环境mysql 9安装mysqld install报错:Install/Remove of the Service Denied!

Windows环境mysql 9安装mysqld install报错&#xff1a;Install/Remove of the Service Denied! 解决方案&#xff1a; 控制台/批处理命令窗口需要以系统管理员身份运行。 mysql数据库环境配置和安装启动&#xff0c;Windows-CSDN博客文章浏览阅读920次。先下载mysql的zip压缩…

ChatTTS 本地安装和测试

Ubuntu 22服务器&#xff0c;3.9/3.10都可以&#xff0c;但是 3.11不可以 sudo apt install python3.10 apt install python3.10 python3.10-dev #ubuntu 22 安装python3.10对应的pip3.10 # 下载 get-pip.py curl -sS https://bootstrap.pypa.io/get-pip.py -o get-pip.py # 使…

干货分享:Air780E选型的注意事项

Air780E已经是个明星模组了&#xff0c;累计出货数量2000万&#xff0c;广泛应用于物联网各行业。 今天计划讲一讲选择Air780E的注意事项&#xff01;从用户的角度&#xff0c;解答大家对Air780E这款模组最关心的问题&#xff0c;更多从选型、应用等非技术维度展开。 选择Air…