首页 > 其他分享 >微分中值定理

微分中值定理

时间:2023-12-12 19:44:24浏览次数:27  
标签:xi frac 定理 曲线 ne 微分 内可导

微分中值定理

一、罗尔定理

内容

如果函数 \(f(x)\) 满足:

  1. 在 \([a,b]\) 上连续;
  2. 在 \((a,b)\) 内可导;
  3. 在区间端点处的函数值相等,即 \(f(a)=f(b)\)。

那么在 \((a,b)\) 内至少有一点 \(\xi(a<\xi<b)\) 使得函数 \(f(x)\) 在该点处的导数零,即 \(f'(\xi)=0\)。

证明

由于函数 \(f(x)\) 在 \([a,b]\) 上连续,有闭区间上连续函数最值定理可知,\(f(x)\) 在 \([a,b]\) 上必定取得最大值 \(M\) 和最小值 \(m\)。

当 \(M=m\) 时,\(f(x)\) 在 \([a,b]\) 上必为常数:\(y\equiv M\),于是 \(f'(x)\equiv 0\)

因此任取一点 \(\xi\in (a,b)\),都有 \(f'(\xi)=0\)。

当 \(M>m\) 时,\(M\) 和 \(m\) 这两个数中至少有一个不等于 \(f(a)\)。

不妨设 \(M \ne f(a)\),由于 \(f(a)=f(b)\),因此 \(M\ne f(b)\)。

于是存在 \(\xi\in (a,b)\),使得 \(f'(\xi)=M\)。

因此对 \([a,b]\) 上的任意 \(x\),有 \(f(\xi)\ge f(x)\),从而由费马定理可知 \(f'(\xi)=0\)。

证毕。

几何意义

如果曲线段 \(f(x)(x\in[a,b])\) 是连续不断的、光滑的,且两端纵坐标相等,则该曲线段在 \([a,b]\) 上至少有一条水平切线。

img

二、拉格朗日中值定理

内容

如果函数 \(f(x)\) 满足:

  1. 在 \([a,b]\) 上连续;
  2. 在 \((a,b)\) 内可导;

那么在 \((a,b)\) 内至少有一点 \(\xi(a<\xi<b)\) 使得 \(f'(\xi)=\frac{f(b)-f(a)}{b-a}\), 即 \(f(b)-f(a)=f(\xi)(b-a)\)。

证明

令 \(g(x)=f(x)-\displaystyle\frac{f(b)-f(a)}{b-a}(x-a)-f(a)\)。

如图所示,\(g(x)\) 即为曲线 \(f(x)\) 与直线 \(f(a)+\displaystyle\frac{f(b)-f(a)}{b-a}(x-a)\) 的纵坐标之差。

img

\(g(x)\) 在 \([a,b]\) 上连续,在 \((a,b)\) 内可导,且 $f(a)=f(b)=0 $。

则由罗尔定理知至少有一点 \(\xi(a<\xi<b)\) 使得函数 \(f(x)\) 在该点处的导数零。

即 \(f'(\xi)=0\),即 \(f'(\xi)=\displaystyle\frac{f(b)-f(a)}{b-a}\)。

证毕。

几何意义

如果曲线段 \(f(x)(x\in[a,b])\) 是连续不断的、光滑的,且除端点外处处具有不垂直于横坐标轴的切线,则该曲线段在 \([a,b]\) 上至少有一点,使曲线在该点处的切线与两端点的连线(弦)平行。

img

柯西中值定理

内容

如果函数 \(f(x)\),\(g(x)\) 满足:

  1. 在 \([a,b]\) 上连续;
  2. 在 \((a,b)\) 内可导;
  3. 当 \(x\in(a,b) 时,g'(x)\ne 0\)。

则至少存在一点 \(\xi\in(a,b)\) 使得:

\[\frac{f(b)-f(a)}{g(b)-g(b)}=\frac{f'(\xi)}{g'(\xi)} \]

img

证明

可构造辅助函数:

\[h(x)=[f(b)-f(a)][g(x)-g(a)]-[g(b)-g(a)][f(x)-f(a)] \]

其中 \(h(x)\) 在 \([a,b]\) 上连续,在 \((a,b)\) 内可导,且有 \(g(a)=g(b)=0\)。

由罗尔定理可知 \(\exist\xi\in(a,b)\) 使得 \(g'(\xi)=0\),即 :

\[[f(b)-f(a)]f'(\xi)-[g(b)-g(a)][f(x)-f(a)] \]

又 \(g'(x)\ne 0\),所以有:

\[\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(\xi)}{g'(\xi)} \]

证毕。

标签:xi,frac,定理,曲线,ne,微分,内可导
From: https://www.cnblogs.com/tsqtsqtsq/p/17897670.html

相关文章

  • 微分中值定理
    微分中值定理罗尔定理观察下图设曲线\(AB\)是函数\(y=f(x)(x\in[a,b])\)的图形.图中两端点的纵坐标相等,即\(f(a)=f(b)\)可以发现在曲弧线的最高点\(C\)处或最低点\(D\)处,曲线有水平的切线.记\(C\)点的横坐标为\(\xi\)那么就有\(f'(\xi)=0\).那么可以......
  • 中心极限定理
    我们在证明弱大数定理的时候运用了Markov不等式\(\Pr[\left|\dfrac{S_n}{n}\right|^2>\varepsilon^2]\leq\dfrac{E\left[\left(\frac{S_n}{n}\right)^2\right]}{\varepsilon^2}\)。现在我们考虑更一般的把\(n\)替换成\(f(n)\),我们发现只有当\(f(n)=\sqrt{n}\cdoth(n)\)时\(\dfrac......
  • SG定理证明
    前置知识有向图游戏概念。单个有向图游戏中\(\textrm{SG}\)函数的求值(\(\textrm{mex}\)运算)。以上内容请自行查阅,这里不会多说。前言本文受启发于OIWiki,采用相同的数学归纳法进行证明,但对计算的原理进行了补充,也补足了一些细节。网上许多\(\textrm{SG}\)定理的证明只......
  • 【机器学习】自动微分
    标量变量的反向传播以下举两个例子说明标量变量的反向传播如何实现。非标量变量的反向传播在上述的例子中,x是向量,而y是标量,这种类型为标量变量的反向传播。但当y不是标量时,比如y=x*x,当求向量y关于另一个向量x的导数时,结果通常就是一个矩阵,被称为雅可比矩阵,或......
  • 算数基本定理
    算数基本定理定理对于整数\(a>1\),必有\(a=p_1^{a_1}p_2^{a_2}\dotsp_s^{a_s}\),其中\(p_j(1\leqj\leqs)\)是两两不相等的质数,\(a_j(1\leqj\leqs)\)表示对应质数的幂次。在不计次序的意义下,该分解式是唯一的。运用于质因数分解:intDecomposition(intx,inta[]){......
  • 用零点存在定理看二次方程根的分布
    前言以前写过一篇关于二次方程根的分布问题的博文,感觉思路混乱,也不想再修改,故重新开一篇博文探讨这个问题,初次尝试用零点存在定理来分析二次方程根的分布,自编题目,有待商榷,希望多提宝贵意见。典例分析为了降低思维的难度,我们首先看这个比较特殊的例子,已知函数\(f(x)=-x^2+2x+......
  • 数学_四平方定理
    题目链接:H-数学_2023中国大学生程序设计竞赛(CCPC)新疆赛区(nowcoder.com)题意:  有数学知识可知: 本题如果根据贪心,每个先用最大的数来凑,会出错,比如12==9+1+1+1,但是答案是12==4+4+4,就会出错题解思路dp[],dp[i]表示从j<i凑到i需要的最小个数,转移方......
  • [28/11/23] 向量微分学的一些预备知识
    散度​ 通俗考虑:散度(\(\mathrm{div}\)),刻画了一个区域\(D\)内东西向外逃逸的趋势。对于一个表面张力不足以支撑它维持现有形状的水滴,它会有一个向外散开的趋势,此时它速度场的散度就是大于零的;反之对一个正在遇冷收缩的金属块而言,它的形状改变趋势是向内收缩,此时它速度场的散......
  • [28/11/23] 微分方程自救预备知识
    \(Wronskian\)行列式对一个函数集合\(A=\{f|f_i(x),1\leqi\leqn\}\),定义一个函数矩阵\(W_A(x):=\left|\matrix{f_1(x)&f_2(x)&\cdots&f_n(x)\\f_1'(x)&f_2'(x)&\cdots&f_n'(x)\\\vdots&\vdots&......
  • 自动微分
    张量的梯度信息张量的梯度信息是指张量相对于某个或多个变量的导数。梯度表示了函数在某一点的变化率,它是一个向量,其中每个元素对应于函数相对于输入变量的偏导数在深度学习中,我们通常使用梯度来更新模型参数,以便最小化或最大化某个损失函数。梯度下降是一种常见的优化算法,它使......