问题描述 #

已知$(a_n)$和$(b_n)$是两个收敛的实数列，满足$\lim_{n\rightarrow\infty}a_n = a$，$\lim_{n\rightarrow\infty}b_n = b$。若数列$(a_n + (-1)^n b_n)$和$((-1)^{n+1}a_n + b_n)$都收敛，证明$a = b = 0$。

你的思路分析 #

你提到利用子序列的性质来拆分分析，这个方向完全正确！带$(-1)^n$的数列本身就天然适合拆成奇偶子列来处理，而收敛数列的所有子列都必须收敛到同一个极限，这正是解决这个问题的关键突破口，你已经找对方向啦。

详细证明引导 #

我们沿着子序列的思路一步步推进：

1. 从第一个收敛数列入手

   • 对数列$(a_n + (-1)^n b_n)$取偶子列$n=2k$（$k$为正整数），子列变为$a_{2k} + b_{2k}$。因为$(a_n)$收敛到$a$，$(b_n)$收敛到$b$，根据极限的代数运算规则，这个偶子列的极限是$a + b$。
   • 再取奇子列$n=2k+1$，子列变为$a_{2k+1} - b_{2k+1}$，同理它的极限是$a - b$。
   • 由于原数列$(a_n + (-1)^n b_n)$是收敛的，所以它的所有子列极限必须相等，因此：
     $$a + b = a - b$$
     把等式整理一下，就能得到$2b = 0$，也就是$b = 0$。

2. 再分析第二个收敛数列

   • 对数列$((-1)^{n+1}a_n + b_n)$取偶子列$n=2k$，子列变为$-a_{2k} + b_{2k}$，极限为$-a + b$。
   • 取奇子列$n=2k+1$，子列变为$a_{2k+1} + b_{2k+1}$，极限为$a + b$。
   • 同样因为原数列收敛，所以这两个子列的极限必须相等：
     $$-a + b = a + b$$
     整理后得到$-a = a$，也就是$2a = 0$，所以$a = 0$。

3. 结论总结
   结合上面两步的结果，就直接得出了$a = b = 0$，完美完成证明。

另外，给你补充一个额外的验证思路：假设$x_n = a_n + (-1)^n b_n$收敛到$x$，$y_n = (-1)^{n+1}a_n + b_n$收敛到$y$，我们可以尝试计算$x_n + (-1)^n y_n$：
$$x_n + (-1)^n y_n = [a_n + (-1)^n b_n] + (-1)^n[(-1){n+1}a_n + b_n] = a_n + (-1)^n b_n - a_n + (-1)^n b_n = 2(-1)^n b_n$$
因为$x_n$和$y_n$都收敛，所以左边的数列也必须收敛，但$2(-1)^n b_n$如果要收敛，只有当$b=0$时才行（否则它会在$2b$和$-2b$之间来回震荡，根本没法收敛），同理再通过其他组合比如$(-1)^n x_n + y_n$就能推出$a=0$，这也是一种很巧妙的方法。

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