Unit 4 · Topic 2.10
Inverses of Exponential Functions
Construct logarithmic inverses of exponential functions and connect their graphs through reflection. Develop the idea through symbolic, numerical, graphical, and contextual representations.
Learning Goals
- Construct logarithmic inverses of exponential functions.
- Connect reflected graphs, swapped points, and asymptotes.
- Verify inverse identities.
1. Essential Structure
Construct logarithmic inverses of exponential functions and connect their graphs through reflection.
Read the formula together with its domain, units, starting input, and the interval length over which change is measured.
2. Core Ideas
- The inverse of \(b^x\) is \(\log_bx\).
- The exponential domain and range swap with the logarithmic range and domain.
- The horizontal asymptote \(y=0\) reflects to vertical asymptote \(x=0\).
- Multiplying a logarithm input by \(b\) adds 1 to its output.
3. Graph and Representation
Use graphical evidence together with an algebraic or numerical reason. A graphing window alone does not establish domain, end behavior, or model validity.
4. Original Worked Example
Find the inverse of \(f(x)=2^x\).
Check the result in the original representation and explain its meaning, including units when the quantities are contextual.
5. AP Reasoning Workflow
- Start with \(y=b^x\).
- Swap \(x\) and \(y\).
- Solve with logarithmic notation.
- Exchange domain and range.
- Verify both compositions.
A strong AP response shows the mathematical evidence first and then states a precise conclusion.
6. Extended Example and Application
Points \((-1,1/2)\), \((0,1)\), and \((3,8)\) on \(2^x\) become \((1/2,-1)\), \((1,0)\), and \((8,3)\) on \(\log_2x\).
7. Technology and Validation
Graph the inverse pair with \(y=x\) and use equal axis scales.
When technology is used, record the model or result, preserve sufficient precision, and explain why the output answers the question.
8. Why Every Basic Exponential Has an Inverse
For \(b>0\) and \(b\ne1\), the function \(f(x)=b^x\) is one-to-one: it is strictly increasing when \(b>1\) and strictly decreasing when \(0<b<1\). Therefore, each positive output comes from exactly one real input.
| Feature | \(f(x)=b^x\) | Inverse function |
|---|---|---|
| Input set | All real numbers | All positive numbers |
| Output set | All positive numbers | All real numbers |
| Anchor pair | \((0,1)\) | \((1,0)\) |
| Operation | Raise \(b\) to an exponent | Find the required exponent |
The inverse is named \(f^{-1}(x)=\log_bx\). This notation represents a logarithmic function, not the reciprocal \(1/b^x=b^{-x}\).
9. Derive the Logarithmic Inverse Algebraically
Begin with the exponential function and reverse its input and output roles:
- Exchange \(x\) and \(y\): \(x=b^y\).
- Ask which exponent on \(b\) produces \(x\).
- Write that exponent with logarithmic notation: \(y=\log_bx\).
For example, the inverse of \(f(x)=5^x\) is \(f^{-1}(x)=\log_5x\). The logarithm requires \(x>0\) because the exponential function never outputs zero or a negative number.
10. Construct the Inverse Table by Swapping Coordinates
Choose exponent inputs that produce recognizable powers, then exchange every ordered pair.
| \(x\) | \(3^x\) | Reflected inverse pair | Logarithmic statement |
|---|---|---|---|
| -2 | \(1/9\) | \((1/9,-2)\) | \(\log_3(1/9)=-2\) |
| -1 | \(1/3\) | \((1/3,-1)\) | \(\log_3(1/3)=-1\) |
| 0 | 1 | \((1,0)\) | \(\log_3(1)=0\) |
| 1 | 3 | \((3,1)\) | \(\log_3(3)=1\) |
| 2 | 9 | \((9,2)\) | \(\log_3(9)=2\) |
The inverse table's inputs are all positive. Negative logarithmic outputs are valid; they correspond to exponential outputs between 0 and 1.
11. Reflect Domains, Intercepts, and Asymptotes
The graphs of \(y=b^x\) and \(y=\log_bx\) are reflections across the identity line \(y=x\). Reflection exchanges horizontal and vertical information.
| Exponential feature | Reflected logarithmic feature |
|---|---|
| Domain \(( -\infty,\infty)\) | Range \(( -\infty,\infty)\) |
| Range \((0,\infty)\) | Domain \((0,\infty)\) |
| y-intercept \((0,1)\) | x-intercept \((1,0)\) |
| Horizontal asymptote \(y=0\) | Vertical asymptote \(x=0\) |
| No x-intercept | No y-intercept |
The logarithmic graph approaches \(x=0\) only from the right because its domain contains positive inputs. It never crosses the vertical asymptote.
12. Compare Growth and Decay Bases
Inversion preserves monotonic direction. An increasing one-to-one function has an increasing inverse, and a decreasing one-to-one function has a decreasing inverse.
| Base | Exponential behavior | Logarithmic behavior | Sample inverse pair |
|---|---|---|---|
| \(b=4\) | \(4^x\) increases | \(\log_4x\) increases | \(4^2=16\leftrightarrow\log_4(16)=2\) |
| \(b=1/4\) | \((1/4)^x\) decreases | \(\log_{1/4}x\) decreases | \((1/4)^{-2}=16\leftrightarrow\log_{1/4}(16)=-2\) |
For \(b>1\), larger positive inputs produce larger logarithmic outputs. For \(0<b<1\), larger positive inputs produce smaller logarithmic outputs. Both inverse graphs still pass through \((1,0)\).
13. Connect Scaled Logarithms to Exponential Inverses
The general-form logarithmic function \(g(x)=a\log_bx\), where \(a\ne0\), is also an inverse of a related exponential function. Start with
Divide by \(a\) and rewrite in exponential form:
Therefore,
Equivalently, if \(f(x)=b^{cx}\) with \(c\ne0\), then
Example: the inverse of \(f(x)=2^{3x}\) is \(f^{-1}(x)=\frac13\log_2x\). The factor \(1/3\) reverses the input scaling by 3 in the exponential function.
14. Verify the Inverse and Interpret Multiplicative Change
Inverse functions undo one another on their proper domains:
For \(f(x)=2^{3x}\) and \(g(x)=\frac13\log_2x\),
The inverse relationship also explains logarithmic change. If \(L(x)=\log_bx\), then multiplying the input by \(b\) adds one to the output:
This statement can be understood without using logarithm properties: if \(L(x)=k\), then \(x=b^k\), so \(bx=b^{k+1}\) and \(L(bx)=k+1\).
15. Common Errors
- Do not forget that the logarithmic inverse has domain \(x>0\).
- Keeping the exponential asymptote horizontal after inversion.
- Using logarithm inputs outside \(x>0\).
- Giving a numerical result without a domain check, units, or interpretation.
Key Takeaways
- Construct logarithmic inverses of exponential functions and connect their graphs through reflection.
- Core relationship: \(y=b^x\iff x=\log_b y\)
- Error check: Do not forget that the logarithmic inverse has domain \(x>0\).
- Swap three points between \(3^x\) and its inverse.
- Compare their domains and ranges.
- Explain the output effect of multiplying a logarithm input by its base.