Cantor-Lebesgue定理证明疑问：系数趋于0的推导步骤不解

嘿，我来帮你拆解这一步困惑——其实这就是三角分析里非常常用的振幅-相位标准化变形，目的是把复杂的线性组合三角项转化成更简洁的形式，方便后续结合可测集的性质推导结论。我们一步步来理清楚：

1. 核心定义的逻辑 #

对于任意实数 $a_n, b_n$，证明里的操作本质是做了两个关键定义：

• 首先定义 $r_n = \sqrt{a_n^2 + b_n^2}$：这是单个三角项 $f_n(x)=a_n\cos(nx)+b_n\sin(nx)$ 的振幅，也就是这个函数能取到的最大值（根据三角不等式，$|a_n\cos(nx)+b_n\sin(nx)| \leq \sqrt{a_n^2 + b_n^2}$，而且等号一定能取到）。
• 然后定义 $\theta_n$：满足 $\cos\theta_n = \frac{a_n}{r_n}$、$\sin\theta_n = \frac{b_n}{r_n}$ 的角度。这个角度必然存在，因为 $\left(\frac{a_n}{r_n}\right)^2 + \left(\frac{b_n}{r_n}\right)^2 = 1$，相当于把点$(a_n,b_n)$投影到单位圆上对应的角度，用$\arctan2(b_n,a_n)$就能确定它的象限。

至于$a_n=0$且$b_n=0$的情况，直接取$r_n=0$、$\theta_n=0$就行，这是个平凡的边界情况，不影响后续推导。

2. 变形的实际作用 #

把$a_n$和$b_n$用$r_n$、$\theta_n$替换后，我们可以用余弦的差角公式验证：
$$
\begin{align*}
r_n\cos(nx - \theta_n) &= r_n\left[\cos(nx)\cos\theta_n + \sin(nx)\sin\theta_n\right] \
&= r_n\cos\theta_n \cdot \cos(nx) + r_n\sin\theta_n \cdot \sin(nx) \
&= a_n\cos(nx) + b_n\sin(nx) = f_n(x)
\end{align*}
$$

为什么要做这个变形？因为$f_n(x)$变成$r_n\cos(nx - \theta_n)$后，我们能更方便地利用题目里的条件：$E$是测度大于0的可测集，且级数在$E$上收敛。后续证明会基于这个简洁形式，推导出$r_n \to 0$——而$r_n$是$a_n$和$b_n$的模长，模长趋于0自然等价于$a_n \to 0$且$b_n \to 0$，这正是定理要证的结论。

3. 对应你看到的证明片段 #

你给出的证明里写的：
$$a_n=\sqrt{a_n^2 + b_n^{2}\cdot\frac{a_n}{\sqrt{a_n}2 + b_n^2}},\quad b_n=\sqrt{a_n^2 + b_n^{2}\cdot\frac{b_n}{\sqrt{a_n}2 + b_n^2}}$$
其实就是把$a_n$拆成$r_n \cdot \cos\theta_n$、$b_n$拆成$r_n \cdot \sin\theta_n$的直接写法——$\sqrt{a_n^2+b_n2}$就是$r_n$，后面的分式就是$\cos\theta_n$和$\sin\theta_n$，只是证明里没直接写出$\theta_n$的定义而已。

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