a^x = a^y Means x = y — The Exponent-Equality Trick for Solving Exponential Equations

Here is the trick in one sentence: if you can get an equation into the form a^x = a^y where a is a fixed positive number that is not 1, then you are allowed to cross out the a^{(\cdot)} on both sides and write x = y. That single move collapses an exponential equation — where the unknown is stuck up in the exponent — into an ordinary algebraic equation that you can solve with standard techniques. Nine out of ten exponential equations that show up in Class 9 to Class 11 textbooks bend to this single tactic. The only skill you actually need is the eye to rewrite both sides with a common base.

Why the trick works

The function f(x) = a^x, for a fixed base a with a > 0 and a \neq 1, is a one-to-one function. "One-to-one" means: two different inputs never give the same output. If a > 1, the function is strictly increasing — as x grows, a^x grows, and a bigger x always gives a bigger a^x. If 0 < a < 1, the function is strictly decreasing — a bigger x gives a smaller a^x. Either way, the graph never crosses the same horizontal line twice.

The immediate consequence is this: if a^x = a^y, the two exponents x and y cannot be different. Because if they were different, the function would have produced the same output from two different inputs, which contradicts one-to-one-ness. So x must equal y.

That is the whole justification. The exponent-equality trick is nothing more than the statement that a^x is a one-to-one function, wearing the disguise of an algebraic rule.

Why the trick fails at a = 1

Now consider what happens if a = 1. The function f(x) = 1^x is not one-to-one at all — it is the flattest, most boring function in mathematics. Every input gives the same output: 1^5 = 1, 1^{100} = 1, 1^{-3} = 1, 1^{3.14} = 1. So the equation 1^5 = 1^{100} is perfectly true, but you absolutely cannot conclude that 5 = 100. The exponents do not have to match for the two sides to be equal; they never match, and the two sides are equal anyway.

Whenever you apply the exponent-equality trick, glance at the base first and check: is it 1? If yes, the trick is illegal and will give you nonsense. If no, you are safe.

Why a > 0 is needed

The other half of the base restriction — a > 0 — is about keeping the expression in the world of real numbers. Negative bases with non-integer exponents do not produce real numbers cleanly: (-8)^{1/2}, for example, is not a real number at all. For a careful discussion of why negative bases misbehave with fractional exponents, see Can the Base Be Negative With a Fractional Exponent?.

To keep the logic airtight — so that you can equate exponents without worrying about domain exceptions or sign-flipping edge cases — restrict the trick to positive bases. In practice, every exponential equation you see in a textbook already has a positive base, so this restriction costs nothing.

The workflow

The trick is three steps, performed in order.

Rewrite both sides so that each side is a^{(\text{some expression})} with the SAME a on both sides. This is the step that takes all the thinking.
Drop the a^{(\cdot)} on both sides and set the two exponents equal to each other. This is a single stroke of the pen.
Solve the resulting equation, which is now algebraic (linear, quadratic, whatever) and has no exponentials in it. Standard techniques apply.

Step 1 is where you use the laws of exponents from the parent article Laws of Exponents — Algebra. Step 2 is the trick itself. Step 3 is ordinary algebra.

Worked example 1 — 2^{x+3} = 16

Both sides need to be powers of the same base. The left is already 2^{(\cdot)}. The right is 16, which is 2^4.

2^{x+3} = 2^4

Same base on both sides, and 2 > 0, 2 \neq 1. Equate the exponents:

x + 3 = 4

Solve: x = 1. Verify: 2^{1+3} = 2^4 = 16. Correct.

Worked example 2 — 9^x = 27

Neither side is a power of 10, but both are powers of 3: 9 = 3^2 and 27 = 3^3. Rewrite:

(3^2)^x = 3^3

3^{2x} = 3^3

Same base 3. Equate exponents:

2x = 3 \quad\Longrightarrow\quad x = \frac{3}{2}

Verify: 9^{3/2} = (3^2)^{3/2} = 3^3 = 27. Correct.

Worked example 3 — (1/2)^x = 8

The base 1/2 and the number 8 both hide powers of 2. Using the negative-exponent rule, (1/2)^x = 2^{-x}. And 8 = 2^3. So:

2^{-x} = 2^3

Equate exponents:

-x = 3 \quad\Longrightarrow\quad x = -3

Verify: (1/2)^{-3} = 2^3 = 8. Correct. A fractional base is no obstacle; you just rewrite it as a negative-exponent power of something friendlier.

Worked example 4 — when the trick doesn't apply directly

Consider 2^x = 10. Can you rewrite 10 as a power of 2? 2^3 = 8 and 2^4 = 16, so 10 is between these two powers — it is not a power of 2 with any integer or rational exponent. There is no clean common base hiding here.

This does NOT mean the equation has no solution. It has a solution; the solution is x = \log_2 10 \approx 3.32. But finding it requires logarithms, which are the inverse of exponentiation and specifically the tool for cases where the exponent-equality trick cannot rewrite both sides to share a base. The trick you are learning here covers roughly the cleanest third of all exponential equations; the rest belongs to the logarithm chapter.

The rule of thumb: scan the two sides for a shared prime factorisation. If they share one, rewrite and equate. If they don't, reach for logarithms.

Worked example 5 — 4^{2x} = 8^{x-1}

The bases 4 and 8 look different, but both are powers of 2: 4 = 2^2 and 8 = 2^3. Rewrite:

(2^2)^{2x} = (2^3)^{x-1}

2^{4x} = 2^{3(x-1)} = 2^{3x - 3}

Equate exponents:

4x = 3x - 3 \quad\Longrightarrow\quad x = -3

Verify: 4^{2 \cdot (-3)} = 4^{-6} = 1/4^6 = 1/4096. And 8^{-3-1} = 8^{-4} = 1/8^4 = 1/4096. Equal. Correct.

The pattern throughout Examples 1, 2, 3, and 5 is the same: every base in sight is a power of a single small prime. Textbook writers almost always design problems where that is true. Spot the prime, rewrite, equate.

When one side has multiple terms

Sometimes the equation is not directly in a^x = a^y form because one side is a sum or difference. The trick does not apply directly — you first have to combine the terms into a single power.

Take 2^x + 2^{x+1} = 12. This is not a^{(\cdot)} = a^{(\cdot)} yet. But 2^{x+1} = 2^x \cdot 2^1 = 2 \cdot 2^x, so the left side factors:

2^x + 2 \cdot 2^x = 2^x (1 + 2) = 3 \cdot 2^x

The equation becomes 3 \cdot 2^x = 12, hence 2^x = 4. Now you are in the form the trick expects. 4 = 2^2, so 2^x = 2^2, hence x = 2. Verify: 2^2 + 2^3 = 4 + 8 = 12. Correct.

The lesson: the trick needs a clean a^x = a^y setup. If you have a sum, factor first. The common factor will almost always be a power of the same base, because exponents add and subtract cleanly inside products.

Cautionary bullets

Before you apply the exponent-equality trick, three checks:

The bases must be the same, not merely similar. 2^x = 4^x is not "same base" — you need to rewrite 4^x as 2^{2x} first.
The base must satisfy a > 0 and a \neq 1. If a = 1, the equation is either always true (for any x) or vacuous; the trick gives garbage. If a \leq 0, exponents with fractional or irrational values are not guaranteed real; the trick's logic does not apply.
If no common base can be found, stop. The trick has run out of room. Bring in logarithms instead.

Recognition drill

For each equation, decide whether the trick applies directly, after a rewrite, or not at all.

3^{2x} = 9^x. Rewrite: 9 = 3^2, so 9^x = 3^{2x}. The equation becomes 3^{2x} = 3^{2x}, which is true for every x. Trick applies; answer is "all real x."
5^x = 125. Rewrite: 125 = 5^3. So 5^x = 5^3, hence x = 3. Trick applies after rewrite.
2^x = 7. No rewrite makes both sides share a base — 7 is not a power of 2. Logarithm territory: x = \log_2 7. Trick does not apply.
4^x = 2^{x+1}. Rewrite: 4 = 2^2, so 4^x = 2^{2x}. The equation becomes 2^{2x} = 2^{x+1}, hence 2x = x + 1, hence x = 1. Trick applies after rewrite.
1^x = 1. The base is 1, so the trick is illegal — but the equation is true for every real x. Just report "every x" as the answer; do not try to equate exponents.

Closing

The exponent-equality trick is short: same base, same exponent. The real work is never in the trick itself — it is in the rewrite that prepares both sides. Once you have rewritten both sides as powers of the same prime (or prime power), the trick converts the exponential equation into something linear or polynomial, and ordinary algebra finishes the job. When no common base can be found, that is the signal to switch tools and use logarithms. Train your eye to spot the shared prime, rewrite automatically, drop the base, and solve. That is the whole tactic, repeated across thousands of exam problems.