单位根的平方根表达式推导问询：基于n奇偶性的逻辑解释

让我们一步步拆解这个问题，核心是找到满足 ( w^2 = \zeta ) 的复数 ( w )（也就是( \sqrt{\zeta} )），其中 ( \zeta = e^{2\pi ik/n} ) 是n次单位根（( 1 \leq k \leq n )）。我们分n为奇数和偶数两种情况来分析：

当n为奇数时 #

当n是奇数时，2和n互质（它们的最大公约数是1）。这意味着对于任意整数k，我们总能找到一个整数 ( k' )（( 1 \leq k' \leq n )），使得 ( 2k' \equiv k \pmod{n} )——因为2在模n下有逆元（简单说就是存在一个数乘以2后模n等于1）。

我们验证一下：假设 ( w = e^{2\pi ik'/n} )，那么它的平方是：
$$
w^2 = \left(e^{2\pi ik'/n}\right)^2 = e^{4\pi ik'/n} = e^{2\pi i \cdot 2k'/n}
$$
因为 ( 2k' \equiv k \pmod{n} )，所以 ( 2k' = k + mn )（m是整数），代入上式：
$$
e^{2\pi i \cdot (k + mn)/n} = e^{2\pi ik/n} \cdot e^{2\pi im} = e^{2\pi ik/n} = \zeta
$$
（因为 ( e^{2\pi im}=1 )，m是整数）。这就说明 ( w ) 确实是 ( \zeta ) 的平方根，而且 ( w ) 本身也是n次单位根，所以可以用 ( 1 \leq k' \leq n ) 的 ( e^{2\pi ik'/n} ) 来表示。

举个例子：n=3（奇数），k=1，( \zeta = e^{2\pi i/3} )。我们找k'满足2k'≡1 mod3，显然k'=2（2*2=4≡1 mod3），那么 ( w = e^{4\pi i/3} )，平方后确实是 ( e^{8\pi i/3}=e^{2\pi i/3}=\zeta )，完美符合。

当n为偶数时 #

当n是偶数时，2和n的最大公约数是2，这时候2在模n下没有逆元——也就是说，不是所有的n次单位根的平方根都还在n次单位根群里。

比如n=2（偶数），( \zeta = e^{2\pi i \cdot 1/2} = -1 )，它的平方根是i和-i，这两个数是4次单位根（也就是2n次单位根），而不是2次单位根（2次单位根只有1和-1）。这时候我们需要用更大的单位根群来表示平方根。

我们设 ( w = e^{\pi ik'/n} )，它的平方是：
$$
w^2 = \left(e^{\pi ik'/n}\right)^2 = e^{2\pi ik'/n}
$$
我们需要这个等于 ( \zeta = e^{2\pi ik/n} )，也就是要求 ( 2\pi ik'/n \equiv 2\pi ik/n \pmod{2\pi} )，两边除以 ( 2\pi i ) 得到 ( k'/n \equiv k/n \pmod{1} )，也就是 ( k' \equiv k \pmod{n} )。但因为我们需要所有可能的平方根，k'的取值范围要扩展到1到2n（这样就能覆盖两个不同的平方根：当k'=k和k'=k+n时，对应的w互为相反数，平方后都是ζ）。

再举个例子：n=4（偶数），k=1，( \zeta = e^{2\pi i \cdot1/4}=i )。它的平方根是 ( e^{\pi i \cdot1/4} )（对应k'=1）和 ( e^{\pi i \cdot5/4} )（对应k'=5），这两个数都是8次单位根（2n=8），平方后都等于i，完全符合表达式。

本质上，n为偶数时，n次单位根的平方根会落在2n次单位根群中，所以需要用 ( 1 \leq k' \leq 2n ) 的 ( e^{\pi ik'/n} )（也就是2n次单位根的形式）来表示。

内容的提问来源于stack exchange，提问作者user0154468764