1の冪根
表示
出典: フリー百科事典『ウィキペディア(Wikipedia)』
(1の冪乗根から転送)
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Root of unity|...}}
をノートに追加することもできます。 - Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
1の冪根(いちのべきこん、英: root of unity)または1の累乗根(いちのるいじょうこん)とは、数学において冪乗して 1 になる(冪単である)数のことである。すなわち、ある自然数 n が存在して
- zn = 1
となる z のことである。通常は複素数の範囲で考えるが、場合によっては p進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。
1 の n乗根の内、m (< n) 乗しても決して 1 にならず、n乗して初めて 1 になるものは原始的 (primitive) であるという。全ての自然数 n に対する 1 の原始n乗根を総称し、1 の原始冪根(いちのげんしべきこん)、または1 の原始累乗根(いちのげんしるいじょうこん)という。
1の原始冪根
[編集 ]複素数の範囲では、1 の原始n乗根は n ≥ 3 のとき2つ以上存在する。ド・モアブルの定理より、
- {\displaystyle \zeta _{n}=\cos {\frac {2\pi }{n}}+i\sin {\frac {2\pi }{n}}}
は 1 の原始n乗根の一つであることが分かる。この時、ζn の共役複素数 ζn も 1 の原始n乗根である。n と互いに素な自然数 m に対して ξnm は 1 の原始n乗根であり、逆に 1 の原始n乗根はこの形に表せる。すなわち、1 の原始n乗根は、オイラーのφ関数を用いて、φ(n) 個だけ存在する。
方程式 xn = 1 を考える。この方程式の解は、ド・モアブルの定理より、
- {\displaystyle x=\cos {\frac {2\pi k}{n}}+i\sin {\frac {2\pi k}{n}}\quad (k=1,2,\cdots ,n)}
であるが、1 の原始n乗根 ξn を一つ選べば、
- {\displaystyle x={\xi _{n}}^{k}\quad (k=1,2,\cdots ,n)}
と書くことができる。
また上記のように根を三角関数で表すことは容易であるが、それが根号を用いて表示できること、つまり方程式が代数的にも可解であることはガウスにより証明された。
1の原始冪根の例
[編集 ]以下、i は虚数単位である。
- {\displaystyle \xi _{2}=-1}
- {\displaystyle \xi _{3}={\frac {-1\pm {\sqrt {3}},円i}{2}}}(しばしば ω と書かれる)
- {\displaystyle \xi _{4}=\pm i}
- {\displaystyle \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}}}
- {\displaystyle \xi _{6}={\frac {1\pm {\sqrt {3}},円i}{2}}}
- {\displaystyle \xi _{8}={\frac {{\sqrt {2}}\pm {\sqrt {2}},円i}{2}},{\frac {-{\sqrt {2}}\pm {\sqrt {2}},円i}{2}}}
性質
[編集 ]- 1 の冪根は全て、複素数平面における単位円周上にある。また概要で述べたことより、1 の n乗根の全体は、位数 n の巡回群である。これは円周群の正規部分群である。
- 複素係数の方程式 xn − a = 0(a は複素数)の解は、a の n乗根を任意に一つ選んで n√a と表せば、
- x = n√a ζk (k = 0, 1, ..., n − 1)
- となる。
- {\displaystyle \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}
関連項目
[編集 ]外部リンク
[編集 ]