目次ユークリッドの互除法ってガロア理論と関係あるの?ユークリッドの互除法は、2つの整数の最大公約数を求めるための道具です。ユークリッドの互除法とは、2つの数の最大公約数を求めるための計算方法です。6と8の最大公約数を考えてみまし...そして、ガロア理論は、方程式についての理論です。1次方程式は、解くことができます。中学1年生で習うやつです。1次方程式の解は1つです。前回、5次以上の方程式には解の公式が存在しないということを紹介しました。実は密接に関わっています。ユークリッドの互除法は、2つの整数の最大公約数を求める道具。約数を求めるわけです。「約数を求める」ということを、「数を掛け算に分解する」というイメージでとらえてください。$6=2×3$のイメージです。(これは約数を求めるというより素因数分解ですが)一方、ガロア理論は方程式についての理論です。皆さん、方程式を解くときは何をしますか?例えば、$x^2-5x+6=0$を解いてみましょう。3$因数分解をしましたね!因数分解ができないときは、解の公式を使いますが、第一の選択肢は因数分解のはずです。因数分解は、「多項式を掛け算に分解する」道具です。以上をまとめると、こうなります。多項式にユークリッドの互除法を使ってみるという最高にエキサイティングなことを思いつきます。今回はこの手法について扱っていきます。ユークリッドの互除法多項式Ver例えば、$x^5-x^4+2x^2-2x+1$と$x^4-x^3-x^2+2x-2$を考えてみましょう。この2つの多項式の約数を求めてみます。2つとも、そのまま因数分解するのは難しそうなので、ユークリッドの互除法を用います。$x^5-x^4+2x^2-2x+1=(x^4-x^3-x^2+2x-2)×x+(x^3+1)$$x^4-x^3-x^2+2x-2=(x^3+1)(x-1)+(-x^2+x-1)$$x^3+1=(-x^2+x-1)(-x-1)+0$これでユークリッドの互除法は完了です。最後の式が若干みにくいので、係数だけ調整します。$x^3+1=(-x^2+x-1)(-x-1)+0$より、$x^3+1=(x^2-x+1)(x-1)$よって、今回の2つの多項式の約数は$x^2-x+1$となります。このように、2つの多項式の約数を整数の時と同じようにユークリッドの互除法で求めることがでるのです!ここで少しだけ注意が必要です。係数の範囲をどこで考えているかがめっちゃ重要です。$x^2-2$は係数が有理数の範囲では既約ですが、実数の範囲では可約になります。多くの場合は、係数の範囲を有理数で考えると都合がいいので、この記事でもそう考えていこうと思います。(中学・高校では、暗黙のうちに係数の範囲を整数に限定していることが多い気がするので、注意してください。中高生の読者の方がいたとしたら、テストでは学校で習った通りに因数分解しましょう。ガロア理論では、体が非常に重要な役割を果たすので、最小の体である有理数を係数として出発するのが一番自然です。係数を有理数で考えるのは、中高生には若干違和感があるかもしれませんが、慣れていきましょう)係数の範囲が有理数ということは、こんな現象がおきます。$x^2-9$を例に考えましょうもちろん$x^2-9=(x+3)(x-3)$ですので、$x+3とx-3$は$x^2-9$の約数です。係数の範囲は有理数なので、例えば$x^2-9=(2x+6)(\dfrac{1}{2}x-\dfrac{3}{2})$と因数分解してもよいことになります。このとき、$2x+6と\dfrac{1}{2}x-\dfrac{3}{2}$も$x^2-9$の約数だね、といっても間違いではありません。要するに、係数が有理数の範囲で因数分解をする場合は、有理数倍は無視して、同じものとみなします。$x+3も2x+6も\dfrac{1}{100}x+\dfrac{3}{100}も$、$a(x+3)$という形なので、どれもが$x^2-9$の約数です。普通は最高次の係数が1であるものがシンプルなので、$a(x+3)$の$a$は省略することが多いです。=====================割り算の詳細が気になる方は、以下のひっ算を参考にしてください(ここは読み飛ばしても全然OKです)$x^5-x^4+2x^2-2x+1$と$x^4-x^3-x^2+2x-2$を割り算します。$x^5-x^4+2x^2-2x+1=(x^4-x^3-x^2+2x-2)×x+(x^3+1)$同じノリで、$x^4-x^3-x^2+2x-2$を$x^3+1$で割ります。式にすると、こうです$x^4-x^3-x^2+2x-2=(x^3+1)×(x-1)+(-x^2+x-1)$さらに、同じノリで$x^3+1$を$-x^2+x-1$で割ります。式を追うと複雑ですが、伝えたいことはただ一つです。共通因数を求めることができる。この事実だけ覚えておいてください。ユークリッドの互除法と1次不定方程式さて、ユークリッドの互除法の次に出てくる話題として、1次不定方程式があります。$ax+by=c$の形をした方程式の整数解を求める問題を、1次不定方程式といいます。b$が互いに素なとき、$ax+by=c$は整数解をもつ、といった内容です。b$を多項式に置き換えても同じようなことが成り立ちます。Y(x)$が存在し、$Y(x)がa(x)$の次数よりも低くなる、といった感じです。具体例を見ていきましょう。2つの多項式が互いに素って何?どういうこと?と思ったに違いないので、そこから確認します。整数の場合は、最大公約数が1のときに互いに素と言いました。2と9は互いに素です。4と6は互いに素ではありません多項式の置き換えるとどうでしょうか。$x^2-9$と$x^2-5x+6$を考えましょう。$x^2-9=(x+3)(x-3)$で、$x^2-5x+6=(x-2)(x-3)$です。$x-3$が両者に共通なので、これらは互いに素ではありません。$x^2-9=(x+3)(x-3)$と$x^2-x-2=(x-2)(x+1)$は互いに素です。Y(x)$の組を1つ求めよ注意:結構計算がえぐいので、なんとなく目で追っていただければOKです。気が向いたら筆算しつつ計算もしてみてください。\rbrace×(\dfrac{1}{3}x-\dfrac{4}{9})$$-\dfrac{14}{9}=(x^2-x-2)-(x^3-1)(\dfrac{1}{3}x-\dfrac{4}{9})+(x^2-x-2)(x+1)(\dfrac{1}{3}-\dfrac{4}{9})$$-\dfrac{14}{9}=(x^2-x-2)(\dfrac{1}{3}x^2-\dfrac{1}{9}x+\dfrac{5}{9})-(x^3-1)(\dfrac{1}{3}x-\dfrac{4}{9})$全体を$-\dfrac{9}{14}$倍する。Y(x)=-\dfrac{3}{14}x^2+\dfrac{1}{14}x-\dfrac{5}{14}$は求めるものの一組となる。解答終了まとめいかがでしたか?計算がやばかったと思いますが、要点をまとめると以下の3点です。これだけ知っておいていただければ、この記事を書いたかいがあります。・多項式でもユークリッドの互除法が使える。※サイト次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。上に表示された文字を入力してください。