Puzzling Equation: x^y=y^x - Are There Solutions?

  • Context: Undergrad 
  • Thread starter Thread starter Ynaught?
  • Start date Start date
Click For Summary

Discussion Overview

The discussion centers around the equation x^y = y^x and whether there are positive integer solutions beyond the known pairs (2, 4). Participants explore proofs, constraints, and mathematical reasoning related to this equation.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants inquire about the existence of proofs that confirm no positive integer solutions exist other than 2 and 4.
  • One participant suggests that if x = y, there are infinitely many solutions, indicating a need for distinct values of x and y to explore the problem further.
  • Another participant proposes using prime factorization as a starting point for a proof regarding the equation.
  • A participant shares a transformation of the equation into ln(x)/x = ln(y)/y, suggesting this approach may lead to a solution.
  • One participant outlines a detailed reasoning process that leads to the conclusion that the only solutions are x = 2 and y = 4, based on the properties of prime factors and inequalities.

Areas of Agreement / Disagreement

Participants express differing views on the existence of solutions, with some asserting that only (2, 4) are valid while others propose alternative approaches or conditions. The discussion remains unresolved regarding the completeness of the proofs and the existence of other solutions.

Contextual Notes

Some arguments depend on specific assumptions about the distinctness of x and y, and the validity of transformations used in proofs may not be universally accepted. The discussion includes various mathematical steps that are not fully resolved.

Ynaught?
Messages
62
Reaction score
0
Is there a proof that shows that there are no positive integers, other than 2 and 4, that satisfy the equation x^y=y^x?

Thanks
 
Last edited:
Physics news on Phys.org
Just take x=y and you have infinitely many solutions:smile:

So the best you can hope for is to find a proof for your assertion under the additional constraint that x and y be distinct.
 
Last edited:
Ynaught? said:
Is there a proof that shows that there are no positive integers, other than 2 and 4, that satisfy the equation x^y=y^x?

Thanks
Try using the prime factorization of x and y for a start
 
Thanks. By converting the equation to ln(x)/x = ln(y)/y I think I have it figured out.
 
Ynaught? said:
Is there a proof that shows that there are no positive integers, other than 2 and 4, that satisfy the equation x^y=y^x?

Thanks


I think on this proof:

consider y > x

[tex]x^y = y^x ==> y = kx ==> x^y = (kx)^x ==> x^{y-x} = k^x ==> x^{x(k-1)} = k^x ==> x^{k-1} = k[/tex]

as [tex]x^{k-1} = k[/tex] is true for x > k if and only if k = 1, and k = 1 ==> x=y, this is a contradiction with our initial consideration that y > x, then k >= x

by [tex]x^{k-1} = k[/tex] it is easy to see that k and x have exactly the same prime numbers as factors.

proof: k >= x, supose that there is one factor in k not in x, so let's write [tex]k = w*x^n ==> x^{k-1 -n} = w[/tex] that is true if and only if w = 1 and n = k - 1

as x and k have exactly the same factors [tex]x^{k-1} = k[/tex] is true if and only if x=k ==> [tex]x^{x-1} = x ==> x = 2[/tex]

x = k = 2, as y = kx, then y = 4 and the proof is finish
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
48
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K