如何将复数分解为两个单位模复数之和？0≤|z|≤2时是否可行？

阿华AIGC实验室

2026-5-19

复数分解为两个单位模复数之和的可行性与解法

好问题！咱们一步步来拆解这个复数分解的问题～

结论先行：完全可行！

对于任意满足 $0 \leq |z| \leq 2$ 的复数 $z=x+iy \in \mathbb{C}$，一定能找到两个单位模复数 $e^{i\phi_1}$ 和 $e^{i\phi_2}$，使得 $z = e^{i\phi_1} + e^{i\phi_2}$。

从你给出的实部虚部方程推导解法

你已经把问题拆解成了两个实方程：
\begin{eqnarray}
\cos(\phi_1) + \cos(\phi_2) & = & x \
\sin(\phi_1) + \sin(\phi_2) & = & y
\end{eqnarray}
这组非线性方程看起来有点棘手，但用三角恒等式就能轻松简化：

平方相加消元
把两个方程分别平方后相加：
$$(\cos\phi_1 + \cos\phi_2)^2 + (\sin\phi_1 + \sin\phi_2)^2 = x^2 + y^2$$
展开左边，利用 $\cos^2\theta + \sin^2\theta = 1$ 化简，再结合余弦差角公式 $\cos(\phi_1 - \phi_2) = \cos\phi_1\cos\phi_2 + \sin\phi_1\sin\phi_2$，最终得到：
$$2 + 2\cos(\phi_1 - \phi_2) = |z|^2$$
整理后：
$$\cos(\phi_1 - \phi_2) = \frac{|z|^2 - 2}{2}$$
因为 $0 \leq |z| \leq 2$，右边的取值范围是 $[-1, 0]$，正好落在余弦函数的值域内，所以 $\phi_1 - \phi_2$ 是存在的（比如可取 $\Delta\phi = \arccos\left(\frac{|z|^2 - 2}{2}\right)$）。
用平均相位简化方程
设 $\phi_0 = \frac{\phi_1 + \phi_2}{2}$（两个相位的平均值），$\Delta\phi = \phi_1 - \phi_2$，则 $\phi_1 = \phi_0 + \frac{\Delta\phi}{2}$，$\phi_2 = \phi_0 - \frac{\Delta\phi}{2}$。

代入原方程，利用和角公式 $\cos A + \cos B = 2\cos\left(\frac{A+B}{2}\right)\cos\left(\frac{A-B}{2}\right)$ 和 $\sin A + \sin B = 2\sin\left(\frac{A+B}{2}\right)\cos\left(\frac{A-B}{2}\right)$，可得：
$$2\cos\phi_0\cos\left(\frac{\Delta\phi}{2}\right) = x$$
$$2\sin\phi_0\cos\left(\frac{\Delta\phi}{2}\right) = y$$

把两式相除，就能得到 $\tan\phi_0 = \frac{y}{x}$（若 $x \neq 0$），这正好是复数 $z$ 的辐角 $\arg(z)$。再用半角公式计算 $\cos\left(\frac{\Delta\phi}{2}\right)$：
$$\cos\left(\frac{\Delta\phi}{2}\right) = \sqrt{\frac{1 + \cos\Delta\phi}{2}} = \frac{|z|}{2}$$
代入后会发现，等式完全符合 $x = |z|\cos\phi_0$、$y = |z|\sin\phi_0$ 的复数实部虚部定义，完美自洽！

具体构造步骤总结

给定 $z=x+iy$（满足 $0 \leq |z| \leq 2$），按以下步骤构造两个单位模复数：

计算 $z$ 的模 $r = |z| = \sqrt{x^2 + y^2}$，辐角 $\theta = \arg(z)$（可用 $\arctan2(y, x)$ 计算）。
计算相位差的一半：$\alpha = \frac{1}{2}\arccos\left(\frac{r^2 - 2}{2}\right)$。
两个单位模复数的相位分别为 $\phi_1 = \theta + \alpha$ 和 $\phi_2 = \theta - \alpha$，对应的复数就是 $e^{i\phi_1}$ 和 $e^{i\phi_2}$，它们的和即为 $z$。

举个例子验证

比如取 $z=1+i$：

$r = \sqrt{1^2 + 1^2} = \sqrt{2}$，$\theta = \arctan2(1,1) = \frac{\pi}{4}$。
$\cos(\Delta\phi) = \frac{(\sqrt{2})^2 - 2}{2} = 0$，所以 $\Delta\phi = \frac{\pi}{2}$，$\alpha = \frac{\pi}{4}$。
$\phi_1 = \frac{\pi}{4} + \frac{\pi}{4} = \frac{\pi}{2}$（对应复数 $i$），$\phi_2 = \frac{\pi}{4} - \frac{\pi}{4} = 0$（对应复数 $1$）。
$i + 1 = 1+i$，完全匹配原复数！

再试极端情况 $z=0$：

$r=0$，$\theta$ 可取 $0$。
$\cos(\Delta\phi) = \frac{0 - 2}{2} = -1$，所以 $\Delta\phi = \pi$，$\alpha = \frac{\pi}{2}$。
$\phi_1 = 0 + \frac{\pi}{2} = \frac{\pi}{2}$（对应 $i$），$\phi_2 = 0 - \frac{\pi}{2} = -\frac{\pi}{2}$（对应 $-i$）。
$i + (-i) = 0$，正确！