代数方程式論のソースを表示

{{pathnav|frame=1|メインページ|数学|代数学}}
この項目では、有理数係数の1変数代数方程式、すなわち有理数<math>a_0,a_1,\cdots,a_n \ (a_n \ne 0)</math>を用いて
:<math>a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0=0</math>
の形に表される方程式の解法について述べる。この方程式は、両辺を<math>a_n</math>で割ることで、
:<math>x^n+a_{n-1}x^{n-1}+\cdots+a_0=0</math>
という形で表すことができるので、以降はこの方程式の解法について述べる。

== 一次方程式 ==
一次方程式
:<math>x+a_0=0</math>
は移項により解くことができ、その解は
:<math>x=-a_0</math>
である。

'''例'''<br />
方程式
:<math>x+2=0</math>
の解は、
:<math>x=-2</math>
である。

== 二次方程式 ==
二次方程式
:<math>x^2+a_1x+a_0=0</math>
は以下のように平方完成を用いて解くことができる。
:<math>\left(x+\frac{a_1}{2}\right)^2=\frac{a_1^2-4a_0}{4}</math>
:<math>x+\frac{a_1}{2}=\frac{\pm\sqrt{a_1^2-4a_0}}{2}</math>
:<math>x=\frac{-a_1\pm\sqrt{a_1^2-4a_0}}{2}</math>

'''例'''<br />
方程式
:<math>x^2+2x+3=0</math>
の解は、
:<math>x=\frac{-2\pm\sqrt{-8}}{2}=-1\pm\sqrt{2}i</math>
である。

'''例'''<br />
方程式
:<math>x^2+3x+2=0</math>
の解は、
:<math>x=\frac{-3\pm\sqrt{1}}{2}=-1,-2</math>
である。

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

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

== 三次方程式 ==
三次方程式
:<math>x^3+a_2x^2+a_1x+a_0=0</math>
を考える。この方程式は、
:<math>\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_1a_2+\frac{2}{27}a_2^3=0</math>
と変形できる。
:<math>t=x+\frac{a_2}{3}</math>
とおく。また、
:<math>-3uv=a_1-\frac{a_2^2}{3}</math>
:<math>u^3+v^3=a_0-\frac{1}{3}a_1a_2+\frac{2}{27}a_2^3</math>
を満たす2数<math>u,v</math>が存在したとする。このとき方程式は、
:<math>t^3+u^3+v^3-3tuv=0</math>
:<math>(t+u+v)(t^2+u^2+v^2-tu-uv-vt)=0</math>
:<math>(t+u+v)\left(t^2-(u+v)t+u^2-uv+v^2\right)=0</math>
:<math>t=-u-v,\frac{(u+v)\pm(u-v)\sqrt{3}i}{2}=-u-v,-\omega u-\omega^2v,-\omega^2u-\omega v</math>
と解くことができる（ただし、<math>\omega=\frac{-1+\sqrt{3}i}{2}</math>である）。よって、
:<math>x=t-\frac{a_2}{3}=-u-v-\frac{a_2}{3},-\omega u-\omega^2v-\frac{a_2}{3},-\omega^2u-\omega v-\frac{a_2}{3}</math>
である。

あとは、<math>u,v</math>を求めればよい。
:<math>u^3v^3=\left(-\frac{a_1}{3}+\frac{a_2^2}{9}\right)^3</math>
:<math>u^3+v^3=a_0-\frac{1}{3}a_1a_2+\frac{2}{27}a_2^3</math>
に注意すると、<math>u^3,v^3</math>は二次方程式
:<math>z^2-\left(a_0-\frac{1}{3}a_1a_2+\frac{2}{27}a_2^3\right)z+\left(-\frac{a_1}{3}+\frac{a_2^2}{9}\right)^3=0</math>
の解である。これを解くと
:<math>z=\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}\pm\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}\right)^2+\left(\frac{a_1}{3}-\frac{a_2^2}{9}\right)^3}</math>
となるので、
:<math>u=\sqrt[3]{\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}+\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}\right)^2+\left(\frac{a_1}{3}-\frac{a_2^2}{9}\right)^3}}</math>
:<math>v=\sqrt[3]{\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}-\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}\right)^2+\left(\frac{a_1}{3}-\frac{a_2^2}{9}\right)^3}}</math>
とすればよい。すなわち、3つの解は
:<math>x_1=-\sqrt[3]{\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}+\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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_1a_2}{6}+\frac{a_2^3}{27}-\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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}</math>
:<math>x_2=-\omega\sqrt[3]{\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}+\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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_1a_2}{6}+\frac{a_2^3}{27}-\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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}</math>
:<math>x_3=-\omega^2\sqrt[3]{\frac{a_0}{2}-\frac{a_1a_2}{6}+\frac{a_2^3}{27}+\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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_1a_2}{6}+\frac{a_2^3}{27}-\sqrt{\left(\frac{a_0}{2}-\frac{a_1a_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}</math>
である。

'''例'''<br />
方程式
:<math>x^3+2x^2+3x+4=0</math>
の解は、
:<math>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}</math>
:<math>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}</math>
:<math>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}</math>
である。

'''例'''<br />
方程式
:<math>x^3-15x-4=0</math>
の解は、
:<math>x_1=-\sqrt[3]{-2+\sqrt{-121}}-\sqrt[3]{-2-\sqrt{-121}}=\sqrt[3]{2+11i}+\sqrt[3]{2-11i}</math>
:<math>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}</math>
:<math>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}</math>
である。ここで、<math>(2+i)^3=2+11i,(2-i)^3=2-11i</math>であることに注意すると、
:<math>x_1=(2+i)+(2-i)=4</math>
:<math>x_2=\frac{-1+\sqrt{3}i}{2}(2+i)+\frac{-1-\sqrt{3}i}{2}(2-i)=-2-\sqrt{3}</math>
:<math>x_3=\frac{-1-\sqrt{3}i}{2}(2+i)+\frac{-1+\sqrt{3}i}{2}(2-i)=-2+\sqrt{3}</math>
である。

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

== 四次方程式 ==
四次方程式
:<math>x^4+a_3x^3+a_2x^2+a_1x+a_0=0</math>
を考える。この方程式は、
:<math>\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_2a_3}{2}+\frac{a_3^3}{8}\right)\left(x+\frac{a_3}{4}\right)+a_0-\frac{a_1a_3}{4}+\frac{a_2a_3^2}{16}-\frac{3a_3^4}{256}=0</math>
と変形できる。
:<math>y=x+\frac{a_3}{4}</math>
とすると、
:<math>y^4+\left(a_2-\frac{3a_3^2}{8}\right)y^2+\left(a_1-\frac{a_2a_3}{2}+\frac{a_3^3}{8}\right)y+a_0-\frac{a_1a_3}{4}+\frac{a_2a_3^2}{16}-\frac{3a_3^4}{256}=0</math>
である。この方程式の左辺を因数分解して、
:<math>(y^2+ky+l)(y^2-ky+m)=0</math>
としたい。左辺を展開すると
:<math>y^4+(l+m-k^2)y^2+k(m-l)y+lm=0</math>
となるので、係数を比較して
:<math>l+m-k^2=a_2-\frac{3a_3^2}{8}</math>
:<math>k(m-l)=a_1-\frac{a_2a_3}{2}+\frac{a_3^3}{8}</math>
:<math>lm=a_0-\frac{a_1a_3}{4}+\frac{a_2a_3^2}{16}-\frac{3a_3^4}{256}</math>
である。上の2式より
:<math>l=\frac{k^2}{2}+\frac{8a_2-3a_3^2}{16}-\frac{8a_1-4a_2a_3+a_3^3}{16k}</math>
:<math>m=\frac{k^2}{2}+\frac{8a_2-3a_3^2}{16}+\frac{8a_1-4a_2a_3+a_3^3}{16k}</math>
なので、これを3番目の式に代入すると、
:<math>\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_2a_3+a_3^3)^2}{256k^2}=a_0-\frac{a_1a_3}{4}+\frac{a_2a_3^2}{16}-\frac{3a_3^4}{256}</math>
:<math>k^6+\frac{8a_2-3a_3^2}{4}k^4+\left(-4a_0+a_1a_3+a_2^2-a_2a_3^2+\frac{3}{16}a_3^4\right)k^2-\frac{(8a_1-4a_2a_3+a_3^3)^2}{64}=0</math>
となる。この方程式は<math>k^2</math>についての3次方程式なので、前節の方法で解くことができ、したがって<math>k,m,l</math>の値が求まる。すなわち、方程式の左辺が<math>y</math>についての二次式の積の形に表せるので、二次方程式の解の公式を用いれば解が求まる。最後の計算の部分はこのまま文字式で計算すると煩雑に過ぎる式となるので、ここでは省略する（興味のある読者は試みるとよい）。注目すべきは、煩雑な式ではあるものの、四則演算と冪根（平方根・立方根）の記号のみからなる式となることである。

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

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

'''定理'''（代数学の基本定理）<br />
複素数係数の''n''次方程式
:<math>a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0=0</math>
は、（''k''重解を''k''個と数えることにすれば）ちょうど''n''個の複素数解を持つ。すなわち、左辺は（互いに相異なるとは限らない）''n''個の複素数<math>\alpha_1,\alpha_2,\cdots,\alpha_n</math>を用いて
:<math>a_n(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n)</math>
と因数分解できる。

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

== 円分方程式 ==
ここからは一般の方程式を離れて、
:<math>x^n-1=0</math>
という形の方程式を解いてみたい。この方程式の解は、<math>c_n=\cos\frac{2\pi}{n},s_n=\sin\frac{2\pi}{n}</math>とおくとき、<math>z_n=c_n+is_n</math>という複素数を用いて、
:<math>x=z_n^k \ (k=1,2,\cdots,n)</math>
と表せることは[[高等学校数学C/複素数平面]]で学ぶ。本節では、具体的ないくつかの<math>n</math>において一つの解<math>z_n</math>を、三角関数を用いずに平方根などの冪根の記号のみを用いて表すことを目標としてみよう。

次節以降でしばしば用いる共通の事項を2つ挙げておく。まず、<math>z_n^n=1</math>である。また方程式の左辺は
:<math>x^n-1=(x-1)(x^{n-1}+x^{n-2}+\cdots+x+1)</math>
と因数分解できる。このことと<math>n \ge 2</math>のとき<math>z_n \ne 1</math>であることに注意すると、
:<math>z_n^{n-1}+z_n^{n-2}+\cdots+z_n+1=0 \ (n \ge 2)</math>
が成り立つ。

=== n≦4 ===
<math>n \le 4</math>のときは、これまでに見た解法を適用することですべての解が容易に求められる。

<math>n=1</math>のときの方程式 <math>x-1=0</math> の解は <math>x=1</math> であり、<math>z_1=1</math>である。つまり、<math>c_1=1,s_1=0</math>である。

<math>n=2</math>のときの方程式 <math>x^2-1=0</math> の解は <math>x=\pm 1</math> であり、<math>z_2=-1</math>である。つまり、<math>c_2=-1,s_2=0</math>である。

<math>n=3</math>のときの方程式 <math>x^3-1=0</math> の解は <math>x=1,\frac{-1\pm\sqrt{3}i}{2}</math> であり、<math>z_3=\frac{-1+\sqrt{3}i}{2}</math>である。つまり、<math>c_3=-\frac{1}{2},s_3=\frac{\sqrt{3}}{2}</math>である。

<math>n=4</math>のときの方程式 <math>x^4-1=0</math> の解は <math>x=\pm 1,\pm i</math> であり、<math>z_4=i</math>である。つまり、<math>c_4=0,s_4=1</math>である。

=== n=6,8 ===
<math>n=6,8</math>の場合は因数分解を用いて解を求めることが容易である。

6次方程式
:<math>x^6-1=0</math>
の解<math>z_6</math>について考えよう。方程式の左辺は
:<math>\begin{align}
x^6-1 &= (x^3-1)(x^3+1) \\
&= (x-1)(x^2+x+1)(x+1)(x^2-x+1) \\
\end{align}</math>
と因数分解できるので、<math>z_6</math>は実部も虚部も正であることに注意すると、2次方程式
:<math>x^2-x+1=0</math>
の解のうち虚部が正のものが<math>z_6</math>であることがわかる。すなわち、
:<math>z_6=\frac{1+\sqrt{3}i}{2}</math>
である。つまり、<math>c_6=\frac{1}{2},s_6=\frac{\sqrt{3}}{2}</math>である。

8次方程式
:<math>x^8-1=0</math>
の解<math>z_8</math>について考えよう。方程式の左辺は
:<math>\begin{align}
x^8-1 &= (x^4-1)(x^4+1) \\
&= (x^2-1)(x^2+1)\left((x^2+1)^2-2x^2\right) \\
&= (x-1)(x+1)(x^2+1)(x^2-\sqrt{2}x+1)(x^2+\sqrt{2}x+1) \\
\end{align}</math>
と因数分解できるので、<math>z_8</math>は実部も虚部も正であることに注意すると、2次方程式
:<math>x^2-\sqrt{2}x+1=0</math>
の解のうち虚部が正のものが<math>z_8</math>であることがわかる。すなわち、
:<math>z_8=\frac{\sqrt{2}+\sqrt{2}i}{2}</math>
である。つまり、<math>c_8=\frac{\sqrt{2}}{2},s_8=\frac{\sqrt{2}}{2}</math>である。

=== n=5 ===
5次方程式
:<math>x^5-1=0</math>
の解<math>z_5</math>について考えたい。ここでは、2種類の解法を用いて<math>z_5</math>を求めてみよう。

* 解法１
:<math>z_5^4+z_5^3+z_5^2+z_5+1=0</math>
の両辺を<math>z_5^2(\ne 0)</math>で割ると、
:<math>\left(z_5^2+\frac{1}{z_5^2}\right)+\left(z_5+\frac{1}{z_5}\right)+1=0</math>
:<math>\left(z_5+\frac{1}{z_5}\right)^2+\left(z_5+\frac{1}{z_5}\right)-1=0</math>
であるから、<math>z_5+\frac{1}{z_5}=2c_5</math>が正の実数であることに注意すると、2次方程式
:<math>t^2+t-1=0</math>
の解のうち正のものが<math>z_5+\frac{1}{z_5}</math>である。よって、
:<math>z_5+\frac{1}{z_5}=\frac{-1+\sqrt{5}}{2}</math>
であることがわかる。<math>z_5+\frac{1}{z_5}=2c_5</math>であるから、<math>c_5=\frac{-1+\sqrt{5}}{4}</math>である。
ここで、<math>z_5+\frac{1}{z_5}=2c_5</math>の両辺に再び<math>z_5</math>をかけて整理すると
:<math>z_5^2-2c_5z_5+1=0</math>
であるから、この2次方程式の解のうち虚部が正のものが<math>z_5</math>である。よって、
:<math>z_5=c_5+\sqrt{1-c_5^2}i=\frac{-1+\sqrt{5}}{4}+\frac{\sqrt{10+2\sqrt{5}}}{4}i</math>
である。つまり、<math>s_5=\frac{\sqrt{10+2\sqrt{5}}}{4}</math>である。

* 解法２
:<math>A=z_5+z_5^4,\ B=z_5^2+z_5^3</math>
とおく。計算すると、<math>A+B=-1,AB=-1</math>であることがわかる。よって、<math>A,B</math>は2次方程式
:<math>t^2+t-1=0</math>
の解である。この方程式を解き、符号に注意すると、
:<math>A=\frac{-1+\sqrt{5}}{2}</math>
であることがわかる。ところで、<math>z_5+z_5^4=A</math>であり、一方<math>z_5z_5^4=1</math>であるから、<math>z_5,z_5^4</math>は2次方程式
:<math>t^2-At+1=0</math>
の解である。この方程式を解き、虚部の符号に注意すると、
:<math>z_5=\frac{A+\sqrt{4-A^2}i}{2}</math>
であることがわかる。特に、<math>c_5=\frac{A}{2}=\frac{-1+\sqrt{5}}{4}</math>である。
ここで、<math>A</math>を解に持つ2次方程式に注目すると
:<math>A^2+A-1=0</math>
:<math>4-A^2=4-(1-A)=A+3=\frac{5+\sqrt{5}}{2}</math>
であることがわかるので、これを代入して整理すると、
:<math>z_5=\frac{-1+\sqrt{5}}{4}+\frac{\sqrt{10+2\sqrt{5}}}{4}i</math>
である。つまり、<math>s_5=\frac{\sqrt{10+2\sqrt{5}}}{4}</math>である。

以上の2つの解法は、より次数の高い方程式にも応用できる解法である。以下で、<math>n=7,17</math>の場合にそれぞれの解法を用いて、方程式を解いてみよう。

=== n=7 ===
7次方程式
:<math>x^7-1=0</math>
の解<math>z_7</math>について考えたい。ここでは<math>n=5</math>のときに用いた解法１に沿って計算してみよう。

:<math>z_7^6+z_7^5+z_7^4+z_7^3+z_7^2+z_7+1=0</math>
の両辺を<math>z_7^3(\ne 0)</math>で割ると、
:<math>\left(z_7^3+\frac{1}{z_7^3}\right)+\left(z_7^2+\frac{1}{z_7^2}\right)+\left(z_7+\frac{1}{z_7}\right)+1=0</math>
:<math>\left(z_7+\frac{1}{z_7}\right)^3+\left(z_7+\frac{1}{z_7}\right)^2-2\left(z_7+\frac{1}{z_7}\right)-1=0</math>
であるから、<math>z_7+\frac{1}{z_7}=2c_7</math>が正の実数であることに注意すると、3次方程式
:<math>t^3+t^2-2t-1=0</math>
の解のうち正の実数のものが<math>z_7+\frac{1}{z_7}</math>である。よって、
:<math>z_7+\frac{1}{z_7}=\frac{1}{6}\left(\sqrt[3]{28(1+3\sqrt{3}i)}+\sqrt[3]{28(1-3\sqrt{3}i)}-2\right)</math>
であることがわかる。<math>z_7+\frac{1}{z_7}=2c_7</math>であるから、<math>c_7=\frac{1}{12}\left(\sqrt[3]{28(1+3\sqrt{3}i)}+\sqrt[3]{28(1-3\sqrt{3}i)}-2\right)</math>である。
ここで、<math>z_7+\frac{1}{z_7}=2c_7</math>の両辺に再び<math>z_7</math>をかけて整理すると
:<math>z_7^2-2c_7z_7+1=0</math>
であるから、この2次方程式の解のうち虚部が正のものが<math>z_7</math>である。よって、
:<math>z_7=c_7+\sqrt{1-c_7^2}i</math>
ただし、<math>c_7=\frac{1}{12}\left(\sqrt[3]{28(1+3\sqrt{3}i)}+\sqrt[3]{28(1-3\sqrt{3}i)}-2\right)</math>である。

=== n=17 ===
17次方程式
:<math>x^{17}-1=0</math>
の解<math>z_{17}</math>について考えたい。ここでは<math>n=5</math>のときに用いた解法２に沿って計算してみよう。

:<math>A=z_{17}+z_{17}^2+z_{17}^4+z_{17}^8+z_{17}^9+z_{17}^{13}+z_{17}^{15}+z_{17}^{16},</math>
:<math>B=z_{17}^3+z_{17}^5+z_{17}^6+z_{17}^7+z_{17}^{10}+z_{17}^{11}+z_{17}^{12}+z_{17}^{14}</math>
とおく。計算すると、<math>A+B=-1,AB=-4</math>であることがわかる。よって、<math>A,B</math>は2次方程式
:<math>t^2+t-4=0</math>
の解である。この方程式を解き、符号に注意すると、
:<math>A=\frac{-1+\sqrt{17}}{2},\ B=\frac{-1-\sqrt{17}}{2}</math>
であることがわかる。ここでさらに、
:<math>C=z_{17}+z_{17}^4+z_{17}^{13}+z_{17}^{16},\ D=z_{17}^2+z_{17}^8+z_{17}^9+z_{17}^{15}</math>
とおく。計算すると、<math>C+D=A,CD=-1</math>であることがわかる。よって、<math>C,D</math>は2次方程式
:<math>t^2-At-1=0</math>
の解である。この方程式を解き、符号に注意すると、
:<math>C=\frac{A+\sqrt{A^2+4}}{2},\ D=\frac{A-\sqrt{A^2+4}}{2}</math>
であることがわかる。また、
:<math>E=z_{17}^3+z_{17}^5+z_{17}^{12}+z_{17}^{14},\ F=z_{17}^6+z_{17}^7+z_{17}^{10}+z_{17}^{11}</math>
とおく。同様に計算すると、<math>E+F=B,EF=-1</math>であることがわかる。よって、<math>E,F</math>は2次方程式
:<math>t^2-Bt-1=0</math>
の解である。この方程式を解き、符号に注意すると、
:<math>E=\frac{B+\sqrt{B^2+4}}{2},\ F=\frac{B-\sqrt{B^2+4}}{2}</math>
であることがわかる。次に、
:<math>G=z_{17}+z_{17}^{16},H=z_{17}^4+z_{17}^{13}</math>
とおく。計算すると、<math>G+H=C,GH=E</math>であることがわかる。よって、<math>G,H</math>は2次方程式
:<math>t^2-Ct+E=0</math>
の解である。この方程式を解き、符号に注意すると、
:<math>G=\frac{C+\sqrt{C^2-4E}}{2},\ H=\frac{C-\sqrt{C^2-4E}}{2}</math>
である。最後に、<math>z_{17}+z_{17}^{16}=G,z_{17}z_{17}^{16}=1</math>であることから、<math>z_{17},z_{17}^{16}</math>は2次方程式
:<math>t^2-Gt+1=0</math>
の解である。この方程式を解き、虚部の符号に注意すると、
:<math>z_{17}=\frac{G+\sqrt{4-G^2}i}{2}</math>
である。特に、<math>c_{17}=\frac{G}{2}</math>であり、この数を用いて<math>z_{17}=c_{17}+\sqrt{1-c_{17}^2}i</math>と表される。

これまでの計算を逆にたどって、<math>c_{17}</math>の値を具体的に書き下してみよう。すると、
:<math>c_{17}=\frac{G}{2}=\frac{C+\sqrt{C^2-4E}}{4}</math>
である。ここで、
:<math>C=\frac{A+\sqrt{A^2+4}}{2}</math>
であるが、<math>A=\frac{-1+\sqrt{17}}{2}</math>であることと、<math>A</math>を解とする2次方程式に注目すると<math>A^2=4-A</math>より<math>A^2+4=8-A=\frac{17-\sqrt{17}}{2}</math>が成り立つことがわかることに注意すると、
:<math>C=\frac{1}{4}\left(-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}\right)</math>
である。また、<math>G+H=C,GH=E</math>であったことから、
:<math>C^2-4E=(G+H)^2-4E=G^2+2E+H^2-4E=G^2+H^2-2E</math>
であるが、計算すると
:<math>G^2+H^2=(z_{17}+z_{17}^{16})^2+(z_{17}^4+z_{17}^{13})^2=D+4</math>
であるから、まとめると
:<math>C^2-4E=G^2+H^2-2E=D-2E+4</math>
である。先ほど<math>C</math>を求めた計算により、
:<math>D=\frac{1}{4}\left(-1+\sqrt{17}-\sqrt{34-2\sqrt{17}}\right)</math>
であることがわかっている。また、同様の計算により、
:<math>E=\frac{B+\sqrt{B^2+4}}{2}=\frac{1}{4}\left(-1-\sqrt{17}+\sqrt{34+2\sqrt{17}}\right)</math>
である。よって、
:<math>\begin{align}
C^2-4E &=D-2E+4 \\
&= \frac{1}{4}\left(-1+\sqrt{17}-\sqrt{34-2\sqrt{17}}+2+2\sqrt{17}-2\sqrt{34+2\sqrt{17}}\right)+4 \\
&= \frac{1}{4}\left(17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}\right) \\
\end{align}</math>
である。以上をまとめると、
:<math>c_{17}=\frac{1}{16}\left(-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}+2\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}}\right)</math>
である。

=== 作図問題 ===
これまでに見てきた円分方程式の解は、かなり複雑な見た目になる場合はあるもののすべて四則演算と平方根・立方根の記号のみを用いて表されていたことが注目に値する。<math>n=7</math>の場合には立方根が現れるが、<math>n=1,2,3,4,5,6,8,17</math>については平方根のみで表されている。

詳細は他の記事に譲るが、長さ1の線分を所与としたときに、ある長さの線分を定規とコンパスにより作図できることは、四則演算と平方根のみでその長さを表すことができることと同値である。よってこれまでに計算してきた結果から、<math>n=1,2,3,4,5,6,8,17</math>については長さ<math>c_n</math>の線分を作図でき、したがって<math>n=3,4,5,6,8,17</math>については正<math>n</math>角形を作図できることがわかったことになる。特に、<math>n=17</math>の場合をのちに大数学者となるガウスが少年時代に発見したというエピソードは有名であり、彼が数学の道を志すきっかけになった発見だったともいわれている。

[[カテゴリ:代数学|ほうていしきろん]]