带有佩亚诺型余项的泰勒公式的新证明摘要：本文用数学归纳法给出了带有佩亚诺型余项的泰勒公式的新证明，证明过程简洁严密，且便于学生理解。关键词：泰勒公式；数学归纳法；佩亚诺型余项泰勒公式是一元微积分学的一个重要内容，它是分析学中讨论解析函数性质的基础，是大学一年级理工科学生必需掌握的内容。带有拉格朗日型余项的泰勒公式的证明有两种方法：一种是多次引用柯西中值定理，可见文献[1]中的证明；另一种是用罗尔中值定理，可见文献[2]中定理 5.18的证明。关于泰勒公式的各种余项可参见文献[3]中的讨论，在此不再赘述。文献[4]中指出，假如 f■（x）有界，当 x→x0 时，泰勒公式的拉格朗日型余项可换为佩亚诺型余项这样就得到了带有佩亚诺型余项 o（（x-x0）n）的泰勒公式。此公式在文献[4]中未给出证明，阻碍了它的使用；对数学专业学生讲解时，也需要补充大量的细节才得以证明。在此，我们给出它的新证明，说明只需要存在 f■（x）即可。所用的证明方法是学生熟悉的数学归纳法。文献[3]中曾用此方法证明过该公式，但符号比较抽象，不便于学生理解，很多教科书中未采纳。我们以定理的形式给出带有佩亚诺型余项的泰勒公式：定理：设 f■（x0）存在，则f（x）=f（x0）+■■（x-x0）i+o（（x-x0）n），（x→x0）（1）定理中没有出现 f■（x），也就是对 f■（x）的存在性及其性质均没有要求。实际上，当 n=1 时，（1）式为有限增量公式，f"（x）与无关，这更使我们坚信定理的正确性。证：只要证■■=0成立即可。用数学归纳法。设 f"（x0）存在，则：■■=f"（x0）所以：■■=■（■-f"（x0））=0，即当 n=1 时结论成立。假设存在正整数 k，使当 n=k 时结论成立。当f■（x0）存在时，则 f"（x）在 x0 处有 k 阶导数，这时对 f"（x）运用归纳法，有：■■=0再根据洛必达法则，就得到：所以当 n=k+1 时结论也成立。根据数学归纳法，对一切正整数 n，结论都成立。利用归纳法证明本定理，详尽流畅，更严谨，更有逻辑性，关键在于对 f"（x）利用归纳法的讲解。本定理摆脱了文献[4]中 f■（x）有界这一条件的限制，使用该定理解决一些难题将非常简便，比如文献[4]中总习题三带*的第 18 题。现以例题的形式给出：例：设 f■（x0）存在，且 f（x0）=f"（x0）=…=f■（x0）=0，证明：f（x）=o[（x-x0）n]（x→x0）将该题的条件代入定理，立得该题结论。
