高数中的重要定理与公式及其证明(四)

在这里，没有考不上的研究生。跨考魔鬼集训营01高数中的重要定理与公式及其证明（四）考研数学中最让考生头疼的当属证明题，而征服证明题的第一关就是教材上种类繁多的定理证明。如果本着严谨的对待数学的态度，一切定理的推导过程都是应该掌握的。但考研数学毕竟不是数学系的考试，很多时候要求没有那么高。而有些定理的证明又过于复杂，硬要要求自己掌握的话很多时候可能是又费时又费力，最后还弄得自己一头雾水。因此，在这方面可以有所取舍。现将高数中需要掌握证明过程的公式定理总结如下。这些证明过程，或是直接的考点，或是蕴含了重要的解题思想方法，在复习的初期，先掌握这些证明过程是必要的。1）泰勒公式（皮亚诺余项）设函数()fx在点0x处存在n阶导数，则在0x的某一邻域内成立200'''()000000()()()()...()2!!nnnxxxxfxfxxxfxfxfxoxxn【点评】：泰勒公式在计算极限、高阶导数及证明题中有很重要的应用。对于它们，我们首要的任务是记住常见函数（sin,cos,ln(1),,(1)xaxxxex）在0x处的泰勒公式，并能利用它们计算其它一些简单函数的泰勒公式，然后在解题过程中加以应用。在复习的前期，如果基础不是很好的话，两种不同形式的泰勒公式的证明可以先不看。但由于证明过程中所用到的方法还是很常用的。因此把它写在这里。证明：令200'''()00000()()()()()...()2!!nnxxxxRxfxfxxxfxfxfxn则我们要证明0()nRxoxx。由高阶无穷小量的定义可知，需要证明00()lim0nxxRxxx。这个极限式的分子分母都趋于零，并且都是可导的，因此用洛必达法则得001''''()00000100()()()...()1!()limlimnnnnxxxxxxfxfxxxfxfxnRxxxnxx再次注意到该极限式的分子分母仍趋于零，并且也都是可导的，因此可以再次运用洛必达法在这里，没有考不上的研究生。跨考魔鬼集训营02则。不难验证该过程可以一直进行下去，运用过1n次洛必达法则后我们可以得到000(1)(1)()00000(1)(1)()000()()()()limlim!()()()lim!!nnnnxxxxnnnxxfxfxxxfxRxnxxxxfxfxfxnxxn由于()fx在点0x处存在n阶导数，由导数的定义可知0(1)(1)()000()()lim()nnnxxfxfxfxxx代入可得00()lim0nxxRxxx。证毕注：这个定理很容易得到如下错误的证明：直接用n次洛必达法则后得到00()()00()limlim()()0nnnxxxxRxfxfxxx错误的原因在于定理条件中仅告知了()fx在点0x处存在n阶导数，并没有说明在其它点处的n阶导数是否存在。就算其它点处的n阶导数也存在，()()nfx也不一定连续，0()()0lim()()0nnxxfxfx也不一定成立。希望大家注意。2）泰勒公式（拉格朗日余项）设函数()fx含有点0x的某个开区间(,)ab内有直到1n阶导数，则对(,)ab内任意一点x，都成立200'''()00000()()()()...()()2!!nnnxxxxfxfxxxfxfxfxRxn其中10(1)()()(1)!nnnxxRxfn，其中介于x和0x之间。【点评】：同上。证明：在这里，没有考不上的研究生。跨考魔鬼集训营03令200'''()00000()()()()()...()2!!nnxxxxRxfxfxxxfxfxfxn110()nnPxxx则我们需要证明(1)1()()()(1)!nnRxfPxn。由于010()()0nRxPx，因此01110()()()()()()nnnRxRxRxPxPxPx易知，1(),()nRxPx满足柯西中值的条件。因此，由柯西中值定理可知，在x和0x之间存在一点1使得''011'110111()()()()()()()1()nnnnRxRxRRPxPxPnP而10'''''()0000()()()()...()(1)!nnxxRxfxfxxxfxfxn因此，此时仍然有'00()()0nRxPx。则'''101110()()()11()(1)()()nnnRRxRnPnPPx。易知，'(),()nRxPx仍满足柯西中值的条件。因此，由柯西中值定理可知，在1和0x之间存在一点2使得''''''1022'10212()()()()111()()(1)()1()nnnnRRxRRnPPxnPnnP。由于1在x和0x之间，因此2也在x和0x之间。容易检验，上述过程可以一直进行下去，使用过1n次柯西公式后即可得到(1)1()()()(1)!nnRxfPxn。证毕注：在计算极限或确定无穷小量的阶时，一般用到皮亚诺余项的泰勒公式；在做证明题时用拉格朗日余项比较多。两种泰勒公式的条件是不同的，其中拉格朗日余项的条件更强，结论也更强。这两个定理的证明，如果基础不太好一时接受不了的话可以先跳过，到下一阶段再看。在这里，没有考不上的研究生。跨考魔鬼集训营043）定积分中值定理设函数()fx在区间[,]ab上连续，则在积分区间[,]ab上至少存在一点使得下式成立：()()()bafxdxfba【点评】：积分中值定理是定积分比较定理和闭区间上连续函数的介值定理的推论，它在是证明微积分基本定理的基础，在整个微积分中具有极大的理论意义。同时，证明题中对该定理的应用也比较常见，通常会和微分中值定理结合使用，考生首先应该熟记该定理的条件和结论。另外，考试中还出现过与该定理证明方法类似的证明题。因此，该定理的证明过程也是需要掌握的。该定理的证明过程教材上有，因为比较重要，也为了方便大家，在这里写一下我的证明过程证明：由于()fx在区间[,]ab上连续，由闭区间上连续函数的最值定理可知：()fx在区间[,]ab上可以取到最大与最小值。设最大值为M，最小值为m。则有(),,mfxMxab。则有()bbbaaamdxfxdxMdx，也即()()()bambafxdxMba两边同时除以()ba可得()bafxdxmMba。可知()bafxdxba是介于函数()fx在区间[,]ab上的最大值M和最小值为m之间的一个数。由闭区间上连续函数的介值定理可知，()fx能取到,mM上的一切数。因此在积分区间[,]ab上存在一点使得：()()bafxdxfba。也即()()()bafxdxfba。证毕附：下面是02年数三的一道证明题，证明方法与本定理很类似，大家可以试一试。【02年数三6分】：设函数(),()fxgx在,ab上连续，且()0gx。试利用闭区间上连续函数的性质，证明存在一点,ab，使得()()()()bbaafxgxdxfgxdx。