円分多項式のソースを表示

'''円分多項式'''（えんぶんたこうしき、{{lang-en-short|cyclotomic polynomial}}, {{lang-de-short|Kreisteilungspolynom}}）とは、[[1の冪根]]に関連のある[[多項式]]である。具体的には次の式で定義される多項式 {{math|Φ{{sub|''n''}}(''x'')}} を指す。
:<math>\Phi_n (x)
=\textstyle\prod\limits_{1 \le k \le n \atop \operatorname{gcd} (k,n)=1} \left( x-e^{\frac{2\pi ik}{n}} \right).</math>
この定義からは明らかではないが、これは係数が整数の多項式で、さらに有理数体上の[[既約多項式]]である。多項式 {{math2|''x{{sup|n}}'' &minus; 1}} は次のように円分多項式の積として既約分解される。
:<math>x^n -1= \textstyle\prod\limits_{d \mid n} \Phi_d (x).</math>
英語の「cyclotomic」という言葉は[[古代ギリシャ語]]の「円 (cyclo)」と「分ける (tomos)」に由来する<ref>{{Cite arXiv |last=Sanna |first=Carlo |title=A Survey on Coefficients of Cyclotomic Polynomials |year=2021 |eprint=2111.04034 |p=3}}</ref>。

== 概要 ==
一般に {{mvar|n}} 次方程式は[[代数的閉体]]において、重根を含め {{mvar|n}} 個の根を持つ。特に、複素数体は代数的閉体であるから、方程式 {{math2|1=''x{{sup|n}}'' &minus; 1 = 0}} は複素数の範囲で {{mvar|n}} 個の根を持つ。

実際 {{math2|''e''{{sup|2''πik''/''n''}}}} は {{mvar|k}} を 1 から {{mvar|n}} まで変化させると方程式 {{math2|1=''x{{sup|n}}'' &minus; 1 = 0}} の {{mvar|n}} 個の異なる根をすべて与える。[[複素平面]]上にあるこれらの根は単位円の弧を {{mvar|n}} 等分する。これが円分多項式と呼ばれる所以である。

例えば、{{math2|1=''x''{{sup|4}} &minus; 1 = 0}} は {{math2|''i'', −1, −''i'', 1}} の4つの根を持ち、{{math2|1=''k'' = 1, 2, 3, 4}} に対応する。1 と −1 は2乗すると 1 になるので、{{math2|1=''x''{{sup|2}} &minus; 1 = 0}} の根でもある。一方、{{math2|''i'', −''i''}} は4乗しなければ 1 とならない。この2つを根に持つ方程式が {{math|1=Φ{{sub|4}}(''x'') = ''x''{{sup|2}} + 1}} である。このように {{mvar|n}} 乗して初めて 1 となる複素数（1 の原始 {{mvar|n}} 乗根）全てを根に持ち、最高次数の項の係数が 1 である多項式が'''円分多項式''' {{math2|Φ{{sub|''n''}}(''x'')}} である。

{{mvar|n}} 乗して初めて 1 になる条件は {{mvar|k}} と {{mvar|n}} が互いに素なことであるため、冒頭の定義が与えられる。定義からすぐに得られる帰納的関係式
:<math>\Phi_n (x) = \frac{x^n-1}{\prod\limits_{d \mid n \atop d \neq n} \Phi_d (x)}</math>
または[[メビウスの反転公式]]により得られる
:<math>\Phi_n (x) = \textstyle\prod\limits_{d \mid n} (x^{\frac{n}{d}} -1)^{\mu(d)}</math>
が計算上は有用である。

== 性質 ==
実際に円分多項式を計算すると以下のようになる。
:<math>\begin{align}
\Phi_1 &= x-1 \\
\Phi_2 &= (x^2-1)/\Phi_1 &&= x+1\\
\Phi_3 &= (x^3-1)/\Phi_1 &&= x^2+x+1\\
\Phi_4 &= (x^4-1)/\Phi_1\Phi_2 &&= x^2+1\\
\Phi_5 &= (x^5-1)/\Phi_1 &&= x^4+x^3+x^2+x+1\\
\Phi_6 &= (x^6-1)/\Phi_1\Phi_2\Phi_3 &&= x^2-x+1\\
\Phi_7 &= (x^7-1)/\Phi_1 &&= x^6+x^5+x^4+x^3+x^2+x+1\\
\Phi_8 &= (x^8-1)/\Phi_1\Phi_2\Phi_4 &&= x^4+1\\
\Phi_9 &= (x^9-1)/\Phi_1\Phi_3 &&= x^6+x^3+1\\
\Phi_{10} &= (x^{10}-1)/\Phi_1\Phi_2\Phi_5 &&= x^4-x^3+x^2-x+1\\
\Phi_{11} &= (x^{11}-1)/\Phi_1 &&= x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1\\
\Phi_{12} &= (x^{12}-1)/\Phi_1\Phi_2\Phi_3\Phi_4\Phi_6 &&= x^4-x^2+1\\
\end{align}
</math>
円分多項式の次数はその性質上[[オイラーのφ関数|オイラーの {{mvar|φ}} 関数]]を用いれば {{math|''φ''(''n'')}} に等しい。また、上記の例では係数が 1, −1, 0 しか現れないが、必ずそうなるわけではない。実際 {{math2|Φ{{sub|105}}(''x'')}} がそうでない最小の例で係数に −2 が現れる。

:<math>\begin{align}
\Phi_{105}(x) &= x^{48} + x^{47} + x^{46} - x^{43} - x^{42} - 2 x^{41} - x^{40} - x^{39} + x^{36} + x^{35} + x^{34} + x^{33} + x^{32} + x^{31} - x^{28} - x^{26} \\
&\qquad\quad - x^{24} - x^{22} - x^{20} + x^{17} + x^{16} + x^{15} + x^{14} + x^{13} + x^{12} - x^9 - x^8 - 2 x^7 - x^6 - x^5 + x^2 + x + 1
\end{align}</math>

円分多項式の係数の大きさについて知られている最良の結果は次のものである。
:<math>\Phi_n (x)= \textstyle\sum\limits_{m=0}^{\varphi(n)} a_{nm} x^m</math>
とおく。このとき、定数 {{math2|''c''{{sub|2}} > ''c''{{sub|1}} > 0}} が存在して、十分大きい {{mvar|m}} に対して、
:<math>c_1 m^{1/2} (\log m)^{-1/4} < \log \max_n \vert a_{nm} \vert < c_2 m^{1/2} (\log m)^{-1/4}</math>
を満たす<ref>{{Cite journal |first1=H.L. |last1=Montgomery |first2=R.C. |last2=Vaughan |title=The order of magnitude of the mth coefficients of cyclotomic polynomials |journal=Glasgow Mathematical Journal |volume=27 |issue=23 |year=2008 |pages=5860-5863 |doi=10.1017/S0017089500006145 |mr=MR0819835 }}</ref>。また <math>\max_m \vert a_{nm} \vert > \exp \frac{\log 2 \log n}{\log\log n}</math> となる ''n'' が無数に存在する<ref>{{Cite journal |first=R.C. |last=Vaughan |title=Bounds for the coefficients of cyclotomic polynomials |journal=Michigan Mathematical Journal |volume=21 |issue=4 |year=1975 |pages=289-295 |doi=10.1307/mmj/1029001352 |mr=MR0364141 |zbl=0304.10008}}</ref>。

{{mvar|n}} が素数のときは係数が全て 1 の {{math2|''n'' &minus; 1}} 次の多項式となる。

すべての整数は円分多項式の係数として現れる<ref>{{Cite journal |first=Jiro |last=Suzuki |title=On coefficients of cyclotomic polynomials |journal=Proc. Japan Acad. Ser. A Math. Sci. |volume=63 |issue=7 |year=1987 |pages=279-280 |url=https://projecteuclid.org/euclid.pja/1195513653 |doi=10.3792/pjaa.63.279 | MR=MR931264 |zbl=0641.10008}}</ref>。さらに強く、どのような等差数列 <math>(sn+t)_{n\geq 1} (s>t\geq 0)</math> をとっても、すべての整数はある <math>\Phi_{sn+t}</math> の係数として現れる<ref>{{Cite journal |first=Pingzhi |last=Yuan |title=Coefficients of cyclotomic polynomials |journal=Southeast Asian Bulettin of Mathematics |volume=36 |issue=5 |year=2012 |pages=753-756 |url=http://www.seams-bull-math.ynu.edu.cn/archive.html |mr=MR3058658}}</ref>。

任意の円分多項式の全ての根は、いくつかの有理数から出発して四則と冪根を繰り返すことにより表せることが知られている。実際、{{math2|Φ{{sub|''n''}}(''x'')}} の[[ガロア群]]は {{math2|'''Z'''/''n'''''Z'''}} の乗法群である。特に {{mvar|n}} が[[フェルマー素数]]のときは、冪根として平方根を用いるだけで表すことが可能であるため、長さ 1 の線分が与えられれば、定規とコンパスを使用して半径 1 の円弧を {{mvar|n}} 等分する線分が作図可能である。

''x'' が異なる円分多項式の差として表される多項式の根ならば {{sfrac|1|2}} < ''x'' < 2 となる。このことから多項式 ''F'', ''G'' の間に <math>F\preceq G</math> を ''x'' > 2 となるすべての ''x'' について <math>F(x)\leq G(x)</math> となることと定義すると <math>\preceq</math> は円分多項式の間の[[全順序]]を定めることが分かる<ref>{{Cite journal |first1=Carl |last1=Pomerance |first2=Simon |last2=Rubinstein-Salzedo |title=Cyclotomic Coincidences |journal=Experimental Mathematics |volume=(advanced online publication) |doi=10.1080/10586458.2019.1660741 |url=https://arxiv.org/abs/1903.01962}}</ref>。

== 円分多項式の値 ==
{{mvar|a}} を整数とし、{{mvar|g}} を {{mvar|a}} の {{mvar|p}} を法とする[[位数]]とするとき、{{mvar|p}} が {{math2|Φ{{sub|''n''}}(''a'')}} の素因数であることは {{math2|1=''n'' = ''gp{{sup|e}}''}}  ({{math2|''e'' ≥ 0}}) と書けることと同値である。よって、{{math2|Φ{{sub|''n''}}(''a'')}} の素因数は {{mvar|n}} の約数であるか、または {{mvar|n}} を法として 1 と合同である。このことから、任意の整数 {{mvar|n}} に対して、{{mvar|n}} を法として 1 と合同である素数が無限に多く存在することが導かれる。これは[[ディリクレの算術級数定理]]の特別な場合である。

{{math2|Φ{{sub|''n''}}(''a'')}} は少数の例外を除いて必ず {{mvar|n}} を法として 1 と合同である素因数を持つ。実際、
:<math>\Phi_n (x,y)=\textstyle\sum\limits_{m=0}^{\varphi(n)} a_{nm} x^m y^{\varphi(n)-m}</math>
とおくと、次のことが知られている<ref>Zsigmondy 1892, Carmichael 1913, Kanold 1950など、多くの数学者がこの証明を発表している。</ref>。
* {{math2|''a'', ''b''}} を {{mvar|p}} と互いに素な整数とし、{{mvar|g}} を {{mvar|p}} が {{math2|''a{{sup|g}}'' − ''b{{sup|g}}''}} を割り切る最小の {{mvar|g}} とするとき、{{mvar|p}} が {{math2|Φ{{sub|''n''}}(''a'', ''b'')}} の素因数であることは {{math2|1=''n'' = ''gp{{sup|e}}''}} ({{math2|''e'' ≥ 0}}) と書けることと同値である。
* {{math2|''a'' > ''b''}} を {{mvar|p}} と互いに素な正の整数とする。{{math2|Φ''{{sub|n}}''(''a'', ''b'')}} は {{math2|1=Φ{{sub|6}}(2, 1) = 3, Φ{{sub|1}}(''a'', ''a'' − 1) = 1, Φ{{sub|2}}(''a'', ''b'') = ''a'' + ''b''}}（最後の場合において、{{math2|''a'', ''b''}} は奇数で {{math2|''a'' + ''b''}} は[[2の冪]]）となる場合を除いて、必ず {{mvar|n}} を法として 1 と合同である素因数を持つ。
*: なお、この場合には、そのような素因数を {{mvar|p}} とし、{{math2|1=''n'' = ''gp{{sup|e}}'' (''e'' ≥ 0)}} とおくと、{{math2|''p'' > ''n''}} より {{math2|1=''e'' = 0}}, すなわち {{math2|1=''g'' = ''n''}} でなければならない。すなわち、{{mvar|n}} は {{mvar|p}} が {{math2|''a{{sup|n}}'' − ''b{{sup|n}}''}} を割り切る最小の {{mvar|n}} である。この結果はさらに一般化される（[[リュカ数列]]を参照）。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* R. D. Carmichael, On the numerical factors of the arithmetic forms <math>\alpha^n\pm\beta^n</math>, ''Ann. of Math.'' '''15''' (1913), 30-70.
* H.-J. Kanold, S&auml;tze &uuml;ber Kreisteilungspolynome und ihre Anwendungen auf einige zahlentheoretische Probleme I, ''J. reine angew. Math.'' '''187'''(1950), 169-182.
* K. Zsigmondy, Zur Theorie der Potenzreste, ''Monatsh. Math.'' '''3'''(1892), 265-284.

== 外部リンク ==
* {{高校数学の美しい物語|1345|円分多項式とその性質}}

{{DEFAULTSORT:えんふんたこうしき}}
[[Category:数学に関する記事]]
[[Category:数論]]