Exponential and Logarithmic Equations and Inequalities - AP Precalculus

SECTION 1

Historical Context & Motivation

The story of exponential and logarithmic equations is inseparable from the broader development of algebra and computation. Long before electronic calculators, mathematicians needed efficient methods for handling the enormous products and quotients that arose in astronomy and navigation. Logarithms were invented precisely to transform multiplication into addition, dramatically reducing computational effort. Over centuries, the interplay between exponential growth models and their logarithmic inverses expanded from a computational shortcut into a foundational framework for science, engineering, and finance.

1614 • Napier Publishes Logarithm Tables

John Napier introduced the concept of logarithms in Mirifici Logarithmorum Canonis Descriptio, enabling astronomers to replace tedious multiplications with simple additions.

1624 • Briggs Develops Common Logarithms

Henry Briggs collaborated with Napier to create base-10 logarithm tables, which became the standard computational tool for over three centuries.

1748 • Euler Formalizes the Exponential Function

Leonhard Euler's Introductio in Analysin Infinitorum established eˣ as a central object of analysis and connected exponential and logarithmic functions through their inverse relationship.

1798 • Malthus Models Population Growth

Thomas Malthus used exponential equations to model population dynamics, illustrating how solving such equations carries real-world consequences for resource planning.

20th C • Logarithmic Scales in Modern Science

The Richter scale, decibel scale, and pH scale all employ logarithmic transformations, making fluency with logarithmic equations essential across the sciences.

The central question this lesson addresses is: given an equation or inequality involving exponential or logarithmic expressions, how do we systematically isolate the variable and determine the complete solution set? Answering this requires a deep understanding of the inverse relationship between exponential and logarithmic functions, alongside careful attention to domain restrictions that govern when solutions are valid.

SECTION 2

Core Principles & Definitions

Solving exponential and logarithmic equations rests on several interconnected principles. The most fundamental is the inverse function relationship: if f(x) = bˣ, then f⁻¹(x) = log_b(x). This means that applying a logarithm to both sides of an exponential equation—or exponentiating both sides of a logarithmic equation—is the primary algebraic strategy for isolating the unknown. Every technique in this lesson derives from this core idea combined with standard algebraic identities for logarithms and exponents.

Inverse Property

log_b(bˣ) = x and b^(log_b x) = x. These identities let you "undo" one operation with its inverse.

One-to-One Property

If bˣ = bʸ then x = y, and if log_b x = log_b y then x = y. Both functions are strictly monotonic, so equal outputs imply equal inputs.

Logarithm Laws

Product rule: log(ab) = log a + log b. Quotient rule: log(a/b) = log a − log b. Power rule: log(aⁿ) = n · log a. These consolidate or expand logarithmic expressions.

Domain Restrictions

The argument of any logarithm must be strictly positive, and the base must be positive and not equal to 1. Always check candidate solutions against these constraints—extraneous solutions frequently arise.

Change of Base Formula

log_b a = ln a / ln b = log a / log b. This allows conversion between any two bases for computation or algebraic simplification.

SECTION 3

Visual Explanation — The Inverse Relationship

The cyan curve represents y = 2ˣ, while the violet curve represents y = log₂(x). The dashed line y = x is the axis of reflection. Notice how the point (0, 1) on the exponential reflects to (1, 0) on the logarithm—this symmetry is the geometric manifestation of the inverse relationship that powers every technique in this lesson.

The diagram above captures the geometric essence of why logarithms solve exponential equations and vice versa. Because y = bˣ and y = log_b(x) are reflections across the line y = x, every horizontal line that intersects one curve intersects the other at a corresponding reflected point. This reflection means that if we know the output of one function, we can recover the input by switching to the inverse. When you take the logarithm of both sides of an exponential equation, you are effectively projecting from the exponential curve onto the logarithmic curve to read off the unknown exponent. The strict monotonicity of both functions—exponentials are always increasing (for b > 1) and logarithms are always increasing—guarantees that each equation has at most one solution, and it underpins the direction of inequality signs when we manipulate exponential and logarithmic inequalities.

SECTION 4

Mathematical Framework

Solving Exponential Equations

There are two principal strategies. When both sides can be rewritten with a common base, apply the one-to-one property directly. Otherwise, take a logarithm of both sides (natural log or common log) and use the power rule to bring down the exponent.

COMMON BASE METHOD

If b^(f(x)) = b^(g(x)), then f(x) = g(x)

b > 0, b ≠ 1. Rewrite each side as a power of the same base, then equate exponents.

LOGARITHMIC METHOD

b^(f(x)) = c ⟹ f(x) = log_b(c) = ln(c) / ln(b)

Take log_b (or ln) of both sides. Requires c > 0 since the range of bˣ is (0, ∞).

Solving Logarithmic Equations

Logarithmic equations are solved by first consolidating all logarithmic terms (using the product, quotient, or power rules) and then converting to exponential form. The critical additional step is checking that every candidate solution satisfies the domain requirement: the argument of every logarithm in the original equation must be positive.

CONVERTING TO EXPONENTIAL FORM

log_b(f(x)) = k ⟹ f(x) = b^k

After solving, verify f(x) > 0. Extraneous solutions arise when algebraic manipulation introduces values outside the domain.

Exponential and Logarithmic Inequalities

EXPONENTIAL INEQUALITY (b > 1)

b^(f(x)) > b^(g(x)) ⟹ f(x) > g(x)

When b > 1, the exponential function is strictly increasing, so the inequality direction is preserved. When 0 < b < 1, the function is strictly decreasing, and the inequality reverses.

ℹ

Direction of Inequality

SECTION 5

Detailed Strategy Breakdown

This flowchart summarizes the decision process for solving exponential and logarithmic equations. Note that domain checking is the final mandatory step regardless of which path you follow. Extraneous solutions are especially common in logarithmic equations where algebraic steps may introduce negative arguments.

Equation Type	Strategy	Key Pitfall
bˣ = c (simple exponential)	Take log of both sides; x = ln c / ln b	No solution if c ≤ 0
$b^{f(x)}$ = $b^{g(x)}$	Equate exponents: f(x) = g(x)	Must verify both sides truly share base b
Exponential with quadratic substitution	Let u = bˣ, solve quadratic in u	Reject u ≤ 0 since bˣ > 0 always
log_b(f(x)) = k	Convert: f(x) = bᵏ, then solve for x	Check f(x) > 0 in original equation
log(f(x)) + log(g(x)) = k	Combine: log(f(x)·g(x)) = k, then convert	Both f(x) > 0 and g(x) > 0 required

Common equation types and their solving strategies

SECTION 6

Worked Examples

Worked example

1
Step 1 — State the equation

Solve $3^{2x − 1}$ = 15 for x.
2
Step 2 — Take the natural log of both sides

ln( $3^{2x − 1}$ ) = ln(15). By the power rule: (2x − 1) · ln 3 = ln 15.
3
Step 3 — Isolate x

2x − 1 = ln 15 / ln 3 ≈ 2.7081 / 1.0986 ≈ 2.4650. Then 2x = 3.4650, so x = 1.7325.

x ≈ 1.7325
4
Step 4 — Verify

$3^{2(1.7325) − 1}$ = $3^{2.465}$ ≈ 15.00 ✓. The solution is valid since the exponential function has no domain restrictions on the input.

Worked example

1
Step 1 — State the equation

Solve log₂(x + 3) + log₂(x − 1) = 5.
2
Step 2 — Combine logarithms

Using the product rule: log₂((x + 3)(x − 1)) = 5.
3
Step 3 — Convert to exponential form

(x + 3)(x − 1) = 2⁵ = 32. Expanding: x² + 2x − 3 = 32, so x² + 2x − 35 = 0.
4
Step 4 — Solve the quadratic

Factoring: (x + 7)(x − 5) = 0, giving x = −7 or x = 5.
5
Step 5 — Check domain restrictions

For x = −7: x − 1 = −8 < 0, so log₂(x − 1) is undefined. This is extraneous. For x = 5: x + 3 = 8 > 0 and x − 1 = 4 > 0. Check: log₂(8) + log₂(4) = 3 + 2 = 5 ✓.

x = 5 (x = −7 is extraneous)

Worked example

1
Step 1 — State the inequality

Solve (1/2)ˣ > 8.
2
Step 2 — Rewrite with common base

(1/2)ˣ = 2⁻ˣ and 8 = 2³, so the inequality becomes 2⁻ˣ > 2³.
3
Step 3 — Apply the one-to-one property

Since the base 2 > 1, the exponential function f(t) = 2ᵗ is increasing. Therefore 2⁻ˣ > 2³ implies −x > 3, which gives x < −3.

x ∈ (−∞, −3)

SECTION 7

Strategy Comparisons & Common Errors

Approach	Strengths	Limitations
Common Base	Exact answers; no calculator needed; clean algebra	Only works when both sides are integer powers of the same base
Take Logarithm	Universal—works for any exponential equation; change of base gives flexibility	Often yields irrational answers requiring approximation
Quadratic Substitution	Handles equations like 4ˣ − 3·2ˣ + 2 = 0 by letting u = 2ˣ	Must reject negative u-values; can produce extra solutions
Convert to Exponential	Standard method for all log equations; directly uses inverse definition	Domain checking is essential—extraneous solutions are the norm, not the exception
Graphical / Numerical	Useful for equations with no closed-form solution; provides visual intuition	Approximate only; may miss solutions if the viewing window is too narrow

Comparing solution strategies for exponential and logarithmic equations

★

Key takeaway

COMMON ERRORS TO AVOID

SECTION 8

Connections to Advanced Theory

The techniques developed in this lesson extend naturally into calculus and beyond. In AP Calculus, you will encounter equations involving eˣ and ln x in the context of derivatives and integrals—solving d/dx[eˣ] = eˣ and d/dx[ln x] = 1/x relies directly on the properties of exponential and logarithmic functions. In differential equations, exponential growth and decay models take the form dy/dt = ky, whose solution y = y₀eᵏᵗ is found by separating variables and integrating—a process that requires solving a logarithmic equation.

AP Precalculus Concept	Advanced Extension
Solving bˣ = c using logarithms	Logarithmic differentiation: d/dx[ $f(x)^g$ (x)] via ln
Domain restrictions on log arguments	Interval of convergence for logarithmic series: ln(1+x) for \|x\| ≤ 1
Exponential inequality direction (b > 1 vs. 0 < b < 1)	Monotonicity arguments in analysis; limit comparison tests
Change of base formula	Complex logarithms: log_b z for z ∈ ℂ, multi-valued functions

How Precalculus topics connect to higher mathematics

Perhaps most importantly for AP Precalculus, fluency with exponential and logarithmic equations is prerequisite to modeling real-world phenomena: compound interest, radioactive decay, logistic population growth, and signal attenuation all require setting up and solving these types of equations. The ability to move fluidly between exponential and logarithmic forms—and to handle the accompanying inequalities—is a skill that recurs in every STEM discipline.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Which of the following best explains why the equation log₃(x − 4) = 2 can have at most one solution?

A. The logarithmic function log₃(u) is defined only for u > 0, which eliminates all but one candidate.
B. The function f(x) = log₃(x − 4) is strictly increasing on its domain, so it achieves each output value exactly once.
C. Converting to exponential form always yields a linear equation, which has exactly one solution.
D. The base 3 is prime, which ensures the equation cannot factor into multiple solutions.
E. Logarithmic equations always have exactly one solution by definition.

Show answer (B)

B is correct. The fundamental reason is that f(x) = log₃(x − 4) is a strictly increasing function (since the base 3 > 1), meaning the horizontal line y = 2 intersects its graph at most once. A restricts the domain correctly but doesn't explain uniqueness—a function can be defined on a restricted domain and still take a value multiple times. C is incorrect because converting to exponential form doesn't always yield linear equations; more complex logarithmic equations can produce quadratics. D is nonsensical—primality of the base has no bearing on the number of solutions. E is false; logarithmic equations can have zero solutions (e.g., log₂(x) = −1 has a solution, but log₂(x − 5) + log₂(x + 2) = 3 can produce extraneous roots, and some equations have no valid solutions at all).

Question 2: BASIC CALCULATION

What is the solution to

5^{x+1}

= 125?

A. x = 2
B. x = 3
C. x = 4
D. x = 24
E. x = ln 125 / ln 5

Show answer (A)

A is correct. Rewrite 125 as 5³, so

5^{x+1}

= 5³. By the one-to-one property, x + 1 = 3, giving x = 2. B (x = 3) results from solving x + 1 = 3 incorrectly or confusing 5³ = 125 with x = 3 without accounting for the +1 in the exponent. C (x = 4) likely comes from a computational error. D (x = 24) has no algebraic basis. E, while numerically equal to 3 (since ln 125 / ln 5 = 3), represents the value of x + 1, not x; the student who selects E forgot to subtract 1 after applying logarithms.

Question 3: INTERMEDIATE

Solve: log(x + 6) + log(x − 3) = 1, where log denotes log₁₀. What is x?

A. x = −8 and x = 5
B. x = 5 only
C. x = 4 only
D. x = −7 and x = 4
E. No solution

Show answer (C)

C is correct. Combine: log((x+6)(x−3)) = 1, so (x+6)(x−3) = 10¹ = 10. Expanding: x² + 3x − 18 = 10, giving x² + 3x − 28 = 0. Factoring: (x + 7)(x − 4) = 0, so x = −7 or x = 4. Domain check: for x = −7, x − 3 = −10 < 0, so log(x − 3) is undefined—extraneous. For x = 4, x + 6 = 10 > 0 and x − 3 = 1 > 0, and log(10) + log(1) = 1 + 0 = 1 ✓. A is wrong because it presents incorrect roots. B presents x = 5, which does not satisfy the quadratic. D includes x = −7 which is extraneous. E is wrong because x = 4 is a valid solution.

Question 4: APPLIED

A radioactive substance decays according to the model A(t) = 200 · (0.85)ᵗ, where A is the amount in grams and t is the time in hours. (a) Determine the time t at which A(t) = 50 grams. Express your answer in exact form and as a decimal approximation. (b) Write an inequality for the values of t during which A(t) > 80 grams, and solve it. (c) A second substance decays according to B(t) = 300 ·

e^{−0.2t}

. At what time do the two substances have the same mass? Set up and solve the equation. (d) Explain why the inequality in part (b) uses the direction it does—specifically, why does taking the logarithm preserve or reverse the inequality sign?

Show answer

(a) 50 = 200·(0.85)ᵗ → (0.85)ᵗ = 0.25 → t = ln(0.25)/ln(0.85) = ln(1/4)/ln(0.85) ≈ −1.3863/(−0.16252) ≈ 8.530 hours. (b) 200·(0.85)ᵗ > 80 → (0.85)ᵗ > 0.4 → t·ln(0.85) > ln(0.4). Since ln(0.85) < 0, divide and reverse: t < ln(0.4)/ln(0.85) ≈ (−0.9163)/(−0.16252) ≈ 5.638. With t ≥ 0, the solution is 0 ≤ t < 5.638 hours. (c) 200·(0.85)ᵗ = 300·

e^{−0.2t}

. Take ln: ln(200) + t·ln(0.85) = ln(300) − 0.2t. Rearrange: t·(ln(0.85) + 0.2) = ln(300) − ln(200) = ln(3/2). So t = ln(1.5)/(ln(0.85) + 0.2) = 0.4055/(−0.16252 + 0.2) = 0.4055/0.03748 ≈ 10.82 hours. (d) Taking ln preserves the inequality direction because ln is strictly increasing. However, the subsequent algebraic step of dividing by ln(0.85), which is negative, reverses the inequality—exactly as dividing any inequality by a negative number does.

Question 5: CRITICAL THINKING

Consider the equation log₂(x² − 4x) = 5. (a) Solve the equation algebraically and identify all valid solutions. (b) Explain why the original equation might have fewer solutions than the quadratic obtained after converting to exponential form. (c) Describe a general principle for determining how many solutions a logarithmic equation can produce.

Show answer

(a) Convert: x² − 4x = 2⁵ = 32 → x² − 4x − 32 = 0 → (x − 8)(x + 4) = 0. Both x = 8 and x = −4 give x² − 4x = 32 > 0, so both are valid. (b) The logarithm requires its argument x² − 4x > 0, i.e., x ∈ (−∞, 0) ∪ (4, ∞). Although both roots here fall in valid intervals, a different right-hand side could yield roots in [0, 4] that would be extraneous. Converting to exponential form is a necessary algebraic step that may expand the solution set, because it ignores the positivity constraint embedded in the original logarithmic form. (c) General principle: the number of valid solutions to

\log_b

(f(x)) = k is the number of solutions to f(x) =

b^k

that simultaneously satisfy f(x) > 0. Since

\log_b

is one-to-one, it maps each positive argument to exactly one output, so the constraining factor is not the log function itself but the algebraic complexity of f(x) and the sign of f(x) at each candidate.