■判別式(その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が得られたが,以下,すべての場合について検討しなければならない.

===================================