微分中值定理
费马引理
费马引理:设函数f(x)在点x0的某领域U(x0)内有定义,并且在x0处可导,如果对任意的x∈U(x0),有f(x)≤f(x0),那么f′(x0)=0.
罗尔定理
如果f(x)满足,在闭区间[a,b]上连续,且可导,在区间端点处的函数值相等,即f(a)=f(b),那么在(a,b)内至少有一点ξ(a<ξ<b),使得f′(ξ)=0.
拉格朗日中值定理
如果f(x)满足,在闭区间[a,b]上连续,且可导,那么在(a,b)内至少有一点ξ(a<ξ<b),使得,f(b)−f(a)=f′(ξ)(b−a).
换一种写法可能会比较好懂:
f′(ξ)=f(b)−f(a)b−a
引进辅助函数φ(x)=f(x)−f(a),结合Rolle定理可以证明.
柯西中值定理:
如果f(x),F(x)满足,在闭区间[a,b]上连续,且可导,那么在(a,b)内至少有一点ξ(a<ξ<b),使得,
f(t2)−f(t1)F(t2)−F(t1)=f′(t′)F′(t′)
设φ(x)=f(x)−f(b)−f(a)F(b)−F(a)F(x),结合Rolle定理可以证明.
Taylor展式
Taylor展开
设函数f(x)在点x0的某领域U(x0)内具有n+1阶导数,如果对任意的x∈U(x0),有:
f(x)=f(x0)+f1(x0)1!(x−x0)+f2(x0)2!(x−x0)2+……+fn(x0)n!(x−x0)n+Rn(x)
Rn(x)=fn+1(ξ)(n+1)!(x−x0)n+1
当x趋近于x0的时候,Rn(x)=O(xn),称为佩亚诺余项,Rn称为拉格朗日余项
拉格朗日余项可以多次迭代运用柯西中值定理可以得到.
再看Taylor展式,要近似模仿一个函数f(x),只要让另一个函数在某处的初始项,一阶导数,二阶导数...n阶导数相同.
用待定系数法可以推倒:
设:
gn(x)=a0+a1(x−x0)+a2(x−x0)2+⋯+an(x−x0)n
又:
gn(x0)=f(x0)g′n(x0)=f′(x0)g′′n(x0)=f′′(x0)⋯g(n)n(x0)=f(n)(x0)
故
an=f(n)n!
麦克劳林级数
当x0=0时,我们称这样特别的展开式为麦克劳林级数.
麦克劳林级数有一些有用的例子.
ex的n阶麦克劳林公式
ex=1+x+x22!+...+xnn!
e=1+1+12!+...+1n!
三角函数的麦克劳林公式
sinx=x−x33!+x55!−...+(−1)m−1x2m−1(2m−1)!+R2m
cosx=1−x22!+x44!−...+(−1)m−1x2m(2m)!+R2m+1
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现
· 25岁的心里话