■タクシー数のパラメータ解(その16)
ここでは,不定方程式a^3+b^3+c^3=d^3の一般解について調べてみます.
===================================
【1】オイラー解
オイラーによれば不定方程式a^3+b^3+c^3=d^3の一般解は
a=−(x^2+3y^2)^2+(z^2+3w^2)(xz+3yw+3xw−3yz),
b=(x2+3y^2)^2−(z^2+3w^2)(xz+3yw−3xw+3yz),
c=(z^2+3w^2)^2−(x^2+3y^2)(xz+3yw+3xw−3yz),
d=(z2+3w^2)^2+(x^2+3y^2)(xz+3yw+3xw−3yz)
であることが知られています.3回回転対称性が意識されているのだと思われます.
これより,
3^3 +4^3+5^3=6^3,
1^3+6^3+8^3=9^3,
7^3+14^3+17^3=20^3
などが求められます.
===================================
最も簡明な解の公式としては
α^2+αβ+β^2=3λγ^2ならば
(α+λ^2γ)^3+(λβ+γ)^3=(λα+γ)^3+(β+λ^2γ)^3
===================================
【2】ラマヌジャン解
ラマヌジャンはa^3+b^3+c^3=d^3の解を二つの文字m,nの恒等式
a=3m^2+5mn−5n^2 ,
b=4m^2−4mn+6n^2 ,
c=5m^2−5mn−3n^2 ,
d=6m^2−4mn+4n^2
として与えています.3^3 +4^3+5^3=6^3
を意識したものですが,すべての解をもれなく表す式ではないとと思われます.
===================================
m=2,n=3を代入して27で割れば ,
12^3=(-1)^3+10^3+9^3
a=M^7+3M^4(1+P)+M{3(1+P)^2-1}
b=2M^6-3M^3(1+2P)+(1+3P+3P^2)
c=M^6-(1+3P+3P^2)
d=M^7-3M^4P+M(3P^2-1)
の例としても
1729=9^3+10^3=12^3+1^3
===================================