==========================================
代数方程式の判別式
==========================================

代数方程式が与えられたとき、異なる実数解を持つのか、重解を持つのか、それとも異なる虚数解を持つのかを判別する式を代数方程式の判別式と呼びます。実際に方程式を解く前に判別式を考え、解に関する情報を得るのは大事なことです。


判別式の定義
-------------------------------------------
次のような $n$ 次の代数方程式を考えましょう。

<tex>
a_{0} x^{n} + a_{1} x^{n-1} +...+ a_{n} =0  \tag{1}
</tex>

この方程式が $n$ 個の解(重解を含んでいても良い) ${\alpha}_{1}, {\alpha}_{2}, \cdot \cdot \cdot ,{\alpha}_{n}$ を持つとき、次のように、解の差を全ての組み合わせに関して掛け合わせたものを $P$ と置きます。

<tex>
P=&(\alpha_{1} - \alpha_{2})(\alpha_{1} - \alpha_{3})\cdot \cdot \cdot (\alpha_{1} -\alpha_{n}) \\
&\times (\alpha_{2}-\alpha_{3})(\alpha_{2} - \alpha_{4})\cdot \cdot \cdot (\alpha_{2} - \alpha_{n}) \\
&\dot \dot \dot \dot \dot \dot \\
&\times (\alpha_{n-1}-\alpha_{n})
</tex>


もしも式(1)が重解を持つとすれば、 $P$ に含まれる括弧のうち、どれかが零になり、 $P$ は零になるはずです。逆に、 $P$ が零でないのは、式(1)の持つ全ての解が異なる場合だけだと言えます。


次に式(1)が重解を持たない場合に $P$ の二乗を考えてみましょう。実数を二乗すれば常に正になるはずですから、解が全て実数ならば $P$ の二乗は正になります。もし、 $P$ の二乗が負になれば、共役な虚数解が奇数組含まれているということになります。


.. [*] 偶数組の共役虚数解(すなわち４の倍数個の虚数解)が含まれている場合には $P$ の二乗は正になります。すなわち、解が実数であることは $D>0$ の十分条件であって、必要条件ではありません。一般に、判別式の符号だけから実数解か虚数解かを判別できるわけではないのです。二次方程式に限った話ならば、 $D>0$ ならば方程式は実数解を、 $D<0$ ならば虚数解を持つと判断できます。


この $P$ の二乗を用いて、次のように判別式 $D$ を定めます。係数 ${a_{0}}^{2(n-1)}$ は、判別式が分数にならないよう、簡単化するために付けただけのもので、本質的な意味はありません。

<tex>
D={a_{0}}^{2(n-1)} P^{2}
</tex>


二次方程式の判別式
--------------------------------------------------------------
では、例として次の二次方程式の判別式を考えて見ましょう。

<tex>
ax^{2} + bx +c =0
</tex>

これが解 $\alpha_{1} , \alpha_{2}$ を持つとすると、判別式は定義より次式です。

<tex>
D=a^{2} (\alpha_{1} -\alpha_{2})^{2} = a^{2}\{ (\alpha_{1} +\alpha_{2})^{2} -4\alpha_{1} \alpha_{2}\} 
</tex>

これは、解と係数の関係を使って次にように書き直すことができます。

<tex>
D&=a^{2} (\alpha_{1} -\alpha_{2})^{2} \\ 
&= a^{2}\{ (\alpha_{1} +\alpha_{2})^{2} -4\alpha_{1} \alpha_{2}\} \\
&= b^2 -4ac 
</tex>

<tex>
(\because \alpha_{1} +\alpha_{2}=-\frac{b}{a}, \  \  \alpha_{1} \alpha_{2}=\frac{c}{a})
</tex>


.. image:: Joh-2det.gif
   :align: center



三次方程式の判別式
----------------------------------------------------------
次に、三次方程式の判別式を考えます。

<tex>
ax^{3} + bx^{2} +cx +d =0
</tex>

これが解 $\alpha_{1} , \alpha_{2} ,\alpha_{3}$ を持つとすると、判別式は定義より次式です。

<tex>
D=a^{4} (\alpha_{1} -\alpha_{2})^{2} (\alpha_{2} -\alpha_{3})^{2} (\alpha_{3} -\alpha_{1})^{2} 
</tex>

解と係数の関係を使って変形すれば、次式に至ります。途中の計算はやや面倒なので、ここでは省略します。時間とやる気のある人は、練習として確認してみてください。


<tex>
D=-4ac^{3} -27a^{2} d^{2} -4b^{3} d+b^{2}c^{2} +18abcd
</tex>




.. image:: Joh-3det.gif
   :align: center



@@author:Joh@@
@@accept: 2006-03-28@@
@@category: 代数学@@
@@id:Discriminant@@