- #1

- 64

- 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

Thanks

Last edited:

- Thread starter Ynaught?
- Start date

- #1

- 64

- 0

Thanks

Last edited:

- #2

- 586

- 1

Just take x=y and you have infinitely many solutions

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.

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:

- #3

- 841

- 0

Try using the prime factorization of x and y for a start

Thanks

- #4

- 64

- 0

Thanks. By converting the equation to ln(x)/x = ln(y)/y I think I have it figured out.

- #5

- 261

- 0

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 lets 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:

- Last Post

- Replies
- 5

- Views
- 6K

- Replies
- 5

- Views
- 874

- Replies
- 5

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 3K

- Last Post

- Replies
- 2

- Views
- 3K

- Last Post

- Replies
- 7

- Views
- 8K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 15

- Views
- 5K

- Replies
- 3

- Views
- 3K