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

news/2024/10/11 19:32:46/

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.ppmy.cn/news/1537594.html

相关文章

本地生活服务项目入局方案解析!本地生活服务商系统能实现怎样的作业效果?

当前&#xff0c;各大平台的本地生活服务业务日渐兴盛&#xff0c;提高创业者入局意向的同时&#xff0c;也让本地生活服务项目有哪些等问题也成为了多个创业者社群中的热议对象。而从目前的讨论情况来看&#xff0c;在创业者们所询问的众多本地生活服务项目中&#xff0c;通过…

宠物咖啡馆平台开发:SpringBoot技术的综合应用

4系统概要设计 4.1概述 本系统采用B/S结构(Browser/Server,浏览器/服务器结构)和基于Web服务两种模式&#xff0c;是一个适用于Internet环境下的模型结构。只要用户能连上Internet,便可以在任何时间、任何地点使用。系统工作原理图如图4-1所示&#xff1a; 图4-1系统工作原理…

图论day55|深度优先搜索理论基础、98. 所有可达路径(卡码网)

图论day55|深度优先搜索理论基础、98. 所有可达路径(卡码网&#xff09; 思维导图汇总深度优先搜索理论基础98.所有可达路径(卡码网)1.邻接矩阵法2.邻接表法 思维导图汇总 深度优先搜索理论基础 深度优先搜索&#xff08;dfs&#xff09;与广度优先搜索&#xff08;bfs&#xf…

【技术】Jaskson的序列化与反序列化

文章目录 概念解释1.Jasksona.JSONJSON 的基本特点JSON 的基本结构JSON 示例 b.ObjectMapper类 2.序列化与反序列化a.序列化对象序列化集合序列化ListSetMap b.反序列化反序列化单个对象反序列化集合对象 概念解释 1.Jaskson Jackson 是一个用于处理 JSON 数据的 Java 库,所以…

第二阶段:mysql(学完就隐藏版)

第一章&#xff1a;部署数据库系统&#xff08;注意关闭防火墙&#xff0c;selinux安装&#xff09; 安装mysql配置的相关文件&#xff1a;yum install https://dev.mysql.com/get/mysql80-community-release-el7-5.noarch.rpm&#xff08;centos9&#xff1a;yum install http…

k8s-集群部署1

k8s-集群部署1 一、基础环境准备二、docker环境准备三、k8s集群部署1.kubeadm创建集群2.使用kubeadm引导集群 总结 一、基础环境准备 首先&#xff0c;需要准备三个服务器实例&#xff0c;这里我使用了阿里云创建了三个实例&#xff0c;如果不想花钱&#xff0c;也可以在VM上创…

pytorh学习笔记——波士顿房价预测

机器学习的“hello world”&#xff1a;波士顿房价预测 波士顿房价预测的背景不用提了&#xff0c;简单了解一下数据集的结构。 波士顿房价的数据集&#xff0c;共有506组数据&#xff0c;每组数据共14项&#xff0c;前13项是影响房价的各种因素&#xff0c;比如&…

v-html里面的标签设置样式没有用怎么办?

v-html里面的标签设置样式没有用是因为style里面设置了scoped&#xff0c;html绑定渲染出的内容可以理解为是子组件的内容&#xff0c;子组件不会被加上对应的属性&#xff0c;所以不会应用css 解决有两种方法&#xff1a; 1.一种是把scoped属性去掉就行了 2.另外一种方法利…