例題はこちら（画像をクリックするとPDFファイルで開きます。）
巡回群を背景とした問題で、話の進め方は高校生ではあまり馴染みのないものです。
古典作品の観賞のつもりで楽しむぐらいの気持ちで取り組んでくれればと思います。
感覚的には「そりゃそうだろ」という気持ちになるかもしれませんが、きちんと論証しようとなると難しさを感じるでしょう。
（以下ネタバレ注意）
+ クリック（タップ）して続きを読む とにかく例をつくればいいということで 見つけたもん勝ち です。 複素数には という様々な側面があります。 点やベクトル的な側面があり、回転や拡大縮小という操作を、数値としての四則演算を通じて表現できるわけです。 よくよく考えると、とんでもない道具です。 今回は集合 \(G\) の要素同士の積が再び \(G\) の要素となる（これを数学的には「閉じている」と表現します）ようなものを考えるわけです。 下手くそな複素数を要素にもつと、 積をとって要素、積をとって要素 \(\cdots\) と、無限に要素ができてしまい、\(n\) 個という決まった個数となりません。 それを決定づける一つの要因が、絶対値です。 積をとって絶対値が不変でないとこのように無限に要素が膨れてしまいますから、 \(G\) の要素の絶対値は \(1\) ということになるでしょう。 さらに、複素数の積には回転という側面があることを考えると \(z^{n}=1\) という \(1\) の \(n\) 乗根をインスピレーションすることになるでしょう。 \(z=\cos{\displaystyle \frac{2\pi}{n}}+i\sin{\displaystyle \frac{2\pi}{n}}\) に対して \(G=\{1 \ , \ z \ , \ z^{2} \ , \cdots \ , \ z^{n-1}\}\) が題意を満たす例であることを示しにいきます。 を確認します。 今度は \(G\) が \(z^{n}=1\) を満たす \(z\) に対して \(G=\{1 \ , \ z \ , \ z^{2} \ , \cdots \ , \ z^{n-1}\}\) となるしかないことを示します。 つまり、\(G\) が \(z^{n}=1\) の解集合であることを示します。 ここから先は独特な話の進め方になります。 まず、 \(G=\{z_{1} \ , \ z_{2} \ , \ \cdots \ , \ z_{n}\}\) と設定し、\(G\) から任意の要素 \(w\) をとります。 集合 \(G\) が閉じていることから \(w_{1}=wz_{1} \ , \ w_{2}=wz_{2} \ , \ \cdots \ , \ w_{n}=wz_{n}\) という \(w_{1} \ , \ w_{2} \ , \ \cdots \ , \ w_{n}\) は全て \(G\) の要素となります。 これら \(n\) 個の複素数 \(w_{1} \ , \ w_{2} \ , \ \cdots \ , \ w_{n}\) は相異なる \(n\) 個の複素数ですから \(\{w_{1} \ , \ w_{2} \ , \ \cdots \ , \ w_{n}\}\) \(\{z_{1} \ , \ z_{2} \ , \ \cdots \ , \ z_{n}\}\) という２つの集合は集合として一致することになります。 よって、これらの要素の積について $$\begin{eqnarray} であり、\(z_{1} \ , \ z_{2} \ , \cdots \ , \ z_{n}\) はどれも \(0\) でないことから \(w^{n}=1\) ということが言えます。 これが意味するところは ということで、 であることが言えるわけです。 例題を１題挟んでいると少しだけ見え方が変わっていると思います。 結論は見えるけど、どのように論証するかという点でやはり難しさがあるでしょう。 １の累乗根に関する話題として 例題はこちら（画像をクリックするとPDFファイルで開きます。） 類題１はこちら（画像をクリックするとPDFファイルで開きます。） 類題２はこちら（画像をクリックするとPDFファイルで開きます。） １の ... 続きを見る もありますので、そちら方面の確認にどうぞ。(1) について
(2) について
w_{1}w_{2} \cdots w_{n} &=& z_{1}z_{2} \cdots z_{n} \\
(wz_{1})(wz_{2}) \cdots (wz_{n}) &=& z_{1}z_{2} \cdots z_{n} \\
w^{n} (z_{1}z_{2} \cdots z_{n}) &=& z_{1}z_{2} \cdots z_{n}
\end{eqnarray}$$
類題について
類題はこちら（画像をクリックするとPDFファイルで開きます。）
１の累乗根について
参考１の累乗根とド・モアブルの定理【2003年度神戸大学ほか】