Don't do this by hit and trial!!

Find the number of ordered pairs of distinct positive integers ( x , y ) (x,y) such that

x y = y x . x^y = y^x .


The answer is 2.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

5 solutions

Taking the natural log of both sides and rearranging, we find that

ln ( x ) x = ln ( y ) y \dfrac{\ln(x)}{x} = \dfrac{\ln(y)}{y} .

So now look at the function f ( x ) = ln ( x ) x f(x) = \dfrac{\ln(x)}{x} for x 1 x \ge 1 . We have f ( 1 ) = 0 f(1) = 0 and f ( x ) = 1 ln ( x ) x 2 = 0 f'(x) = \frac{1 - \ln(x)}{x^{2}} = 0 when x = e = 2.71828.... x = e = 2.71828.... . So f ( x ) f(x) is increasing on the interval [ 1 , e ] [1,e] , where it peaks at a value of f ( e ) = 1 e f(e) = \frac{1}{e} and then decreases gradually to 0 0 as x x \rightarrow \infty .

Given this shape of curve, we can only have f ( x ) = f ( y ) f(x) = f(y) with 1 x < y 1 \le x \lt y if x x lies on the interval [ 1 , e ) [1,e) and y y lies on the interval ( e , ) (e, \infty) . So if x x is to be a positive integer 1 \ne 1 then it can only be 2 2 .

Now by observation we have 2 4 = 4 2 2^{4} = 4^{2} , and by the above discussion we can conclude that this is the only integer solution. However, since we are asked for the number of ordered pairs we can have both the ordered pairs ( 2 , 4 ) (2,4) and ( 4 , 2 ) (4,2) as solutions, giving us a total of 2 \boxed{2} solutions.

Nice. Thanks for writing that up.

Gino Pagano - 6 years, 7 months ago

Log in to reply

Thanks for the comment. I don't think that the asker was looking for a calculus-based solution, but this was the only approach that came to mind.

Brian Charlesworth - 6 years, 7 months ago

thanks for your general proof

Aung Myat Kyaw - 6 years, 7 months ago

It can be done by elementary number theory: either x|y or y|x. Using tthis would give the answer.

Joel Tan - 6 years, 7 months ago

Log in to reply

How does that help? What do you do next? How do you know that ( 3 , 9 ) (3,9) is not a solution?

Chung Kevin - 6 years, 7 months ago

it can be done by instinct

math man - 6 years, 7 months ago

Log in to reply

dude this is math and it does not concern insitnct

Mardokay Mosazghi - 6 years, 7 months ago
Michael Wood
Nov 13, 2014

Consider y > x y>x , thus notice that x divides y . Now let y = a x y=ax for some positive integers of a > 1 a>1 , hence x a x = ( a x ) x x^{ax}=(ax)^{x} . Expanding the equation yields a = x a 1 a=x^{a-1} , thus a > x a>x or a = x a=x . If a = x a=x , by comparison 1 = a 1 1=a-1 . Therefore, a = x = 2 a=x=2 and this gives y = 4 y=4 . If a > x a>x , a 1 > 1 a-1>1 or a > 2 a>2 yields x=a^{ 1 a 1 \frac{1}{a-1} } which does not give positive integers of x for a > 2 a>2 . Now consider x > y x>y , we shall get x = 4 x=4 and y = 2 y=2 , thus the number of ordered pairs of distinct positive integers ( x , y ) (x,y) is 2 \boxed{2} .

Anna Anant
Nov 15, 2014

there are 2 pairs,(2,4) and (4,2) substitute in the equation 16=16.answer is therefore 2 pairs.

Adiraju Uttej
Nov 14, 2014

only 0 and one satisfy the expression.

What a simple question this is!

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...