Gleichung xʸ = yˣ

Im Allgemeinen ist die Exponentiation zweier reeller Zahlen nicht kommutativ. Die Gleichung $x^{y}=y^{x}$ hat trotzdem unendlich viele Lösungen. Eine Lösung ist $x=2,\,y=4$.

Nicht-negative Lösungspaare der Gleichung $x^{y}=y^{x}$

Geschichte

Die Gleichung $x^{y}=y^{x}$ wird in einem Brief von Daniel Bernoulli an Christian Goldbach vom 29. Juni 1728 erwähnt. Der Brief enthält die Aussage, dass die einzigen beiden Lösungen der obigen Gleichung, wobei $x\neq y$ natürliche Zahlen sein sollen, $x=2,y=4$ bzw. $x=4,y=2$ sind. Die Antwort von Goldbach vom 31. Januar 1729 enthält allgemeine Lösungen der Gleichung, die durch die Substitution $y=tx$ erhalten wurden. Eine ähnliche Lösung wurde von Leonhard Euler gefunden.

J. van Hengel wies darauf hin, dass für natürliche Zahlen $r\geq 3$ und $n$ folgendes gilt: $r^{r+n}>(r+n)^{r}$. Es genügt also, $x=1$ und $x=2$ zu betrachten, um alle Lösungen für natürliche Zahlen zu bestimmen.

Das Problem wurde in mehreren Publikationen behandelt. Im Jahre 1960 kam die Gleichung in der William Lowell Putnam Competition vor, was Alvin Hausner dazu bewog, die Ergebnisse auf algebraische Zahlkörper auszudehnen.

Nicht-negative reelle Lösungspaare

Hauptquelle:

Eine unendliche Menge von „trivialen“ Lösungen ist durch die Bedingung $x=y$ gegeben.

Wir suchen also nach nicht-negativen Lösungspaaren ($x,y\geq 0$), für die $x\neq y$ gilt. Es kann $x,y>0$ angenommen werden, da die einzige triviale Lösung, für die $x=0$ oder $y=0$ gilt, $x=y=0$ ist. Wir können also für genau ein $t>0,t\neq 1$ schreiben, dass $y=tx$. Die Gleichung lautet jetzt:

$(tx)^{x}=x^{tx}=(x^{t})^{x}$.

Durch Anwendung der $x$-ten Wurzel und Dividieren durch $x$ auf beiden Seiten ergibt sich also:

$t=x^{t-1}$.

Da per Definition $y=tx$ ist, lassen sich also alle nicht-negativen, nicht-trivialen Lösungspaare folgendermaßen schreiben ($t>0,t\neq 1$):

$x=t^{1/(t-1)}$,

$y=t^{t/(t-1)}$.

Zudem sind für $t>0$ alle obigen Paare Lösungen der Gleichung. Setzt man beispielsweise $t=2$ beziehungsweise $t={\tfrac {1}{2}}$, so erhält man die oben genannte Lösung $4^{2}=2^{4}$.

Andere Lösungspaare, die aus algebraischen Zahlen bestehen, sind beispielsweise ${\sqrt {3}}$ und $3{\sqrt {3}}$, sowie ${\sqrt[{3}]{4}}$ und $4{\sqrt[{3}]{4}}$.

Der Schnittpunkt der zu den obigen Lösungen gehörigen Kurve im $\mathbb {R} ^{2}$ und der Kurve $x=y$ liegt bei (mit stetiger Fortsetzung) $t=1$. In diesem Fall ist

$x=\lim _{t\to 1}t^{1/(t-1)}=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}=e$.

Der Schnittpunkt liegt also bei $x=y=e$.

Weblinks

• Rational Solutions to x^y = y^x. In: CTK Wiki Math. Abgerufen im 1. Januar 1 
• x^y = y^x - commuting powers. In: Arithmetical and Analytical Puzzles. Torsten Sillke, archiviert vom Original am 28. Dezember 2015; abgerufen im 1. Januar 1. 
• dborkovitz: Parametric Graph of x^y = y^x. GeoGebra, 29. Januar 2012; abgerufen im 1. Januar 1. 
• Folge A073084 in OEIS