微分中值定理(有关导数的定理) 简介: 这一章将讨论的时由导数 f ’ 的已知性质来推导函数 f 的性质 讨论的工具是关于函数导数的微分中值定理(包括罗尔定理,拉格朗日定理,柯西定理,泰勒定理),名字中的中值指的是定义域中的值 罗尔定理,拉格朗日定理 ----> 函数单调性问题 柯西定理 ,(洛必达法则) ----> 函数不定式极限问题 泰勒定理 ----> 函数的近似(逼近)问题 罗尔定理和拉格
一定要时刻明白自己在证什么!!!
证明函数不等式常用的有以下五种方法:
若在一个题目中涉及函数及其一阶、二阶(或高阶)导数,通常可以利用泰勒公式展开,在用泰勒展开时,既可以在给定点x0处展开,也可以在任意点x处展开。
方程根的问题通常是两个基本问题:
注意:使用定理标准格式:由。。可知,存在。。,使。。
A是B的充分条件(必要):A→B(B→A)
微分中值定理证明题通常主要是三类问题:
构造辅助函数的方法:(微分方程法)(F[]=0两边积分得G(x)=C)
得出(一个新的函数。。就是辅助函数G(x))=C,显而易见,这个函数的导数为0,且其与F[]的零点一致。
其本质就是:F[]=0两边积分,化为了辅助函数G(x)=C,所以G'(x)就是F[],它们的零点一致,使用罗尔定理(导函数的零点定理)便可求解。
有关定积分的证明题,常见是两类问题,证明与定积分有关的等式或不等式,在证明中常用的结论是积分不等式性质和积分中值定理。
定积分不等式:即 两个常数之间的比较,常数之间的不等式,不好求解,所以化为我们熟悉的函数不等式(一般换上限)进行求解。
适用于在α线性无关的条件下,β是α的式子。
用来解决递推关系x1=a和xn+1=f(xn)定义的数列,证明极限存在,收敛等。
一般关于单调性和有界性可以尝试利用数学归纳法来证明(但此方法要有目的性的去证明,而不是一步一步的推出一个原先没有想好的结果)(注意:如果没有递推关系,那就自己证明,或者用上一小题的结论证明;数学归纳法对此无效)
证明数列{xn}有下界0:
注意:由此可见使用数学归纳法需要一定的目的性,若一开始没有证明下界为0的目标,此方法就完全用不出来了。
有些题目中关于单调性与有界性的证明有先后次序之分,需要及时调整证明次序(证明单调性时需用有界性,从而必先证明数列有界;或证明有界性时需用单调性,从而必先证明数列的单调性)
判断单调性求解极值点,证明其极值点唯一,则为最值点
可知f'(1)=0(但不知是否有其他驻点,所以无法判断最值,还需继续判断f(x)的单调性)
∴f(1)为极小值(但不知是否有其他的极值点)
凹,极值点唯一,为最值点
注意:唯一极值点必是最值点。
极值点说明标准:f(x)在x=?处取得极值
通过做辅助函数并利用辅助函数的单调性来证明不等式的方法适用于相当广泛的一类问题,证明不等式f(x)>g(x)在区间(a,b)上成立(或不等式f(x)≥g(x)在区间[a,b]上成立)的一般程序是:
第二步,求导数F'(x),并确定F'(x)在所考虑区间上的符号,从而确定F(x)在该区间上的单调性(或最小值),由此判定F(x)的符号。
注意:若不能直接确定F'(x)的符号,还可继续求F''(x);或从F'(x)中分离出无法直接确定符号那一部分函数,再用它的导数来确定其符号,如此继续下去,知道能够确定F'(x)的符号为止。