■判別式(その22)
終結式について紹介してきましたが,x=cにおいて
[1]f(x)=0が重根をもつ
[2]f(x)=0かつf’(x)=0
は同値です.
したがって,
[1]差積のよる判別式
[2]終結式
は同値であって,背後にある理論はともかくとして,計算自体は[2]のほうが簡単というわけです.
===================================
(その14)において,
x=1/t^2−2t,y=t^2−2/t
→2t^3+t^2x−1=0,t^3−ty−2=0
をtに関する終結式とみなして,6次の行列式を計算すると,
4x^3+4y^3−x^2y^2−18xy+27=0
が得られるというのも,同じ理由によります.
===================================