关于无穷级数（幂级数）两项合并求和的等价性及证明中相关等式的疑问

嘿，这个问题提得特别到位——很多人刚开始琢磨级数项的合并、重排时，都会被交替级数的反直觉特性绕进去，你的担心完全合理。咱们一步步理清楚：

什么时候允许对级数（包括幂级数）做两项合并的操作？ #

核心看原级数的收敛类型：

• 绝对收敛是安全线：如果原级数$\sum a_n$绝对收敛（也就是$\sum |a_n|$收敛），那不管你怎么重排项，或者像这样把相邻两项打包成一项，新级数的收敛性和最终的和都会和原级数完全一致。这是绝对收敛级数的核心性质之一，合并两项本质上就是一种简单的“分组重排”，只要不遗漏、不重复任何项，就完全没问题。
• 条件收敛或发散时要谨慎：如果原级数只是条件收敛（比如经典的莱布尼茨级数$\sum_{n=1}^\infty \frac{(-1)^{{n+1}}{n}$），合并相邻两项后级数依然会收敛，而且和原级数的和相等（因为原级数的部分和子列$S_{2k}$就是合并后级数的部分和，而原级数收敛意味着$S_{2k}$和$S_{2k+1}$都趋于同一个极限）。但如果原级数是发散的，就可能出现你担心的情况：比如$\sum_{n=1}}\infty (-1)^{n$，原级数明显发散，但把相邻两项合并后得到$\sum_{k=1}}\infty [(-1)^{2k-1}+(-1){2k}] = \sum_{k=1}^\infty 0$，结果收敛到0。这种情况下，合并前后的级数就不能等价看待了。

为什么你的证明里这个操作是可行的？ #

你提到这是幂级数的场景，这就戳中了关键：
幂级数在它的收敛区间内部（不包括收敛端点时）是绝对收敛的！也就是说，只要$x$取在收敛区间内，$\sum c_n x^n$的绝对值级数$\sum |c_n x^n|$一定收敛。这时候按照上面说的绝对收敛级数的性质，把相邻两项合并成一项，完全不会改变级数的收敛性和求和结果，自然可以放心地用这个等式。

如果是在收敛区间的端点处，幂级数可能变成条件收敛的级数，这时候就需要单独分析能不能合并项了，但通常证明里的这类等式都是针对收敛区间内部的情况，所以没问题。

备注：内容来源于stack exchange，提问作者david h