Inverses of exponential functions

AP Precalculus· AP Precalculus CED — Exponential and Logarithmic Functions· 14 min read

1. One-to-Oneness of Exponential Functions★★☆☆☆⏱ 4 min

To have a valid inverse function, a function must be one-to-one: for any $x_{1} \neq = x_{2}$ , $f (x_{1}) \neq = f (x_{2})$ , which means it passes the horizontal line test. For exponential functions of the form $f (x) = b^{k x + c}$ where $b > 0, b \neq = 1$ and $k \neq = 0$ , this property always holds. The only exception is exponentials with non-linear exponents (e.g. $f (x) = 2^{x^{2}}$ ), which map $x$ and $- x$ to the same output and are not one-to-one.

📘 Definition

One-to-one function

A function that produces unique outputs for all unique inputs. Only one-to-one functions have inverse functions that are also functions.

Example:

$f (x) = 5^{3 - 2 x}$ is one-to-one; $f (x) = 2^{x^{2}}$ is not.

📐 Worked Example

Confirm whether $f (x) = 5^{3 - 2 x}$ has a valid inverse function over its entire domain of $R$ , and justify your answer.

1
Start with the algebraic one-to-one test: assume $f (x_{1}) = f (x_{2})$
$5^{3-2x_1} = 5^{3-2x_2}$
2
Take the natural logarithm of both sides
$\ln\left(5^{3-2x_1}\right) = \ln\left(5^{3-2x_2}\right)$
3
Apply the logarithm power rule
$(3-2x_1)\ln 5 = (3-2x_2)\ln 5$
4
Since $5 > 0$ and $5 \neq = 1$ , $ln 5 \neq = 0$ , so divide both sides by $ln 5$
$3-2x_1 = 3-2x_2$
5
Simplify to get
$x_1 = x_2$
6
Conclusion: Since $f (x_{1}) = f (x_{2})$ implies $x_{1} = x_{2}$ , $f (x)$ is one-to-one over $R$ and has a valid inverse over its entire domain.

Exam tip:

If you are asked to justify one-to-oneness on an FRQ, always use either the horizontal line test for graphs or the algebraic test shown above; stating 'exponentials are always one-to-one' without justification will not earn full credit.

2. Finding the Inverse of a Transformed Exponential Function★★★☆☆⏱ 5 min

Once we confirm an exponential is one-to-one, we find its inverse using the standard procedure: swap $x$ and $y$ , then solve for $y$ . By definition, the inverse of $f (x) = b^{x}$ is $f^{- 1} (x) = lo g_{b} x$ , which is a logarithmic function. For transformed exponentials of the form $y = a \cdot b^{k x + c} + d$ , we follow the same steps to get a transformed logarithmic inverse. For any inverse, the domain of the original becomes the range of the inverse, and the range of the original becomes the domain of the inverse.

📘 Definition

Inverse of exponential function

$f^{- 1} (x)$

A logarithmic function that reverses the mapping of a one-to-one exponential function. If $y = b^{x}$ , then $y = lo g_{b} x$ is the inverse by definition.

Example:

The inverse of $y = 2^{x}$ is $y = lo g_{2} x$

📐 Worked Example

Find the inverse of $f (x) = 3 \cdot 2^{4 x - 1} + 2$ , state the domain of the inverse, and verify using the inverse function identity $f (f^{- 1} (x)) = x$ .

1
Write $y = 3 \cdot 2^{4 x - 1} + 2$ , then swap $x$ and $y$
$x = 3 \cdot 2^{4y - 1} + 2$
2
Isolate the exponential term: subtract 2, divide by 3
$\frac{x - 2}{3} = 2^{4y - 1}$
3
Convert from exponential form to logarithmic form
$\log_2\left(\frac{x - 2}{3}\right) = 4y - 1$
4
Solve for $y$ to get the inverse
$y = \frac{1}{4}\left(\log_2\left(\frac{x - 2}{3}\right) + 1\right) = f^{-1}(x)$
5
Find domain: the range of original $f (x)$ is $(2, \infty)$ , so domain of $f^{- 1} (x)$ is $(2, \infty)$
6
Verify the inverse identity
$f(f^{-1}(x)) = 3 \cdot 2^{4\left(\frac{1}{4}\left(\log_2\left(\frac{x-2}{3}\right)+1\right)\right) - 1} + 2 = 3 \cdot 2^{\log_2\left(\frac{x-2}{3}\right)} + 2 = (x-2) + 2 = x$
7
This confirms the inverse is correct.

Exam tip:

Always state the domain of your inverse function on FRQ questions; AP exam graders regularly deduct points for missing domain restrictions on inverses.

3. Graphical Properties of Inverse Exponential Functions★★☆☆☆⏱ 3 min

All inverse functions have graphs that are reflections of the original function's graph over the line $y = x$ . This property lets us quickly identify key points, intercepts, asymptotes, and end behavior of the inverse without finding its full equation. Reflecting over $y = x$ swaps the coordinates of all key points, swaps domain and range, and changes horizontal asymptotes to vertical asymptotes. For example, $y = b^{x}$ has a y-intercept at $(0, 1)$ and horizontal asymptote $y = 0$ , so its inverse $y = lo g_{b} x$ has an x-intercept at $(1, 0)$ and vertical asymptote $x = 0$ .

📐 Worked Example

The original function $f (x) = 4^{x + 2} - 3$ has a horizontal asymptote at $y = - 3$ and passes through the point $(- 1, 1)$ . State the asymptote and a point that lies on the graph of $f^{- 1} (x)$ , without finding the equation of the inverse.

1
Recall that all points $(a, f (a))$ on $f$ correspond to points $(f (a), a)$ on $f^{- 1} (x)$
2
Swap coordinates of the given point to get the point on $f^{- 1}$
$(1, -1)$
3
Asymptotes swap types: a horizontal asymptote $y = k$ on the original becomes a vertical asymptote $x = k$ on the inverse
4
Convert the original asymptote to get the inverse asymptote: $x = - 3$
5
Final result: $f^{- 1} (x)$ has vertical asymptote $x = - 3$ and passes through $(1, - 1)$

Exam tip:

When asked to graph an inverse exponential, plot 2-3 key reflected points and the swapped asymptote first, then draw the curve; this avoids mistakes with end behavior.

4. AP Style Worked Examples★★★☆☆⏱ 2 min

📐 Worked Example

Which of the following gives the inverse of $f (x) = 4 e^{2 x} - 7$ and correctly states the domain of the inverse?

A) $f^{- 1} (x) = \frac{1}{2} ln (\frac{x + 7}{4})$ , domain $(- 7, \infty)$ B) $f^{- 1} (x) = ln (\frac{x + 7}{2})$ , domain $(- 7, \infty)$ C) $f^{- 1} (x) = \frac{1}{2} ln (\frac{x - 7}{4})$ , domain $(7, \infty)$ D) $f^{- 1} (x) = 2 ln (\frac{x + 7}{4})$ , domain $(- \infty, \infty)$

1
Set $y = 4 e^{2 x} - 7$ , swap $x$ and $y$
$x = 4e^{2y} - 7$
2
Isolate the exponential term
$\frac{x + 7}{4} = e^{2y}$
3
Take natural log of both sides, solve for $y$
$\ln\left(\frac{x + 7}{4}\right) = 2y \implies y = \frac{1}{2}\ln\left(\frac{x + 7}{4}\right)$
4
The range of original $f (x)$ is $(- 7, \infty)$ , so domain of inverse is $(- 7, \infty)$ , which matches option A.

📐 Worked Example

A conservation biologist models wolf pack population as $P (t) = 8 \cdot 2^{0.25 t}$ , where $t$ is time in years after reintroduction. Find the inverse function that gives time as a function of population size, and calculate how many years it takes for the population to reach 64 wolves.

1
Start with the original model, solve for $t$ in terms of $P$
$P = 8 \cdot 2^{0.25t}$
2
Isolate the exponential term
$\frac{P}{8} = 2^{0.25t}$
3
Convert to logarithmic form
$\log_2\left(\frac{P}{8}\right) = 0.25t$
4
Solve for $t$ to get the inverse function
$t(P) = 4 \log_2\left(\frac{P}{8}\right)$
5
Substitute $P = 64$ to find the time
$t(64) = 4 \log_2\left(\frac{64}{8}\right) = 4 \log_2(8) = 4(3) = 12$
6
Interpretation: It takes 12 years after reintroduction for the wolf population to reach 64 wolves.

5. Common Pitfalls

Wrong move:

Assuming all functions with an exponential term are one-to-one, e.g., claiming $f (x) = 3^{x^{2}}$ has an inverse over all real numbers.

Why:

Students generalize that 'all exponential functions are one-to-one' but forget this only applies to exponentials with linear exponents, which produce unique outputs for all inputs.

Correct move:

Always test one-to-oneness for any exponential function with a non-linear exponent by checking if $f (x_{1}) = f (x_{2})$ can hold for $x_{1} \neq = x_{2}$ .

Wrong move:

When solving for the inverse of $y = 2 b^{k x + c} + d$ , incorrectly rearranging to $x - 2 = b^{k x + c} - d$ instead of isolating the exponential correctly.

Why:

Students rush isolating the exponential term and incorrectly subtract the leading coefficient instead of dividing it.

Correct move:

Always isolate the exponential term step-by-step: first add/subtract the constant term, then multiply/divide by the leading coefficient to get the exponential alone on one side.

Wrong move:

Forgetting to swap domain and range, writing the domain of the inverse as $(- \infty, \infty)$ , the same as the original exponential.

Why:

Students confuse the domain of the original exponential with the domain of its inverse, and forget inverse functions always swap domain and range.

Correct move:

After finding the inverse equation, first write down the range of the original exponential; that range is automatically the domain of your inverse.

Wrong move:

Reflecting the asymptote incorrectly: changing a horizontal asymptote $y = 5$ on the original to $y = 5$ on the inverse instead of $x = 5$ .

Why:

Students remember reflection over $y = x$ but forget that horizontal lines map to vertical lines and vice versa after reflection.

Correct move:

For inverse reflections: any horizontal asymptote $y = k$ becomes vertical asymptote $x = k$ , and any vertical asymptote $x = k$ becomes horizontal asymptote $y = k$ .

Wrong move:

When verifying an inverse, computing only $f^{- 1} (f (x))$ and stopping, instead of checking both compositions.

Why:

Students forget that the inverse identity requires both compositions to hold, especially for functions with restricted domains.

Correct move:

On verification questions, always confirm both compositions simplify to $x$ to earn full credit.

Wrong move:

Converting $x = b^{y + a}$ incorrectly to $y = lo g_{b} x + a$ instead of $y = lo g_{b} x - a$ .

Why:

Students rush the algebra when pulling the exponent out of the logarithm and misapply rearrangement rules.

Correct move:

After getting to $x = b^{y + a}$ , explicitly write $lo g_{b} x = y + a$ , then rearrange step-by-step to solve for $y$ .

6. Quick Reference Cheatsheet

Category	Rule / Formula	Notes
Definition of inverse exponential	If $y = b^{x}$ , then $f^{- 1} (x) = lo g_{b} x$	Valid for $b > 0, b \neq = 1$ ; domain $(0, \infty)$ , range $R$
One-to-one rule for exponentials	$b^{x_{1}} = b^{x_{2}} ⟺ x_{1} = x_{2}$	Holds for all $b > 0, b \neq = 1$ ; only applies to exponentials with linear exponents
Inverse function identity	$f (f^{- 1} (x)) = x$ and $f^{- 1} (f (x)) = x$	Used to verify that an inverse is correctly calculated
Domain/Range Swap	$Dom (f^{- 1}) = Ran (f)$ , $Ran (f^{- 1}) = Dom (f)$	Applies to all inverse functions, including inverse exponentials
Graph Reflection Rule	Graph of $f^{- 1} (x)$ = reflection of $f (x)$ over $y = x$	Swaps all point coordinates $(a, b) \to (b, a)$
Asymptote Swap	Horizontal $y = k$ → vertical $x = k$ on inverse	All original exponentials have horizontal asymptotes, so inverses have vertical asymptotes
Natural Exponential Inverse	Inverse of $y = e^{x}$ is $y = ln x$	Special base $e$ case, commonly used in applications

When this came up on past exams

AI-estimated based on syllabus patterns — cross-check with official past papers for accuracy. Use only as revision-focus signals.

2024 · AP Precalculus
Find inverse of transformed exponential
2023 · AP Precalculus
Graph properties of inverse exponential

Going deeper

unit overviewAP Precalculus Unit 2 OverviewParent unit for this topic

What's Next

This topic is the foundational base for all work with logarithmic functions, which are the core of the rest of AP Precalculus Unit 2. Immediately after mastering inverses of exponentials, you will move on to properties of logarithms, solving exponential and logarithmic equations, and modeling with exponential and logarithmic functions for real-world scenarios. Without a solid understanding of how logarithms are defined as inverses of exponentials, you will not be able to correctly justify logarithm properties, solve equations, or interpret logarithmic models in context. This topic also reinforces broader AP Precalculus concepts like one-to-one functions, inverse function properties, and transformations of function families.