关于模为1的复数和为0时所有可能取值的求解问题

问题回顾 #

设 $z_1, z_2, ..., z_n$ 是模为1的复数，满足条件 $S = \sum_{j=1}^{n} z_j = 0$，请计算 $z_j$ 的所有可能取值。

思路补充与拓展 #

你通过极坐标转换和模平方计算解决n=2的思路非常扎实！我来帮你把这个问题推广到任意n的场景，从几何和代数两个角度拆解：

首先，模为1的复数对应单位圆上的点，它们的和为0等价于这些点的重心在坐标原点，这个几何视角能帮我们快速理解解的结构。

分情况讨论

1. n=1的情况
   显然无解，因为唯一的单位复数模为1，不可能等于0，和自然也无法为0。

2. n=2的情况
   正如你推导的，两个单位复数的和为0当且仅当它们互为相反数，即 $z_2 = -z_1$（其中 $|z_1|=1$），对应单位圆上关于原点对称的两个点。

3. n≥3的情况
   这时候解的形式更丰富，但可以通过以下方式刻画和构造：

   • 构造性思路：先任意选取n-1个单位复数，只要它们的和的模等于1，那么第n个复数取这个和的相反数即可（因为 $|-\sum_{j=1}^{{n-1}z_j|=|\sum_{j=1}}{n-1}z_j|=1$，满足模为1的条件）。比如n=3时，前两个单位复数的夹角必须是2π/3或4π/3（展开模平方可得 $2+2\cos\theta=1$，$\cos\theta=-1/2$），这正好对应三次单位根的情况。
   • 对称性思路：解可以是若干组“对称点集”的组合。比如正k边形的顶点（k≥3）的和为0，我们可以把多个这样的点集合并（比如两组三次单位根，共6个点，和为0）；也可以是成对的相反数（当n为偶数时），比如n=4时的1, -1, i, -i。
   • 旋转不变性：如果一组复数是解，那么将它们全部乘以任意一个模为1的复数（即整体旋转）后，仍然是解，因为 $\sum (w z_j) = w \sum z_j = 0$，且每个 $|w z_j|=|w||z_j|=1$。

相关参考方向

如果想深入研究，可以参考：

• 复分析基础教材中关于单位复数和的性质章节，比如Ahlfors的《Complex Analysis》；
• 组合几何中关于单位圆点集重心的内容，比如Klein的《Geometry of Complex Numbers》。

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