1の冪根

1の冪根︵いちのべきこん、英: root of unity︶または1の累乗根︵いちのるいじょうこん︶とは、数学において冪乗して1になる︵冪単である︶数のことである。すなわち、ある自然数 nが存在して

zⁿ = 1

となる zのことである。通常は複素数の範囲で考えるが、場合によっては p進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。

1の n乗根の内、m (< n) 乗しても決して1にならず、n乗して初めて1になるものは原始的 (primitive) であるという。全ての自然数 nに対する1の原始n乗根を総称し、1の原始冪根︵いちのげんしべきこん︶、または1の原始累乗根︵いちのげんしるいじょうこん︶という。

1の原始冪根

複素数の範囲では、1の原始n乗根は n≥ 3 のとき2つ以上存在する。ド・モアブルの定理より、

$\zeta _{n}=\cos {\frac {2\pi }{n}}+i\sin {\frac {2\pi }{n}}$$\zeta _{n}=\cos {\frac {2\pi }{n}}+i\sin {\frac {2\pi }{n}}$
は1の原始n乗根の一つであることが分かる。この時、ζ_n の共役複素数 ζ_n も1の原始n乗根である。n と互いに素な自然数 mに対して ξ_n^m は1の原始n乗根であり、逆に1の原始n乗根はこの形に表せる。すなわち、1の原始n乗根は、オイラーのφ関数を用いて、φ(n) 個だけ存在する。

方程式 xⁿ= 1 を考える。この方程式の解は、ド・モアブルの定理より、

$x=\cos {\frac {2\pi k}{n}}+i\sin {\frac {2\pi k}{n}}\quad (k=1,2,\cdots ,n)$$x=\cos {\frac {2\pi k}{n}}+i\sin {\frac {2\pi k}{n}}\quad (k=1,2,\cdots ,n)$
であるが、1の原始n乗根 ξ_n を一つ選べば、

$x={\xi _{n}}^{k}\quad (k=1,2,\cdots ,n)$$x={\xi _{n}}^{k}\quad (k=1,2,\cdots ,n)$
と書くことができる。

また上記のように根を三角関数で表すことは容易であるが、それが根号を用いて表示できること、つまり方程式が代数的にも可解であることはガウスにより証明された。

1の原始冪根の例

以下、i は虚数単位である。

●$\xi _{2}=-1$$\xi _{2}=-1$
●$\xi _{3}={\frac {-1\pm {\sqrt {3}}\,i}{2}}$$\xi _{3}={\frac {-1\pm {\sqrt {3}}\,i}{2}}$︵しばしば ω と書かれる︶

●$\xi _{4}=\pm i$$\xi _{4}=\pm i$
●$\xi _{5}={\frac {-1+{\sqrt {5}}\pm i{\sqrt {10+2{\sqrt {5}}}}}{4}},{\frac {-1-{\sqrt {5}}\pm i{\sqrt {10-2{\sqrt {5}}}}}{4}}$$\xi _{5}={\frac {-1+{\sqrt {5}}\pm i{\sqrt {10+2{\sqrt {5}}}}}{4}},{\frac {-1-{\sqrt {5}}\pm i{\sqrt {10-2{\sqrt {5}}}}}{4}}$
●$\xi _{6}={\frac {1\pm {\sqrt {3}}\,i}{2}}$$\xi _{6}={\frac {1\pm {\sqrt {3}}\,i}{2}}$
●$\xi _{8}={\frac {{\sqrt {2}}\pm {\sqrt {2}}\,i}{2}},{\frac {-{\sqrt {2}}\pm {\sqrt {2}}\,i}{2}}$$\xi _{8}={\frac {{\sqrt {2}}\pm {\sqrt {2}}\,i}{2}},{\frac {-{\sqrt {2}}\pm {\sqrt {2}}\,i}{2}}$

性質

●1の冪根は全て、複素数平面における単位円周上にある。また概要で述べたことより、1の n乗根の全体は、位数 nの巡回群である。これは円周群の正規部分群である。

●複素係数の方程式 xⁿ− a= 0︵a は複素数︶の解は、a の n乗根を任意に一つ選んで ⁿ√a と表せば、
x = ⁿ√a ζ_k (k = 0, 1, …, n− 1)

となる。

●1の n乗根は、複素数平面では、単位円に内接する正n角形の頂点である。この正n角形の重心は原点 0 であるから、1の原始n乗根の一つを ξ_n とすると、次の等式が成り立つ‥

$\textstyle \sum \limits _{k=0}^{n-1}{\xi _{n}}^{k}=1+\xi _{n}+{\xi _{n}}^{2}+\cdots +{\xi _{n}}^{n-2}+{\xi _{n}}^{n-1}=0$$\textstyle \sum \limits _{k=0}^{n-1}{\xi _{n}}^{k}=1+\xi _{n}+{\xi _{n}}^{2}+\cdots +{\xi _{n}}^{n-2}+{\xi _{n}}^{n-1}=0$

関連項目

●冪根

●代数的数

●円分多項式

●円分体

外部リンク

●﹃1のn乗根の導出と複素数平面﹄ - 高校数学の美しい物語