12

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

2013
0
$$$$

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

$x^y=y^x$$(x,y>0)$

まず、$x=y$は自明な解なので省きます。
一般性を失わずに$x< y$とできます。
ここで、(いきなりですが)$y=xt$$(t>1)$とおきます。
すると、$x^{xt}=(xt)^x$より、$(x^t)^x=(xt)^x$となるので、$x^t=xt$です。
これより、$x^{t-1}=t$$\displaystyle x=t^{\frac{1}{t-1}}$がわかるので、$\displaystyle(x,y)=(t^\frac{1}{t-1},t^\frac{t}{t-1})$$(t>1)$が得られます。
ここで、$t>1$なので$\displaystyle\frac{1}{t-1}>0$であり、$\displaystyle\frac{1}{t-1}$$t$でおき直すと$\displaystyle(x,y)=\left(\left(\frac{t+1}{t}\right)^t,\left(\frac{t+1}{t}\right)^{t+1}\right)$$(t>0)$
という解が得られます。

次に、これの有理数解について考えます。
$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≥2^m-1$であることが必要となります。これをみたす正の整数は$1$のみであるので、$m=1$が得られました。
$m=1$を代入してみると、$\displaystyle(x,y)=\left(\left(\frac{n+1}{n}\right)^n,\left(\frac{n+1}{n}\right)^{n+1}\right)$が得られ、たしかにこれは有理数です。
よって、$x^y=y^x$の有理数解は、$x=y$となるものと、これと、これの$x$$y$を入れ替えたものです。

投稿日:2021510

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

tria_math
tria_math
506
38697
大学2年生

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中