Exponential-Logarithmic Inverse Relationship — I can explain the inverse relationship between exponential and logarithmic functions using graphs and properties. - Math 3

SECTION 1

Historical Context & Motivation

Long before calculators existed, mathematicians faced a practical problem: multiplying and dividing enormous numbers was slow and error-prone. The breakthrough came when mathematicians realized they could convert multiplication into addition by working with exponents. If you know that 10² = 100 and 10³ = 1000, then 100 × 1000 = 10⁵ = 100,000 — you just add the exponents. This observation set the stage for logarithms, a tool designed specifically to reverse the process of exponentiation.

1614 • Napier Publishes Logarithm Tables

Scottish mathematician John Napier published Mirifici Logarithmorum Canonis Descriptio, introducing logarithms as a computational shortcut for astronomers and navigators.

1624 • Briggs Creates Common Logarithms

Henry Briggs refined Napier's work to use base 10, creating tables of common logarithms that became standard tools in science and engineering for over 300 years.

1748 • Euler Formalizes the Exponential Function

Leonhard Euler published Introductio in Analysin Infinitorum, defining eˣ and ln(x) as inverse functions, unifying the relationship between exponentials and logarithms.

1900s • Modern Applications Explode

The inverse relationship between exponentials and logarithms became essential in fields ranging from radioactive decay and population modeling to the decibel scale and pH chemistry.

The central question this lesson answers is both simple and powerful: if an exponential function takes an exponent as input and produces a value, how do we reverse that process? In other words, given the output of an exponential function, how do we recover the exponent? That reverse operation is exactly what a logarithm does, and the connection between the two functions is one of the most important relationships in all of algebra.

SECTION 2

Core Principles & Definitions

Before diving into the inverse relationship, you need a firm grip on what each function does on its own. An exponential function has the form f(x) = bˣ, where b is a positive constant called the base (with b ≠ 1). A logarithmic function is written g(x) = log_b(x), and it answers the question: "To what power must I raise b to get x?" These two functions are inverse functions — each one undoes the work of the other.

Inverse Functions Swap Inputs and Outputs

If f(a) = b, then f⁻¹(b) = a. For exponentials and logs, if bˣ = y, then log_b(y) = x. The x and y roles reverse.

Composition Cancels to x

Applying one function and then the other returns you to the original input:

b^{log_b(x)}

= x and

\log_b

(bˣ) = x. This is the algebraic signature of an inverse pair.

Graphs Reflect Across y = x

Because inverse functions swap x and y, the graph of y =

\log_b

(x) is the mirror image of y = bˣ reflected over the line y = x.

Domain and Range Swap

The domain of the exponential (all real numbers) becomes the range of the logarithm, and the range of the exponential (positive reals) becomes the domain of the logarithm.

✦

KEY TAKEAWAY

Think of exponentiation and logarithms like locking and unlocking a combination lock. The exponential function "locks" a value by raising a base to a power, and the logarithm is the key that "unlocks" it, recovering the original exponent. If you lock with base 2 (multiply by 2 repeatedly), only the log base 2 key can open it.

SECTION 3

Graphing the Inverse Relationship

The most powerful way to see the inverse relationship is on a coordinate plane. When you graph y = 2ˣ and y = log₂(x) on the same axes, you'll notice the curves are mirror images of each other across the line y = x. Every point (a, b) on the exponential curve has a matching point (b, a) on the logarithmic curve. This visual symmetry is the graphical hallmark of inverse functions.

The violet curve shows y = 2ˣ (exponential), and the cyan curve shows y = log₂(x) (logarithmic). Notice how the dashed amber line y = x acts as a mirror: every point on one curve has a partner on the other, with the coordinates flipped.

Look closely at the diagram above. The exponential curve passes through (0, 1) because 2⁰ = 1. Its inverse, the logarithmic curve, passes through (1, 0) because log₂(1) = 0. The coordinates are simply swapped. Similarly, the exponential passes through (2, 4), and the logarithm passes through (4, 2). This pattern holds for every single point on both curves, confirming that these functions are true inverses of each other.

💡

Notice the Asymptotes

The exponential function y = 2ˣ has a horizontal asymptote at y = 0 (the x-axis). Its inverse, y = log₂(x), has a vertical asymptote at x = 0 (the y-axis). Just as the domain and range swap, the type and position of the asymptote swap too.

SECTION 4

Mathematical Framework

The inverse relationship between exponentials and logarithms can be summarized by a single equivalence statement, plus two composition identities. These three formulas are the algebraic engine that powers every calculation you'll do with logarithms.

EXPONENTIAL-LOGARITHMIC EQUIVALENCE

bˣ = y ⟺ log_b(y) = x

b = base (b > 0, b ≠ 1); x = exponent; y = result. Read the double arrow as "if and only if" — these two statements say exactly the same thing in different notation.

COMPOSITION IDENTITY 1

log_b(bˣ) = x

Start with x, apply the exponential (raise b to the x), then apply the logarithm base b. You get back x. The logarithm "undoes" the exponential.

COMPOSITION IDENTITY 2

b^(log_b(x)) = x (x > 0)

Start with a positive number x, take its log base b, then raise b to that result. You get back x. The exponential "undoes" the logarithm. Note: x must be positive because logarithms are only defined for positive inputs.

These identities are not just abstract rules — they are the precise algebraic statements of what it means for two functions to be inverses. Recall that two functions f and g are inverses when f(g(x)) = x and g(f(x)) = x. The exponential and logarithm satisfy both conditions, confirming the relationship.

DOMAIN AND RANGE SWAP

f(x) = bˣ : Domain = (−∞, ∞), Range = (0, ∞) g(x) = log_b(x) : Domain = (0, ∞), Range = (−∞, ∞)

The domain of one function equals the range of its inverse, and vice versa. This is a general property of all inverse function pairs.

SECTION 5

Key Properties Compared Side by Side

By placing the properties of the exponential and logarithmic functions side by side, you can see how each feature of one function corresponds to a feature of the other. This table is a powerful study tool — every row shows a "swap" between the two inverses.

Property	Exponential f(x) = bˣ	Logarithmic g(x) = $\log_b$ (x)
Domain	All real numbers (−∞, ∞)	Positive reals (0, ∞)
Range	Positive reals (0, ∞)	All real numbers (−∞, ∞)
Key intercept	y-intercept at (0, 1)	x-intercept at (1, 0)
Asymptote	Horizontal: y = 0	Vertical: x = 0
Behavior (b > 1)	Increasing (growth)	Increasing (but slowing)
Passes through	(1, b)	(b, 1)

Corresponding properties of exponential and logarithmic functions

Side-by-side comparison of the exponential (violet) and logarithmic (cyan) functions. The amber arrows emphasize that domain, range, intercepts, and asymptote types all swap between the inverse pair.

Notice the beautiful symmetry: anything you can say about the exponential has an "inverted" counterpart for the logarithm. The exponential's y-intercept at (0, 1) becomes the logarithm's x-intercept at (1, 0). The exponential's horizontal asymptote becomes the logarithm's vertical asymptote. Learning to see these parallel structures will help you remember properties of logarithms without rote memorization.

SECTION 6

Worked Example

Let's apply the inverse relationship to convert between exponential and logarithmic forms, verify points on both graphs, and simplify a composition.

Converting Between Forms and Using Composition Identities

1
Step 1 — Rewrite an Exponential Equation in Logarithmic Form

Given: 3⁴ = 81. Using the equivalence bˣ = y ⟺ $\log_b$ (y) = x, identify b = 3, x = 4, and y = 81.

log₃(81) = 4
2
Step 2 — Rewrite a Logarithmic Equation in Exponential Form

Given: log₅(125) = 3. Using the equivalence in reverse, identify b = 5, y = 125, and x = 3.

5³ = 125 ✓
3
Step 3 — Verify a Point Swap on the Graphs

The point (3, 8) lies on y = 2ˣ because 2³ = 8. By the inverse relationship, the point (8, 3) must lie on y = log₂(x). Check: log₂(8) = log₂(2³) = 3. ✓ The coordinates swap, confirming the reflection across y = x.

(3, 8) on y = 2ˣ ↔ (8, 3) on y = log₂(x)
4
Step 4 — Simplify a Composition Using the Identity

Evaluate log₇(7⁵). Because $\log_b$ (bˣ) = x is a composition identity, we substitute directly: b = 7 and x = 5.

log₇(7⁵) = 5
5
Step 5 — Apply the Other Composition Identity

Evaluate $10^{log₁₀(42)}$ . Using $b^{log_b(x)}$ = x with b = 10 and x = 42, the exponential undoes the logarithm.

$10^{log₁₀(42)}$ = 42

💡

PATTERN TO REMEMBER

Whenever you see a logarithm and an exponential with the same base composed together, they cancel out — just like adding 5 and then subtracting 5 brings you back to where you started. The base must match, or the cancellation doesn't work.

SECTION 7

Common Errors & How to Avoid Them

Students often stumble on a few predictable mistakes when working with the exponential-logarithmic inverse relationship. Knowing these pitfalls ahead of time can save you a lot of frustration on homework and exams.

Common Error	Why It's Wrong	Correct Approach
Writing log₂(8) = 8² = 64	This confuses the exponent with the base. The log asks "what exponent gives 8?" not "square the input."	log₂(8) = 3 because 2³ = 8
Canceling log₃(5²) as if the bases match	The composition identity requires the log base and the exponential base to be the same. Here, base 3 ≠ base 5.	Only log₅(5²) = 2 works. You must keep the bases matched.
Assuming $\log_b$ (0) is defined	The domain of y = $\log_b$ (x) is x > 0. There is no exponent you can raise b to that gives 0 (since bˣ > 0 always).	$\log_b$ (0) is undefined. The graph has a vertical asymptote at x = 0.
Forgetting that the reflection line is y = x, not the x-axis	Reflecting over the x-axis flips y-values to negative; that creates −f(x), not f⁻¹(x).	Inverse function graphs reflect across the line y = x, which swaps coordinates (a, b) → (b, a).

Common errors when applying the exponential-logarithmic inverse relationship

🛠

DEBUGGING TIP

When in doubt, convert back to exponential form. If you're unsure about a logarithmic expression, rewrite it as bˣ = y and check whether the arithmetic makes sense. This "translation" step catches most errors before they snowball.

SECTION 8

Connection to Advanced Topics

The inverse relationship you've learned here is a gateway to deeper mathematics. In calculus, you'll discover that the derivative of eˣ is eˣ itself — a self-referencing property that makes eˣ arguably the most important function in all of mathematics. The natural logarithm ln(x) = log_e(x) serves as its inverse, and together they simplify differential equations that model real-world phenomena.

This Lesson (Algebra)	What Comes Next (Precalculus & Calculus)
bˣ = y ⟺ $\log_b$ (y) = x	Solving exponential equations using logarithms of any base, including change of base formula
Graphs reflect across y = x	Using graphical transformations to sketch any log or exponential with shifts and stretches
Composition identities cancel	d/dx[eˣ] = eˣ and d/dx[ln(x)] = 1/x — inverse functions yield each other's derivatives
Domain/range swap	Understanding why ln(x) is defined only for x > 0 matters when integrating 1/x

How today's concepts connect to future coursework

ℹ

Real-World Preview

When scientists measure the pH of a solution, they use pH = −log₁₀[H⁺]. To find the hydrogen ion concentration from a pH reading, they "undo" the logarithm: [H⁺] =

10^{−pH}

. This is the exponential-logarithmic inverse relationship at work in chemistry labs every day.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the graph of y = log₃(x) is a reflection of y = 3ˣ across the line y = x. What happens to the coordinates of each point during this reflection?

Show answer

Because y = log₃(x) is the inverse of y = 3ˣ, the roles of x and y are swapped. If (a, b) is on the graph of y = 3ˣ (meaning 3ᵃ = b), then (b, a) is on the graph of y = log₃(x) (meaning log₃(b) = a). Swapping coordinates is geometrically equivalent to reflecting a point over the line y = x, so the entire graph flips across that line. This is a general feature of all inverse function pairs.

Question 2: BASIC CALCULATION

Convert the exponential equation 5³ = 125 into logarithmic form, and then convert log₄(64) = 3 into exponential form.

Show answer

Using the equivalence bˣ = y ⟺

\log_b

(y) = x: For 5³ = 125, identify b = 5, x = 3, y = 125, so the logarithmic form is log₅(125) = 3. For log₄(64) = 3, identify b = 4, x = 3, y = 64, so the exponential form is 4³ = 64. Both conversions confirm that the exponential and logarithmic statements carry identical information — just written in different notation.

Question 3: INTERMEDIATE

Simplify each expression using the composition identities: (a) log₆(6⁸), (b)

2^{log₂(13)}

, (c) log₁₀(

10^{−4}

Show answer

(a) Using

\log_b

(bˣ) = x with b = 6 and x = 8: log₆(6⁸) = 8. (b) Using

b^{log_b(x)}

= x with b = 2 and x = 13:

2^{log₂(13)}

= 13. (c) Using

\log_b

(bˣ) = x with b = 10 and x = −4: log₁₀(10⁻⁴) = −4. In every case, the logarithm and exponential with matching bases cancel each other, returning the inner value. Note that part (c) shows the identity works for negative exponents too.

Question 4: APPLIED

A bacteria colony doubles every hour. Its population is modeled by P(t) = 500 × 2ᵗ, where t is time in hours. How many hours does it take for the population to reach 16,000? Set up the equation and solve using the inverse relationship.

Show answer

Set P(t) = 16,000: 500 × 2ᵗ = 16,000. Divide both sides by 500: 2ᵗ = 32. Now use the inverse relationship — rewrite in logarithmic form: t = log₂(32). Since 2⁵ = 32, we get t = 5 hours. This problem demonstrates the core use of logarithms: when the unknown is in the exponent, you need the inverse function (the logarithm) to isolate it. The logarithm "unlocks" the exponent.

Question 5: CRITICAL THINKING

A student claims: "Since y = 2ˣ has a horizontal asymptote at y = 0, its inverse y = log₂(x) must also have a horizontal asymptote at y = 0." Is this correct? Explain your reasoning, and describe what actually happens to the asymptote when you find the inverse.

Show answer

The student is incorrect. When you reflect a graph across the line y = x, horizontal features become vertical features and vice versa. The horizontal asymptote y = 0 on y = 2ˣ means that as x → −∞, the output approaches 0 but never reaches it. When we swap x and y to form the inverse, this becomes: as y → −∞, the input x approaches 0. That translates into a vertical asymptote at x = 0 on y = log₂(x). In general, the type of asymptote changes — horizontal becomes vertical — because the reflection across y = x swaps the roles of the two axes. This is another manifestation of the domain-range swap: the restriction y > 0 on the exponential becomes x > 0 on the logarithm.

SUMMARY

Lesson Summary

Summary

The exponential function f(x) = bˣ and the logarithmic function g(x) = $\log_b$ (x) are inverse functions. This means each one undoes the other. Algebraically, this is captured by the equivalence bˣ = y ⟺ $\log_b$ (y) = x and the composition identities $\log_b$ (bˣ) = x and $b^{log_b(x)}$ = x.

Graphically, the two curves are reflections of each other across the line y = x. Every property swaps: the domain and range exchange, the y-intercept (0, 1) becomes the x-intercept (1, 0), and the horizontal asymptote becomes a vertical asymptote. Understanding this inverse relationship is the key to solving exponential equations, interpreting logarithmic scales, and building a foundation for calculus.