Exponential equations mark an important step in algebra: the unknown no longer appears merely in sums or products, but in the exponent itself. This fundamentally changes the way we reason, because we are no longer manipulating just numbers and expressions — we are working with powers directly.
For example:
\[ 2^x = 8 \]
is an exponential equation.
Since:
\[ 8 = 2^3 \]
we can rewrite the equation as:
\[ 2^x = 2^3 \]
and, by a fundamental property of the exponential function, conclude that:
\[ x = 3 \]
The aim of this article is to develop a rigorous and thorough understanding of how to solve the main types of exponential equations.
Table of Contents
- What is an exponential equation
- Injectivity of the exponential function
- Exponential equations with the same base
- Equations reducible to the same base
- Rewriting with a common base
- Using properties of exponents
- Exponential equations solved by substitution
- Exponential equations with no solution
- An example where substitution yields no solution
- Exponential equations solved using logarithms
- The general method using logarithms
- Common mistakes
- Concluding remarks
Exponential equations mark an important step in algebra: the unknown no longer appears merely in sums or products, but in the exponent itself. This fundamentally changes the way we reason, because we are no longer manipulating just numbers and expressions — we are working with powers directly.
For example:
\[ 2^x = 8 \]
is an exponential equation.
Since:
\[ 8 = 2^3 \]
we can rewrite the equation as:
\[ 2^x = 2^3 \]
and, by a fundamental property of the exponential function, conclude that:
\[ x = 3 \]
The aim of this article is to develop a rigorous and thorough understanding of how to solve the main types of exponential equations.
What is an exponential equation
An exponential equation is an equation in which the unknown appears at least once in an exponent.
The following are examples of exponential equations:
\[ 3^x = 81 \]
\[ 5^{2x-1} = 25 \]
\[ 2^{2x} - 5\cdot 2^x + 4 = 0 \]
The real challenge in exponential equations lies not in the computations themselves, but in recognising the structure of the equation and choosing the most appropriate transformation.
Injectivity of the exponential function
Let \(a\) be a positive real number different from \(1\). The exponential function with base \(a\) is injective.
This means that:
\[ a^u = a^v \quad \Longleftrightarrow \quad u = v \qquad (a>0,\ a\ne1) \]
This property is the foundation of most elementary exponential equations. When we pass from \(a^u=a^v\) to \(u=v\), we are not simply cancelling the base in a mechanical fashion: we are invoking the injectivity of the exponential function.
The condition:
\[ a>0 \]
ensures that the power is defined for all real exponents.
The condition:
\[ a\ne1 \]
is necessary because:
\[ 1^x=1 \]
for every \(x\in\mathbb{R}\). If the base were equal to \(1\), it would no longer be possible to distinguish between different exponents.
Exponential equations with the same base
When both sides can be written as powers of the same base, the equation is solved immediately.
Consider:
\[ 2^x = 32 \]
Since:
\[ 32 = 2^5 \]
we obtain:
\[ 2^x = 2^5 \]
The bases are equal and satisfy the required conditions, so we may equate the exponents:
\[ x = 5 \]
Therefore:
\[ S=\{5\} \]
Equations reducible to the same base
Often the bases do not coincide at first glance, but can be made to agree by using properties of exponents.
We solve:
\[ 3^{2x-1} = 27 \]
We write the right-hand side as a power of \(3\):
\[ 27 = 3^3 \]
The equation becomes:
\[ 3^{2x-1} = 3^3 \]
Equating the exponents:
\[ 2x-1 = 3 \]
Hence:
\[ 2x = 4 \]
and therefore:
\[ x = 2 \]
The solution is:
\[ S=\{2\} \]
Rewriting with a common base
When the bases are different but related, it is possible to rewrite them using a single common base.
Consider:
\[ 4^x = 8^{x-1} \]
Since:
\[ 4 = 2^2 \]
and:
\[ 8 = 2^3 \]
we obtain:
\[ 4^x = (2^2)^x = 2^{2x} \]
and:
\[ 8^{x-1} = (2^3)^{x-1} = 2^{3(x-1)} \]
The equation becomes:
\[ 2^{2x} = 2^{3(x-1)} \]
Equating the exponents:
\[ 2x = 3x - 3 \]
Hence:
\[ x = 3 \]
Using properties of exponents
Before solving many exponential equations, it is necessary to simplify expressions using the fundamental laws of exponents.
Recall:
\[ a^m\cdot a^n = a^{m+n} \]
\[ \frac{a^m}{a^n} = a^{m-n} \qquad (a\ne0) \]
\[ (a^m)^n = a^{mn} \]
These rules often allow us to rewrite the equation in a more manageable form.
We solve:
\[ 2^{x+1}\cdot 2^{x-2} = 16 \]
The left-hand side contains two powers with the same base, so we add the exponents:
\[ 2^{x+1}\cdot 2^{x-2} = 2^{(x+1)+(x-2)} \]
that is:
\[ 2^{2x-1} = 16 \]
We also write the right-hand side as a power of \(2\):
\[ 16 = 2^4 \]
We obtain:
\[ 2^{2x-1} = 2^4 \]
Equating the exponents:
\[ 2x-1 = 4 \]
Hence:
\[ 2x = 5 \]
and therefore:
\[ x = \frac{5}{2} \]
Therefore:
\[ S=\left\{\frac{5}{2}\right\} \]
Exponential equations solved by substitution
Some exponential equations have a structure analogous to that of a polynomial equation. In such cases, it is convenient to introduce a new variable.
Consider:
\[ 2^{2x} - 5\cdot 2^x + 4 = 0 \]
We observe that:
\[ 2^{2x} = (2^x)^2 \]
We therefore let:
\[ t = 2^x \]
with the constraint:
\[ t>0 \]
The equation becomes:
\[ t^2 - 5t + 4 = 0 \]
We factor:
\[ t^2 - 5t + 4 = (t-1)(t-4) \]
So:
\[ (t-1)(t-4)=0 \]
Hence:
\[ t=1 \quad \text{or} \quad t=4 \]
We now return to the original variable.
If:
\[ t=1 \]
then:
\[ 2^x = 1 \]
that is:
\[ 2^x = 2^0 \]
giving:
\[ x=0 \]
If instead:
\[ t=4 \]
then:
\[ 2^x = 4 \]
that is:
\[ 2^x = 2^2 \]
so:
\[ x=2 \]
The complete solution set is:
\[ S=\{0,2\} \]
The substitution was effective because it transformed an exponential equation into an ordinary quadratic equation.
Exponential equations with no solution
A power with a positive base is always positive.
Consequently, equations such as:
\[ 3^x = -9 \]
have no real solutions.
Indeed:
\[ 3^x > 0 \]
for every:
\[ x\in\mathbb{R} \]
whereas:
\[ -9<0 \]
The equality is therefore impossible.
An example where substitution yields no solution
We solve:
\[ 4^x + 2^x + 1 = 0 \]
Since:
\[ 4^x = (2^2)^x = 2^{2x} = (2^x)^2 \]
we let:
\[ t = 2^x \]
with:
\[ t>0 \]
The equation becomes:
\[ t^2+t+1=0 \]
We compute the discriminant:
\[ \Delta = 1^2 - 4\cdot1\cdot1 = -3 \]
Since:
\[ \Delta<0 \]
the equation has no real solutions.
Consequently:
\[ S=\varnothing \]
Exponential equations solved using logarithms
Not every exponential equation can be reduced to a common base.
Consider:
\[ 2^x = 5 \]
The number \(5\) is not an integer power of \(2\), yet the equation still has a real solution.
To find it, we use logarithms. The logarithm allows us to determine the exponent required to produce a given number from a given base.
\[ x = \log_2 5 \]
or equivalently, using the natural logarithm:
\[ x = \frac{\ln 5}{\ln 2} \]
The general method using logarithms
Consider the equation:
\[ a^{A(x)} = b \]
with:
\[ a>0, \qquad a\ne1, \qquad b>0 \]
Applying the logarithm base \(a\), we obtain:
\[ A(x)=\log_a b \]
Alternatively:
\[ A(x)=\frac{\ln b}{\ln a} \]
This method is essential whenever the bases cannot be unified by elementary algebraic manipulations.
Common mistakes
Equating exponents when the bases differ
A frequent error is to pass from:
\[ 2^x = 3^x \]
to:
\[ x=x \]
This reasoning is incorrect: exponents may only be equated when the bases are the same.
Dividing both sides by \(3^x\), we obtain:
\[ \left(\frac{2}{3}\right)^x = 1 \]
Since:
\[ \left(\frac{2}{3}\right)^0 = 1 \]
it follows that:
\[ x=0 \]
Forgetting that a power with a positive base cannot be negative
Equations of the form:
\[ 5^x=-1 \]
are impossible in the real numbers, because:
\[ 5^x>0 \]
for every:
\[ x\in\mathbb{R} \]
Forgetting the constraint on the substitution variable
Whenever we set:
\[ t=a^x \]
we must always keep in mind that:
\[ t>0 \]
Any negative values of \(t\) arising from the auxiliary equation must therefore be discarded.
Concluding remarks
Exponential equations require us to recognise structures hidden within powers.
In some cases it is enough to rewrite the equation with a common base; in others, a substitution must be introduced or logarithms must be employed. The real difficulty lies not in the volume of computation, but in correctly identifying the form of the equation.
To understand exponential equations is therefore to learn to read powers as objects with structure and meaning. And it is precisely this shift — from mechanical computation to genuine mathematical reasoning — that makes the subject so significant in the study of both algebra and mathematical analysis.