【考研数学:高数6】一元函数微分学的应用(二)——中值定理、微分等式和微分不等式
目录
前言
一、辅助函数构造
1.概念
2.例题
二、中值定理
1.概念
(1)涉及函数的中值定理
(2)涉及导数(微分)的中值定理
(3)涉及积分的中值定理(本章略)
(3)补充:牛顿插值法
2.例题
三、微分等式
1.概念
(1)根的存在性
(2)根的唯一性
2.例题
四、微分不等式
1.用函数性态证明不等式
(1)概念
(2)例题
2.用常数变量化证明不等式
(1)概念
(2)例题
3.用中值定理证明不等式
(1)概念
(2)例题
一些题外话
ID:HL_5461
前言
本文为张宇老师《基础三十讲》高数第六讲的自用笔记。不做商用,侵删致歉!
例题的序号,以1.2.1为例,意思是一里第2的第1个例题,总之从标题一(一、二、三酱紫的)往里数就是。
微分学应用分三章,本章重点是中值定理,是唯一可以考证明题的地方
一、辅助函数构造
1.概念
①
②
③
④
2.例题
这部分的例题只做一半,主要是练练辅助函数构造
例1.1:设函数在
上连续,且
,
,证明:存在
,使得
这个比较好构造,直接移项:
所以构造
例1.2:设函数在
上连续,在
内二阶可导,过点
与点
的
直线与曲线相交于点
,其中
,证明:存在
,使得
直线与曲线相交,所以先列个直线方程看看:
在点C
对直线:
对函数:
由于相交,所以右边部分都相等:
移下项:
很明显有
,同时
二、中值定理
1.概念
(1)涉及函数的中值定理
涉及函数的中值定理都要求函数在区间
上连续
①定理1(有界与最值定理):
说白了就是函数值一定大于函数最小值小于函数最大值(这不是废话嘛)
②定理 2(介值定理):当时,存在
,使得
简单说就是最大最小值之间的每个值都能在函数上取到,毕竟它连续嘛
③定理 3(平均值定理):当时,在
内至少存在一点
,使得
这个定理看着复杂一点,其实就是定理1、2的结合:由于
,所以
(定理1),所以
,中间部分看作②中的
,然后再把
看作②中的
,由定理2证毕。
(大致思路确实是这样,但我偷个懒省了一步导致其实不够严谨,大家可以找找问题,没找到也欢迎评论或者私信问我՞˶・֊・˶՞ )
④定理 4(零点定理):当时,存在
,使得
端点值异号函数必有零点,其实也是介值定理的拓展
零点定理还可以推广到开区间,闭区间是端点值异号,开区间就是极限值异号,很简单
(2)涉及导数(微分)的中值定理
①定理5(费马定理):设在点
处满足可导、取极值,则
要特别注意只有可导的极值点处导数才为0,因为极值点也有可能是尖点,即改点不可导
②导数零点定理:设在
上可导,当
时,存在
,使得
这定理挺有意思的,对比着前面的函数零点定理,函数零点定理要求的条件是函数在区间连续,所以对应导数零点定理应该是导函数在区间连续,但实际上,导数零点定理只要求函数在区间可导,换言之就是只要求导函数在区间存在。
导函数是特殊的函数,其它函数存在不代表函数能取到区间上的所有值,但是导函数存在可以取到区间内的所有值,即导函数具有介质性
③定理 6( 罗尔定理 ):设
在
上连续、
内可导,且
,则存在
,使得
这个也可以推广到只在开区间可导,两边极限相同(或都趋于正/负无穷)结论也是一样的
④定理7(拉格朗日中值定理 ):设
在
上连续、
内可导,则存在
,使得
高频考点!!见到
或
与
的关系,一般想到用拉格朗日中值定理
⑤定理 8(柯西中值定理):设,
满足在
上连续,在
内可导,
,则存在
,使得
要考的话一般两个函数,一个抽象,一个具体。没啥说的,就是注意别把拉格朗日一除推出柯西就成…柯西要推的话是用参数方程推
⑥定理 9(泰勒公式):
佩亚诺余项:设在
处具有直到n阶的导数,则有
拉格朗日余项:设在包含
的区间
内有直到n+1阶的导数,在区间
上有n阶连续导数,则对任意
时有
不说了,泰勒公式快说烂了,具体见我另一篇博客:【数学】泰勒公式-CSDN博客
(3)涉及积分的中值定理(本章略)
①定理10(积分中值定理):存在,使得
(3)补充:牛顿插值法
,则可以用多项式
来近似函数
牛顿插值法其实和泰勒公式的思想一样,都是靠增大幂次来逼近函数。
遮掉
来看这个式子,其实就是直线方程,但显然直线方程来逼近这个函数是不够准确的,所以又加上了后一项试图使它更精确一点,和泰勒公式后面那一串二阶导三阶导等等都是异曲同工的。至于为什么是
,因为逼近的前提是得使已确定的两个点,即
仍然成立。还是遮掉后面看前面的直线方程,带人那两个点显然是成立的,那后面要再加上一部分使得这两点仍然成立,那只能加上这两点带入都为0的式子了
但多项式
和
还是存在很多误差的,所以考研用这个一般令
得到这个误差再来解题。总之这玩意现在就起一个构造辅助函数的作用
2.例题
例2.1:设函数满足
,且当
时,
,则当
时,有
(A)
(B)
(C)
(D)
思路:
显然先构造辅助函数
对A、B:
对C、D:
然后把四个选项变一下:
(A)
(B)
(C)
(D)比较大小,那就是看函数的增减性嘛,直接求个导就OK
当
时,
,所以
,递减
则,
A、B证毕,全错(没啥说的,这货来凑数的)
这边有点难度
下面包正的,看上面,但是发现不好看是吧。没事,还有
没用过
如果这里讲的不是中值定理,我想的肯定就是接着上面求导了,毕竟练习嘛,试试
令
,
递增
顺利的话,这时应该有一个下限或者一个下限,这个“限”还恰好是0,然后让
大于它或者小于它这样就能进而推出
和0的大小关系
所以为啥不接着写了呢?因为会发现这个“限”是找不到的,回到题目,以上都有一个前提条件“
”,也就说在取这个“限”的时候我们是不能取
的,只能从
或
里面取,但是它们又没确切的值(即不能得出
和0的大小关系),所以不用往下做都知道行不通
回到
,还是只看上面,因为下面包正的
已知条件还有
和
没用过,看看咋样才能把它们用上
有
与
,其实很明显了哈,拉格朗日中值定理
(当然,如果要说有二阶导为啥不用泰勒公式…用佩亚诺余项那个可以写,但是在这里不赘述,感兴趣可以私信我或者评论区扣我,我再单独发)
,其中
这样就变成了讨论
的增减了
因为
,所以
递增,
则
递增
解:
令
,
则,
A、B错
令
,
则,
所以
,
C错,D对
例2.2:设函数在区间
上具有三阶连续导数,且
,证明:在区间
内至少存在一点
,使
思路:
前面没啥难的,有啥用啥,有三阶导所以用泰勒公式,有
所以取
为0,有
所以取
为-1和1,列两个泰勒公式
先来个错误示范:
……①
……②
然后②-①直接得结论,完美
but,有点小细节。要注意,①和②是不同的泰勒公式,所以应该是不一样的
改一下:
……①
……②
还是照样②-①,得
由于三阶导在
上连续,由定理3平均值定理,存在
使得
例2.3:在
上二阶可导,
,证明
,使得
思路:
这题泰勒公式能做,但可以试试牛顿插值法。泰勒公式解法还是见我泰勒公式那篇文章。
取
,用牛顿插值法
则
,又因为
,带入则
所以
令
则有
用两次罗尔定理(定理6),则
,使得
因为
,所以
(看不懂没事,毕竟比起泰勒公式……这个方法在考研……有点鸡肋哈)
三、微分等式
1.概念
(1)根的存在性
①零点定理:在区间
上连续,且
,则区间
内至少一个根
②实系数奇次方程至少一个实根
比如
至少一个实根,因为最高次为5是奇数
(2)根的唯一性
①单调性:在区间
内单调,则区间
内至多一个根
②罗尔定理及其推论:至多k个根,则
至多k+n个根
2.例题
例3.1:在区间内,方程
的根的情况?
思路:
先看奇偶算是基操了(虽然我也老忘),明显的偶函数,那就只看正数部分
,以及
往后
都是大于0的。那就只看
很明显两头异号存在一个根嘛,那就看单调证唯一喽
单调递增,有且仅有一个根
但是别忘了还有小于0的部分,因为是偶函数,所以有且仅有两个根
例3.2:若,则方程
根的情况?
思路:
其实猜猜也能有答案了哈哈哈,实系数奇次方程至少一个实根,也没其它证明根存在的方法,毕竟没告诉a、b具体数,没办法用零点定理,必然是有且只有一个。咳咳,但还是严谨点走个流程
首先实系数奇次方程至少一个实根,那就先证证唯一性。
唯一性俩方法:单调or罗尔,反正都是求导,求呗。
这里单调显然不好看,求二阶导的话大可不必,毕竟这里证唯一如果是罗尔的话那必须是一阶导没有根,所以放弃接着求,直接看
如果高中没忘完应该是能想到
的。将
看作
,那就变成了
这里看作“开口向上无实根则恒大于0所以单调唯一”或是“一阶导无实根根据罗尔所以唯一”都可以,总之就是唯一,证毕
四、微分不等式
1.用函数性态证明不等式
(1)概念
①单调性:,则
②根据二阶导推一阶导单调性
③小于极大值大于极小值
④凹凸性:若,则有
(2)例题
例4.1.1:证明当时,有
解:
分别用单调性和凹凸性试试这题
单调性:
令
,
令
,
,
递减
凹凸性:
令
,
,
凸曲线
,
2.用常数变量化证明不等式
(1)概念
欲证的不等式都是常数,可以将其中一个常数换成变量
(2)例题
例4.2.1:,证
解:
令
递减
3.用中值定理证明不等式
(1)概念
主要用拉格朗日中值定理或泰勒公式
(2)例题
例4.3.1:,证
解:
又
一些题外话
因为一些原因,这个系列从去年12月一直断更到现在,真的很抱歉一停就是六个月,也很感谢还没脱粉的朋友,从现在开始恢复更新,一起加油!