Equation xy = yx

(Redirected from Equation x^y = y^x)

In general, exponentiation fails to be commutative. However, the equation has solutions, such as [1]

Graph of xy = yx. The line and curve intersect at (e, e).

History

edit

The equation   is mentioned in a letter of Bernoulli to Goldbach (29 June 1728[2]). The letter contains a statement that when   the only solutions in natural numbers are   and   although there are infinitely many solutions in rational numbers, such as   and  .[3][4] The reply by Goldbach (31 January 1729[2]) contains a general solution of the equation, obtained by substituting  [3] A similar solution was found by Euler.[4]

J. van Hengel pointed out that if   are positive integers with  , then   therefore it is enough to consider possibilities   and   in order to find solutions in natural numbers.[4][5]

The problem was discussed in a number of publications.[2][3][4] In 1960, the equation was among the questions on the William Lowell Putnam Competition,[6][7] which prompted Alvin Hausner to extend results to algebraic number fields.[3][8]

Positive real solutions

edit
Main source:[1]

Explicit form

edit

An infinite set of trivial solutions in positive real numbers is given by   Nontrivial solutions can be written explicitly using the Lambert W function. The idea is to write the equation as   and try to match   and   by multiplying and raising both sides by the same value. Then apply the definition of the Lambert W function   to isolate the desired variable.

 
 
 

Where in the last step we used the identity  .

Here we split the solution into the two branches of the Lambert W function and focus on each interval of interest, applying the identities:

 
  •  :
 
 
  •  :
 
 
  •  :
 
 
  •  :
 
 

Hence the non-trivial solutions are:

 

Parametric form

edit

Nontrivial solutions can be more easily found by assuming   and letting   Then

 

Raising both sides to the power   and dividing by  , we get

 

Then nontrivial solutions in positive real numbers are expressed as the parametric equation

 

The full solution thus is  

Based on the above solution, the derivative   is   for the   pairs on the line   and for the other   pairs can be found by   which straightforward calculus gives as:

 

for   and  

Setting   or   generates the nontrivial solution in positive integers,  

Other pairs consisting of algebraic numbers exist, such as   and  , as well as   and  .

The parameterization above leads to a geometric property of this curve. It can be shown that   describes the isocline curve where power functions of the form   have slope   for some positive real choice of  . For example,   has a slope of   at   which is also a point on the curve  

The trivial and non-trivial solutions intersect when  . The equations above cannot be evaluated directly at  , but we can take the limit as  . This is most conveniently done by substituting   and letting  , so

 

Thus, the line   and the curve for   intersect at x = y = e.

As  , the nontrivial solution asymptotes to the line  . A more complete asymptotic form is

 

Other real solutions

edit

An infinite set of discrete real solutions with at least one of   and   negative also exist. These are provided by the above parameterization when the values generated are real. For example,  ,   is a solution (using the real cube root of  ). Similarly an infinite set of discrete solutions is given by the trivial solution   for   when   is real; for example  .

Similar graphs

edit

Equation xy = yx

edit

The equation   produces a graph where the line and curve intersect at  . The curve also terminates at (0, 1) and (1, 0), instead of continuing on to infinity.

The curved section can be written explicitly as

 

 

This equation describes the isocline curve where power functions have slope 1, analogous to the geometric property of   described above.

The equation is equivalent to   as can be seen by raising both sides to the power   Equivalently, this can also be shown to demonstrate that the equation   is equivalent to  .

Equation logx(y) = logy(x)

edit

The equation   produces a graph where the curve and line intersect at (1, 1). The curve becomes asymptotic to 0, as opposed to 1; it is, in fact, the positive section of y = 1/x.

References

edit
  1. ^ a b Lóczi, Lajos. "On commutative and associative powers". KöMaL. Archived from the original on 2002-10-15. Translation of: "Mikor kommutatív, illetve asszociatív a hatványozás?" (in Hungarian). Archived from the original on 2016-05-06.
  2. ^ a b c Singmaster, David. "Sources in recreational mathematics: an annotated bibliography. 8th preliminary edition". Archived from the original on April 16, 2004.{{cite web}}: CS1 maint: unfit URL (link)
  3. ^ a b c d Sved, Marta (1990). "On the Rational Solutions of xy = yx" (PDF). Mathematics Magazine. 63: 30–33. doi:10.1080/0025570X.1990.11977480. Archived from the original (PDF) on 2016-03-04.
  4. ^ a b c d Dickson, Leonard Eugene (1920), "Rational solutions of xy = yx", History of the Theory of Numbers, vol. II, Washington, p. 687{{citation}}: CS1 maint: location missing publisher (link)
  5. ^ van Hengel, Johann (1888). "Beweis des Satzes, dass unter allen reellen positiven ganzen Zahlen nur das Zahlenpaar 4 und 2 für a und b der Gleichung ab = ba genügt". Pr. Gymn. Emmerich. JFM 20.0164.05.
  6. ^ Gleason, A. M.; Greenwood, R. E.; Kelly, L. M. (1980), "The twenty-first William Lowell Putnam mathematical competition (December 3, 1960), afternoon session, problem 1", The William Lowell Putnam mathematical competition problems and solutions: 1938-1964, MAA, p. 59, ISBN 0-88385-428-7
  7. ^ "21st Putnam 1960. Problem B1". 20 Oct 1999. Archived from the original on 2008-03-30.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
  8. ^ Hausner, Alvin (November 1961). "Algebraic Number Fields and the Diophantine Equation mn = nm". The American Mathematical Monthly. 68 (9): 856–861. doi:10.1080/00029890.1961.11989781. ISSN 0002-9890.
edit