代数方程式論

メインページ > 数学 > 代数学 > 代数方程式論

この項目では、有理数係数の1変数代数方程式、すなわち有理数$a_{0},a_{1},\cdots ,a_{n}\ (a_{n}\neq 0)$を用いて

$a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}=0$

の形に表される方程式の解法について述べる。この方程式は、両辺を$a_{n}$で割ることで、

$x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}=0$

という形で表すことができるので、以降はこの方程式の解法について述べる。

一次方程式

一次方程式

$x+a_{0}=0$

は移項により解くことができ、その解は

$x=-a_{0}$

である。

例
方程式

$x+2=0$

の解は、

$x=-2$

である。

二次方程式

二次方程式

$x^{2}+a_{1}x+a_{0}=0$

は以下のように平方完成を用いて解くことができる。

$\left(x+{\frac {a_{1}}{2}}\right)^{2}={\frac {a_{1}^{2}-4a_{0}}{4}}$

$x+{\frac {a_{1}}{2}}={\frac {\pm {\sqrt {a_{1}^{2}-4a_{0}}}}{2}}$

$x={\frac {-a_{1}\pm {\sqrt {a_{1}^{2}-4a_{0}}}}{2}}$

例
方程式

$x^{2}+2x+3=0$

の解は、

$x={\frac {-2\pm {\sqrt {-8}}}{2}}=-1\pm {\sqrt {2}}i$

である。

例
方程式

$x^{2}+3x+2=0$

の解は、

$x={\frac {-3\pm {\sqrt {1}}}{2}}=-1,-2$

である。

このように、二次方程式は先ほど求めた解の公式によって解くことができるが、因数分解が簡単にできる場合に解の公式を用いるとかえって計算が煩雑になる。

一次方程式の場合とは異なり、二次方程式は係数が実数であっても虚数解しか持たない場合もある。このことは、人類が初めて虚数を必要としたきっかけとしてしばしば言及されるが、歴史的にはこれは正しくない。虚数を知らない人は、虚数解しか持たない方程式はそもそも「解を持たない」ということにしてしまえば済むからである。代数方程式を研究していく中で虚数が決定的に必要とされたのは、次の三次方程式の解法が発見されてからであった。

三次方程式

三次方程式

$x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0$

を考える。この方程式は、

$\left(x+{\frac {a_{2}}{3}}\right)^{3}+\left(a_{1}-{\frac {a_{2}^{2}}{3}}\right)\left(x+{\frac {a_{2}}{3}}\right)+a_{0}-{\frac {1}{3}}a_{1}a_{2}+{\frac {2}{27}}a_{2}^{3}=0$

と変形できる。

$t=x+{\frac {a_{2}}{3}}$

とおく。また、

$-3uv=a_{1}-{\frac {a_{2}^{2}}{3}}$

$u^{3}+v^{3}=a_{0}-{\frac {1}{3}}a_{1}a_{2}+{\frac {2}{27}}a_{2}^{3}$

を満たす2数$u,v$が存在したとする。このとき方程式は、

$t^{3}+u^{3}+v^{3}-3tuv=0$

$(t+u+v)(t^{2}+u^{2}+v^{2}-tu-uv-vt)=0$

$(t+u+v)\left(t^{2}-(u+v)t+u^{2}-uv+v^{2}\right)=0$

$t=-u-v,{\frac {(u+v)\pm (u-v){\sqrt {3}}i}{2}}=-u-v,-\omega u-\omega ^{2}v,-\omega ^{2}u-\omega v$

と解くことができる（ただし、$\omega ={\frac {-1+{\sqrt {3}}i}{2}}$である）。よって、

$x=t-{\frac {a_{2}}{3}}=-u-v-{\frac {a_{2}}{3}},-\omega u-\omega ^{2}v-{\frac {a_{2}}{3}},-\omega ^{2}u-\omega v-{\frac {a_{2}}{3}}$

である。

あとは、$u,v$を求めればよい。

$u^{3}v^{3}=\left(-{\frac {a_{1}}{3}}+{\frac {a_{2}^{2}}{9}}\right)^{3}$

$u^{3}+v^{3}=a_{0}-{\frac {1}{3}}a_{1}a_{2}+{\frac {2}{27}}a_{2}^{3}$

に注意すると、$u^{3},v^{3}$は二次方程式

$z^{2}-\left(a_{0}-{\frac {1}{3}}a_{1}a_{2}+{\frac {2}{27}}a_{2}^{3}\right)z+\left(-{\frac {a_{1}}{3}}+{\frac {a_{2}^{2}}{9}}\right)^{3}=0$

の解である。これを解くと

$z={\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\pm {\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}$

となるので、

$u={\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}+{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}$

$v={\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}-{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}$

とすればよい。すなわち、3つの解は

$x_{1}=-{\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}+{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-{\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}-{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-{\frac {a_{2}}{3}}$

$x_{2}=-\omega {\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}+{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-\omega ^{2}{\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}-{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-{\frac {a_{2}}{3}}$

$x_{3}=-\omega ^{2}{\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}+{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-\omega {\sqrt[{3}]{{\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}-{\sqrt {\left({\frac {a_{0}}{2}}-{\frac {a_{1}a_{2}}{6}}+{\frac {a_{2}^{3}}{27}}\right)^{2}+\left({\frac {a_{1}}{3}}-{\frac {a_{2}^{2}}{9}}\right)^{3}}}}}-{\frac {a_{2}}{3}}$

である。

例
方程式

$x^{3}+2x^{2}+3x+4=0$

の解は、

$x_{1}=-{\sqrt[{3}]{{\frac {35}{27}}+{\sqrt {\frac {1350}{729}}}}}-{\sqrt[{3}]{{\frac {35}{27}}-{\sqrt {\frac {1350}{729}}}}}-{\frac {2}{3}}={\frac {-{\sqrt[{3}]{35+15{\sqrt {6}}}}-{\sqrt[{3}]{35-15{\sqrt {6}}}}-2}{3}}$

$x_{2}=-\omega {\sqrt[{3}]{{\frac {35}{27}}+{\sqrt {\frac {1350}{729}}}}}-\omega ^{2}{\sqrt[{3}]{{\frac {35}{27}}-{\sqrt {\frac {1350}{729}}}}}-{\frac {2}{3}}={\frac {-\omega {\sqrt[{3}]{35+15{\sqrt {6}}}}-\omega ^{2}{\sqrt[{3}]{35-15{\sqrt {6}}}}-2}{3}}$

$x_{3}=-\omega ^{2}{\sqrt[{3}]{{\frac {35}{27}}+{\sqrt {\frac {1350}{729}}}}}-\omega {\sqrt[{3}]{{\frac {35}{27}}-{\sqrt {\frac {1350}{729}}}}}-{\frac {2}{3}}={\frac {-\omega ^{2}{\sqrt[{3}]{35+15{\sqrt {6}}}}-\omega {\sqrt[{3}]{35-15{\sqrt {6}}}}-2}{3}}$

である。

例
方程式

$x^{3}-15x-4=0$

の解は、

$x_{1}=-{\sqrt[{3}]{-2+{\sqrt {-121}}}}-{\sqrt[{3}]{-2-{\sqrt {-121}}}}={\sqrt[{3}]{2+11i}}+{\sqrt[{3}]{2-11i}}$

$x_{2}=-\omega {\sqrt[{3}]{-2+{\sqrt {-121}}}}-\omega ^{2}{\sqrt[{3}]{-2-{\sqrt {-121}}}}=\omega {\sqrt[{3}]{2+11i}}+\omega ^{2}{\sqrt[{3}]{2-11i}}$

$x_{3}=-\omega ^{2}{\sqrt[{3}]{-2+{\sqrt {-121}}}}-\omega {\sqrt[{3}]{-2-{\sqrt {-121}}}}=\omega ^{2}{\sqrt[{3}]{2+11i}}+\omega {\sqrt[{3}]{2-11i}}$

である。ここで、$(2+i)^{3}=2+11i,(2-i)^{3}=2-11i$であることに注意すると、

$x_{1}=(2+i)+(2-i)=4$

$x_{2}={\frac {-1+{\sqrt {3}}i}{2}}(2+i)+{\frac {-1-{\sqrt {3}}i}{2}}(2-i)=-2-{\sqrt {3}}$

$x_{3}={\frac {-1-{\sqrt {3}}i}{2}}(2+i)+{\frac {-1+{\sqrt {3}}i}{2}}(2-i)=-2+{\sqrt {3}}$

である。

3次方程式でも、因数定理で容易に因数分解できるものに解の公式を利用すると、かえって計算が煩雑になる。のみならず、実数解しか持たない方程式では、それにもかかわらず計算の途中で虚数の計算を要することになる。解は実数なのに、途中では虚数が登場するというこの現象こそが、人類が初めて虚数を必要としたきっかけといわれる。

四次方程式

四次方程式

$x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}=0$

を考える。この方程式は、

$\left(x+{\frac {a_{3}}{4}}\right)^{4}+\left(a_{2}-{\frac {3a_{3}^{2}}{8}}\right)\left(x+{\frac {a_{3}}{4}}\right)^{2}+\left(a_{1}-{\frac {a_{2}a_{3}}{2}}+{\frac {a_{3}^{3}}{8}}\right)\left(x+{\frac {a_{3}}{4}}\right)+a_{0}-{\frac {a_{1}a_{3}}{4}}+{\frac {a_{2}a_{3}^{2}}{16}}-{\frac {3a_{3}^{4}}{256}}=0$

と変形できる。

$y=x+{\frac {a_{3}}{4}}$

とすると、

$y^{4}+\left(a_{2}-{\frac {3a_{3}^{2}}{8}}\right)y^{2}+\left(a_{1}-{\frac {a_{2}a_{3}}{2}}+{\frac {a_{3}^{3}}{8}}\right)y+a_{0}-{\frac {a_{1}a_{3}}{4}}+{\frac {a_{2}a_{3}^{2}}{16}}-{\frac {3a_{3}^{4}}{256}}=0$

である。この方程式の左辺を因数分解して、

$(y^{2}+ky+l)(y^{2}-ky+m)=0$

としたい。左辺を展開すると

$y^{4}+(l+m-k^{2})y^{2}+k(m-l)y+lm=0$

となるので、係数を比較して

$l+m-k^{2}=a_{2}-{\frac {3a_{3}^{2}}{8}}$

$k(m-l)=a_{1}-{\frac {a_{2}a_{3}}{2}}+{\frac {a_{3}^{3}}{8}}$

$lm=a_{0}-{\frac {a_{1}a_{3}}{4}}+{\frac {a_{2}a_{3}^{2}}{16}}-{\frac {3a_{3}^{4}}{256}}$

である。上の2式より

$l={\frac {k^{2}}{2}}+{\frac {8a_{2}-3a_{3}^{2}}{16}}-{\frac {8a_{1}-4a_{2}a_{3}+a_{3}^{3}}{16k}}$

$m={\frac {k^{2}}{2}}+{\frac {8a_{2}-3a_{3}^{2}}{16}}+{\frac {8a_{1}-4a_{2}a_{3}+a_{3}^{3}}{16k}}$

なので、これを3番目の式に代入すると、

${\frac {k^{4}}{4}}+{\frac {8a_{2}-3a_{3}^{2}}{16}}k^{2}+{\frac {(8a_{2}-3a_{3}^{2})^{2}}{256}}-{\frac {(8a_{1}-4a_{2}a_{3}+a_{3}^{3})^{2}}{256k^{2}}}=a_{0}-{\frac {a_{1}a_{3}}{4}}+{\frac {a_{2}a_{3}^{2}}{16}}-{\frac {3a_{3}^{4}}{256}}$

$k^{6}+{\frac {8a_{2}-3a_{3}^{2}}{4}}k^{4}+\left(-4a_{0}+a_{1}a_{3}+a_{2}^{2}-a_{2}a_{3}^{2}+{\frac {3}{16}}a_{3}^{4}\right)k^{2}-{\frac {(8a_{1}-4a_{2}a_{3}+a_{3}^{3})^{2}}{64}}=0$

となる。この方程式は$k^{2}$についての3次方程式なので、前節の方法で解くことができ、したがって$k,m,l$の値が求まる。すなわち、方程式の左辺が$y$についての二次式の積の形に表せるので、二次方程式の解の公式を用いれば解が求まる。最後の計算の部分はこのまま文字式で計算すると煩雑に過ぎる式となるので、ここでは省略する（興味のある読者は試みるとよい）。注目すべきは、煩雑な式ではあるものの、四則演算と冪根（平方根・立方根）の記号のみからなる式となることである。

高次方程式

五次方程式では、これまでとは状況が大きく変わる。五次以上では、一般の方程式について、四次以下の方程式のような四則演算と冪根のみからなる解の公式を作ることはできないことが証明されているのである。その不可能性の証明には、ある程度の代数学の知見を必要とするので、詳細はガロア理論の項に譲る。

誤解のないように注意しておくが、五次以上の方程式であっても、解が存在しないわけではなく、ただ四則演算と冪根のみによって表すことができないというだけである。解は必ず存在し、しかもその個数は（重複度込みで）次数と一致することがわかっている。すなわち、次の定理が成り立つ。

定理（代数学の基本定理）
複素数係数のn次方程式

$a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{0}=0$

は、（k重解をk個と数えることにすれば）ちょうどn個の複素数解を持つ。すなわち、左辺は（互いに相異なるとは限らない）n個の複素数$\alpha _{1},\alpha _{2},\cdots ,\alpha _{n}$を用いて

$a_{n}(x-\alpha _{1})(x-\alpha _{2})\cdots (x-\alpha _{n})$

と因数分解できる。

この定理の証明には、複素数の集合の解析的性質が必要となる。ゆえに、証明は複素解析学#リウヴィルの定理の項に譲ることにする。