判別式

数学において、多項式の判別式とは、その多項式の根が重根を持つための条件を与える、元の多項式係数の多項式で、最小のもののことである。

一般にdiscriminantの頭文字を取って、D}} で表記される。

1. 概要
-----

"discriminant"という用語は1851年にイギリス人数学者ジェームス・ジョセフ・シルベスターによって造り出された。

通常は、大文字の D}} あるいは大文字の Δ}} で表記される。

具体的には、以下の式で定義される：

x}} の n}}次式の重複を含めた根を //α//sub とすると、この定義式は、次の手順から、係数 //asub の分数式である。//

D}} は //α//sub の対称式である。
//α//sub の対称式は、//α//sub の基本対称式の多項式で表せる。
//α//sub の基本対称式は、根と係数の関係より、//α//sub の分数式である。//判別式 D}} を係数 //asub で表すには、終結式を用いるのが最も簡明である：//

多項式 f}} の判別式 D}} は、f}} とその導関数 f'}} の終結式に を掛けた値に等しい。すなわち、二次方程式 1=//ax//sup の判別式は

である。

三次方程式 1=//ax//sup の判別式は

である。

四次方程式 //ax//sup の判別式は

である。

より高次の方程式に対しても、判別式は定義され、係数たちの多項式であるが、その式は非常に長大なものになる。五次方程式の判別式は 59 の項を持ち、六次方程式の判別式は 246 の項を持ち、項の個数は次数によって指数的に増加するdate=2012-11}}。

四次までの代数方程式に対しては、判別式は解の公式に現れるため、判別式の定義とは、解の公式の一部と誤解されがちである。しかし五次以上の代数方程式には解の公式が存在しないが、判別式は常に定義される。

定義から、判別式の値が 0}} であるのは、重根が存在することと同値である。

実数係数の代数方程式の実数解の個数は、二次方程式では、判別式の符号が正か零か負かにより2個、1個、0個と判別できるが、三次の場合にはそれぞれ3個、2個あるいは1個，1個となる。

このように三次以上では、判別式以外にも指標となる式が必要となる。 判別式の概念は、方程式の係数が複素数体に含まれていない場合にも適用できる。係数が整域 R}} に属していれば定義され、この場合に判別式は R}} の元である。特に、整数係数多項式の判別式は常に整数である。この性質は数論において広く用いられる。

2. 定義
-----

とする。n}}次方程式 //f// =}} 0}} には、代数学の基本定理より、重複を含めて n}} 個の複素数解が存在する。それらを //α//sub とするとき、次の等式が成り立ち、多項式 f}} あるいは代数方程式 //f// =}} 0}} の判別式という。

左辺の「」は、//α//sub の差積の平方であり、ヴァンデルモンドの行列式として表すことができる。
この行列式は、第1列が asub で割り切れるため、右辺は //a//sub の }}次斉次多項式である。
この行列式の部分は f}} と f'}} の終結式  であり、記号で と表される。

2.1. 判別式が終結式を用いて表されることの証明
-------------------------

ここでは、文献に掲載されている方法により証明する。

ここで、//f'// =}} 0}} の根を //β//sub とする。 =  より、//asub に注意して// を  に代入すると、ここで、終結式においてよく知られている、次の等式を使う。1=//f// = //asub の根を //α//sub,//1=//g// = //bsub の根を //とすると、次が成り立つ：この等式を //f//, //f'//}} に適用すると、,  より、

3. 次数ごとの例
---------

代数方程式の判別式を、終結式による式で計算してみる。判別式を D}} とおく。

3.1. 二次方程式の判別式
--------------

二次方程式を

とおく。

二次方程式 1=//f// = //ax//sup において、特に b}} が 2}} を因数に持つ場合、

とおくと、

となる。

二次方程式の係数が実数である場合に、実数解の個数を判定するのによく用いられる。

3.2. 三次方程式の判別式
--------------

三次方程式を

とおく。

一般の三次方程式 1=//ax//sup の判別式は

である。

4. 解の公式における判別式
--------------

5次以上の代数方程式には、解の公式が存在しない。

4次以下の代数方程式には、解の公式に判別式が現れる。

4.1. 二次方程式の解
------------

二次方程式

の解には、判別式 Δ}} が含まれる：

係数 //a//, //b//, //c//}} が実数の場合：

//Δ// > 0}} のとき、//f// =}} 0}} は異なる 2 個の実数解をもつ。
//Δ// =}} 0}} のとき、//f// =}} 0}} は 1 個の重複する実数解をもつ。
重解は
//Δ// < 0}} のとき、//f// =}} 0}} は1組の共役虚数解をもつ。
虚数解は

4.2. 三次方程式の解
------------

4.3. 四次方程式の解
------------

4.4. 高次方程式の解
------------

より一般に、実数係数の n}}次代数方程式に対して、

//Δ// > 0}}： なるある整数 k}} に対して、2//k//}}対の共役虚数解と }}個の実数解があり、全て異なる；
//Δ// < 0}}： なるある整数 k}} に対して、}}対の共役虚数解と }}個の実数解があり、全て異なる；
//Δ// =}} 0}}：少なくとも 1個の重解が存在する。実数係数であっても、重根は実数であるとは限らず、虚数の場合もある。

5. 一般の可換環上での判別式
---------------

係数が一般の可換環上の代数方程式に対しても、判別式を定義することができる。ただし、環が整域でない場合、そのような環においては除法が常には定義されないから、行列式の第1列を最高次係数 で割る替わりに、最高次係数を 1 に置き換えなければならない。この一般化された判別式は代数幾何学において基本的な次の性質を持つ。

//f// を係数を可換環 //A// に持つ多項式とし、//D// をその判別式とする。φ を //A// から体 //K// の中への環準同型とし、φ を //f// の係数を φ によるそれらの像によって置き換えて得られる //K// 上の多項式とする。すると φ = 0 であるのは //f// と φ の次数の差が少なくとも 2 であるかまたは φ が //K// の代数閉包において重根を持つとき、かつそのときに限る。1つ目のケースは φ が無限遠点で重根を持つと解釈できる。

この性質が応用される典型的な状況は //A// が体 //k// 上の多項式環であり φ が //A// の不定元への //k// の体拡大 //K// の元の代入であるときである。

例えば、//f// が実係数の //X// と //Y// の二変数多項式であって、//f// = 0 は平面代数曲線の陰方程式であるとしよう。//f// を //Y// についての一変数多項式と見ると、判別式は根が特異点、//Y// 軸に平行な接線との点、//Y// 軸に平行な漸近線のいくつか、の //X// 座標であるような、//X// の多項式である。言い換えると //Y//-判別式と //X//-判別式の根の計算によって変曲点を除いて曲線のすべての注目すべき点を計算できる。

6. 一般化
------

判別式の概念は一変数の多項式に加えて円錐曲線、二次形式、代数体の判別式を含む他の代数的構造に一般化されている。代数的整数論における判別式は密接に関係し、分岐についての情報を含む。実は、分岐のより幾何的なタイプは判別式のより抽象的なタイプにも関係し、それによって多くの応用においてこれが中心的な代数的アイデアになる。

6.1. 円錐曲線の判別式
-------------

二元二次方程式

で表される平面幾何における円錐曲線に対して、判別式は

に等しく、円錐曲線の幾何学的形状を決定する。判別式が 0 よりも小さければ、楕円か円の方程式である。判別式が 0 に等しければ、放物線の方程式である。判別式が 0 よりも大きければ、双曲線の方程式である。この公式は退化の場合働かない。

6.2. 二次形式の判別式
-------------

標数 ≠ 2 の任意の体 //K// 上の二次形式 //Q// への substantive な一般化がある。標数 2 に対しては、対応する不変量は Arf invariant である。

二次形式 //Q// が与えられたとき、その判別式  または行列式  は //Q// の対称行列 //S// の行列式である。

行列 //A// による変数の変換は対称形式の行列を によって変え、この行列式は なので、変数の変換の下で、判別式は 0 でない平方によって変化し、したがって判別式の類は //K///2}} において well-defined である、すなわち、0 でない平方を除いて定まる。平方剰余も参照。

Less intrinsically, ヤコビによる定理によって、 上の二次形式は、変数の線型変換の後、

として対角形式  において表現できる。より正確には、//V// 上の二次形式は和

として表現できる、ここで //Li}}// は独立な線型形式であり //n// は変数の数である。すると判別式は //ai}}// の積であり、これは //K///2}} における類として well-defined である。

//K//=R、実数体に対して、2}} は正の実数全体であり、したがって商 R/2}} は 3 つの元、正、0、負を持つ。これは符号   よりも粗い不変量である。ただし //n//0}} は対角形式における 0 の数であり //n//±}} は ±1 の数である。すると判別式は形式が退化  であれば 0 であり、そうでなければ負の係数の数のパリティである、

//K//=C、複素数体に対して、2}} は 0 でない複素数であり、したがって商 C/2}} は 2 つの元、非零と零からなる。

この定義は二次多項式の判別式に一般化する。多項式 を斉次化すると二次形式 になりこれは対称行列

をもちこの行列式は である。−4 の因子を除いてこれは である。

実形式の判別式の類の不変量は対応する円錐曲線楕円、放物線、双曲線に対応する。

6.3. 代数体の判別式
------------

7. 交代式
------

判別式は根たちの対称式である。その平方根を //n//変数の対称多項式の環 に添加すれば、交代式の環を得、これはしたがって の二次拡大である。

簡単にいえば、判別式はその定義式の形から、その平方根は根の偶置換により不変であり、奇置換により符号が反転する。

8. 参考文献
-------

9. 外部リンク
--------

urlname=discriminant