■ディオファントス・モーデル・マチアセビッチ(その40)
【1】マルコフ数
3元2次のディオファントス方程式
x^2+y^2+z^2=3xyz
のすべての解を求める問題は,たとえば3元3次の方程式x^3+y^3+z^3=x+y+zの場合とは違って,x,y,zの各変数に関して2次式になっているので1つの解の中の数を使って別の解を作ることができます.
z=xy/2・{3±(9−4/x^2−4/y^2)^1/2}
であり,すべての解は特異解(1,1,1),(1,1,2)から生成されます.たとえば(x,y,z)=(1,1,1),(2,1,1),(5,1,2),(13,1,5),(29,5,2),・・・はひとつの整数解が次の解を導き,
(x,y)=(1,1)→z=1,2
(x,y)=(1,2)→z=1,5
(x,y)=(1,5)→z=2,13
(x,y)=(2,5)→z=1,29
x≦y≦zとしても一般性は失われませんが,特異解(1,1,1),(1,1,2)以外のすべての解はx,y,zの値が相異なるます(x<y<z).
こうして,2次のディオファントス方程式x^2+y^2+z^2=3xyzの解として現れる,
1,2,5,13,29,34,89,169,194,233,433,610,985,・・・
はマルコフ数と呼ばれます.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[補]3元2次のディオファントス方程式
x^2+y^2+z^2=3xyz
の解(x,y,z)=(1,1,1),(2,1,1),(5,1,2),(13,1,5),(29,5,2),・・・を並べると,各解は他の3つの解に相隣り合い,2分木のように配置する.真の2分木なのか,同じ値が2つの別のルートから生成されることがあり得るかは有名な未解決問題である.
===================================
【2】3元3次のディオファントス方程式
x^3+y^3+z^3=6xyz
の唯一の解は(x,y,z)=(1,2,3)である.
【3】n^x+n^y=n^z
の唯一の解はn=2,(x,y,z)=(1,1,2)である.
【4】3^x+4^y=5^z
の唯一の解は(x,y,z)=(2,2,2)である.
【5】5^x+12^y=13^z
の唯一の解は(x,y,z)=(2,2,2)である.
===================================