求证：若∑ₙ=1^∞aₙ²收敛则limₙ→∞(1/√n)∑ₖ=1ⁿaₖ=0，寻求初等替代证法

嘿，我来分享几个更贴近初等数学的证明思路，避开你提到的那种Cauchy-Schwarz拆分方式～先明确下问题的背景：

这个问题源于希尔伯特空间中的弱收敛问题：设$(e_i){i=1}^\infty$是希尔伯特空间$H$中的标准正交列，求证$u_n = \frac{1}{\sqrt{n}}\sum{k=1}^n e_k$弱收敛到0。而核心需要证明的就是标题中的数列极限结论。

证法一：收敛定义+基础平方估计 #

设$S_n = \sum_{k=1}^n a_k^{2$，因为$\sum_{n=1}}\infty a_n^{2$收敛，所以${S_n}$是收敛数列，不仅有极限，还满足：对任意$\epsilon>0$，总能找到正整数$N$，当$m>N$时，$\sum_{k=m}}\infty a_k^2 < \frac{\epsilon^2}{2}$。

我们把要估计的式子拆成两部分：
$$
\frac{1}{\sqrt{n}}\sum_{k=1}^n a_k = \frac{1}{\sqrt{n}}\sum_{k=1}^N a_k + \frac{1}{\sqrt{n}}\sum_{k=N+1}^n a_k
$$

• 第一部分：$\sum_{k=1}^N a_k$是个固定的常数（毕竟$N$是我们选定的确定值），所以当$n$足够大时，比如$n > \frac{4}{\epsilon^{2}\left(\sum_{k=1}}N a_k\right)^2$，这部分的绝对值就会小于$\frac{\epsilon}{2}$。
• 第二部分：这里用一个超初等的不等式——对任意一组实数$b_1,b_2,...,b_m$，有$\left(\sum_{i=1}^m b_i\right)^2 \leq m\sum_{i=1}^m b_i^2$（直接展开平方就能验证，完全不用柯西不等式的一般形式）。套用这个不等式：
  $$
  \left|\frac{1}{\sqrt{n}}\sum_{k=N+1}^n a_k\right|^2 \leq \frac{1}{n} \cdot (n-N) \cdot \sum_{k=N+1}^n a_k^2 < \frac{1}{n} \cdot n \cdot \frac{\epsilon^2}{2} = \frac{\epsilon^2}{2}
  $$
  所以这部分的绝对值小于$\frac{\epsilon}{\sqrt{2}} < \frac{\epsilon}{2}$。

把两部分合起来，当$n$足够大时，$\left|\frac{1}{\sqrt{n}}\sum_{k=1}^n a_k\right| < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon$。根据极限的定义，我们就证明了结论。

证法二：利用通项趋于0+分段估计 #

因为$\sum_{n=1}^\infty a_n^2$收敛，所以它的通项$a_n$必然趋于0（收敛级数的通项极限为0），同时平方和的尾部可以任意小。

对任意$\epsilon>0$，我们先选一个$N$，使得：

1. 当$k>N$时，$|a_k| < \frac{\epsilon}{2}$；
2. $\sum_{k=N+1}^\infty a_k^2 < \frac{\epsilon^2}{4}$。

对于$n>N$，我们把$\sum_{k=1}^n a_k$拆成前$N$项和后$n-N$项：
$$
\frac{1}{\sqrt{n}}\sum_{k=1}^n a_k = \frac{1}{\sqrt{n}}\sum_{k=1}^N a_k + \frac{1}{\sqrt{n}}\sum_{k=N+1}^n a_k
$$

• 前一项和证法一一样，当$n$足够大时，固定的分子除以$\sqrt{n}$会小于$\frac{\epsilon}{2}$；
• 后一项我们用两个简单估计：首先$\left|\sum_{k=N+1}^n a_k\right| \leq \sum_{k=N+1}^n |a_k|$，而$\sum_{k=N+1}^n |a_k| \leq \sqrt{(n-N)\sum_{k=N+1}^n a_k^2}$（这其实就是柯西不等式的简单形式，也可以用刚才的平方展开不等式推导），代入条件2得：
  $$
  \left|\sum_{k=N+1}^n a_k\right| < \sqrt{n \cdot \frac{\epsilon^2}{4}} = \frac{\epsilon \sqrt{n}}{2}
  $$
  两边除以$\sqrt{n}$，就得到这部分的绝对值小于$\frac{\epsilon}{2}$。

同样，两部分加起来小于$\epsilon$，满足极限定义，结论得证。

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