证明

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

内应有任意阶导数,且

由此可得

于是

麦克劳林级数

此式为麦克劳林展开式