x^y=y^x の有理数解

ここでは以下の方程式について考えます。

次に、これの有理数解について考えます。
$x=y$は自明な解なので$x<y$とします。
$x,y$が共に有理数なのでその比${\displaystyle \frac{t+1}{t}}$も有理数です。よって、$t$も有理数です。
${\displaystyle t=\frac{n}{m}}$($gcd(m,n)=1$,$m,n>0$) とおきます。
${\displaystyle x={\left(\frac{n+m}{n}\right)}^{\frac{n}{m}}}$が有理数であり、$m$と$n$が互いに素なので${\displaystyle {\left(\frac{n+m}{n}\right)}^{\frac{1}{m}}}$が有理数になります。
(この部分は少し非自明なので説明をしておきます。$\alpha ={\left(\frac{n+m}{n}\right)}^{\frac{1}{m}}$とおくと、${\alpha }^n$と${\alpha }^m$はともに有理数です。$m,n$が互いに素なので$am+bn=1$となる整数$a,b$が存在して$\alpha ={\alpha }^{am+bn}=({\alpha }^m{)}^a({\alpha }^n{)}^b$が有理数となるわけです。)
$m$と$n$が互いに素なので$n+m$と$n$は互いに素です。
よって、${\displaystyle {\left(\frac{n+m}{n}\right)}^{\frac{1}{m}}}$が有理数であることから$n+m$と$n$はどちらもある整数の$m$乗として表されます。
ここで、$2$つの異なる$m$乗数の差は最小でも$2^m-1$となりますが$n+m$と$n$の差は$m$であるので$m\ge 2^m-1$であることが必要となります。これをみたす正の整数は$1$のみであるので、$m=1$が得られました。
$m=1$を代入してみると、${\displaystyle (x,y)=({\left(\frac{n+1}{n}\right)}^n,{\left(\frac{n+1}{n}\right)}^{n+1})}$が得られ、たしかにこれは有理数です。
よって、$x^y=y^x$の有理数解は、$x=y$となるものと、これと、これの$x$と$y$を入れ替えたものです。