高等数学 3.1 微分中值定理
一、罗尔定理
费马引理 设函数
在点 的某邻域 内有定义,并且在 处可导,如果对任意的 ,有 那么
.
证明:不妨设
从而当
当
根据函数
所以,
通常称导数等于零的点为函数的驻点(或稳定点,临界点)。
罗尔定理 如果函数
满足
(1) 在闭区间上连续;
(2) 在开区间内可导;
(3) 在区间端点处的函数值相等,即,
那么在内至少有一点 ,使得 .
证明:由于
(1)
(2)
定理证毕。
二、拉格朗日中值定理
拉格朗日中值定理 如果函数
满足
(1) 在闭区间上连续;
(2) 在开区间内可导;
那么在内至少有一点 ,使等式 成立。
拉格朗日中值定理的证明 :
引进辅助函数
容易验证函数
根据罗尔定理,可知在
由此得
定理证毕。
定理 如果函数
证明:在区间
由假定,
因为
从上述论证中可以看出,虽然拉格朗日中值定理中的
例题 证明当
证明:设
由于
又由
即
三、柯西中值定理
柯西中值定理 如果函数
及 满足
(1) 在闭区间上连续;
(2) 在开区间内可导;
对任一, ,
那么在内至少有一点 ,使等式
证明:首先注意到
其中
设辅助函数
显然,
故
由此得
定理证毕。
作者: 暮颜 —— 衣带渐宽终不悔
出处:https://www.cnblogs.com/mowenpan1995/
版权归作者和博客园共有,欢迎转载。但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。
转载请注明原文链接:https://www.cnblogs.com/mowenpan1995/p/18418769/gdsx3-1wfzzdl
本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· C#/.NET/.NET Core优秀项目和框架2025年2月简报
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 【杭电多校比赛记录】2025“钉耙编程”中国大学生算法设计春季联赛(1)