📋 详细解题步骤
目标：分析条件与选项
题目给出条件：$\lim_{n \to \infty} a_n = 0$，即数列 $\{a_n\}$ 收敛于0。需要判断四个级数收敛性命题的真假。四个选项如下：
(A) $\sum_{n=1}^{\infty} a_n$ 收敛
(B) $\sum_{n=1}^{\infty} (-1)^n a_n$ 收敛
(C) $\sum_{n=1}^{\infty} a_n a_{n+1}$ 收敛
(D) $\sum_{n=1}^{\infty} (a_n^2 - a_{n+1}^2)$ 收敛
首先明确：仅由 $\lim a_n = 0$ 不能保证任何级数收敛，因为 $a_n$ 可以趋于0但速度很慢（如 $a_n = 1/n$），此时 (A) 发散（调和级数）。对于 (B)，若 $a_n$ 单调递减趋于0，则由莱布尼茨判别法知交错级数收敛，但题目未给出单调性，反例：$a_n = \frac{1}{n} + (-1)^n \frac{1}{\sqrt{n}}$，此时 $a_n \to 0$，但 $(-1)^n a_n$ 不满足莱布尼茨条件，且可能发散。对于 (C)，考虑 $a_n = \frac{1}{\sqrt{n}}$，则 $a_n a_{n+1} \sim \frac{1}{n}$，级数发散。对于 (D)，注意到 $\sum_{n=1}^{N} (a_n^2 - a_{n+1}^2) = a_1^2 - a_{N+1}^2$，当 $N \to \infty$ 时，$a_{N+1}^2 \to 0$，所以部分和收敛于 $a_1^2$，故级数 (D) 总是收敛的。因此只有 (D) 是真命题。
本步骤目标：明确已知条件，分析每个选项所需满足的额外条件，初步判断哪些命题可能为真。
公式：\lim_{n \to \infty} a_n = 0 \quad \text{且} \quad \sum_{n=1}^{N} (a_n^2 - a_{n+1}^2) = a_1^2 - a_{N+1}^2
提示：牢记：通项趋于0只是级数收敛的必要非充分条件；对于级数(D)，直接写出部分和是关键。
目标：证明选项(C)正确
已知数列 $\{a_n\}$ 有界，即存在常数 $M>0$，使得对一切 $n$ 有 $|a_n| \leq M$。又已知级数 $\sum |b_n|$ 收敛，根据级数收敛的必要条件，通项趋于零，即 $\lim_{n\to\infty} |b_n| = 0$，从而 $\lim_{n\to\infty} b_n = 0$。
由于 $b_n \to 0$，当 $n$ 充分大时，有 $|b_n| < 1$，此时 $b_n^2 \leq |b_n|$（因为 $|b_n| \leq 1$ 时，平方不大于本身）。于是对于充分大的 $n$，有
$$a_n^2 b_n^2 \leq M^2 b_n^2 \leq M^2 |b_n|.$$
而级数 $\sum M^2 |b_n| = M^2 \sum |b_n|$ 收敛，由比较审敛法（正项级数比较判别法）可知，正项级数 $\sum a_n^2 b_n^2$ 收敛。因此选项(C)正确。
公式：$$a_n^2 b_n^2 \leq M^2 b_n^2 \leq M^2 |b_n|$$
提示：利用有界性放缩 $a_n^2$ 为常数，再利用 $b_n\to0$ 时 $b_n^2\leq|b_n|$ 进行比较。
目标：构造反例排除选项(A)
为了排除选项(A)，我们需要构造一个具体的反例，使得条件成立但结论不成立。选项(A)的表述是：若级数$\sum_{n=1}^{\infty} b_n$收敛，则级数$\sum_{n=1}^{\infty} a_n b_n$也收敛。我们取$a_n = \frac{(-1)^n}{\sqrt{n}}$，$b_n = \frac{(-1)^n}{\sqrt{n}}$。首先验证$\sum_{n=1}^{\infty} b_n$的收敛性：$b_n = \frac{(-1)^n}{\sqrt{n}}$，这是一个交错级数，且$\frac{1}{\sqrt{n}}$单调递减趋于0，由莱布尼茨判别法知$\sum_{n=1}^{\infty} b_n$收敛。然后计算$a_n b_n = \frac{(-1)^n}{\sqrt{n}} \cdot \frac{(-1)^n}{\sqrt{n}} = \frac{1}{n}$，因此$\sum_{n=1}^{\infty} a_n b_n = \sum_{n=1}^{\infty} \frac{1}{n}$，这是调和级数，发散。于是我们找到了满足$\sum b_n$收敛但$\sum a_n b_n$发散的反例，从而选项(A)不正确。
公式：$$a_n = \frac{(-1)^n}{\sqrt{n}}, \quad b_n = \frac{(-1)^n}{\sqrt{n}}, \quad \sum_{n=1}^{\infty} b_n \text{ 收敛}, \quad \sum_{n=1}^{\infty} a_n b_n = \sum_{n=1}^{\infty} \frac{1}{n} \text{ 发散}$$
提示：构造反例时，常取$a_n$和$b_n$为同号或异号的交错项，使乘积成为发散级数。
目标：构造反例排除选项(B)
为了排除选项(B)，我们需要构造一个反例，使得条件“$\sum b_n$ 发散”成立，但结论“$\sum a_n b_n$ 发散”不成立。
取 $a_n = \frac{1}{n}$，$b_n = \frac{1}{n}$。
首先验证条件：$\sum b_n = \sum \frac{1}{n}$ 是调和级数，它是发散的。
然后计算 $\sum a_n b_n$：
$$a_n b_n = \frac{1}{n} \cdot \frac{1}{n} = \frac{1}{n^2}.$$
而 $\sum \frac{1}{n^2}$ 是 $p=2>1$ 的 $p$ 级数，它是收敛的。
因此，在这个反例中，$\sum b_n$ 发散，但 $\sum a_n b_n$ 收敛，这说明选项(B)的结论不一定成立，从而排除选项(B)。
注意：这里 $a_n$ 和 $b_n$ 均为正项数列，且 $a_n \to 0$，$b_n \to 0$，满足题目的一般条件。
公式：$$a_n = \frac{1}{n},\quad b_n = \frac{1}{n},\quad \sum b_n = \sum \frac{1}{n}\ \text{发散},\quad \sum a_n b_n = \sum \frac{1}{n^2}\ \text{收敛}$$
提示：构造反例时，常用调和级数发散和p级数收敛的组合。
目标：构造反例排除选项(D)
为了排除选项(D)，即说明“若级数$\sum|b_n|$发散，则级数$\sum a_n^2 b_n^2$未必收敛”，我们需要构造一个具体的反例。
取$a_n = \frac{1}{\sqrt{n}}$，$b_n = \frac{1}{\sqrt{n}}$，其中$n=1,2,3,\dots$。
首先验证$\sum|b_n|$的发散性：
$$\sum_{n=1}^{\infty}|b_n| = \sum_{n=1}^{\infty}\frac{1}{\sqrt{n}}$$
这是$p=\frac{1}{2}$的$p$级数，由于$p\le 1$，该级数发散。
其次计算$\sum a_n^2 b_n^2$：
$$a_n^2 b_n^2 = \left(\frac{1}{\sqrt{n}}\right)^2 \cdot \left(\frac{1}{\sqrt{n}}\right)^2 = \frac{1}{n} \cdot \frac{1}{n} = \frac{1}{n^2}$$
因此
$$\sum_{n=1}^{\infty} a_n^2 b_n^2 = \sum_{n=1}^{\infty}\frac{1}{n^2}$$
这是$p=2$的$p$级数，由于$p>1$，该级数收敛。
于是我们找到了一个反例：$\sum|b_n|$发散，但$\sum a_n^2 b_n^2$收敛。这表明选项(D)的结论不一定成立，因此(D)不是必然正确的命题。
至此，通过逐一分析四个选项，我们得出正确选项为(C)。
公式：$$a_n=\frac{1}{\sqrt{n}},\quad b_n=\frac{1}{\sqrt{n}},\quad \sum_{n=1}^{\infty}\frac{1}{\sqrt{n}}\text{发散},\quad \sum_{n=1}^{\infty}\frac{1}{n^2}\text{收敛}$$
提示：构造反例时，常选用$p$级数，通过调整$p$值控制敛散性。