--- ## **1. 题目翻译与已知条件** 题面给出: \[ \sin\alpha + \sin\beta + \sin\gamma = 0 \] \[ \cos\alpha + \cos\beta + \cos\gamma = 0 \] 并且 \(\alpha, \beta, \gamma\) 是实数。 要证明: \[ \cos 3\alpha + \cos 3\beta + \cos 3\gamma = 3\cos(\alpha+\beta+\gamma) \] \[ \sin 3\alpha + \sin 3\beta + \sin 3\gamma = 3\sin(\alpha+\beta+\gamma) \] --- ## **2. 复数方法** 令 \[ u = e^{i\alpha}, \quad v = e^{i\beta}, \quad w = e^{i\gamma} \] 则 \[ \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}, \quad \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2} \] 题中两个条件可写成: \[ \frac{u - u^{-1}}{2i} + \frac{v - v^{-1}}{2i} + \frac{w - w^{-1}}{2i} = 0 \] \[ \frac{u + u^{-1}}{2} + \frac{v + v^{-1}}{2} + \frac{w + w^{-1}}{2} = 0 \] --- ### 个条件乘以 \(2i\): \[ (u - u^{-1}) + (v - v^{-1}) + (w - w^{-1}) = 0 \] 即: \[ (u+v+w) - (u^{-1} + v^{-1} + w^{-1}) = 0 \] 所以: \[ u+v+w = u^{-1} + v^{-1} + w^{-1} \] 但 \(u^{-1} = \bar u\)(因为 \(|u|=1\)),所以: \[ u+v+w = \bar u + \bar v + \bar w = \overline{u+v+w} \] 因此 \(u+v+w\) 是实数。 --- ### 第二个条件乘以 2: \[ (u + u^{-1}) + (v + v^{-1}) + (w + w^{-1}) = 0 \] 即: \[ (u+v+w) + (u^{-1} + v^{-1} + w^{-1}) = 0 \] 由前面 \(u^{-1}+v^{-1}+w^{-1} = u+v+w\)(因为等于其共轭且实数),代入: \[ (u+v+w) + (u+v+w) = 0 \] \[ 2(u+v+w) = 0 \] \[ u+v+w = 0 \] --- ## **3. 重要结论** 所以我们有: \[ e^{i\alpha} + e^{i\beta} + e^{i\gamma} = 0 \] 且三个复数模为 1。 --- ## **4. 用对称多项式求 \(e^{i(\alpha+\beta+\gamma)}\)** 设: \[ S_1 = u+v+w = 0 \] 设 \(S_2 = uv+vw+wu\),\(P = uvw = e^{i(\alpha+\beta+\gamma)}\)。 由于 \(u,v,w\) 在单位圆上,并且 \(u+v+w=0\),我们可以用恒等式: \[ |u+v+w|^2 = |u|^2+|v|^2+|w|^2 + 2\Re(uv+vw+wu) \] \[ 0 = 3 + 2\Re(S_2) \] 所以: \[ \Re(S_2) = -\frac{3}{2} \] 另外,从 \(u,v,w\) 是三次方程 \(z^3 - S_1 z^2 + S_2 z - P = 0\) 的根,即: \[ z^3 + S_2 z - P = 0 \] 因为模为 1,且 \(S_2\) 是某个复数,我们可以进一步确定 \(S_2\) 和 \(P\)。 --- 由于 \(u,v,w\) 在单位圆上,且 \(u+v+w=0\),一个经典结论是:它们构成单位圆内接等边三角形的顶点(在复平面上旋转对称排列),于是: \[ uv+vw+wu = S_2 \quad \text{的虚部? } \] 更直接的方法:设 \(u,v,w\) 是 \(x^3 - P = 0\) 的解? 不对,那样 \(S_1=0\) 不成立,除非 \(P=0\)(不可能)。 实际上,方程是 \(z^3 + S_2 z - P=0\),且每个根模为 1。 --- 用共轭性质:对单位根,\(\bar u = 1/u\),所以: \[ S_2 = uv+vw+wu = \frac{1}{u} + \frac{1}{v} + \frac{1}{w} \quad\text{? 检查:}\quad uv+vw+wu = \frac{1}{u} + \frac{1}{v} + \frac{1}{w} \cdot \frac{? }{? } \] 不对,实际上 \(1/u+1/v+1/w = \bar u + \bar v + \bar w = \overline{S_1} = 0\)。 所以 \(1/u+1/v+1/w = 0\)。 而 \(uv+vw+wu = \frac{uvw}{u} + \frac{uvw}{v} + \frac{uvw}{w} = P(1/u+1/v+1/w) = P \cdot 0 = 0\)? 这显然矛盾,因为 \(\Re(S_2) = -3/2\)。 所以我这里推理有问题。 我们仔细算: \[ \frac{1}{u}+\frac{1}{v}+\frac{1}{w} = \frac{vw+uw+uv}{uvw} = \frac{S_2}{P} \] 同时 \(\frac{1}{u}+\frac{1}{v}+\frac{1}{w} = \bar u+\bar v+\bar w = \overline{S_1} = 0\)。 所以: \[ \frac{S_2}{P} = 0 \quad \Rightarrow \quad S_2 = 0 \] 但这与 \(\Re(S_2) = -3/2\) 矛盾! 所以我在哪出错了? 注意:\(\bar u + \bar v + \bar w = \overline{S_1} = 0\) 是对的,但 \(\bar u = 1/u\) 只在 \(u\) 模为 1 时成立,所以: \[ 1/u + 1/v + 1/w = \bar u + \bar v + \bar w = 0 \] 且 \(1/u+1/v+1/w = \frac{uv+vw+wu}{uvw} = \frac{S_2}{P}\),所以 \(S_2/P = 0\) 得 \(S_2=0\)。 但前面由 \(|u+v+w|^2=0\) 推出: \[ |u|^2+|v|^2+|w|^2 + 2\Re(uv+vw+wu) = 3 + 2\Re(S_2) = 0 \] 得 \(\Re(S_2) = -3/2\)。 这个矛盾说明假设 \(u,v,w\) 是模为 1 且 \(u+v+w=0\) 时,\(\Re(S_2) = -3/2\) 和 \(S_2=0\) 不能同时成立,除非我算错 \(|u+v+w|^2\)。 检查: \[ |u+v+w|^2 = (u+v+w)(\bar u+\bar v+\bar w) = (u+v+w)(1/u+1/v+1/w) \] 因为 \(\bar u = 1/u\) 等。 而 \(1/u+1/v+1/w = (uv+vw+wu)/(uvw) = S_2/P\)。 所以: \[ |u+v+w|^2 = (u+v+w) \cdot \frac{S_2}{P} = S_1 \cdot \frac{S_2}{P} \] 但 \(S_1=0\),所以 \(|u+v+w|^2 = 0\) 自动成立,不给出关于 \(S_2\) 的信息。 所以之前我错误用了 \(|u+v+w|^2 = |u|^2+|v|^2+|w|^2 + 2\Re(uv+vw+wu)\),这个公式只当 \(u,v,w\) 是实数才成立? 不,对复数: \[ |u+v+w|^2 = |u|^2+|v|^2+|w|^2 + 2\Re(u\bar v + v\bar w + w\bar u) \] 但 \(u\bar v\) 不等于 \(uv\)(除非在实数时)。 所以我的错误在于把 \(uv\) 与 \(u\bar v\) 混淆了。 正确的公式: \[ |u+v+w|^2 = (u+v+w)(\bar u+\bar v+\bar w) = 3 + (u\bar v + \bar u v) + (v\bar w + \bar v w) + (w\bar u + \bar w u) \] \[ = 3 + 2\Re(u\bar v + v\bar w + w\bar u) \] 这里 \(u\bar v = e^{i(\alpha-\beta)}\) 等,与 \(uv\) 不同。 所以 \(\Re(S_2)\) 不等于 \(\Re(u\bar v + v\bar w + w\bar u)\),因此不能得出 \(\Re(S_2) = -3/2\)。 实际上 \(S_2\) 可以是 0,与条件一致。 --- ## **5. 重新用对称恒等式** 已知 \(S_1 = u+v+w=0\), \(S_2 = uv+vw+wu\), \(P=uvw\)。 由 \(1/u+1/v+1/w = S_2/P = \bar S_1 = 0\),所以 \(S_2 = 0\)。 所以三个数 \(u,v,w\) 满足: \[ u+v+w=0, \quad uv+vw+wu=0 \] 那么它们就是方程 \(z^3 - P = 0\) 的三个根? 因为 \(z^3 - S_1 z^2 + S_2 z - P = z^3 - P = 0\)。 所以: \[ z^3 = P = e^{i(\alpha+\beta+\gamma)} \] 即 \(u^3 = v^3 = w^3 = e^{i(\alpha+\beta+\gamma)}\)。 --- ## **6. 证明结论** 我们要求: \[ \cos 3\alpha + \cos 3\beta + \cos 3\gamma = \Re(u^3+v^3+w^3) \] \[ \sin 3\alpha + \sin 3\beta + \sin 3\gamma = \Im(u^3+v^3+w^3) \] 但 \(u^3 = v^3 = w^3 = e^{i(\alpha+\beta+\gamma)}\),所以: \[ u^3+v^3+w^3 = 3e^{i(\alpha+\beta+\gamma)} \] 因此: \[ \Re(u^3+v^3+w^3) = 3\cos(\alpha+\beta+\gamma) \] \[ \Im(u^3+v^3+w^3) = 3\sin(\alpha+\beta+\gamma) \] 这正是要证的。 --- ## **7. 最终答案** \[ \boxed{\text{见上推导}} \] 我们证明了: \[ \cos 3\alpha + \cos 3\beta + \cos 3\gamma = 3\cos(\alpha+\beta+\gamma) \] \[ \sin 3\alpha + \sin 3\beta + \sin 3\gamma = 3\sin(\alpha+\beta+\gamma) \]