ｘに関する２つの多項式が与えられたとき，そこからｘを消去するのが終結式であった．終結式を中心に説明したが，差積についてももう一度整理しておきたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ｎ次方程式：

　ｆ（ｘ）＝ａ0ｘ^n＋ａ1ｘ^(n-1)＋・・・＋ａn＝ａ0Π（ｘ−αi）＝０

が重根をもつためには，判別式：

　　Ｄ（ｆ）＝ａ0^(2n-2)Δ^2＝０

が必要十分条件である．ここで，

　　Δ＝Π（αi−αj）　　(1<=i<j<=n)

はα1，・・・，αnの差積を表す．差積はｎ個の根のうち任意の２根が等しいときに０になる．

　差積Δは対称式ではないが，Δ^2は対称式であるから，基本対称式

　　σ1＝α1＋・・・＋αn

　　σ2＝α1α2＋・・・＋αn-1αn

　　σ3＝α1α2α3＋・・・＋αn-2αn-1αn

・・・・・・・・・・・・・・・・・・・

　　σn＝α1α2α3・・・αn　　　（σkはnＣk個の項をもつ）

の多項式として表されることが証明されている（対称式の基本定理：ウェアリング：１７６２年）．すなわち，

　　ｆ（α1，・・・，αn）＝ｇ（σ1，・・・，σn）

　２次方程式ｆ（ｘ）＝ａｘ^2＋ｂｘ＋ｃ＝０の判別式は，

　　Ｄ＝ａ^2（α1−α2）^2＝ａ^2｛（α1＋α2）^2−４α1α2｝

この場合の根と係数の関係は

　　α1＋α2＝−ｂ／ａ，α1α2＝ｃ／ａ

が成り立つから，

　　Ｄ＝ｂ^2−４ａｃ

はｆ（ｘ）＝ａｘ^2＋ｂｘ＋ｃの判別式であることはよく知られている．

　３次方程式の判別式は，ａｘ^3＋ｂｘ^2＋ｃｘ＋ｄ＝０の係数を代入して整理すると，

　　Ｄ＝−４ａｃ^3−２７ａ^2ｄ^2＋１８ａｂｃｄ＋ｂ^2ｃ^2−４ｂ^3ｄ

が得られるが，とても憶える気にならないし，また，憶えられる代物でもないであろう．ｆの次数が高い場合，その判別式を計算するのは容易ではない．ちなみに，５次方程式の判別式の項数は５９にもなるという．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝