拉格朗日中值定理:若函数 \(f(x)\)\([a, b]\) 上连续,在 \((a, b)\) 上可微,则在 \((a, b)\) 中必有一点 \(\xi\) 使得 \(f'(\xi) = \dfrac{f(b) – f(a)}{b – a}\)

几何意义:若函数在 \([a, b]\) 上连续,在 \((a, b)\) 上可微,则在 \((a, b)\) 中必有一点使得这一点的切线与连接 \((a, f(a))\)\((b, f(b))\) 的直线平行.

图1

首先证明 \(\text{Fermat}\) 定理(费马定理):若函数 \(f(x)\)\(x_0\) 点可微,且在该点取到极值,则 \(f'(x_0) = 0\)

证明:

\(f(x)\)\(x_0\) 处取到极大值,则存在 \(x_0\) 的一个邻域 \((x_0 – \delta, x_0 + \delta)\) 使得 \(\forall x \in (x_0 – \delta, x_0 + \delta)\),有 \(f(x) \leq f(x_0)\)

设一正实数 \(\alpha\) 使得 \(\alpha < \delta\),则有 \(\dfrac{f(x_0) – f(x_0 – \alpha)}{\alpha} \leq 0\)\(\dfrac{f(x_0 + \alpha) – f(x_0)}{\alpha} \geq 0\)

\(\alpha \rightarrow 0\),则有 \(f'(x_0) \leq 0\)\(f'(x_0) \geq 0\),于是 \(f'(x_0) = 0\)

对于最小值,可类似证明.

接着需要证明 \(\text{Rolle}\) 定理(罗尔定理):若函数 \(f(x)\)\([a, b]\) 上连续,在 \((a, b)\) 上可微,且 \(f(a) = f(b)\),则必有一点 \(\xi \in (a, b)\) 使得 \(f'(\xi) = 0\)

证明:

\(f(x)\)\([a, b]\) 上恒为常数,则显然对于任意的 \(\xi \in (a, b)\)\(f'(\xi) = 0\)

\(f(x)\)\([a, b]\) 上不恒为常数,则必有一极大值点与极小值点.设分别在 \(M\)\(m\) 处取得极大值与极小值,由费马定理可知 \(f'(M) = f'(m) = 0\)

然后可以开始证明拉格朗日中值定理.

证明:

\(f(x)\)\([a, b]\) 上连续,在 \((a, b)\) 上可微,\(\phi(x) = f(x) – f(a) – \dfrac{f(b) – f(a)}{b – a}(x – a)\)

显然有 \(\phi(a) = \phi(b) = 0\).于是,在 \((a, b)\) 上必有一点 \(\xi\) 使得 \(\phi'(\xi) = 0\)

\(\phi(x)\) 求导,得 \(\phi'(x) = f'(x) – \dfrac{f(b) – f(a)}{b – a}\).由于 \(\phi'(\xi) = 0\) ,有 \(f'(\xi) = \dfrac{f(b) – f(a)}{b – a}\)

证毕.

参考:《简明微积分(第四版)》.

原文地址:http://www.cnblogs.com/wf715/p/lagelhrivsvidylidevgmy.html

1. 本站所有资源来源于用户上传和网络,如有侵权请邮件联系站长! 2. 分享目的仅供大家学习和交流,请务用于商业用途! 3. 如果你也有好源码或者教程,可以到用户中心发布,分享有积分奖励和额外收入! 4. 本站提供的源码、模板、插件等等其他资源,都不包含技术服务请大家谅解! 5. 如有链接无法下载、失效或广告,请联系管理员处理! 6. 本站资源售价只是赞助,收取费用仅维持本站的日常运营所需! 7. 如遇到加密压缩包,默认解压密码为"gltf",如遇到无法解压的请联系管理员! 8. 因为资源和程序源码均为可复制品,所以不支持任何理由的退款兑现,请斟酌后支付下载 声明:如果标题没有注明"已测试"或者"测试可用"等字样的资源源码均未经过站长测试.特别注意没有标注的源码不保证任何可用性