关于统一的复杂根源的注释

2026 年 10 月 17 日 18:18 标签 数学 数学最美妙的方面之一是我们可以通过研究看似微不足道的问题来获得多么深入的知识。考虑单位根，其中“单位”仅表示数字 1。 基础知识：实数的单位根 研究单位根通常从中学开始：1 的平方根是多少？同样，这个方程的解是什么？ \[x^2=1\] 嗯，有两个答案：1 和 -1。同样，我们可以提出更高根的问题；第三个根是方程的解：\[x^3=1\] 等等。当我们只处理实数时，这几乎就是整个故事。对于 1 的奇次根，唯一的答案是 1；对于 1 的偶次根，答案是 1 或 -1。当我们将领域扩展到复数时，事情变得更加有趣。基础知识：复数的单位根 根据正式定义，单位根是任何在求正整数幂 n 时得到 1 的复数。与查看 1 的所有可能的根相比，讨论特定给定 n 的根通常更有用：复数 z 使得 z^n=1 。例如，让我们考虑 n=2 。我们已经知道根是 1 和 -1；这些是虚部为零的复数。 n=4 怎么样？有四个根： 1、-1、i 和 -i 。对于 n=3 ，三个根是 1、 \frac{-1+i\sqrt{3}}{2} 和 \frac{-1-i\sqrt{3}}{2} 。很容易检查它们的三次方是否确实为 1，但我们首先如何计算它们呢？使用极坐标计算复数根 幅度为 1 的复数可以在极坐标中表示为 z=e^{i\theta} 。如果我们将 z 求 n 次方，我们得到： \[z^n=e^{in\theta}\] z^n 的大小仍然为 1，如果我们希望 z 成为 n 次单位根，这一点至关重要。让我们将 z^n 等于 1：\[z^n=e^{in\theta}=1\] 为了找到这个方程的解，我们首先要在极坐标中表示 1 本身。让我们使用另一个变量来表示角度： \[1=e^{i\phi}\] \phi 的值是多少？考虑单位圆， \phi 是 2\pi 的任意整数倍 - 对于 k=0,1,2...，我们将其表示为 2\pi k ： \[1=e^{i2\pi k}\] 回到 z^n ： \[z^n=e^{in\theta}=e^{i2\pi k}\] 或者： \[n\theta=2\pi k\quad\Rightarrow\quad \theta=\frac{2\pi k}{n}\] 因此，n 次单位根为： \[\boxed{z_k=e^{i2\pi k/n}, \qquad k=0,1,\dots,n-1}\] 一些基本示例 让我们从 n=2 开始。我们有以下根： \[\begin{aligned} z_0&=e^{i2\pi 0/2}=e^0=1\\ z_1&=e^{i2\pi 1/2}=e^{i\pi}=\cos\pi+i\sin\pi=-1 \end{aligned}\] 对于 n=3 ： \[\begin{aligned} z_0&=e^{i2\pi 0/3}=e^0=1\\ z_1&=e^{i2\pi 1/3}=\cos\frac{2\pi}{3}+i\sin\frac{2\pi}{3}=-\frac{1}{2}+i\frac{\sqrt{3}}{2}\\ z_2&=e^{i2\pi 2/3}=\cos\frac{4\pi}{3}+i\sin\frac{4\pi}{3}=-\frac{1}{2}-i\frac{\sqrt{3}}{2} \end{aligned}\] 正如预期的那样。计算 n=4 的根应该同样简单；尝试一下。单位根和单位圆上的旋转 当我们将某个单位根 z_k 与其自身相乘时会发生什么？由于根的大小为 1，因此乘以它类似于沿单位圆旋转根的角度。例如，考虑 z_1 的 3 次单位根： \[z_1=e^{i2\pi1/3}\] 将 z_1 乘以自身： \[z_1^2=e^{i2\pi1/3}\cdot e^{i2\pi1/3}=e^{i2\pi2/3}\] 如果 z_1 的角度为 2\pi/3 ，则 z_1^2 的角度为4\pi/3 。我们再乘以 z_1： \[z_1^3=e^{i2\pi2/3}\cdot e^{i2\pi1/3}=e^{i6\pi/3}=1\] 结果是 1，正如预期的那样（毕竟 z_1 是单位的 3 次方根）。此可视化显示单位根如何出现在单位圆上，以及如何将它们求幂旋转根直到最终 z_k^n=1 ：首先选择 n；这将第 n 个根显示为单位圆上的蓝点。现在，您可以单击任何根，并在下图中查看其功率 - 拖动滑块以查看旋转。如果你花一些时间玩这个，你会注意到一些根 - 例如 n=6 时的 z_2 - 当提高到比 n 更小的幂时会回到 1。当我们讨论统一根的群论方面时，我们将重新审视这个结果。几何：单位根和正多边形 正如我们所见，单位根沿着复平面上的单位圆均匀分布。如果我们用直线将根连接到它们的直接邻居，我们会注意到一些有趣的事情：相邻的第 n 个单位根连接在一起，在单位圆上形成一个正多边形。根 n 对于 n\ge3 的不同值，我们得到正多边形！如果我们用一条直线将每个根连接到原点，就很容易证明这一点。我们得到的三角形是全等的，因为从原点到根的边长都是1，圆心角都是2\pi /n 。因此，多边形的两边和角度都相同，这使得它们是规则的。单位根的共轭假设我们有单位根： \[z_k=e^{i2\pi k/n}\] 对于某些 k 和 n