Inspired by Peter

Algebra Level 5

How many integer solutions are there to

x y = y x , x y ? x^y = y^ x, x \neq y ?


For inspiration, see report .

3 4 2 1

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.

2 solutions

Calvin Lin Staff
Sep 23, 2016

[This is not a complete solution.]

Most people are familiar with the solutions ( 4 , 2 ) (4,2) and ( 2 , 4 ) (2,4) .

However, there are additional solutions of ( 2 , 4 ) (-2, -4) and 4 , 2 ) -4, -2 ) .

Easier than I expect! Though, I am not sure if I can consider mine as the perfect solution.

If you already know that the solutions are ( 4 , 2 ) (4,2) from the inspiration, then by symmetry and exponentiation, we have ( 4 , 2 ) (-4,-2) . Likewise, we also have ( 2 , 4 ) (2,4) and ( 2 , 4 ) (-2,-4) by the same reasoning. It's like obtaining the same values for y = 2 x y = 2x .

Of course, there are no working solutions with opposite signs, like x = 1 x = 1 and y = 1 y = -1 .

Michael Huang - 4 years, 8 months ago

Log in to reply

I forgot to mention that there are no real solutions for opposite-signed solutions.

Michael Huang - 4 years, 8 months ago

Log in to reply

Yes, that's a case that most people would not take care of.

Calvin Lin Staff - 4 years, 8 months ago

Log in to reply

@Calvin Lin I'm very surprised that my simple approach works for this Level 5 problem. :)

Michael Huang - 4 years, 8 months ago

Aren't there infinite real solutions? As an explicit example, y = 3 , x = 3 3 y=\quad \sqrt { 3 } ,\quad x=\quad 3\sqrt { 3 } \quad satisfies the given system.

Aditya Dhawan - 4 years, 8 months ago

Log in to reply

Yup, I meant integer. Fixed. Thanks.

Calvin Lin Staff - 4 years, 8 months ago

what is the complete solution like how do we do it algebraically

A Former Brilliant Member - 4 years, 7 months ago

Log in to reply

If the choices were to show at least 2, say 2, 4, 6 and so on, the problem would be difficult to solve. Viewers would be stricken to see possible number of solutions higher than 4. However, I believe Calvin thinks that people would not consider multiple solutions for certain factor integer, say x = 2 y x = 2y and y = 2 x y = 2x , where k k is either 1 2 \dfrac{1}{2} or 2 2 .

Otherwise, if I have figured out 4 integer solutions, and that is the highest value from the choices, the problem would be very easy to answer, and there is no need to spot-check other solutions. It will end up not being a "trick" problem.

Michael Huang - 4 years, 7 months ago

Log in to reply

Thanks Michael

A Former Brilliant Member - 4 years, 7 months ago

When restricted to integer solutions, a simple way to show that there is only this "pair" of solutions is to consider the graph of x 1 x x^ \frac{1}{x} which has a maximum at e e . If you don't want to use calculus, you can inequalities to prove that the signs work the way we desire them to.

When relaxed to positive real numbers, there are infinitely many solutions. There is a way to characterize all of them. Once again, look at x 1 x x ^ \frac{1}{x} .

I'm avoiding talking negative real numbers because these expressions become multi-valued functions instead.

Calvin Lin Staff - 4 years, 7 months ago

Log in to reply

@Calvin Lin Thanks Calvin sir

A Former Brilliant Member - 4 years, 7 months ago

@Calvin Lin I find this site very interesting to look at, even though it covers rational integers. In my opinion, I find this problem to lie on the calculus side more than the algebra side.

Michael Huang - 4 years, 7 months ago

@Calvin Lin Thanks Calvin! That works!

Michael Huang - 4 years, 7 months ago

You tricking but i'm true Haha(:

I Gede Arya Raditya Parameswara - 4 years, 4 months ago
Ankit Kumar Jain
Feb 13, 2017

Firstly, both must have the same sign because if they have opposite signs , then one side will become non integral and the other side integral.

Now clearly both x x and y y share the same prime factors and the power of all the prime factors are in the same ratio. Then WLOG x y {x}\geq{y} ,

Let x = y k x = yk , where k Z + {k}\in Z^{+} , k > 1 k>1

The equation becomes k = y k 1 k = y^{k-1} . An easy induction shows that if k < 3 k < 3 and y > 1 y > 1 , then y k 1 > k y^{k-1} > k . This leads to only one solution ( k , y ) = ( 2 , 2 ) \boxed{(k,y) = (2,2)} which corresponds to ( x , y ) = ( 4 , 2 ) \boxed{(x,y) = (4,2)}

Now since the equations are symmetric , we have the solutions ( 4 , 2 ) ; ( 2 , 4 ) \boxed{(4,2) ; (2,4)} .

And taking the case when both x x and y y are negative , it will lead to a similar equation to give the solutions ( 2 , 4 ) ; ( 4 , 2 ) \boxed{(-2 , -4) ; (-4, -2)} .

Altogether 4 \boxed{4} solutions.

"Share the same prime factors" doesn't imply that " x = y k , k Z x = yk, k \in \mathbb{Z} .

For example, x = 18 , y = 12 x = 18, y = 12 share the same prime factors of 2 and 3. But we don't have x = y k x = yk .

Calvin Lin Staff - 4 years, 4 months ago

Log in to reply

Sir , I forgot to mention that the powers of all the prime factors must be in the same ratio.

Ankit Kumar Jain - 4 years, 4 months ago

Log in to reply

That should help patch the hole. Can you add that in?

After that, the "which clearly only has one solution" should be better explained.

Calvin Lin Staff - 4 years, 4 months ago

Log in to reply

@Calvin Lin Sir , are any further edits required?

Ankit Kumar Jain - 4 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...