Exponential & Logarithmic Equations

Exponential equations have the unknown in an exponent (

a^{x} = b

); logarithmic equations have the unknown inside a logarithm (

lo g_{a} x = b

). The master technique: exponentials and logarithms are inverse operations, so applying one undoes the other. Used everywhere variables grow or decay multiplicatively — finance, biology, physics, chemistry. Formalized through the work of Napier, Briggs, and Euler (1614–1748).

An exponential equation is any equation in which a variable appears in an exponent, such as $3^{x} = 81$ ; a logarithmic equation is one in which a variable appears as the argument (or base) of a logarithm, such as $lo g_{2} (x + 1) = 5$ . These two families are intimately linked because the logarithm $lo g_{a}$ is the inverse function of the exponential $a^{x}$ — each one cancels the other. They matter because countless natural and financial processes change by constant factors rather than constant amounts, and only logarithms can solve for the time or exponent hidden in such growth. The surprising fact: the seemingly clumsy logarithm was invented decades before calculus and centuries before the exponential function was understood, purely as a labor-saving trick to turn multiplication into addition.

The Core Insight

Exponentiation and taking logarithms are mutually inverse. If a variable is trapped in an exponent, take a logarithm to free it; if a variable is trapped inside a logarithm, exponentiate to free it. Every solution technique on this page is a disciplined application of that single idea.

Formal Statement

Exponential and Logarithmic Functions

For a fixed base $a$ with $a > 0$ and $a \neq = 1$ :

f (x) = a^{x}, x \in R, f (x) > 0

⟳extend integer powers

a^{n} = a \cdot a \dots a

to rational

a^{p / q} = q a^{p}

, then to reals by continuity.

The logarithm base $a$ is its inverse:

y = lo g_{a} x ⟺ a^{y} = x, x > 0

⟳"the logarithm answers the question: to what power must I raise

a

to obtain

x

Symbols: $a$ = base (positive, $\neq = 1$ ); $x$ = argument/input; $y$ = exponent/output. The condition $a \neq = 1$ is required because $1^{y} = 1$ for all $y$ , so $1^{y} = x$ has no unique solution.

The Two Equation Types

An exponential equation has the unknown in an exponent:

a^{g (x)} = b, b > 0

⟳any equation reducible to "base to a variable power equals a number."

A logarithmic equation has the unknown inside a log:

lo g_{a} (h (x)) = c

⟳any equation reducible to "log of a variable expression equals a number."

Fundamental Solving Identities

The following hold whenever both sides are defined ( $x, y > 0$ ):

lo g_{a} (x y) = lo g_{a} x + lo g_{a} y

⟳let

x = a^{m}, y = a^{n}

; then

x y = a^{m + n}

, so

lo g_{a} (x y) = m + n

lo g_{a} (\frac{x}{y}) = lo g_{a} x - lo g_{a} y

⟳same substitution with division:

x / y = a^{m - n}

lo g_{a} (x^{r}) = r lo g_{a} x

⟳

x^{r} = (a^{m})^{r} = a^{m r}

, so the exponent is

m r = r lo g_{a} x

lo g_{a} x = \frac{lo g _{b} x}{lo g _{b} a} (change of base)

⟳set

y = lo g_{a} x

a^{y} = x

; take

lo g_{b}

of both sides and use [7].

a^{l o g_{a} x} = x and lo g_{a} (a^{x}) = x

⟳direct statement that

a^{x}

and

lo g_{a} x

are inverse functions.

Why It Holds / Derivation

Solving the Generic Exponential Equation $a^{g(x)} = b$

Step 1. Begin with

a^{g (x)} = b

where

a, b > 0

and

a \neq = 1

. Both sides are positive, so taking a logarithm is valid. Step 2. Apply

lo g_{a}

to both sides:

lo g_{a} (a^{g (x)}) = lo g_{a} b

⟳logarithm is a one-to-one function, so applying it preserves equality.

Step 3. Use the inverse identity [9] on the left:

g (x) = lo g_{a} b

⟳

lo g_{a} (a^{g (x)}) = g (x)

exactly.

Step 4. If

a

is not a convenient base, use change of base [8] to convert to natural or common logs:

g (x) = \frac{ln b}{ln a}

⟳

lo g_{a} b = ln b / ln a

Then solve the (now algebraic) equation $g (x) = const$ for $x$ . $■$

Solving the Generic Logarithmic Equation $\log_a(h(x)) = c$

Step 1. Begin with

lo g_{a} (h (x)) = c

. The domain requires

h (x) > 0

— record this restriction now. Step 2. Exponentiate both sides with base

a

(apply

a^{(\cdot)}

a^{l o g_{a} (h (x))} = a^{c}

⟳

a^{(\cdot)}

is one-to-one, so equality is preserved.

Step 3. Use the inverse identity [9] on the left:

h (x) = a^{c}

⟳

a^{l o g_{a} u} = u

Step 4. Solve the algebraic equation

h (x) = a^{c}

, then check every candidate against $h (x) > 0$ ; discard extraneous roots.

■

Leonhard Euler | 1707–1783

Though John Napier invented logarithms (1614) as a computational aid, it was Leonhard Euler who in the 1730s–40s recast the subject as the modern theory of functions. He treated $a^{x}$ as a genuine function of a real variable, established the central role of the base $e \approx 2.71828$ , popularized the notation $f (x)$ , $e$ , and the use of $lo g$ , and proved the foundational relations (including $e^{i x} = cos x + i sin x$ ). Euler's Introductio in analysin infinitorum (1748) is where exponentials and logarithms first appear as the inverse-function pair we teach today.

Building Intuition

Think of exponentiation as repeated multiplication and the logarithm as counting how many multiplications were needed. If bacteria double every hour, then after $t$ hours there are $2^{t}$ times as many — the exponential. To answer "how many hours until they multiply 1000-fold?" you must invert this: $lo g_{2} 1000 \approx 9.97$ hours. The logarithm is a "multiplication-counter."

A second picture: logarithms turn a multiplicative world into an additive one. On a logarithmic scale, multiplying by 10 means stepping the same distance every time — which is exactly why the Richter scale, decibels, and pH all compress huge multiplicative ranges into manageable additive numbers.

Exponential $y=2^x$ and its inverse $y=\log_2 x$, mirrored across $y=x$

Worked Examples

Exponential Equation — Same Base

Given: Solve

3^{2 x - 1} = 81

. Step 1. Express the right side as a power of the base:

81 = 3^{4}

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

⟳

3^{4} = 81

by direct computation.

Step 2. Since the bases match and

a^{x}

is one-to-one, equate exponents:

2 x - 1 = 4

⟳

a^{m} = a^{n} \Rightarrow m = n

for

a \neq = 1

Step 3. Solve:

2 x = 5 \Rightarrow x = 2.5

x = \frac{5}{2}

Check:

3^{2 (2.5) - 1} = 3^{4} = 81

. ✓

Logarithmic Equation — With Extraneous Root

Given: Solve

lo g_{2} (x) + lo g_{2} (x - 2) = 3

. Step 1. Note the domain: need

x > 0

and

x - 2 > 0

, so

x > 2

. Step 2. Combine using the product rule [5]:

lo g_{2} (x (x - 2)) = 3

⟳

lo g_{a} u + lo g_{a} v = lo g_{a} (uv)

Step 3. Exponentiate (base 2) using [13]–[14]:

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

⟳

lo g_{2} N = 3 \Rightarrow N = 2^{3}

Step 4. Solve the quadratic

x^{2} - 2 x - 8 = 0 \Rightarrow (x - 4) (x + 2) = 0

, giving

x = 4

x = - 2

. Step 5. Apply the domain

x > 2

: discard

x = - 2

(extraneous — it makes

lo g_{2} (- 2)

undefined).

x = 4

Check:

lo g_{2} 4 + lo g_{2} 2 = 2 + 1 = 3

. ✓

Common Misconceptions

The Three Deadly Errors

" $lo g (x + y) = lo g x + lo g y$ " — FALSE. The product rule [5] applies to $lo g (x y)$ , never to $lo g (x + y)$ . There is no rule that simplifies the log of a sum.
Forgetting domain checks. Logs are only defined for positive arguments. Algebraic manipulation (squaring, combining logs) can create extraneous roots that violate $h (x) > 0$ . Always check.
" $\frac{lo g x}{lo g y} = lo g x - lo g y$ " — FALSE. The quotient rule [6] says $lo g (x / y) = lo g x - lo g y$ . Dividing two logarithms is change of base [8], an entirely different operation.

Why $\log(x+y) \neq \log x + \log y$

Take base 10, $x = y = 1$ :

Left side: $lo g_{10} (1 + 1) = lo g_{10} 2 \approx 0.301$ .
Right side: $lo g_{10} 1 + lo g_{10} 1 = 0 + 0 = 0$ .

Since $0.301 \neq = 0$ , the "rule" is decisively false. One numerical counterexample is enough to kill a proposed identity forever.

Connections

Exponential and logarithmic equations sit at the crossroads of several core topics. They are inverse functions, so they directly extend Inverse Functions. Solving them often produces an Quadratic Equations in disguise (as in Example 2). The base $e$ and natural logarithm $ln$ link this material to Calculus, where $\frac{d}{d x} e^{x} = e^{x}$ makes $e$ the natural base. The growth/decay applications connect to Geometric Sequences (discrete analog) and Differential Equations (continuous analog $\frac{d y}{d t} = k y$ ). Logarithmic scales tie directly into Scientific Notation.

Real-World Applications

Compound interest & finance. Solving $A = P (1 + r / n)^{n t}$ for $t$ (the time to reach a target balance) requires logarithms — the basis of all "rule of 72" calculations.
Radioactive dating (Carbon-14). $N = N_{0} e^{- λ t}$ ; archaeologists invert this with $ln$ to find an artifact's age from remaining isotope fraction.
The Richter magnitude scale. Earthquake energy spans factors of millions; $M = lo g_{10} (I / I_{0})$ compresses it. A magnitude-7 quake is $10 \times$ stronger in amplitude than a 6.
Decibels (sound) and pH (chemistry). $dB = 10 lo g_{10} (P / P_{0})$ and $pH = - lo g_{10} [H^{+}]$ both convert vast multiplicative ranges to readable scales.
Population & epidemic modeling. Early epidemic spread is exponential; estimating the "doubling time" of cases uses $t_{2} = ln 2/ k$ .
Newton's law of cooling. $T (t) = T_{env} + (T_{0} - T_{env}) e^{- k t}$ ; forensic scientists invert it to estimate time of death.
Information theory. The number of bits to encode $N$ equally likely messages is $lo g_{2} N$ — the heart of data compression and Shannon entropy.

Historical Development

1614 — John Napier publishes Mirifici Logarithmorum Canonis Descriptio, introducing logarithms to simplify astronomical multiplication.
1617 — Henry Briggs proposes base-10 ("common") logarithms after meeting Napier; publishes extensive tables.
1620 — Joost Bürgi independently publishes his own logarithm tables, developed before Napier but printed later.
1622 — William Oughtred invents the slide rule, a physical embodiment of logarithmic addition, in use for over 350 years.
1647 — Grégoire de Saint-Vincent and Alphonse de Sarasa discover that the area under the hyperbola $y = 1/ x$ behaves like a logarithm (the natural log).
1683 — Jacob Bernoulli, studying compound interest, encounters the limit defining $e$ .
1731 — The constant $e$ first appears in a letter; Euler later names it.
1748 — Euler's Introductio in analysin infinitorum establishes $a^{x}$ and $lo g_{a} x$ as inverse functions and centers the theory on $e$ .
1972 — The HP-35 pocket calculator makes log tables and slide rules obsolete overnight.

Subtleties & Limits

Beyond the Elementary Toolbox

Not every exponential equation can be solved with logarithms alone. Equations that mix a variable in both a polynomial and an exponent — such as $x e^{x} = c$ — cannot be solved using elementary functions. Their solution requires the Lambert $W$ function, defined as the inverse of $w \mapsto w e^{w}$ , which is not part of the standard high-school toolkit. Likewise, equations like $2^{x} = x^{2}$ have solutions that mix algebraic and transcendental behavior and must be found numerically or via $W$ . More deeply, questions about which exponential equations have closed-form solutions belong to transcendence theory — the Gelfond–Schneider theorem (1934) proves, for instance, that $2^{2}$ is transcendental, a result with no elementary derivation at all.