证明

设函数 在点 的某邻域 内能展开成幂级数

在 内应有任意阶导数,且

由此可得

于是

则

麦克劳林级数

取 则

此式为麦克劳林展开式