中值定理笔记

总共有十个定理,其中四个和函数有关,五个和导函数有关,剩下一个是积分中值定理。

当(f(x))在闭区间(\lbrack a,b\rbrack)上连续时,(\exists m,M \in \mathbb{R}, \ s.t. \ m \leq f(x) \leq M)。

(m)和(M)分别为(f(x))在(\lbrack a,b\rbrack)上的最小和最大值。

当(f(x))在闭区间(\lbrack a,b\rbrack)上连续时,(\forall\mu \in \lbrack m,M\rbrack,\ \exists\xi \in \lbrack a,b\rbrack,\ s.t.\ f(\xi) = \mu)。

这个定理比较少被介绍。

(f(x))在闭区间(\lbrack a,b\rbrack)上连续,(a_{1} < x_{1} < x_{2} < \ldots < x_{n} < b)时,

[\exists\xi \in \lbrack a,b\rbrack,\ \ s.t.\ \ f(\xi) = \frac{f\left( x_{1} \right) + f\left( x_{2} \right) + \ldots + f\left( x_{n} \right)}{n} ]

这个定理很容易联想到介值定理,因此我们只需要证明平均值在函数的值域内即可。平均值的特点就是介于最大和最小之间,所以平均值就是一个介值,证毕。

(f(x))在闭区间(\lbrack a,b\rbrack)上连续, (f(a) \times f(b) < 0)时,(\exists\xi \in \lbrack a,b\rbrack,\ s.t.\ f(\xi) = 0)。

若(f(x))在(x_{0})处可导,且取极值,那么有(f^{‘}\left( x_{0} \right) = 0)

证明:

可导的意思是(\lim_{x \rightarrow x_{0}}\frac{f(x) – f\left( x_{0} \right)}{x – x_{0}} = A)

以极大值为例,取极大值的意思是,在(x_{0})的去心领域内,(f(x) < f\left( x_{0} \right))

那么在(x_{0})的两侧,(\frac{f(x) – f\left( x_{0} \right)}{x – x_{0}})异号,由夹逼定理,可以得到(A = 0)。

在闭区间 (\lbrack a,b\rbrack)上的连续函数(f(x)) ,在开区间(\ (a,b))上可导,且(\ f(a) = f(b)) ,那么 (\exists\xi \in (a,b)) ,使得(\ f^{‘}(\xi) = 0)。

罗尔定理用费马定理证明。

费马定理说极值的导数是0,那么就是要证明,(f(a) = f(b))时,在((a,b))内有极值。这就简单了,因为((a,b))内的值,要么全部都等于(f(a)),要么就至少存在一个点不等于(f(a))。这样使用最值定理,再使用费马定理。

在闭区间 (\lbrack a,b\rbrack)上的连续函数(f(x)) ,在开区间(\ (a,b))上可导。

[\exists\xi \in \lbrack a,b\rbrack,\ \ s\text{.t.\ }f^{‘}(\xi) = \frac{f(a) – f(b)}{a – b} ]

怎么证明呢?如果要用到罗尔定理,那么我们就要构造一个函数g,有(g(a) = g(b)),然后有(g^{‘}(\xi) = 0),这个就是结论。

把(g^{‘}(\xi) = 0)和我们要证明的结论(f^{‘}(\xi) = \frac{f(a) – f(b)}{a – b})联系起来,很自然地想到

[g^{‘}(\xi) = f^{‘}(\xi) – \frac{f(a) – f(b)}{a – b} = 0 ]

这样反着推回去,(g(x) = f(x) – \frac{f(a) – f(b)}{a – b}x)就证明了。

(f)和(g)在闭区间(\lbrack a,b\rbrack)内连续,开区间(\lbrack a,\ b\rbrack)内可导,且(g^{‘}(x) \neq 0),则

[\frac{f(a) – f(b)}{g(a) – g(b)} = \frac{f^{‘}(\xi)}{g^{‘}(\xi)} ]

联想到泰勒定理的证明,或许我们会想着构造一个函数(h),使得(h^{‘} = \left( \frac{f}{g} \right)^{‘})

但是这样太难了。

除法对于积分来说,是一个棘手的存在,所以,我们考虑把要证明的结论做一个变形,因为除法很难,不妨考虑做乘法,有

[\left( g(a) – g(b) \right)f^{‘}(\xi) – \left( f(a) – f(b) \right)g^{‘}(\xi) = 0 ]

这样,构造函数

[h(x) = \left( g(a) – g(b) \right)f(x) – \left( f(a) – f(b) \right)g(x) ]

观察到

[h(a) = f(b)g(a) – f(a)g(b) = h(b) ]

是的,就是这么巧。

柯西中值定理的几何意义,就是直角坐标系下一条曲线对应的参数方程:

[\left{ \begin{matrix} y = f(t) \ x = g(t) \ \end{matrix} \right.\ ]

曲线上两点连线,总是能在两点之间找到一个点的切线,和两点连线斜率相等。

设(f(x))在点(x_{0})处n+1阶导数存在,则对该邻域内的任何点x,(\exists\xi \in (x,\ x_{0})),使得

[f(x) = \sum_{k = 0}^{n}\frac{f^{(k)}\left( x_{0} \right)\left( x – x_{0} \right)^{k}}{k!}\ + \frac{f^{(k + 1)}(\xi)\left( x – x_{0} \right)^{n + 1}}{(n + 1)!} ]

要证明这个定理,考虑把公式变成上面的形式,

[g(x) = f(x) – \sum_{k = 0}^{n}\frac{f^{(k)}\left( x_{0} \right)\left( x – x_{0} \right)^{k}}{k!} ]

[h(x) = \frac{\left( x – x_{0} \right)^{n + 1}}{(n + 1)!} ]

[\frac{g}{h} = f^{n + 1}(\xi) ]

你说这玩意像个啥?

像泰勒,不是,下面得有区间长度

像柯西,求导一次也得不出

神秘的数字”0″

[\frac{g(x) – g\left( x_{0} \right)}{h(x) – h\left( x_{0} \right)} = \frac{g(x)}{h(x)} = \frac{g^{‘}\left( \xi_{1} \right)}{h^{‘}\left( \xi_{1} \right)} ]

[= \frac{f^{(1)}\left( \xi_{1} \right) – \sum_{k = 1}^{n}\frac{f^{k}\left( x_{0} \right)\left( \xi_{1} – x_{0} \right)^{k – 1}}{(k – 1)!}}{\frac{\left( \xi_{1} – x_{0} \right)^{n}}{n!}} = \frac{g^{‘}\left( \xi_{1} \right) – g^{‘}\left( x_{0} \right)}{h^{‘}\left( \xi_{1} \right) – h^{‘}\left( x_{0} \right)} ]

再使用n-1次柯西和一次泰勒

[= \frac{f^{(n)}\left( \xi_{n} \right) – f^{(n)}\left( x_{0} \right)}{\xi_{n} – x_{0}} ]

[= f^{(n + 1)}\left( \xi_{n + 1} \right) ]

这个证明我也想不到,你能想到泰勒展开和柯西中值定理的联系吗?

对于这种无穷递推的方法,我首先想到的是归纳

已知:

[f(x) = \sum_{k = 0}^{n – 1}\frac{f^{(k)}\left( x_{0} \right)\left( x – x_{0} \right)^{k}}{k!} + \frac{f^{(n)}\left( \xi_{n} \right)\left( x – x_{0} \right)^{n}}{n!},\ \ \xi_{n} \in U_{0}\left( x_{0},\delta \right) ]

欲证明

[f(x) = \sum_{k = 0}^{n}\frac{f^{(k)}\left( x_{0} \right)\left( x – x_{0} \right)^{k}}{k!} + \frac{f^{(n + 1)}\left( \xi_{n + 1} \right)\left( x – x_{0} \right)^{n + 1}}{(n + 1)!},\ \ \xi_{n + 1} \in U_{0}\left( x_{0},\delta \right) ]

等价于证明:

[\frac{f^{(n)}\left( \xi_{n} \right)\left( x – x_{0} \right)^{n}}{n!} = \frac{f^{(n)}\left( x_{0} \right)\left( x – x_{0} \right)^{n}}{n!} + \frac{f^{(n + 1)}\left( \xi_{n + 1} \right)\left( x – x_{0} \right)^{n + 1}}{(n + 1)!} ]

此路不通,拉倒。

(f(x))在(\lbrack a,b\rbrack)上连续,存在(\xi \in \lbrack a,b\rbrack,\ s.t.\ \int_{a}^{b}{f(x)dx} = f(\xi)(b – a))

通过介值定理容易证明。

通过泰勒中值定理,构造函数(F(x) = \int_{a}^{x}{f(x)dx}),可证明(\xi \in (a,b))。

经常出证明题,参考张宇老师的教学

一般来说,经常需要构造函数。

对于神秘的数字0,还有二阶导及以上的导数,可以考虑使用泰勒展开。

对于积分,要么使用积分中值定理,要么就是对一个等式两边使用积分。

Original: https://www.cnblogs.com/ticlab/p/16608972.html
Author: ticlab
Title: 中值定理笔记

原创文章受到原创版权保护。转载请注明出处:https://www.johngo689.com/579394/

转载文章受原作者版权保护。转载请注明原作者出处!

(0)

大家都在看

  • 一文带你看懂Java中的Lock锁底层AQS到底是如何实现的

    先获取锁的状态,判断锁的状态是不是等于0,等于0说明没人加锁,可以尝试去加,如果被加锁了,就会走else if,else if会判断加锁的线程是不是当前线程,是的话就给state …

    Java 2023年6月16日
    0101
  • 设计模式二:webMVC

    model:观察者模式,对view和controller一无所知,即完全decouple。仅知道有observer需要它去通知 view:组合模式实现的jsp等用户界面。当发生页面…

    Java 2023年6月9日
    063
  • 彻底掌握Makefile(一)

    彻底掌握Makefile(一) 介绍 makefile就是一个可以被make命令解析的文件,他定义了一系列编译的规则,帮助我们更加方便、简洁的去完成编译的过程。在一个大工程当中我们…

    Java 2023年6月8日
    079
  • leetcode 208. Implement Trie (Prefix Tree) 实现 Trie (前缀树) (中等)

    Trie(发音类似 “try”)或者说 前缀树 是一种树形数据结构,用于高效地存储和检索字符串数据集中的键。这一数据结构有相当多的应用情景,例如自动补完和拼…

    Java 2023年6月14日
    075
  • 归并排序

    归并排序 本文分为以下几个部分 问题引入 master 公式 归并排序 写在最后 问题引入 求一串非空数组中的最大值,使用O(n)的时间复杂度。 最直接想到的代码就是直接一次遍历 …

    Java 2023年6月5日
    067
  • Java对接拼多多开放平台API(加密上云等全流程)

    前言 本文为【小小赫下士 blog】原创,搬运请保留本段,或请在醒目位置设置原文地址和原作者。 作者:小小赫下士 原文地址:Java对接拼多多开放平台API(加密上云等全流程) 本…

    Java 2023年6月8日
    078
  • JAVA的类型转换(基本类型)

    类型转换 由于java是强类型语言,所以在进行某些运算的时候,需要用到类型转换。 低–>高指的是字节大小,从小到大。 小数的优先级大于整数 数值进行类型转换时不要…

    Java 2023年6月9日
    084
  • kotlin学习三:初步认识kotlin(第二篇)

    上一章熟悉了kotlin基本的变量和函数声明,并明白了如何调用函数。本章再来看一些其他有用的东西 包括: kotlin代码组织结构 when语法 循环迭代语法 try表达式 和JA…

    Java 2023年6月16日
    080
  • idea环境下SpringBoot Web应用引入JSP

    环境 开发环境:idea2019.3jkd版本:1.8springboot版本:2.6.2 引入JSP的步骤 2.1 新建工程,引入依赖 这里只是解析jsp,因此只需要引入spri…

    Java 2023年6月6日
    083
  • Spring中的SpringUtils工具类

    Spring提供的工具类,主要用于框架内部使用,这个类提供了一些简单的方法,并且提供了易于使用的方法在分割字符串,如CSV字符串,以及集合和数组。 StringUtils提供常用的…

    Java 2023年6月7日
    094
  • spring 动态设置 RequestMapping

    原理:自定义 HandlerMapping ,把请求都集中到一个controller中 定义自己的 HandlerMapping 定义controller 添加到容器中 根据bea…

    Java 2023年5月30日
    072
  • MySQL相关事项

    重启MySQL service mysql stop service mysql start service mysql restart 创建MySQL用户并允许远程访问 CREA…

    Java 2023年6月5日
    074
  • Go gin 接入 prometheus

    Prometheus 的 go sdk 是由官方提供的,地址:https://github.com/prometheus/client_golang ,里面包含了生成 promet…

    Java 2023年6月9日
    084
  • 表达式语言整理(不断更新)

    OGNL 官网什么是 OGNL?Arthas中的应用,例如watch命令 SPEL [Spring表达式语言] ​ 『注:本文来自博客园”小溪的博客”,若非…

    Java 2023年6月16日
    079
  • 多线程(多线程实现方式一【继承类Thread类】)

    多线程方式实现(1) 方式1:继承Thread类。* 步骤* A:自定义类MyThread继承Thread类。* B:MyThread类里面重写run()? 为什么是run()方法…

    Java 2023年6月5日
    075
  • 滑动加载

    html js mounted() { // &#x7F13;&#x5B58;&#x6307;&#x9488; let _this = this; …

    Java 2023年6月8日
    084
亲爱的 Coder【最近整理,可免费获取】👉 最新必读书单  | 👏 面试题下载  | 🌎 免费的AI知识星球