終結式について紹介してきましたが，ｘ＝ｃにおいて

［１］ｆ（ｘ）＝０が重根をもつ

［２］ｆ（ｘ）＝０かつｆ’（ｘ）＝０

は同値です．

　したがって，

［１］差積のよる判別式

［２］終結式

は同値であって，背後にある理論はともかくとして，計算自体は［２］のほうが簡単というわけです．

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

　（その８）において，

　　ｘ＝１／ｔ^2−２ｔ，ｙ＝ｔ^2−２／ｔ

→２ｔ^3＋ｔ^2ｘ−１＝０，ｔ^3−ｔｙ−２＝０

をｔに関する終結式とみなして，６次の行列式を計算すると，

　　４x^3＋４ｙ^3−ｘ^2ｙ^2−１８ｘｙ＋２７＝０

が得られるというのも，同じ理由によります．

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