■タクシー数(その4)

 勘違いがあったようだ.

 12B−3A^2=12x^2−12xy+12y^2−3x^2+6xy−3y^2=9x^2−6xy+9y^2

は少なくとも平方数でなければならない.そのための条件が

(2m^2−4m−1)^2+2(−2m^2−2m+1)^2=3(2m^2+1)^2

である.

  x=1/6・{3A±(12B−3A^2)^1/2}

  12B−3A^2=9(2m^2+1)^2

  x+y=2m^2−4m−1=A

であるから,

  x=1/6・{3A±3(2m^2+1)}

  x=1/2・{A±(2m^2+1)}

  x=1/2・{2m^2−4m−1±(2m^2+1)}

  x=1/2・{4m^2−4m}または1/2・{−4m−2}

  x=2m(m−1)または−2m−1

  y=2m^2−4m−1−x=−2m−1または2m^2−2m

(x,y)=(2m(m−1),−2m−1)・・・(偶数,奇数)

または(−2m−1,2m(m−1))・・・(奇数,偶数)

x,y≧0→m≦−1

(x,y)=(1,12),(9,10),(10,9),(12,1)が得られることを期待していたのであるが,・・・

 x+y=2m^2−4m−1

 x−y=−2m^2−2m+1

 2y=4m^2−2m−2,y=2m^2−m−1=(m−1)(2m+1)

 2x=−6m,x=−3m

としても同様である.

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