关于函数的定理

前提:f(x)在[a,b]上连续f(x)在[a,b]上连续f(x)在[a,b]上连续

有界与最值定理

m≤f(x)≤Mm\le f(x)\le Mm≤f(x)≤M其中,m,Mm,Mm,M分别为f(x)f(x)f(x)在[a,b][a,b][a,b]上的最小值与最大值。

闭区间上的连续函数必要最大值和最小值。

介值定理

当m≤μ≤Mm\le \mu\le Mm≤μ≤M时,存在ξ∈[a,b]\xi\in[a,b]ξ∈[a,b],使得f(ξ)=μf(\xi)=\muf(ξ)=μ。

闭区间上的连续函数可以取到最大值和最小值间的任意一个数。

平均值定理

当a<x1<x2....<xn<ba<x_1<x_2....<x_n<ba<x1​<x2​....<xn​<b时,在[x1,xn][x_1,x_n][x1​,xn​]内至少存在一点ξ\xiξ,使:

f(ξ)=f(x1)+f(x2)...+f(xn)nf(\xi)=\frac{f(x_1)+f(x_2)...+f(x_n)}{n}f(ξ)=nf(x1​)+f(x2​)...+f(xn​)​

证明:

f(x)在[x1,x2][x_1,x_2][x1​,x2​]上连续,所以m≤f(x)≤Mm\le f(x)\le Mm≤f(x)≤M

于是:m≤f(x1)≤M....m≤f(xn)≤Mm\le f(x_1)\le M....m\le f(x_n)\le Mm≤f(x1​)≤M....m≤f(xn​)≤M

所以式子相加:nm≤f(x1)+f(x2)...+f(xn)≤nMnm\le f(x_1)+f(x_2)...+f(x_n)\le nMnm≤f(x1​)+f(x2​)...+f(xn​)≤nM

所以得出:m≤f(x1)+....f(xn)n≤Mm\le\frac{f(x_1)+....f(x_n)}{n}\le Mm≤nf(x1​)+....f(xn​)​≤M

由介值定理得出平均值定理

零点定理

当f(a)⋅f(b)<0f(a)\cdot f(b)<0f(a)⋅f(b)<0时,存在ξ∈(a,b),使得f(ξ)=0\xi\in(a,b),使得f(\xi)=0ξ∈(a,b),使得f(ξ)=0

关于导数和微分的中值定理

费马定理(必要条件)

设f(x)f(x)f(x)满足在x0x_0x0​处可导且取极值,则f′(x0)=0f'(x_0)=0f′(x0​)=0

证明:

假设f(x)f(x)f(x)在点x0x_0x0​处取得极大值,则存在x0x_0x0​的邻域U(x0)U(x_0)U(x0​),对任意的x∈U(x0)x\in U(x_0)x∈U(x0​),都有Δf=f(x)−f(x0)≤0\Delta f=f(x)-f(x_0)\le0Δf=f(x)−f(x0​)≤0,于是根据导数的定义与极限的保号性,有:

f−′(x0)=lim⁡x→x−f(x)−f(x0)x−x0≥0f'_{-}(x_0)=\lim\limits_{x\to x^{-}}\frac{f(x)-f(x_0)}{x-x_0}\ge0f−′​(x0​)=x→x−lim​x−x0​f(x)−f(x0​)​≥0

f+′(x0)=lim⁡x→x+f(x)−f(x0)x−x0≤0f'_{+}(x_0)=\lim\limits_{x\to x^{+}}\frac{f(x)-f(x_0)}{x-x_0}\le0f+′​(x0​)=x→x+lim​x−x0​f(x)−f(x0​)​≤0

又f(x)f(x)f(x)在点x0x_0x0​处可导,于是f−′(x0)=f+′(x0)f'_{-}(x_0)=f'_{+}(x_0)f−′​(x0​)=f+′​(x0​),故f′(x)=0f'(x)=0f′(x)=0

罗尔定理

设f(x)f(x)f(x)满足在[a,b]上连续,在(a,b)内可导,f(a)=f(b),则存在ξ∈(a,b)\xi\in(a,b)ξ∈(a,b),使得f(ξ)=0f(\xi)=0f(ξ)=0。

证明:[a,b]连续函数肯定存在最值:m≤f(x)≤Mm\le f(x)\le Mm≤f(x)≤M

  1. m=M,函数图形是水平线,任何一个数的导数都是零。
  2. m<M,左右端点函数值相等的情况下肯定存在最值在区间内,所以区间内存在一点的导数为零。

推广的罗尔定理:

  1. 设f(x)在(a,b)内可导,lim⁡x→a+=lim⁡x→b−=A,则在(a,b)内至少存在一点ξ,使得f(ξ)=0设f(x)在(a,b)内可导,\lim\limits_{x\to a^+}=\lim\limits_{x\to b^-}=A,则在(a,b)内至少存在一点\xi,使得f(\xi)=0设f(x)在(a,b)内可导,x→a+lim​=x→b−lim​=A,则在(a,b)内至少存在一点ξ,使得f(ξ)=0
  2. 设f(x)在(a,b)内可导,lim⁡x→a+=lim⁡x→b−=±∞,则在(a,b)内至少存在一点ξ,使得f(ξ)=0设f(x)在(a,b)内可导,\lim\limits_{x\to a^+}=\lim\limits_{x\to b^-}=\pm\infty,则在(a,b)内至少存在一点\xi,使得f(\xi)=0设f(x)在(a,b)内可导,x→a+lim​=x→b−lim​=±∞,则在(a,b)内至少存在一点ξ,使得f(ξ)=0
  3. 设f(x)在(a,+∞)内可导,lim⁡x→a+=lim⁡x→b−=A,则在(a,+∞)内至少存在一点ξ,使得f(ξ)=0设f(x)在(a,+\infty)内可导,\lim\limits_{x\to a^+}=\lim\limits_{x\to b^-}=A,则在(a,+\infty)内至少存在一点\xi,使得f(\xi)=0设f(x)在(a,+∞)内可导,x→a+lim​=x→b−lim​=A,则在(a,+∞)内至少存在一点ξ,使得f(ξ)=0
  4. 设f(x)在(−∞,+∞)内可导,lim⁡x→−∞=lim⁡x→+∞=±∞,则在(−∞,+∞)内至少存在一点ξ,使得f(ξ)=0设f(x)在(-\infty,+\infty)内可导,\lim\limits_{x\to -\infty}=\lim\limits_{x\to +\infty}=\pm\infty,则在(-\infty,+\infty)内至少存在一点\xi,使得f(\xi)=0设f(x)在(−∞,+∞)内可导,x→−∞lim​=x→+∞lim​=±∞,则在(−∞,+∞)内至少存在一点ξ,使得f(ξ)=0

拉格朗日中值定理

设f(x)f(x)f(x)满足在[a,b]上连续在(a,b)内可导,则存在ξ∈(a,b)\xi\in(a,b)ξ∈(a,b)使得:f(b)−f(a)=f′(ξ)(b−a)f(b)-f(a)=f'(\xi)(b-a)f(b)−f(a)=f′(ξ)(b−a)

证明:

F(a)=f(a)−f(a)−f(b)−f(a)b−a(a−a)=0F(a)=f(a)-f(a)-\frac{f(b)-f(a)}{b-a}(a-a)=0F(a)=f(a)−f(a)−b−af(b)−f(a)​(a−a)=0

F(b)=f(b)−f(a)−f(b)−f(a)b−a(b−a)=0F(b)=f(b)-f(a)-\frac{f(b)-f(a)}{b-a}(b-a)=0F(b)=f(b)−f(a)−b−af(b)−f(a)​(b−a)=0

F(x)=f(x)−f(a)−f(b)−f(a)b−a(b−a)F(x)=f(x)-f(a)-\frac{f(b)-f(a)}{b-a}(b-a)F(x)=f(x)−f(a)−b−af(b)−f(a)​(b−a)(辅助函数)

罗尔定理得:F′(ξ)=0F'(\xi)=0F′(ξ)=0

F′(x)=f′(x)−f(b)−f(a)b−aF'(x)=f'(x)-\frac{f(b)-f(a)}{b-a}F′(x)=f′(x)−b−af(b)−f(a)​

f′(ξ)=f(b)−f(a)b−af'(\xi)=\frac{f(b)-f(a)}{b-a}f′(ξ)=b−af(b)−f(a)​

表达:

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+Θ(b−a))(b−a),Θ∈(0,1)

f(a+b)−f(a)=f′(a+Θh)h,Θ∈(0,1)f(a+b)-f(a)=f'(a+\Theta h)h,\Theta\in(0,1)f(a+b)−f(a)=f′(a+Θh)h,Θ∈(0,1)

柯西中值定理

设f(x),g(x)满足在[a,b]上连续, 在(a,b)内可导,g'(x)!=0,则存在ξ∈(a,b)\xi\in(a,b)ξ∈(a,b),使得:

f(b)−f(a)g(b)−g(a)=f′(ξ)g′(ξ)\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(\xi)}{g'(\xi)}g(b)−g(a)f(b)−f(a)​=g′(ξ)f′(ξ)​

证明:

F(x)=f(x)−f(a)−f(b)−f(a)g(b)−g(a)(g(x)−g(a))F(x)=f(x)-f(a)-\frac{f(b)-f(a)}{g(b)-g(a)}(g(x)-g(a))F(x)=f(x)−f(a)−g(b)−g(a)f(b)−f(a)​(g(x)−g(a))

F′(x)=f′(x)−f(b)−f(a)g(b)−g(a)g′(x)F'(x)=f'(x)-\frac{f(b)-f(a)}{g(b)-g(a)}g'(x)F′(x)=f′(x)−g(b)−g(a)f(b)−f(a)​g′(x)

f′(ξ)−f(b)−f(a)g(b)−g(a)g′(ξ)f'(\xi)-\frac{f(b)-f(a)}{g(b)-g(a)}g'(\xi)f′(ξ)−g(b)−g(a)f(b)−f(a)​g′(ξ)

泰勒公式

拉格朗日余项的n阶泰勒公式

设f(x)在点x0x_0x0​的某个邻域内n+1阶导数存在,则对该邻域内任意点x,有:

f(x)=f(x0)+f′(x0)(x−x0)+....+1n!f(n)(x0)(x−x0)n+f(n+1)(ξ)(n+1)!(x−x0)n+1f(x)=f(x_0)+f'(x_0)(x-x_0)+....+\frac{1}{n!}f^{(n)}(x_0)(x-x_0)^n+\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}f(x)=f(x0​)+f′(x0​)(x−x0​)+....+n!1​f(n)(x0​)(x−x0​)n+(n+1)!f(n+1)(ξ)​(x−x0​)n+1

佩亚诺余项的n阶泰勒公式(主要使用)

设f(x)在点x0x_0x0​处n阶可导,则存在x0x_0x0​的一个邻域,对于该邻域内的任意点,有:

f(x)=f(x0)+f′(x0)(x−x0)+...1n!f(n)(x0)(x−x0)n+o((x−x0)n)f(x)=f(x_0)+f'(x_0)(x-x_0)+...\frac{1}{n!}f^{(n)}(x_0)(x-x_0)^n+o((x-x_0)^n)f(x)=f(x0​)+f′(x0​)(x−x0​)+...n!1​f(n)(x0​)(x−x0​)n+o((x−x0​)n)

当x0=0x_0=0x0​=0时的泰勒公式称为麦克劳林公式

导数零点定理

设f(x)在[a,b]上可导,当f+′(a)⋅f−′(b)≤0,f'_+(a)\cdot f'_-(b)\le0,f+′​(a)⋅f−′​(b)≤0,存在ξ∈(a,b)\xi\in(a,b)ξ∈(a,b)使得f′(ξ)=0f'(\xi)=0f′(ξ)=0

证明:

设f+′(a)>0,f−′(b)<0f'_+(a)>0,f'_-(b)<0f+′​(a)>0,f−′​(b)<0

f+′(a)=lim⁡x→x+f(x)−f(a)x−a>0⇒存在ξ1>0,在(a,a+ξ1),f(x)>f(a)f'_+(a)=\lim\limits_{x\to x^+}\frac{f(x)-f(a)}{x-a}>0\Rightarrow 存在\xi_1>0,在(a,a+\xi_1),f(x)>f(a)f+′​(a)=x→x+lim​x−af(x)−f(a)​>0⇒存在ξ1​>0,在(a,a+ξ1​),f(x)>f(a)

f−′(b)=lim⁡x→x−f(x)−f(b)x−b>0⇒存在ξ2>0,在(a,a+ξ2),f(x)>f(b)f'_-(b)=\lim\limits_{x\to x^-}\frac{f(x)-f(b)}{x-b}>0\Rightarrow 存在\xi_2>0,在(a,a+\xi_2),f(x)>f(b)f−′​(b)=x→x−lim​x−bf(x)−f(b)​>0⇒存在ξ2​>0,在(a,a+ξ2​),f(x)>f(b)

故f(a)与f(b)都不是f(x) 在[a,b]的最大值,则f(x)在(a,b)内取得最大值,根据费马定理:

存在ξ∈(a,b),使得f′(ξ)=0\xi\in(a,b),使得f'(\xi)=0ξ∈(a,b),使得f′(ξ)=0

积分中值定理

设f(x)在[a,b]上连续,存在ξ∈[a,b]\xi\in[a,b]ξ∈[a,b],使得:

∫abf(x)dx=f(ξ)(b−a)\int^b_af(x)dx=f(\xi)(b-a)∫ab​f(x)dx=f(ξ)(b−a)

证明:

因为f(x)在[a,b]上连续,所以f(x)在[a,b]上存在最大值M和最小值m

m(b−a)≤∫abf(x)dx≤M(b−a)m(b-a)\le\int^b_af(x)dx\le M(b-a)m(b−a)≤∫ab​f(x)dx≤M(b−a)

m≤1b−aintabf(x)dx≤Mm\le\frac{1}{b-a}int^b_af(x)dx\le Mm≤b−a1​intab​f(x)dx≤M

由介值定理可知,存在ξ∈[a,b],使得f(ξ)=1b−a∫abf(x)dx\xi\in[a,b],使得f(\xi)=\frac{1}{b-a}\int^b_af(x)dxξ∈[a,b],使得f(ξ)=b−a1​∫ab​f(x)dx

书籍学习源自:《张宇基础30讲》《张宇考研数学1000题》
视频学习:数学基础–萌弟AI
本文章仅仅作打卡个人使用。

数学基础task05 高等数学之中值定理相关推荐

  1. java用泰勒公式写余弦值_数学基础系列(三)----第一中值定理、微积分基本定理、牛莱公式、泰勒公式...

    一.第一中值定理 如果函数f(x)在闭区间[a,b]上连续,则在积分区间[a,b]上至少存在一个点$\xi $,使得$\int_{a}^{b}f(x)dx=f(\xi )(b-a).(a\leqsla ...

  2. 高等数学——积分中值定理

    本文始发于个人公众号:TechFlow,原创不易,求个关注 今天是高等数学专题的第12篇,我们继续来看定积分. 之前在讲微分求导内容的时候,介绍过一系列微分中值定理的推导.既然有微分中值定理,那么自然 ...

  3. 【高等数学基础进阶】微分中值定理及导数应用

    文章目录 一.微分中值定理 二.导数应用 单调性 极值 最值 凹凸性 渐近线 函数作图 曲线的弧微分与曲率 常考题型与典型例题 求函数的极值和最值及确定曲线的凹项和拐点 渐近线 方程的根 不等式证明 ...

  4. 新时代2021年人工智能必备数学基础:高等数学编绘(4)

    如果点击有误:https://github.com/LeBron-Jian/DeepLearningNote 这里我打算补充一下机器学习涉及到的一些关于泰勒公式与拉格朗日的知识点. (注意:目前自己补 ...

  5. 高等数学——微分中值定理

    本文始发于个人公众号:TechFlow,原创不易,求个关注 今天和大家回顾一下高数当中的微分中值定理,据说是很多高数公式的基础.由于本人才疏学浅,所以对于这点没有太深的认识.但是提出中值定理的几个数学 ...

  6. 零基础实践深度学习之数学基础

    零基础实践深度学习之数学基础 深度学习常用数学知识 数学基础知识 高等数学 线性代数 行列式 矩阵 向量 线性方程组 矩阵的特征值和特征向量 二次型 概率论和数理统计 随机事件和概率 随机变量及其概率 ...

  7. ML与math:机器学习与高等数学基础概念、代码实现、案例应用之详细攻略——进阶篇

    ML与math:机器学习与高等数学基础概念.代码实现.案例应用之详细攻略--进阶篇 目录 人工智能数学基础综合 人工智能数学基础之高等数学 1.哈夫曼编码Huffman Coding简介及代码实现 人 ...

  8. 机器学习初学者手抄本:数学基础、机器学习经典算法、统计学习方法等

    机器学习怎么学?当然是系统地学习了.没有时间这么办呢?利用碎片时间学习!很多人一天要花 2 个小时通勤,通勤路上有很多时间看手机.于是我把一些机器学习的基础知识做成了在线的机器学习手册,只需打开微信收 ...

  9. 数学基础、机器学习经典算法、统计学习方法,这份机器学习在线手册来帮你...

    机器学习怎么学?当然是系统地学习了.没有时间这么办呢?利用碎片时间学习!很多人一天要花 2 个小时通勤,通勤路上有很多时间看手机.于是我把一些机器学习的基础知识做成了在线的机器学习手册,只需打开微信收 ...

最新文章

  1. linux pdf转换swf,CENTOS 5   PDF转换为SWF
  2. Software Construction Series(1)
  3. ZJU cluster
  4. Ubuntu16.04 安装Gitlab
  5. 软件设计师--面向对象技术
  6. python进阶11并发之七多种并发方式的效率测试
  7. 剑指offer面试题10- I. 斐波那契数列
  8. WebStorm配置(2016/11/18更新)
  9. opencv 显示图片失败,全灰
  10. python双重for循环 列表推导式_Python轻量级循环-列表推导式
  11. ER-studio显示选项设置
  12. DTCloud编码规范
  13. sublime配置go环境_如何为Sublime3配置Go语言开发环境
  14. 微信公众号里面使用地图导航
  15. Android内、外存储 易混淆点剖析(/mnt/sdcard、/storage/sdcard0、/storage/emulated/0等区别)
  16. 解析肖特基二极管的优缺点及应用
  17. PAT-2019年冬季考试-乙级-7-3String复读机
  18. 三五个人十来条枪 如何成为开发正规军(三十四)
  19. 金融计算机杂志排名,中国核心期刊排名_中国金融文化属于核心期刊吗_计算机八大核心期刊...
  20. EJB框架 详细介绍和注解的使用

热门文章

  1. ABB机械手用RobotStudio 6.07启动虚拟控制器
  2. 浅析深究什么是SOA
  3. Jenkins+Jmeter+Ant 生成接口测试报告并发送邮件
  4. oracle 查询模板
  5. pscp上传下载文件
  6. postgre的replace函数
  7. matlab如何与ccs关联,CCS与Matlab
  8. libjpeg-turbo使用教程
  9. TUTK普通家用摄像头常见功能介绍
  10. 使div水平居中的方式