どういうわけか必ず整数係数になる多項式
★この記事は、 Math Advent Calendar 2018 - Adventar 15日目の記事です。
Advent Calendarというものの存在を最近知りまして、せっかくだから参加してみようと思い急遽最近ハマっている数学の記事を作ってみた所存です。高校数学でわかる平易な内容にしておりますので、息抜き気分で読んでいただけるとありがたいです。テーマは、どういうわけか必ず整数係数になる不思議な多項式:円分多項式です。
0.円分多項式
円分多項式というものを定義してみます。
自然数nに対して、円分多項式とは、n以下でnと互いに素なすべての自然数kに対し
をすべて掛け合わせたものです。自然数nに対する円分多項式を で定義します。それから
としておきます。(要するに、1のn乗根のうち偏角が(360k/n)°のやつですね)物は試しということで、n=1~4ぐらいまでやってみましょう。
なんだか、最右辺に整数係数しか出てこないですね。まさか、と思ったかもしれません。そのまさかは正しいです。円分多項式は任意の整数nについて整数係数になります。は整数どころか実数でもないこともありますし、「nとkが互いに素になるような項だけを選んで掛ける」という不思議なつくり方をしているのに、どういうわけか展開すると整数係数になってしまいます。
この不思議な定理を証明していくのが目標です。
流れとしては、
という感じです。「なんのこっちゃ」と思うかもしれませんが、読み終わった後にこの流れの意味がわかるかと思います。
1.たちの組分け
唐突ですが、を並べたものをある規則に沿って組分けしてみます。まず書き並べましょう。
これを全部約分しましょう。(2πは残します)
わざとらしく並べ替えてみます。
わざとらしく並べ替えました。考えると当たり前なんですが、結構面白いことが起きています。どういうことかというと、分母に来るのは12の約数だけで、分子には分母と互いに素な数がすべて表れています。つまり、12の約数mすべてについて、(mとkは互いに素)で表せる分数がすべて現れています。この「互いに素なものを選ぶ」選び方は、円分多項式の定義と同じ選び方ですね。そこでこの並べ替えのように、をグループ分けしてやることによって、
という多項式は、mをnの約数として、
とあらわせることが、ご了解いただけると思います。
(はk=1~nですべて掛け合わせるという意味です。は、nの約数mすべてについて掛け合わせるという意味です。)
ならば最後の式の両辺を (今度はnでないnの約数mすべてについて掛け合わせるという意味です)で割ってやることで、
となります。つまり、をn未満のmにおけるで表せました。なんとなく、帰納法の匂いがします。
多項式に関する定理
■補題1
最高次の係数が1である整数係数多項式の因数fが有理数係数の多項式であれば、fは整数係数多項式である。
少しわかりにくい定理ですが、「因数が有理数係数であれば」という点に注意です。たとえば、となるので、有理数係数でないなら普通に整数でない係数が出てきます。
■証明
ごめんなさい、(眠気が限界なのと)かなり複雑なので省略とさせていただきます。あと、毎度数学書に「証明は省略する」と書いてあって頭を痛めているので、自分も1回やってみたかったのです。ググると出ます。*1
■補題2
で表せたならば、もまた有理数係数である。
これは当たり前です。多項式の割り算f(x)÷g(x)を筆算で解くことを考えてみると、fもgも有理数係数のわけですから、有理数の四則演算の答えに無理数が出てくるわけがありません。このような考察をもとに証明が書けます。(些末な証明のわりにちょっとわかりにくいので、眠い方は飛ばしてください)
■証明
gの次数をa,hの次数をbであらわす。に有理数でない係数があったとして、対応する項を(cは有理数でない、0≦k≦b)とする。のの係数は必ず非零だから、その係数をq≠0(有理数)とすると、の次の係数は、
(r:有理数)
で表せるはずである。は有理数係数なので、は有理数だからこれをsとおくと、結局
とあらわせ、左辺は有理数でない、右辺は有理数で矛盾。よってに有理数でない係数は存在しない。■
Φn(x)が整数係数であることの証明
ではいよいよ、が整数係数であることの証明です。概略を述べます。先ほど、
という式を導きましたから、n未満のすべての自然数mに対してが整数係数であることを仮定すれば、先ほどの定理を使ってが整数係数であることを示せそうです。つまり数学的帰納法が使えます。(なお、少し考えてみると補題1だけだと論理的に怪しいことがわかります。そこで補題2が出るのです。)
では証明です。
■定理
すべての自然数nについて、は整数係数である。
■証明
nに関する数学的帰納法で証明する。
・n=1のとき、であるからよい。
・m<nとなるすべての自然数mについて、が整数係数であると仮定する。このときも整数係数となることを示す。
とあらわせるから、はの因数である。さらに、が有理数係数の因数であることを証明する。(そうでないと補題1が使えない!)いま、
とあらわせる。は、帰納法の仮定より整数係数、つまり有理数係数である。そこで補題2より、も有理数係数である。
最後に、が最高次の係数が1の整数係数多項式の有理数係数因数であることから、補題1を用いれば、が整数係数であることが示された。■
どうでしょうか。文章力不足でかなりグダってしまいましたが、もう一度証明の筋道を書き表しておきます。
が整数係数であることの証明だけでも美しいですが、実は証明そのものよりも、
と、を分解する構造のほうが興味深かったりします。まず、をこの式を用いて次々表せます。それから素数pについて、pの約数は1とpしかないですから、
と分解でき、つまり高校で習う因数分解の公式から
となります。 綺麗ですね。(実はこれはもとの定義からも簡単にわかるのですが)
さらにアドバンストな話をすると、代数学ではこの話が巡回群の元を、元の位数ごとに分類することにつながってきますし、クンマー理論でも出てきます。
何はともあれ、「互いに素なものだけ掛ける」という面白い操作で整数係数多項式を作れるというのは、かなり驚異的な結果です。これを機に多項式に思いを馳せてみてはいかがでしょうか。