n 次单位根的求法

灵感来源于肖老师《高等代数》第一堂课和某个数学分析题.

一、求法本身

  先来说下 $n$ 次单位根的定义，满足下式的 $z$ 就是 $n$ 次单位根.
$$z^n=1$$  A：哈？这还需要求？不就是 $1$ 吗？
  B：你再好好想想.
  A：emm，好吧，$1$ 只是其中的一个，其他的求起来感觉有点儿困难. 不过四次以上的方程没有一般的求根公式，该怎么求呢？
  B：不要把问题想得那么宽泛，我们只是想求这个方程的根而已，对其他同次方程不感兴趣.

  根据代数学基本定理，$n$ 次复系数多项式方程在复数域内有且只有 $n$ 个根(重根按重数计算).

  好，目标范围已锁定，在复数域.

  众所周知(不知的暂且假装知道)，复数可以表示成以下形式
$$z=R{e}^{i\theta }=R\cos \theta +iR\sin \theta R\ge 0$$其中 $R$ 表示模长，$\theta$ 表示辐角.

  两个复数 $z_1,z_2$ 相等，当且仅当 $R_1=R_2,{\theta }_1={\theta }_2+2k\pi ,k\in Z$.

  $1$ 可以表示为 $1=1e^{i0}$，将这两个式子代入方程 $z^n=1$，得
$$R^n\cdot e^{in\theta }=1\cdot e^{i0}$$则有
$$R^n=1,n\theta =2k\pi R\ge 0,k\in Z$$解得 $R=1,\theta =2k\pi /n,k\in Z$，则 $z=e^{i\frac{2k\pi }{n}},k\in Z$.

  A：你不是说只有 $n$ 个根吗？$k\in Z$ 你怎么解释？
  B：且看分析.

  先取 $k=1,2,\cdots ,n$，这样可以得到 $n$ 个根.
  再取 $k=n+1$ ，你会发现 $e^{i\frac{2k\pi }{n}}=e^{i\frac{2(n+1)\pi }{n}}=e^{i(\frac{2\pi }{n}+2\pi )}=e^{i\frac{2\pi }{n}}$，与 $k=1$ 时的情况是一样的.
  同理，取 $k=n+2,n+3,\cdots$、 $k=0,-1,-2,\cdots$，也是如此，即 $k+mn,(m\in Z,k=1,2,\cdots ,n)$ 与 $k$ 是一样的，都是原本 $n$ 个根的重复再现.

  所以知道了吧，的确是 $n$ 个根 ：$z_k=e^{i\frac{2k\pi }{n}},k=1,2,\cdots ,n$，在复平面中表示就是这样(圆心为原点，半径为1)：

$n=1$

$n=2$

$n=3$

$n=4$

$n=5$

$n=6$

渐变动画：

二、额外拾遗

  将复根 $z_k$ 看作基 $(1,i)$ 下的二维坐标，考虑其和.
$$\sum _{k=1}^n{z}_k=\sum _{k=1}^n{e}^{i\frac{2k\pi }{n}}=\sum _{k=1}^n\left(\cos \frac{2k\pi }{n}+i\sin \frac{2k\pi }{n}\right)=(1,i)\sum _{k=1}^n(\cos \frac{2k\pi }{n},\sin \frac{2k\pi }{n}{)}^T$$

  将 { e i 2 k π n } \{e^{i\frac{2k\pi}{n}}\} {ein2kπ​} 看作是等比数列，则
$$\sum _{k=1}^n{e}^{i\frac{2k\pi }{n}}=\frac{e^{i\frac{2\pi }{n}}(1-e^{i\frac{2\pi }{n}n})}{1-e^{i\frac{2\pi }{n}}}=\frac{e^{i\frac{2\pi }{n}}(1-e^{i2\pi })}{1-e^{i\frac{2\pi }{n}}}$$而 $1-e^{i2\pi }=1-(\cos (2\pi )+i\sin (2\pi ))=0$，则
$$(1,i)\sum _{k=1}^n(\cos \frac{2k\pi }{n},\sin \frac{2k\pi }{n}{)}^T=\sum _{k=1}^n{e}^{i\frac{2k\pi }{n}}=0$$$$\sum _{k=1}^n(\cos \frac{2k\pi }{n},\sin \frac{2k\pi }{n})=(0,0)$$所以，这 $n$ 个二维向量之和为 $\overrightarrow{0}$，这便是我想说的结论.

  还有一种比较直观的做法，这些向量可以拼成一个首尾相接的正 $n$ 边形，所以其和为 $\overrightarrow{0}$.

  以及一种不直观的做法——积化和差.
$$\begin{array}{rl}2\sin \left(\frac{\theta }{2}\right)\sum _{k=1}^n\sin (k\theta )& =\sum _{k=1}^{n}2\sin (k\theta )\sin (\frac{\theta }{2})\\ & =\sum _{k=1}^n\left(\cos \right((k-\frac{1}{2})\theta )-\cos ((k+\frac{1}{2})\theta \left)\right)\\ & =\sum _{k=1}^n\cos ((k-\frac{1}{2})\theta )-\sum _{k=2}^{n+1}\cos ((k-\frac{1}{2})\theta )\\ & =\cos \left(\frac{\theta }{2}\right)-\cos ((n+\frac{1}{2})\theta )\\ \sum _{k=1}^n\sin (k\theta )& =\frac{\cos \left(\frac{\theta }{2}\right)-\cos (\frac{\theta }{2}+n\theta )}{2\sin \left(\frac{\theta }{2}\right)}\end{array}$$$$\begin{array}{rl}2\sin \left(\frac{\theta }{2}\right)\sum _{k=1}^n\cos (k\theta )& =\sum _{k=1}^{n}2\sin (\frac{\theta }{2})\cos (k\theta )\\ & =\sum _{k=1}^n\left(\sin \right((k+\frac{1}{2})\theta )-\sin ((k-\frac{1}{2})\theta \left)\right)\\ & =\sum _{k=1}^n\sin ((k+\frac{1}{2})\theta )-\sum _{k=0}^{n-1}\sin ((k+\frac{1}{2})\theta )\\ & =\sin ((n+\frac{1}{2})\theta )-\sin \left(\frac{\theta }{2}\right)\\ \sum _{k=1}^n\cos (k\theta )& =\frac{\sin (\frac{\theta }{2}+n\theta )-\sin \left(\frac{\theta }{2}\right)}{2\sin \left(\frac{\theta }{2}\right)}\end{array}$$取 $\theta =2\pi /n$，则
$$\cos \left(\frac{\theta }{2}\right)-\cos (\frac{1}{2}\theta +n\theta )=\cos \left(\frac{\theta }{2}\right)-\cos (\frac{1}{2}\theta +2\pi )=0$$$$\sin (\frac{1}{2}\theta +n\theta )-\sin \left(\frac{\theta }{2}\right)=\sin (\frac{1}{2}\theta +2\pi )-\sin \left(\frac{\theta }{2}\right)=0$$所以
$$\begin{gathered} \sum _{k=1}^n\sin \left(\frac{2k\pi }{n}\right)=0 \\ \sum _{k=1}^n\cos \left(\frac{2k\pi }{n}\right)=0 \end{gathered}$$$$\sum _{k=1}^n(\cos \frac{2k\pi }{n},\sin \frac{2k\pi }{n})=(0,0)$$