关于无穷项Maclaurin展开式是否等价于原函数的技术问询

这个问题问得特别好！其实你已经摸到了级数展开里一个非常关键的点——收敛域，这也是很多刚接触Maclaurin展开的同学容易忽略的地方。

核心结论：Maclaurin级数≠原函数在所有x处成立，仅在收敛域内等价 #

你的思路里有一个关键遗漏：虽然Maclaurin级数是基于原函数在$x=0$处的函数值和各阶导数构造的，能保证在$x=0$的局部和原函数完全匹配，但它的有效性是有范围的——只有当$x$落在级数的收敛域内时，级数的和才等于原函数；超出这个范围，级数要么发散，要么收敛到和原函数无关的值。

用你的例子具体分析 #

拿$f(x)=\frac{1}{1-x}$来说：

• 它的Maclaurin级数是几何级数$\sum_{n=0}^{\infty}xn = 1 + x + x^2 + x^3 + ...$
• 这个级数的收敛条件是$|x| < 1$：在这个区间内，级数的和确实严格等于原函数；
• 但当$|x| \geq 1$时，级数直接发散：比如$x=1$时，级数变成$1+1+1+...$趋向无穷，而原函数在$x=1$处根本无定义；$x=-1$时，级数是$1-1+1-1+...$震荡不收敛，可原函数在$x=-1$处的取值是$\frac{1}{2}$，完全不匹配。

为什么会出现这种“局部匹配、整体不匹配”的情况？ #

Maclaurin级数是局部信息的延拓：它只用到了原函数在$x=0$这一个点的各阶导数，所以只能保证在$x=0$的某个邻域（收敛域）内拟合原函数。如果原函数在定义域内存在奇点（比如$f(x)=\frac{1}{1-x}$在$x=1$处有奇点），那么级数的收敛半径会被这个离原点最近的奇点限制——收敛半径就是原点到最近奇点的距离（这里就是1），超出这个范围，级数就无法再准确代表原函数了。

补充：哪些函数的Maclaurin级数能全局等价？ #

也有特殊情况：像$e^x$、$\sin x$、$\cos x$这类整函数，它们在复平面上没有任何奇点，所以Maclaurin级数的收敛半径是无穷大，在整个实数域（甚至复数域）内都能收敛到原函数。但这类函数是少数，大多数函数的Maclaurin级数都有收敛范围的限制。

内容的提问来源于stack exchange，提问作者mrmonkey99