第一节 微分中值定理
Tables of Content
I. 罗尔定理
极值:若,使得,若恒有,则在处取极小值;若恒有,则在处取极大值
费马引理:设函数在的某个邻域内有定义,并且在处可导,如果对于任意,有或,则
注:若,则称为的驻点,可导点 极值点 驻点
Proof
已知,,且存在
设,则,求:
左导数:
分子,分母,所以
右导数:
分子,分母,所以
又因为已知存在,则可知,最终可得
设函数在上连续,在内可导,且,则至少存在一个点,使得
Proof
因为在上连续,所以根据极值定理,在上必然存在最大值和最小值,考虑两种情况:
若:
在此情况下,最大值与最小值相等,所以在上,是一个常数函数,而常数函数的导数为零
若:
在此情况下,最大值与最小值不相等,则其中必然有一个最值点在内,因为若最值点在两侧端点,而,就会使得,所以内必然存在一个极值点,则根据费马引理可知,此极值点处的导数为零
Tip
罗尔定理的推论:
- 设在内可导,若,则在内至少存在一点,使得
- 设在内可导,若,则在内至少存在一点,使得
- 设在内可导,若,则在内至少存在一点,使得
- 设在内可导,若,则在内至少存在一点,使得
罗尔定理的应用:
为方程的根;根的存在性定理:零点定理、罗尔定理、费马引理
辅助函数的构造:
导数的四则运算:
利用不定积分
利用还原法:
利用微分方程
寻找满足罗尔定理的区间:零点定理、介值定理、费马引理、罗尔定理、拉格朗日中值定理、极值点、最值点、拐点、积分中值定理及其推广
例1:已知在上连续,在内可导(),且,证明:在区间内至少有一点,使得.
Answer
将原式进行恒等变换可得:
设函数:
则在上连续,在内可导,且,所以根据罗尔定理可知:
变换回原式可得:
例2:设函数在上具有二阶连续导数,,,证明:
存在,使得
Answer
由可知,与同号,假设、,则:
对于,当时,,则;
对于,当时,,则;
则根据极限的定义可知:
- ,使得当时,;
- ,使得当时,;
取点和,可得,且在上连续,则根据零点定理可知,,使得;
假设、,则:
对于,当时,,则;
对于,当时,,则;
则根据极限的定义可知:
- ,使得当时,;
- ,使得当时,;
取点和,可得,且在上连续,则根据零点定理可知,,使得;
则最终可得:,使得.
存在,使得
Answer
由上一问可知,,使得
对于区间,函数在上连续且可导,,则根据罗尔定理可知:,使得;
对于区间,函数在上连续且可导,,则根据罗尔定理可知:,使得;
对于区间,函数在上连续且可导,,则根据罗尔定理可知:,使得;
又因为,而,则,可得:,使得.
例3:设在内二阶可导,且,其中. 试证明:在内至少有一点,使得.
Answer
因为,则:
又因为,则:
由此可知,则:
而:
则最终可得:
例4:设函数在上连续,在内可导,且,试证明:在内存在,使得.
Answer
分析:把换成,有,由其可得,故等式左侧原函数为
令,则在上连续且在内可导
因为:
则:
又因为在处连续,则:
则:
而:
则,由罗尔定理可知:
而:
则:
又因为,则,则最终可得:
例5:设函数在上连续,在内可导,且,,试证明:
- 存在,使得;
- 对任意实数,必存在,使得.
Answer
证明一:
令,则在上连续
因为,所以:
又因为,所以:
故由零点定理可得:
则最终可得:
证明二:
分析:由可以得到,这种形式可以构造
令,则在上连续且在内可导
由(1)可知:
则:
又因为,则:
所以由罗尔定理可得:
而:
则:
则:
则最终可得:
II. 拉格朗日中值定理
设函数在上连续,在内可导,则至少存在一个点,使得:
Proof
已知在上连续,在内可导,求证:
设函数,则:
可见,且函数在上连续、在内可导,则根据罗尔定理可知:
则最终移项即可证得:
Tip
拉格朗日中值定理本质是是罗尔定理的推广,罗尔定理是拉格朗日中值定理当时的特殊情况,而拉格朗日中值定理的几何含义则是:一条满足条件的曲线,在内至少存在一个点,使得在此点处的曲线的切线的斜率等于曲线在此区间的两侧端点的连线的斜率;或是在内至少存在一个点,使得在此点处的瞬时变化率等于曲线在此区间的平均变化率
推论:如果函数在区间上连续,内可导且导数恒为零,那么在区间上是一个常数
例6:设函数在上连续,在内可导,证明:在内至少存在一点,使得.
Answer
设函数,则,且在上连续,在内可导
对于函数,在区间上应用拉格朗日中值定理,则有:
即:
例7:已知函数在上连续,在内可导,且、,试证明:在内至少有一点,使得.
Answer
令,则在上连续且在内可导
因为,所以:
又因为,所以:
则由拉格朗日中值定理可得:
而:
则最终可得:
例8:设,试证明:.
Answer
设,则在上连续且在内可导
根据拉格朗日中值定理可知:
而:
则:
又因为:
所以:
则最终可得:
例9:求极限.
Answer
对在上使用拉格朗日中值定理,则有:
将其代入原式后:
III. 柯西中值定理
设函数、在上连续,在内可导,且,则至少存在一个点,使得:
Proof
设函数、,它们在上连续、在内可导,且,试证明柯西中值定理
设函数:
则其在上连续、在内可导,且:
显然,则由罗尔定理可知:
又因为,则:
例10:设,试证明:存在一点,使得.
Answer
设、,则、皆在上连续、在内可导,且
根据柯西中值定理,可知:
即:
整理可得:
例11:设函数在上连续,在内可导,且,试证明:存在,使得.
Answer
设,则在上连续且在内可导
根据柯西中值定理,可知:
根据拉格朗日中值定理,可知:
则:
即:
IV. 泰勒公式
Proof
若函数在处阶可导,则必存在邻域,使得,有:
其中为皮亚诺余项、为拉格朗日余项,其中.
首先,令、;然后,若在处可微,则有:
即:
移项可得:
尝试用一个次多项式来近似函数值,设:
且:
其中为的高阶无穷小,则:
将代入可得:
将代入可得:
将代入可得:
将代入可得:
将代入可得:
由此可将重写为:
当时:
考虑这个极限:
将此推广即可得到皮亚诺余项形式的泰勒公式:
再尝试求出的具体表达式,考虑这个式子:
其中:
对其使用柯西中值定理:
其中:
对其再次使用柯西中值定理:
其中:
对其再次使用柯西中值定理:
于是:
将此推广即可得到拉格朗日余项形式的泰勒公式:
4.1 带拉格朗日余项的泰勒公式
设,在内有阶导数,则对任意,皆有:
其中(介于与之间)
4.2 带佩亚诺余项的泰勒公式
设在点的某邻域内有阶导数,则在此邻域内,有:
其中
麦克劳林公式:
上述公式当时即为麦克劳林公式:
其中或(介于与之间)
4.3 常用的麦克劳林展开式
例12:设函数在处的3次泰勒多项式为,则、、的值是多少?
Answer
直接就是一手泰勒展开:
显然可见:
例13:函数在处的阶导数的值是多少?
Answer
直接就是一手泰勒展开:
随后计算各阶导数值以找到规律:
最终可以推断出:
例14:设函数在区间上有三阶导数,且,试证明:在区间内至少存在一点,使得.
例15:试确定常数和,使为当时关于的5阶无穷小。
Answer
由题可得:
当场就是一个泰勒展开:
为保证结果不为零,则分子中小于五次的项必须被干掉,即:
解得: