■a^4+b^4=c^4+d^4 (その4)

 1729は,2つの3乗数で2通りに表せる最小の数である.

  1729=12^3+1^3=10^3+9^3

 1729のこの性質は17世紀にフレニクルがすでに見つけていた.フレニクルは12^3+1^3=10^3+9^3のほかにも

  9^3+15^3=2^3+16^3

  15^3+33^3=2^3+34^3

  16^3+33^3=9^3+34^3

  19^3+24^3=10^3+27^3

を見つけている.

 パソコンが使える時代であれば,これくらいの桁数であればすぐ計算できると思われるが,ここでは不定方程式

  x^3+y^3=u^3+v^3

の(パラメータ解ではなく)特殊解をを探索してみたい.

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

[Q]x^3+1^3=y^3+10^3を満たす整数回(x,y)を求めよ.

[A]x^3−y^3=10^3−1^3=999=3^2・111=3^3・37

  (x−y)(x^2+xy+y^2)=3^3・37

 また,x^2+xy+y^2=(x−y)^2+3xyより

  x^2+xy+y^2>x−y

であるから,

[1]x^2+xy+y^2=999,x−y=1

[2]x^2+xy+y^2=333,x−y=3

[3]x^2+xy+y^2=111,x−y=9

[4]x^2+xy+y^2=37,x−y=27

 これを解くと(x,y)=(12,9)が得られる.

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

[Q]x^3+y^3=1729を満たす整数解(x,y)をすべて求めよ.

[A]x^3+y^3=(x+y)(x^2−xy+y^2)=7・13・19

  x^2−xy+y^2=(x+y)^2−3xy

  x^2−xy+y^2>x+y

となるとは限らない.結局,前節とは違って全数を調べあげなければならないことになるが,

[1]x^2−xy+y^2=7・13・19,x+y=1

[2]x^2−xy+y^2=13・19,x+y=7

[3]x^2−xy+y^2=7・19,x+y=13

[4]x^2−xy+y^2=7・13,x+y=19

[5]x^2−xy+y^2=19,x+y=7・13

[6]x^2−xy+y^2=13,x+y=7・19

[7]x^2−xy+y^2=7,x+y=13・19

[8]x^2−xy+y^2=1,x+y=7・13・19

  x+y=A,x^2−xy+y^2=B

  x^2−x(A−x)+(A−x)^2=B

  3x^2−3Ax+A^2−B=0

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

に代入すると(x,y)=(1,12),(9,10),(10,9),(12,1))が得られる.

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