1

The number $16$ can be represented as $2^4=4^2$. Is there a (real) number after $16$ that can be represented as $A^B=B^A$? Where A and B are two distinct real numbers.I've checked many numbers and I'm convinced that there are no other numbers with such property, I conjecture that $16$ is the only real number with such property. But maybe I'm wrong. Is it true that $16$ is the only number with such property ? (My question here is much more specific than the other similar question has been posted.)

Jyrki Lahtonen
  • 133,153

2 Answers2

2

Yes there are such numbers.
By this question, we know that if $x^y=y^x$ and $x\ne y,$ then $x=a^{1/(a-1)},y=a^{a/(a-1)}$ for some $a\not=1.$
Then we see that $$y\ln x=a^{a/(a-1)}\ln a/(a-1)\gt\ln a\frac{a}{a-1}\gt\ln a,$$ when $a\gt1.$ So if we choose $a\gt16,$ then $x^y=y^x$ so produced will satisfy the requirement.

For example, taking $a=100,$ we see $x=100^{1/99}\cong 1.047615, y=100^{100/99}\cong104.761575$ and $x^y=y^x\cong130.726237\gt16.$

Hope this helps.

awllower
  • 16,536
  • Thanks !!, this is EXACTLY the answer I'm looking for ! : D – sumpelo miyapah Jul 13 '16 at 13:16
  • You're welcome. It is a pleasure to ponder upon such a question. :D – awllower Jul 13 '16 at 13:23
  • Quoting the answer: "However, I'm going to go a step further. I will say that I want my solution $(x,y)$ of $x^y = y^x$ to be of the form $(x,ax)$ so that $y = ax$ for some value $a$. Furthermore, I'll assume that $x \neq y$ so that $a \neq 1$ (of course, $x = y$ is always a solution if $x^x$ is defined). With that, we have... " – awllower Jul 13 '16 at 13:47
  • Does this kind of number has been named by someone ? Partner numbers ? : ) – sumpelo miyapah Jul 13 '16 at 13:52
  • Well, I don't know much about them, sorry. – awllower Jul 13 '16 at 14:02
2

Yes. The power can be larger than $16$.

Consider the set of points on the plane satisfying the equation

$$x^y=y^x$$

enter image description here

You see that those points form a union of two curves: the line $x=y$ and the more interesting part.

By implicit differentiation we get that on that other curve we have $$ \frac{dy}{dx}=\frac{y(x\ln y-y)}{x(y\ln x-x)}. $$

Using that and logarithmic differentiation we get that on that curve

$$ \frac d{dx}\,y^x=y^x\left[\ln y+\frac{x\ln y-y}{y\ln x-x}\right]. $$

Plugging in $x=4, y=2$ shows that at the point $(x,y)=(4,2)$ we arrive at

$$\frac{d(y^x)}{dx}=\frac{16 (1-\ln2\ln4)}{2-\ln4}\approx1.019.$$

Therefore when $x$ is a little bit larger than $4$ the power $y^x=x^y$ will be a little bit larger than $16$.

I hazard a guess that along that curve $y^x=x^y$ attains a local minimum $e^e\approx 15.15$ at the point $x=y=e$. The formula for the derivative breaks down there (which may explain why Mathematica left a tiny gap there in the above figure).

Jyrki Lahtonen
  • 133,153