# Inverses of exponential functions

> AP Precalculus · Exponential and Logarithmic Functions
> Source: https://www.owlsprep.com/study/ap-precalculus-u2-inverses-of-exponential-functions/

This module covers one-to-one verification of exponential functions, definition of inverse exponentials as logarithms, finding inverses of transformed exponentials, and graphical properties for AP Precalculus exam prep.

**Prerequisites:** Testing for one-to-one functions (horizontal line test, algebraic test); Core properties of inverse functions (domain/range swap, reflection over $y=x$); Basic algebraic manipulation of exponential expressions

## Learning objectives

- Verify if an exponential function is one-to-one and has a valid inverse
- Find the inverse of transformed exponential functions and state their domain
- Identify graphical properties of inverse exponential functions
- Apply inverse exponential functions to contextual real-world models

## One-to-Oneness of Exponential Functions

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^{kx + 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.

**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-2x}$ is one-to-one; $f(x)=2^{x^2}$ is not.

**Worked example:** Confirm whether $f(x) = 5^{3-2x}$ has a valid inverse function over its entire domain of $\mathbb{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 $\mathbb{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.

## Finding the Inverse of a Transformed Exponential Function

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) = \log_b x$, which is a logarithmic function. For transformed exponentials of the form $y = a \cdot b^{kx + 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.

**Inverse of exponential function** — A logarithmic function that reverses the mapping of a one-to-one exponential function. If $y = b^x$, then $y = \log_b x$ is the inverse by definition.

*Notation:* $f^{-1}(x)$

*Example:* The inverse of $y = 2^x$ is $y = \log_2 x$

**Worked example:** Find the inverse of $f(x) = 3 \cdot 2^{4x - 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^{4x - 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.

## Graphical Properties of Inverse Exponential Functions

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 = \log_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.

## AP Style Worked Examples

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

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

1. Set $y = 4e^{2x} - 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.25t}$, 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.

## Common pitfalls

- **Wrong:** 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 it fails: 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: 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:** When solving for the inverse of $y = 2b^{kx + c} + d$, incorrectly rearranging to $x - 2 = b^{kx + c} - d$ instead of isolating the exponential correctly.
  - Why it fails: Students rush isolating the exponential term and incorrectly subtract the leading coefficient instead of dividing it.
  - Correct: 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:** Forgetting to swap domain and range, writing the domain of the inverse as $(-\infty, \infty)$, the same as the original exponential.
  - Why it fails: Students confuse the domain of the original exponential with the domain of its inverse, and forget inverse functions always swap domain and range.
  - Correct: After finding the inverse equation, first write down the range of the original exponential; that range is automatically the domain of your inverse.
- **Wrong:** Reflecting the asymptote incorrectly: changing a horizontal asymptote $y = 5$ on the original to $y=5$ on the inverse instead of $x=5$.
  - Why it fails: Students remember reflection over $y=x$ but forget that horizontal lines map to vertical lines and vice versa after reflection.
  - Correct: 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:** When verifying an inverse, computing only $f^{-1}(f(x))$ and stopping, instead of checking both compositions.
  - Why it fails: Students forget that the inverse identity requires both compositions to hold, especially for functions with restricted domains.
  - Correct: On verification questions, always confirm both compositions simplify to $x$ to earn full credit.
- **Wrong:** Converting $x = b^{y + a}$ incorrectly to $y = \log_b x + a$ instead of $y = \log_b x - a$.
  - Why it fails: Students rush the algebra when pulling the exponent out of the logarithm and misapply rearrangement rules.
  - Correct: After getting to $x = b^{y + a}$, explicitly write $\log_b x = y + a$, then rearrange step-by-step to solve for $y$.

## Cheatsheet

| Category | Rule / Formula | Notes |
| --- | --- | --- |
| Definition of inverse exponential | If $y = b^x$, then $f^{-1}(x) = \log_b x$ | Valid for $b>0, b \neq 1$; domain $(0, \infty)$, range $\mathbb{R}$ |
| One-to-one rule for exponentials | $b^{x_1} = b^{x_2} \iff 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 | $\text{Dom}(f^{-1}) = \text{Ran}(f)$, $\text{Ran}(f^{-1}) = \text{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 |

## 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.

- [Logarithmic Functions](https://www.owlsprep.com/study/ap-precalculus-u2-logarithmic-functions/)
- [Logarithmic function manipulation](https://www.owlsprep.com/study/ap-precalculus-u2-logarithmic-function-manipulation/)
- [Exponential and logarithmic equations and inequalities](https://www.owlsprep.com/study/ap-precalculus-u2-exponential-and-logarithmic-equations-and/)

---

From [OwlsPrep](https://www.owlsprep.com) — free study guides for A-Level, IB, AP and IGCSE, written against the official syllabus. Canonical page: https://www.owlsprep.com/study/ap-precalculus-u2-inverses-of-exponential-functions/