判別式

数学において、多項式の判別式（はんべつしき、）とは、その多項式の根が重根を持つための条件を与える、元の多項式係数の多項式で、最小のもののことである。
一般にdiscriminantの頭文字を取って、 で表記される。
概要.
"discriminant"（判別式）という用語は1851年にイギリス人数学者ジェームス・ジョセフ・シルベスターによって造り出された。
通常は、大文字の あるいは大文字の で表記される。
具体的には、以下の式で定義される：
この定義式は、次の手順から、係数 の分数式である（実際には多項式になる）。
判別式 を係数 で表すには、終結式（シルヴェスター行列の行列式）を用いるのが最も簡明である：
二次方程式 の判別式は
である。
三次方程式 の判別式は
である。
四次方程式 の判別式は
である。
より高次の方程式に対しても、判別式は定義され、係数たちの多項式であるが、その式は非常に長大なものになる。五次方程式の判別式は 59 の項を持ち、六次方程式の判別式は 246 の項を持ち、項の個数は次数によって指数的に増加する。
四次までの代数方程式に対しては、判別式は解の公式に現れるため、判別式の定義とは、解の公式の一部と誤解されがちである。しかし五次以上の代数方程式には解の公式が存在しない（アーベル-ルフィニの定理）が、判別式は常に定義される。
定義から、判別式の値が であるのは、重根（すなわち重複度が 2以上の根）が存在することと同値である。
実数係数の代数方程式の実数解の個数は、二次方程式では、判別式の符号が正か零か負かにより2個、1個（重複度2）、0個と判別できるが、三次の場合にはそれぞれ3個、2個（片方は重複度2）あるいは1個（重複度3），1個となる。
このように三次以上では、判別式以外にも指標となる式が必要となる。
判別式の概念は、方程式の係数が複素数体に含まれていない場合にも適用できる。係数が整域 に属していれば定義され、この場合に判別式は の元である。特に、整数係数多項式の判別式は常に整数である。この性質は数論において広く用いられる。
定義.
とする。次方程式 には、代数学の基本定理より、重複を含めて 個の複素数解が存在する。それらを とするとき、次の等式が成り立ち、多項式 あるいは代数方程式 の判別式という。
（注）
判別式が終結式を用いて表されることの証明.
ここでは、文献に掲載されている方法により証明する。
（証明）
次数ごとの例.
代数方程式の判別式を、終結式による式で計算してみる。判別式を とおく。
二次方程式の判別式.
二次方程式を
とおく。
二次方程式 において、特に が を因数に持つ場合、
とおくと、
となる。
二次方程式の係数が実数である場合に、実数解の個数を判定するのによく用いられる。
三次方程式の判別式.
三次方程式を
とおく。
一般の三次方程式 の判別式は
である。
解の公式における判別式.
5次以上の代数方程式には、解の公式が存在しない（アーベル-ルフィニの定理）。
4次以下の代数方程式には、解の公式に判別式が現れる。
二次方程式の解.
二次方程式
の解には、判別式 が含まれる：
係数 が実数の場合：
高次方程式の解.
より一般に、実数係数の 次代数方程式に対して、
一般の可換環上での判別式.
係数が一般の可換環上の代数方程式に対しても、判別式を定義することができる。ただし、環が整域でない場合、そのような環においては除法が常には定義されないから、行列式の第1列を最高次係数 formula_35 で割る替わりに、最高次係数を 1 に置き換えなければならない。この一般化された判別式は代数幾何学において基本的な次の性質を持つ。
"f" を係数を可換環 "A" に持つ多項式とし、"D" をその判別式とする。φ を "A" から体 "K" の中への環準同型とし、φ("f") を "f" の係数を φ によるそれらの像によって置き換えて得られる "K" 上の多項式とする。すると φ("D") = 0 であるのは "f" と φ("f") の次数の差が少なくとも 2 であるかまたは φ("f") が "K" の代数閉包において重根を持つとき、かつそのときに限る。1つ目のケースは φ("f") が無限遠点で重根を持つと解釈できる。
この性質が応用される典型的な状況は "A" が体 "k" 上の（一変数あるいは多変数）多項式環であり φ が "A" の不定元への "k" の体拡大 "K" の元の代入であるときである。
例えば、"f" が実係数の "X" と "Y" の二変数多項式であって、"f" = 0 は平面代数曲線の陰方程式であるとしよう。"f" を "Y" についての（係数が "X" の式である）一変数多項式と見ると、判別式は根が特異点、"Y" 軸に平行な接線との点、"Y" 軸に平行な漸近線のいくつか、の "X" 座標であるような、"X" の多項式である。言い換えると "Y"-判別式と "X"-判別式の根の計算によって変曲点を除いて曲線のすべての注目すべき点を計算できる。
一般化.
判別式の概念は一変数の多項式に加えて円錐曲線、二次形式、を含む他の代数的構造に一般化されている。代数的整数論における判別式は密接に関係し、分岐についての情報を含む。実は、分岐のより幾何的なタイプは判別式のより抽象的なタイプにも関係し、それによって多くの応用においてこれが中心的な代数的アイデアになる。
円錐曲線の判別式.
二元二次方程式
で表される平面幾何における円錐曲線に対して、判別式は
に等しく、円錐曲線のを決定する。判別式が 0 よりも小さければ、楕円か円の方程式である。判別式が 0 に等しければ、放物線の方程式である。判別式が 0 よりも大きければ、双曲線の方程式である。この公式は退化の場合（多項式が分解するとき）働かない。
二次形式の判別式.
標数 ≠ 2 の任意の体 "K" 上の二次形式 "Q" への substantive な一般化がある。標数 2 に対しては、対応する不変量は である。
二次形式 "Q" が与えられたとき、その判別式 (discriminant) または行列式 (determinant) は "Q" の対称行列 "S" の行列式である。
行列 "A" による変数の変換は対称形式の行列を formula_38 によって変え、この行列式は formula_39 なので、変数の変換の下で、判別式は 0 でない平方によって変化し、したがって判別式の類は "K"/("K") において well-defined である、すなわち、0 でない平方を除いて定まる。平方剰余も参照。
Less intrinsically, ヤコビによる定理によって、formula_40 上の二次形式は、変数の線型変換の後、
として対角形式 (diagonal form) において表現できる。より正確には、"V" 上の二次形式は和
として表現できる、ここで "L" は独立な線型形式であり "n" は変数の数である（"a" のいくつかは 0 でもよい）。すると判別式は "a" の積であり、これは "K"/("K") における類として well-defined である。
"K"=R、実数体に対して、(R) は正の実数全体であり（任意の正数は 0 でない数の平方である）、したがって商 R/(R) は 3 つの元、正、0、負を持つ。これは ("n", "n", "n") よりも粗い不変量である。ただし "n" は対角形式における 0 の数であり "n" は ±1 の数である。すると判別式は形式が退化 (formula_43) であれば 0 であり、そうでなければ負の係数の数のパリティである、formula_44
"K"=C、複素数体に対して、(C) は 0 でない複素数であり（任意の複素数は平方である）、したがって商 C/(C) は 2 つの元、非零と零からなる。
この定義は二次多項式の判別式に一般化する。多項式 formula_45 を斉次化すると二次形式 formula_46 になりこれは対称行列
をもちこの行列式は formula_48 である。−4 の因子を除いてこれは formula_49 である。
実形式の判別式の類の不変量（正、0、負）は対応する円錐曲線楕円、放物線、双曲線に対応する。
交代式.
判別式は根たちの対称式である。その平方根（各冪の半分：ヴァンデルモンド多項式）を "n"変数の対称多項式の環 formula_50 に添加すれば、交代式の環を得、これはしたがって formula_50 の二次拡大である。
簡単にいえば、判別式はその定義式の形から、その平方根は根の偶置換により不変であり、奇置換により符号が反転する。