■判別式(その11)
[Q]sに関する4次方程式
s^4+xs^3+s^2+ys+1=0
が重根をもつ範囲を図示せよ.
===================================
その判別式を計算するのも容易ではないが,
D=256a^3e^3−27b^4e^2
−128a^2c^2e^2+144ab^2ce^2+16ac^4e−4b^2c^3e
+144a^2cd^2e−6ab^2d^2e−4ac^3d^2+b^2c^2d^2
−192a^2bde^2−80abc^2de+18b^3cde
+18abcd^3−4b^3d^3
−27a^2d^4
a=1,b=x,c=1,d=y,e=1を代入すると
D=256−27x^4−128+144x^2+16−4x^2+144y^2−6x^2y^2−4y^2+x^2y^2−192xy−80xy+18x^3y+18xy^3−4x^3y^3−27y^4
=−27(x^4+y^4)+140(x^2+y^2)+18(x^3y+xy^3)−4x^3y^3−5x^2y^2−272xy+144=0
パラメトライスの仕方は
(s−a)(s−b)(s−c)^2=0
(s−a)(s−b)^2(s−c)=0
(s−a)^2(s−b)(s−c)=0
(s−a)^2(s^2+bs+c)=0
(s−a)^3(s−b)=0
(s−a)(s−b)^3=0
(s−a)^2(s−b)^2=0
などが考えられる.
[1](s−a)^2(s−b)^2=0の場合
x=−2(a+b)
1=a^2+4ab+b^2
y=−2ab(a+b)
1=a^2b^2→ab=−1,a+b=±√3で解は点となってしまう.
[2](s−a)(s−b)^2(s−c)=0の場合
x=−(a+c)−2b
1=ac+b^2+2b(a+c)
y=−b^2(a+c)−2abc
1=ab^2c→a,cをbで表すことができればone parametere curveになるが,
ac=1/b^2
a+c=−(b^2−1+1/b^2)/2b
x=(b^2−1+1/b^2)/2b−2b
y=b(b^2−1+1/b^2)/2−2/b
となる.
one parametere curveが得られたが,以下,すべての場合について検討しなければならない.
===================================