The problem is finding all possible solutions to $$x^y=y^x$$ where $x, y \in \mathbb{N}$ and $y>x$.
If it's transformed $x^y$ into $x^{y-x}x^x$ then you can say that $y^x=xy^x$. Then, if I was able to prove that $y=kx$ I got the solution (in fact, there`s a unique solution $x=2, y=4$). But I'm not sure of the implication $$y^x=qx^x \rightarrow y=kx$$ with $x, y, k, q \in \mathbb{N}$
If x is proportional to y, then, from the first equation we obtain $$x={k}^{\frac {1} {k-1}}$$ If we analize this function we see that there is a natural pair $(2,2)$ and for bigger $x$ the function tends asintotically to 1, then that´s the unique solution. But the problem is to see if k is natural or simply rational, and if there is a rational pair for k.
What can be the way to solve this?
$x^y=y^x\iff\sqrt[x]x=\sqrt[y]y\iff\dfrac{\ln x}x=\dfrac{\ln y}y$ . Now, plot the graphic of the function $f(t)=\sqrt[t]t$ or $g(t)=\dfrac{\ln t}t$ , and tell me what you notice. :-)