■タクシー数(その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
としても同様である.
===================================