微分中值定理—柯西中值定理

news2024/11/25 2:23:47

微分中值定理—柯西中值定理

前面我们已经学习了罗尔中值定理,和拉格朗日中值定理,它们的相同点是,研究的曲线都能用函数来表示。那假如曲线不能被函数表示呢,用柯西中值定理

1 定义

 柯西中值定理是拉格朗日中值定理的推广。如果,我们把研究对象扩展到两个函数,然后,将结论\frac{f'(\xi)}{g'(\xi)}=\frac{f(b)-f(a)}{g(b)-g(a)} ,再加上分母不为零的条件。那么拉格朗日中值定理,就成了我们的柯西中值定理如果函数f(x) 及g(x) 满足

那么\exists\xi\in (a,b) ,使得\frac{f(b)-f(a)}{g(b)-g(a)}g'(\xi)=f'(\xi) 。如果此时还有g'(\xi)\ne 0 ,那么该式可改写为:

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

定义看完了,下面来看看它的几何意义

2 几何意义

要直观理解柯西中值定理,需要将f(x) 和g(x) 组成参数方程组。为了符合习惯,这里的自变量用t 来表示,即假设有参数方程:

\begin{cases}x=g(t)\\y=f(t)\end{cases}

下面以g(t) 为横坐标,f(t) 为纵坐标,建立坐标系。起点为t=a 时的位置[g(a),f(a)] ,终点为t=b 时的位置[g(b),f(b)] 。

连接起点与终点,做出一条割线,那么\frac{f(b)-f(a)}{g(b)-g(a)} 表示的就是割线的斜率。而\frac{f'(\xi)}{g'(\xi)} ,表示的是,\xi 这个位置,切线的斜率。

这样柯西中值定理的结论就是,曲线上至少有一点,它的切线的斜率与割线斜率是相等的。从几何上来讲,也就是\xi 这个点的切线,与割线是平行的。

3 联系

前面说过,拉格朗日中值定理是罗尔中值定理的推广,这在几何上就可以体现。比如下面这条蓝色曲线,因为它能用函数表示,且闭曲间连续,开区间可导。所以符合拉格朗日中值定理。

下面假设g(x)=x ,那么实际上,这条曲线也可以用参数方程来表示,因此,它也是符合柯西中值定理的。

还是这条曲线,固定起点不变,对终点进行拉伸,此时,这条曲线无法再用函数表示,也就不符合拉格朗日中值定理。

现在,我们将横坐标用g(x) 表示,纵坐标用f(x) 表示,那么,它符合的是柯西中值定理。

把两张图放在一起,可以很明显地看出,拉格朗日中值定理仅为g(x)=x 时的特殊情况。

4 证明

4.1 证明方法一

首先来看一个错误的证明方法:

由于f(x),g(x) 在[a,b] 上都满足拉格朗日中值定理的条件,故\exists\xi\in(a,b) ,使得:

如果有g(a)\ne g(b) 以及g'(\xi)\ne 0 ,那么上述两式相除可得:

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

上述方法是错误的。因为对于两个不同的函数f(x) 和g(x) ,拉格朗日中值定理中的\xi 未必相同,比如下面两个函数

  • g(x)=x^2 ,在[0,1] 上使得拉格朗日中值定理成立的\xi=\frac{1}{2}

  • f(x)=x^3 ,在[0,1] 上使得拉格朗日中值定理成立的\xi=\frac{\sqrt{3}}{3}

假如将函数g ,与函数f 联合在一起,建立参数方程

\begin{cases}x=g(t)\\\\y=f(t)\end{cases}

那么,以g 为横坐标,f 为纵坐标建立坐标系,做出自变量在0到1范围内的参数方程图像。可以看到,当自变量取值为\frac{2}{3} 时,满足柯西中值定理。

从这个例子我们就可以看出,这种方法是不正确的。

4.2 证明方法二

正确的证明方法如下:因为g(a)\ne g(b) ,所以构造辅助函数:

F(x)=f(x)-\frac{f(b)-f(a)}{g(b)-g(a)}g(x)

容易知道,F(x) 满足:

  • 在闭区间[a,b] 上连续

  • 在开区间(a,b) 上可导

  • F(a)=F(b)=\frac{g(b)f(a)-g(a)f(b)}{g(b)-g(a)}

所以根据罗尔中值定理,\exists\xi\in(a,b) 使得F'(\xi)=0 ,即:

F'(x)|_{x=\xi}=\left.f'(x)-\frac{f(b)-f(a)}{g(b)-g(a)}g'(x)\right|_{x=\xi}=f'(\xi)-\frac{f(b)-f(a)}{g(b)-g(a)}g'(\xi)=0

由此可得\frac{f(b)-f(a)}{g(b)-g(a)}g'(\xi)=f'(\xi) ,如果g'(\xi)\ne 0 ,那么该式可改写为\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f'(\xi)}{g'(\xi)} 

跟着马同学,看图学数学,欢迎加入马同学图解数学

马同学图解数学系列课程https://matongxue.taobao.com/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/424430.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

助力企业节能降耗:综合能效管理之场景控制

企业综合能效管理系统是为企业提供能耗管理、电能质量和用能安全监测的整套解决方案,系统可采集多种类型能源(电、水、天然气、工业气体、冷热量等)数据,并对能源消耗进行分析,包括分类分项能耗、区域能耗、部门能耗数…

海思编码:1、mpp系统详谈以及VI、VPSS、VENC之间的关系

在HiMPP手册中都会有这么一张图 1、VI部分 视频输入设备 视频输入设备支持标准 BT.656、标准 BT.1120、自定义时序等若干种时序输入,负责对时序进行解析。 视频物理通道 视频物理通道负责将输入设备解析后得到的视频数据输出到 DDR。在真正将数据输出到 DDR 之前…

FTP-----局域网内部远程桌面

此文包含详细的图文教程。有疑问评论区留言。博主第一时间解决。 目录 一、被远程桌面的电脑 1.开启远程权限 2.添加账户,有本地账户跳过这步 3.帐号隶属于 远程桌面 4.帐号隶属于 本地用户组 二、本地电脑连接远程桌面 前提条件: 1.两台电脑在…

接口自动化【二】(图形验证码处理)

文章目录 前言一、图形验证码图片获取(需要实际截图做对比补充)二、调第三方接口获取验证码三、后端登录接口(举例)总结前言 讲解了图片验证的处理;在接口测试中遇见的一些问题;多部分编码的注意点 一、图形验证码图片获取(需要实…

【4.13(补)】二叉搜索树的遍历、插入、删除

文章目录二叉搜索树的最近公共祖先二叉搜索树中的插入操作删除二叉搜索树中的节点二叉搜索树的最近公共祖先 235. 二叉搜索树的最近公共祖先 - 力扣(LeetCode) 因为二叉搜索树是有序的,第一次找到p和q中间的值,就是最近的公共祖先…

【FPGA-DSP】第六期:Black Box调用流程

目录 1. 实际操作流程 1.1 Verilog 代码编写 1.2 system generator操作 1.2.1 Black box模块 1.2.2 Simulink 搭建 2. Simulink模型优化 System Generator是一个Xilinx公司的工具,用于设计数字信号处理系统。Black Box是System Generator中的一个block&#…

【数值模型系列】CAMx编译运行中的几个小问题

最近在CAMx的编译运行工作中,遇到了几个小问题,在此记录一下。 问题1:CAMx2IOAPI编译报错 报错如下: CAMx2IOAPI依赖于IOAPI和NetCDF库,在Makefile文件中加以配置即可,但出现此错的原因其实是默认的Makef…

【大数据之Hadoop】十四、MapReduce之Combiner合并

Combiner是Mapper和Reducer之间的组件,其组件的父类是Reducer。 Combiner和Reducer的区别: Combiner是运行在每一个MapTask所在的节点,即对每一个MapTask的输出进行局部汇总,减少网络传输量。 Reducer则是接收全局是Mapper的输出…

涨点神器:Yolov5/Yolov7引入CVPR2023 InternImage:注入新机制,扩展DCNv3,助力涨点,COCO新纪录65.4mAP!

1.InternImage介绍 论文:https://arxiv.org/abs/2211.05778 代码:GitHub - OpenGVLab/InternImage: [CVPR 2023 Highlight] InternImage: Exploring Large-Scale Vision Foundation Models with Deformable Convolutions 理论部分参考知乎:CVPR2023 Highlight | 书生模型霸…

GPT-4要革程序员的命?智能开发的理想与现实 | 爱分析调研

“生成式人工智能(AIGC)将在三年内终结编程。” ——Matt Welsh,前哈佛大学计算机科学教授、Google 工程主管 GPT-4 也许还不完美,但智能开发时代真的来了 美国时间3月14日,OpenAI 正式发布 GPT-4,在 Chat…

【Navidrome 开源音乐服务器】手把手教你打造属于自己的音乐播放器随时随地想听就听

目录 1. 前言 2. Navidrome网站搭建 2.1 Navidrome下载和安装 2.1.1 安装并添加ffmpeg 2.1.2下载并配置Navidrome 2.1.3 添加Navidrome到系统服务 2.2. Navidrome网页测试 3. 本地网页发布 3.1 cpolar的安装和注册 3.2 Cpolar云端设置 3.3 Cpolar本地设置 4. 公网访…

电商数仓—前言

项目流程图 1.数据仓库的概念 数据 业务数据 存储在mysql 处理事务过程中产生的数据例如:登录、下单、支付用户行为数据 日志文件(以文件形式) 用户与客户端产品交互过程中产生的数据通过埋点实现:代码埋点(前端/后…

Unity集成GPT

GPT想必是最近互联网最火的话题了,作为一个Unity开发者,今天来介绍一下如何在Unity中使用GPT。 一、API 密钥 使用GPT的API首先要获得密钥,如下进入OpenAI官网(https://platform.openai.com/account/api-keys)–>选择自己的账号–>查…

Docker-Compose企业生产环境实战

1. Docker-Compose企业生产环境实战 Docker Compose 是 Docker 官方编排(Orchestration)项目之一,负责快速在集群中部署分布式应用。Compose 定位是“defining and running complex applications with Docker”,前身是 Fig&#…

手把手教你如何管理进程和计划任务管理

目录一、查看和控制进程1.1查看进程1.1.1 ps 命令— 查看静态的进程统计信息1.1.2ps -elf 命令— 查看静态的进程统计信息1.1.3grep过滤查询1.1.4top命令—动态查看进程信息1.1.5pgrep命令— 根据特定条件查询进程PID信息1.1.6pstree命令—查看进程树1.2控制进程1.2.1手动启动1…

单片机--第六章中断系统--例6-3学习

单片机--第六章中断系统--例6-3学习 同6-2图,要求:使用定时器T0中断实现流水灯操作,流水频率为每0.5s更替一次(假设单片机外接11.0592MHZ的晶振)。 这个代码实现的是流水灯的效果,即将多个 LED 灯依次点亮并…

.net6 Program.cs 文件解析

Program.cs 是整个Web应用程序的入口文件,.NET6 用了极简单的风格搞定了很多事情。 Program.cs中首先注意的是: 1.builder.Services.AddXXX是用来添加服务的,builder是WebApplicationBuilder对象; 2.builder.Services.Configure&…

【C++】判断语句中对变量的合理定义

先总结一下这篇博客的核心: C中,不允许重复定义同一个变量,否则保留的初次定义的值(虽然编译能通过)涉及到判断的多分支时,应在进判断分支之前定义好变量,如果在分支中分别定义会出现编译错误&…

基于HashData的湖仓一体解决方案的探索与实践

2023年4月7日,由中国DBA联盟(ACDU)和墨天轮社区联合主办的第十二届『数据技术嘉年华』(DTC 2023) 在北京新云南皇冠假日酒店盛大开启。HashData资深解决方案架构师李俊在4月8号专题会场6-“融合应用:湖仓技术创新”上发表了《基于…

从零开始学JAVA(05):面向对象编程--04

一、StringBuilder StringBuilder是一个非常方便的用来处理和拼接字符串的类,它和string不同的是,它是可变的 package com.lcy.learn;public class LearnStringBuilder {public static void main(String[] args) {// StringBuilder首先是可变的// 而且对…