円分多項式の性質と整数係数である事実

2023年4月20日2023年5月7日

$x^{n} - 1$ の分解

整数係数多項式

あと $Q$ 上の規約性

これらが円分多項式の著しい性質。

今回は、 $x^{n} - 1$ の分解と、整数係数多項式であることを実験的に学び、

証明でフィナーレを飾りましょう！

定義のおさらいから
円分多項式の性質①　xn−1の因数分解
円分多項式の性質②　整数係数多項式
まとめ

定義のおさらいから

円分多項式の定義を確認しましょう。

結構えぐい数式が出てきますが、あとで具体例を確認しますので、ご容赦を。

新しい数学を学ぶときは、

えぐい数式発見→意味不明で焦る→具体例を確かめる→納得して落ち着く

の繰り返しで前に進んでいくものです。

円分多項式の定義は、

（定義）

$ζ_{n} = \cos \frac{2 π}{n} + i \sin \frac{2 π}{n}$ とする。

このとき、

$Π_{G C D (n, k) = 1, 1 ≦ k ≦ n} (x - ζ_{n}^{k})$

を円分多項式といい、 $Φ_{n} (x)$ で表す

というものでした。

記号を確認していきましょう。

まず $Π$ 。

これは和の記号シグマの掛け算バージョンです。

次に $G C D (n, k) = 1$

これは、 $n$ と $k$ の最大公約数が１（互いに素）だよ、という意味です。

まずは $Φ_{4} (x)$ を考えてみましょう。

$G C D (4, k) = 1, 1 ≦ k ≦ 4$ を処理します。

１，２，３，４

のうち、４と互いに素なのは

１と３です。

よって $k = 1, 3$ となります。

次に $Π$ です。

これは掛け算なので、

$(x - ζ_{4})$ と $(x - ζ_{4}^{3})$ を掛け算することになります。

$Φ_{4} (x) = (x - ζ_{4}) (x - ζ_{4}^{3})$

です。

ここで、 $ζ_{4}$ とかなんか難しい記号で書いてますが、

要するにこれは $i$ のことです。

それを確かめておきましょう。

$ζ_{4} = \cos \frac{2 π}{4} + i \sin \frac{2 π}{4}$

$= \cos \frac{π}{2} + i \sin \frac{π}{2}$

ここで、 $\cos \frac{π}{2} = 0, \sin \frac{π}{2} = 1$ に注意すると、

$ζ_{4} = i$ です。

つまり、

$Φ_{4} (x) = (x - i) (x - i^{3}) = x^{2} - i^{3} x - i x + i^{4} = x^{2} + 1$

となります。

次は少し複雑な $Φ_{12}$ を考えてみましょう。

まず

$G C D (12, k) = 1, 1 ≦ k ≦ 12$

を処理します。

１，２，３，４，５，６，７，８，９，１０，１１，１２

のうち、１２と互いに素なものは、

１，５，７，１１です。

よって $k = 1, 5, 7, 11$ となります。

あとは $Π$ ですね。これは掛け算です。

$(x - ζ_{12})$ や $(x - ζ_{12}^{5})$ などを掛け算すればよいのです。

したがって、

$Φ_{12} (x) = (x - ζ_{12}) (x - ζ_{12}^{5}) (x - ζ_{12}^{7}) (x - ζ_{12}^{11})$

です。

$ζ_{12}$ は $ζ_{4}$ の時のようにシンプルに表せる数ではないので計算は省略しますが、

頑張って右辺を展開して整理すると

$Φ_{12} (x) = x^{4} - x^{2} + 1$

というなんともシンプルな式が出てきます。

円分多項式ってなんであんなヤバい定義なの？

という点が気になる方は以下の記事をご覧ください。

円分多項式を発見する過程を追体験してみませんか？

円分多項式の性質①　 $x^{n} - 1$ の因数分解

円分多項式の面白いところは、

何といっても $x^{n} - 1$ の因数分解です。

例えば $x^{12} - 1$ を考えましょう。

これは、円分多項式を用いて次のように因数分解されます。

$x^{12} - 1 = Φ_{1} (x) Φ_{2} (x) Φ_{3} (x) Φ_{4} (x) Φ_{6} (x) Φ_{12} (x)$

見事に１２の約数の円分多項式が並んでいます。

これが一般に $x^{n} - 1$ の場合も成り立ちます

ヤバくないですか？

これを証明します。

（定理）

$x^{n} - 1 = Π_{d | n} Φ_{d} (x)$

が成り立つ

ここで、

$d | n$

という記号が見慣れないと思うので、補足します。

これは、 $d$ は $n$ の約数ですよ、という意味です。

～脳内会議～

いきなり証明せよ、と言われても何から手を付ければいいのやらさっぱりです。

このような時は、具体例の観察が非常に重要となります。

とりあえず、小さめの数の $n = 6$ の場合で検討してみましょう。

$x^{6} - 1 = (x - ζ_{6}) (x - ζ_{6}^{2}) (x - ζ_{6}^{3}) (x - ζ_{6}^{4}) (x - ζ_{6}^{5}) (x - ζ_{6}^{6})$

です。

これを、 $x^{6} - 1 = Φ_{1} (x) Φ_{2} (x) Φ_{3} (x) Φ_{6} (x)$

から逆算的に並び替えてみましょう。

$x^{6} - 1 = 0$ の解は

$x = ζ_{6}, ζ_{6}^{2}, ζ_{6}^{3}, ζ_{6}^{4}, ζ_{6}^{5}, ζ_{6}^{6} (= 1)$

で、複素数平面上に図示すると正六角形になります。

それぞれが

$Φ_{1} (x), Φ_{2} (x), Φ_{3} (x), Φ_{6} (x)$

のうち、どの円分多項式の材料になっているか図に書き入れてみます。

$Φ_{1} (x) = x - ζ_{6}^{6}$

$Φ_{2} (x) = x - ζ_{6}^{3}$

$Φ_{3} (x) = (x - ζ_{6}^{2}) (x - ζ_{6}^{4})$

$Φ_{6} (x) = (x - ζ_{6}) (x - ζ_{6}^{5})$

と分かります。

これから規則性をつかんでいきましょう。

もともと、円分多項式は最大公約数が１の奴らで構成されていたので、

指数と最大公約数に着目してみます。

$Φ_{6} (x)$ → $ζ_{6}$ と $ζ_{6}^{5}$ が材料→１と５は６との最大公約数が１（円分多項式の定義通り）

$Φ_{3} (x)$ → $ζ_{6}^{2}$ と $ζ_{6}^{4}$ が材料→２と４は６との最大公約数が２

$Φ_{2} (x)$ → $ζ_{6}^{3}$ が材料→３は６との最大公約数が３

$Φ_{1} (x)$ → $ζ_{6}^{6}$ が材料→６は６との最大公約数が６

なるほど。

$Φ_{6} (x)$ は６との最大公約数が１の奴らが材料ですが、１は $1 = \frac{6}{6}$ と捉えるとよさそうです。

同様にして議論を進めていきましょう。

$Φ_{3} (x)$ は６との最大公約数が２の奴らが材料です。 $2 = \frac{6}{3}$

$Φ_{2} (x)$ は６との最大公約数が３の奴らが材料です。 $3 = \frac{6}{2}$

$Φ_{1} (x)$ は６との最大公約数が６の奴らが材料です。 $6 = \frac{6}{1}$

これらのことから、

$Φ_{d} (x)$ を考える際は最大公約数を $g$ としたときに、

$g = \frac{n}{d}$

の奴らだけ取り出して、

積を取ったやつが円分多項式となっていることを示せればよさそうです。

（証明）

$x^{n} - 1 = Π_{d | n} Φ_{d} (x)$ を示す。

いま、

$x^{n} - 1 = (x - ζ_{n}) (x - ζ_{n}^{2}) (x - ζ_{n}^{3}) \dots (x - ζ_{n}^{n})$

を積の記号 $Π$ を用いて

$x^{n} - 1 = Π_{k = 1}^{n} (x - ζ_{n}^{k})$

と表す。

この左辺について、 $k$ と $n$ の最大公約数が $g$ であるものだけを集めて積をとったものを

$Θ_{g} (x) = Π_{G C D (k, n) = g, 1 < k < n} (x - ζ_{n}^{k})$

と置く。

$Θ_{g} (x)$ の定義と

$x^{n} - 1 = (x - ζ_{n}) (x - ζ_{n}^{2}) (x - ζ_{n}^{3}) \dots (x - ζ_{n}^{n})$

より、

$x^{n} - 1 = Π_{g | n} Θ_{g} (x)$ となる。

$g$ は $k$ と $n$ の最大公約数なので、

$k = g k^{'}$

$n = g d$

と置くことができる。

すると、

$k^{'} = \frac{k}{g}$ と

$d = \frac{n}{g}$

について、 $d$ は $n$ の約数であり、 $k^{'}$ は

$G C D (k^{'}, d) = 1, 1 ≦ k^{'} ≦ d$

を満たす。

また、

$ζ_{n}^{k} = (\cos \frac{2 π}{n} + \sin \frac{2 π}{n})^{k}$

であり、ド・モアブルの定理から

$ζ_{n}^{k} = \cos \frac{2 k π}{n} + i \sin \frac{2 k π}{n}$

である。

これに

$k = g k^{'}$

$n = g d$

を代入すると、

$ζ_{n}^{k} = \cos \frac{2 k π}{n} + i \sin \frac{2 k π}{n}$

$= \cos \frac{2 g k^{'} π}{g d} + \sin \frac{2 g k^{'} π}{g d}$

$= \cos \frac{2 k^{'} π}{d} + i \sin \frac{2 k^{'} π}{d}$

$= (\cos \frac{2 π}{d} + i \sin \frac{2 π}{d})^{k^{'}}$

$= ζ_{d}^{k^{'}}$

が成り立つ。

$G C D (k^{'}, d) = 1, 1 ≦ k^{'} ≦ d$

であったので、

$Θ_{g} (x) = Π_{G C D (k^{'}, d) = 1, 1 ≦ k^{'} ≦ d} (x - ζ_{d}^{k^{'}})$

となる。円分多項式の定義より、この式の右辺は $Φ_{d} (x)$ そのものである。

すると、 $Θ_{g} (x) = Φ_{d} (x)$ となり、

$d = \frac{d}{g}$ に気を付けて

$x^{n} - 1 = Π_{g | n} Θ_{g} (x)$ に代入すると、

$x^{n} - 1 = Π_{d | n} Φ_{d} (x)$

となる。

(証明終了)

円分多項式の性質②　整数係数多項式

（定理）

円分多項式

$Φ_{n} (x)$ は整数係数多項式である

これを示すにあたっては、

先ほど示した因数分解の性質

$x^{n} - 1 = Π_{d | n} Φ_{d} (x)$

を使います。

また、この定理は $n$ についての定理なので、

数学的帰納法を用います。

しかし、普通の帰納法ではなく、累積帰納法を用いますので、注意してください。

（証明）

数学的帰納法を用いて示す

$i)$ 　 $n = 1$ のとき

円分多項式の定義より、 $Φ_{1} (x) = x - 1$ なので、これは整数係数多項式である。

$i i)$ 　 $1 ≦ k < n$ 　を満たす $k$ に対して、 $Φ_{k} (x)$ が整数係数多項式であると仮定する。

このとき、 $Φ_{n} (x)$ が整数係数多項式であることを示す。

いま、円分多項式の性質①より、

$x^{n} - 1 = Π_{d | n} Φ_{d} (x) \dots ㋐$

である。

ここで、帰納法の仮定より、 $1 ≦ k < n$ となる $k$ については

$Φ_{k} (x)$ は整数係数多項式であるので、

㋐の右辺に登場する円分多項式のうち、 $Φ_{n}$ 以外のものは整数係数多項式である。

よって、㋐の右辺に登場する円分多項式のうち、 $Φ_{n}$ 以外の積によって定まる多項式を

$f (x)$ とすると、 $f (x)$ も整数係数多項式である。

ここで、円分多項式はその定義より最高次の係数は１であるので、 $f (x)$ の最高次の係数も１である。

いま、

$x^{n} - 1 = f (x) Φ_{n} (x)$

であるので、

$Φ_{n} (x)$ は $x^{n} - 1$ を $f (x)$ で割り算することで得ることができる。

ここで、 $x^{n} - 1$ は最高次の係数が１の整数係数多項式であり、

$f (x)$ も最高次が１の整数係数多項式である。

最高次が１の整数係数多項式を、最高次が１の整数係数多項式で割った商も

整数係数多項式でなくてはならないので、

$Φ_{n} (x)$ は整数係数多項式である。

$i)$ と $i i)$ より、数学的帰納法から、全ての自然数 $n$ に対して

$Φ_{n} (x)$ は整数係数多項式である

(証明終了)

まとめ

いかがでしたか？

証明めっちゃ長かったですが、言いたいことは２つだけ。

・ $x^{n} - 1 = Π_{d | n} Φ_{d} (x)$

・円分多項式は整数係数多項式

のみです。

なんか今回の記事を書いていて、学生時代に数学書を読んだ時のことを思い出しました。

あの頃は、ある数学書を３行理解するのに１９時間くらいかかってました笑（ノイキルヒのことです）

また次の記事でお会いしましょう！

よかったらシェアしてね！

URLをコピーしました！

URLをコピーしました！

円分多項式の性質と整数係数である事実

定義のおさらいから

円分多項式の性質①　 $x^{n} - 1$ の因数分解

円分多項式の性質②　整数係数多項式

まとめ

ブログランキング参加してます

コメント

コメントするコメントをキャンセル

円分多項式の性質と整数係数である事実

定義のおさらいから

円分多項式の性質① xn−1の因数分解

円分多項式の性質② 整数係数多項式

まとめ

ブログランキング参加してます

コメント

コメントする コメントをキャンセル

円分多項式の性質①　 $x^{n} - 1$ の因数分解

円分多項式の性質②　整数係数多項式

コメントするコメントをキャンセル