How To Really Solve This Tricky Algebra Problem? (III)β€Š-β€Šx^y = y^x β†’ x =Β ? and y =Β ? when x not equal to y and x,y ∈ ℝ

Welcome to the third entry in the tricky algebra problem series. When you take a look at this equation, it does indeed look tricky. Unlike the previous couple of equations, I must confess that this one is indeed tricky!

Furthermore, I am being a little bit naughty by classifying this as an algebra problem; you will need a bit more than just algebra to solve this one. But hey, I am at least being upfront about it!

Spoiler Alert:

If you are adventurous enough to solve this equation on your own, I welcome you to do so now. You may choose to come back and continue reading this essay once you are done. Beyond this section, I will be explicitly discussing solutions to the equation.

This essay is supported by Generatebg

A product with a beautiful background featuring the sponsor: Generatebg - a service that generates high-resolution backgrounds in just one click. The description says "No more costly photographers" and displays a "Get Started" button beneath the description.

A Crude Approach to Solving the Tricky Algebra Problem

As I have previously mentioned, my instinct to solving equations with unknown exponents is to dethrone the exponent(s) first. The logarithmic function is usually a good candidate for this purpose. Let us find out what happens if we choose to take this approach.

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€Šx^y = y^x; Taking the logarithm on both sides: ylog(x) = xlog(y); x/log(x) = y/log(y)
Math illustrated by the author

As you can see, we have x/log(x) on the left-hand side and y/log(y) on the right-hand side. This is not looking good. But still, the situation is not as hopeless as it appears to be. We could consider different values of β€˜x’ and β€˜y’ and choose to graph the respective output functions in the cartesian plane.

The intersecting point(s) of the two graphs would be solutions to the equation. However, there are several problems with this approach:

1. There are infinite pairs of β€˜x’ and β€˜y’ for us to consider.

2. Graphing is resource intensive.

3. We don’t need the logarithmic function to graph these quantities; we might have as well done it with the original equation.

Considering these disadvantages, it makes sense to abandon this approach and consider a more refined one to arrive at a generalised solution. And that is exactly what I’m choosing to do!


A Refined Approach to Solving the Tricky Algebra Problem

A realization that would really help us is the fact that x^y is nothing but β€˜x’ multiplied with itself β€˜x’ number of times and y^x is nothing but β€˜y’ multiplied with itself β€˜x’ number of times.

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€Šx^y = y^x; x*x*…*x (y times) = y*y*…*y (x times)
Math illustrated by the author

What this means is that β€˜x’ is a multiple of β€˜y’ and β€˜y’ is a multiple of β€˜x’. In order to solve the equation, we could consider one of these facts and try to create a new equation. For instance, let us express β€˜y’ as a multiple of β€˜x’.

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠY = tx, where β€˜t’ is a parameter
Math illustrated by the author

Here, the factor β€˜t’ is called a parameter and can take any real number value. Furthermore, it is important to note that β€˜t’ is independent of β€˜x’ or β€˜y’. By expressing β€˜y’ as a multiple of β€˜x’ using a parameter β€˜t’, we have created a new equation.

In mathematics, such an equation is known as a parametric equation (which is quite commonly used in applied mathematics, engineering, etc.).

Parametric equations are equations that describe unknowns as explicit functions of independent β€˜parameters’. For example, the following parametric equation set can be used to describe a circle:

x = r cos(t)

y = r sin(t)

With the new parametric equation, we have finally arrived at a stage where we can treat the problem algebraically.

How to Really Solve This Tricky Algebra Problem?

I am now going to plug in the parametric value of y (= tx) into the original equation and take the x-th root on both the sides of the resulting equation:

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠX^(tx) = (tx)^x; Taking x-th root on both sides: x^(tx/x) = (tx)^(x/x); x^(t) = tx
Math illustrated by the author

I am going to proceed with algebraic manipulation with the aim of expressing β€˜x’ exclusively in terms of β€˜t’ (or the other way around).

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠDividing by t on both sides: (x^t)/t = (tx)/t; (x^t)/t = x; Taking the t-th root on both sides: [x^(t/t)]/t^(^/t) = x^(^/t); x/t^(1/t) = x^(1/t)
Math illustrated by the author

We could now choose to multiply by t^(1/t) and divide by x^(1/t) on both sides, to proceed as follows:

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠX^(1–1/t) = t^(1/t); x^((t-1)/t) = t^(1/t); Taking the t-th power on both sides: x^(t-1) = t; Taking the (t-1)-th root on both sides: x = t^(1/(t-1)).
Math illustrated by the author

There we go. We have arrived at an equation that expresses β€˜x’ exclusively in terms of β€˜t’ (my original goal).


The Solution to the Tricky Algebra Problem

We are almost there. All that is left is to plug in this equation into the original parametric equation and express β€˜y’ exclusively in terms of β€˜t’ as well.

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€Šy = tx; y = t*[t^(1/(t-1))] = t^[(1/(t-1))+]; y = t^(t/(t-1))
Math illustrated by the author

We can now express the solution to our original equation as a set of parametric equations as follows:

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠSolution: x = t^(1/(t-1)); y = t^(t/(t-1))
Math illustrated by the author

There are a few last points that we need to address. When t=1, we end up in a situation where the exponent for both x and y is 1/0. In mathematics, division by zero is undefined (for details, refer to my essay on what really happens when you divide by zero).

Similarly, when t = 0, we end up with 0⁰, which is also undefined for a different set of reasons as compared to division by zero (for details, refer to my essay on what really happens when you raise zero to the power of zero).

Finally, as reader Jasmin Tremblay pointed out, in order to restrict the solution domain to the real number line (and avoid the complex plane), we need to restrict t values to the domain: t>1 (t=0 and t=1 lead to undefined states as discussed above).

Sample Solution for the Tricky Algebra Problem

Just to test out the results, let us consider β€˜t = 4’:

How To Really Solve This Tricky Algebra Problem? (III)β€Šβ€”β€ŠFor t = 4: x = 4^(1/3) and y = 256 ^(1/3); Consequently: [4^(1/3)]^[ 256 ^(1/3)] = [ 256 ^(1/3)]^ [4^(1/3)] = 18.8053
Math illustrated by the author

As you can see, our solution set of parametric equations works for any real value of t, which includes rational and irrational numbers.


If you’d like to get notified when interesting content gets published here, consider subscribing.

Further reading that might interest you: How To Really Solve This Tricky Algebra Problem? and How To Really Solve i^i?

If you would like to support me as an author, consider contributing on Patreon.

Street Science

Explore humanity's most curious questions!

Sign up to receive more of our awesome content in your inbox!

Select your update frequency:

We don’t spam! Read our privacy policy for more info.