Finding & Verifying Inverses — I can find inverse functions...

SECTION 1

Historical Context & Motivation

The idea of reversing a mathematical operation is as old as mathematics itself. When ancient civilizations developed addition, they naturally needed subtraction to undo it; when they created multiplication, they needed division. This pattern of "doing" and "undoing" eventually led mathematicians to formalize the concept of inverse functions — functions that perfectly reverse each other's work. Understanding inverses is essential because many real-world problems require you to work backward: if you know the output, how do you recover the input?

~1600 BCE

Babylonian Inverse Operations

Babylonian scribes used tables of reciprocals to "undo" multiplication, one of the earliest recorded uses of inverse thinking in mathematics.

1674

Leibniz & Function Notation

Gottfried Wilhelm Leibniz helped formalize the concept of a function, laying the groundwork for discussing what it means to reverse a function's action.

1748

Euler Formalizes Inverses

Leonhard Euler introduced the modern function notation f(x) and explored how logarithms serve as inverses of exponential functions, connecting the concept to real applications.

1800s

Abstract Algebra & Group Theory

Mathematicians like Galois and Abel studied inverses in abstract algebraic structures, showing that the idea of "undoing" extends far beyond simple arithmetic functions.

Modern Era

Inverses in Technology

Today, inverse functions power encryption algorithms, computer graphics transformations, and scientific modeling — anywhere you need to decode, decode, or reverse-engineer a process.

The central question this lesson tackles is straightforward but powerful: given a function f(x), can we find another function that perfectly reverses everything f does? And once we think we've found it, how do we prove that it actually works? These are the two skills you'll master in this lesson.

SECTION 2

Core Principles & Definitions

Before you can find or verify an inverse, you need a solid grasp of a few foundational ideas. An inverse function, written f⁻¹(x), is the function that "undoes" whatever f(x) does. If f takes an input of 3 and produces 7, then f⁻¹ must take 7 and return 3. Not every function has an inverse — only one-to-one functions (where each output comes from exactly one input) qualify.

One-to-One (Injective) Functions

A function is one-to-one if no two different inputs produce the same output. Use the Horizontal Line Test: if any horizontal line crosses the graph more than once, the function is not one-to-one and has no inverse.

The Swap Method

To find f⁻¹(x), replace f(x) with y, swap x and y, then solve for y. This algebraic trick exploits the fact that inverses reverse the roles of input and output.

Reflection Over y = x

The graph of f⁻¹ is the mirror image of f reflected across the line y = x. Every point (a, b) on f becomes (b, a) on f⁻¹.

Composition Verification

Two functions are inverses if and only if f(f⁻¹(x)) = x AND f⁻¹(f(x)) = x. Both compositions must simplify to x — checking just one is not sufficient.

Domain & Range Swap

The domain of f becomes the range of f⁻¹, and the range of f becomes the domain of f⁻¹. Always check that your inverse's domain makes sense.

✦ KEY TAKEAWAY

Think of a function as a combination lock. When you turn the dial to the right (apply f), you lock it. The inverse function is knowing exactly how to turn the dial back to the left (apply f⁻¹) to unlock it. The composition test — plugging one into the other — is like locking and then immediately unlocking: you should end up right back where you started.

SECTION 3

Visual Explanation — Reflection Across y = x

The violet curve shows f(x) = 2x + 1, and the cyan curve shows its inverse f⁻¹(x) = (x − 1)/2. Notice how each labeled point on f, like (1, 3), has a matching reflected point (3, 1) on f⁻¹. The amber dashed lines connect these reflection pairs, and they all cross the dashed line y = x at their midpoints.

This diagram captures the most important visual idea about inverse functions. The violet curve represents the original function f(x) = 2x + 1, and the cyan curve represents its inverse. The key geometric relationship is that every point (a, b) on the original function becomes (b, a) on the inverse — the coordinates literally swap. This swap is equivalent to reflecting the graph across the line y = x, which is shown as the dashed diagonal line. If you could fold the graph along y = x, the two curves would land perfectly on top of each other.

⚠️ Common Misconception

The notation f⁻¹(x) does NOT mean 1/f(x). The superscript −1 here is not an exponent — it's a label that means "inverse function." To write the reciprocal, you'd use [f(x)]⁻¹ instead.

SECTION 4

Mathematical Framework

Finding and verifying inverse functions involves two distinct algebraic processes. The first is the swap-and-solve method for finding the inverse, and the second is the composition test for verifying it. Let's formalize both.

Step-by-Step Method for Finding f⁻¹(x)

Step 1: Replace f(x) with y.
Step 2: Swap every x and y in the equation.
Step 3: Solve for y using inverse operations (undo the operations in reverse order).
Step 4: Replace y with f⁻¹(x).

FINDING THE INVERSE (LINEAR EXAMPLE)

f(x) = mx + b → f⁻¹(x) = (x − b) / m, where m ≠ 0

For any linear function f(x) = mx + b, the inverse is found by subtracting the constant b and dividing by the slope m. The slope of the inverse is 1/m — the reciprocal of the original slope.

COMPOSITION VERIFICATION FORMULA

f(f⁻¹(x)) = x AND f⁻¹(f(x)) = x

Two functions f and g are inverses of each other if and only if composing them in both orders yields x. Checking only one direction can sometimes give a false positive if domains differ.

FINDING THE INVERSE (RATIONAL EXAMPLE)

f(x) = (ax + b) / (cx + d) → f⁻¹(x) = (dx − b) / (−cx + a), where ad − bc ≠ 0

For simple rational functions, the same swap-and-solve process works, but requires more careful algebra. The condition ad − bc ≠ 0 ensures the original function is one-to-one.

When performing the composition test, you substitute the entire inverse expression wherever you see x in the original function. Then you simplify step by step. If all the operations cancel out and you're left with just x, the verification succeeds. Think of it as a round-trip test: the original function carries you from point A to point B, and the inverse carries you from B back to A. If the round trip always returns you to your starting point, you've confirmed the inverse.

SECTION 5

Detailed Breakdown — Types of Invertible Functions

Not all functions you encounter in Algebra 2 or Precalculus are invertible, and the ones that are require different techniques depending on their type. Let's classify the main cases you'll work with and examine how the swap-and-solve process plays out for each one.

This flowchart summarizes the decision process. Start with any function f(x), check if it's one-to-one using the Horizontal Line Test, and then either proceed with the swap-and-solve method (right branch) or restrict the domain first (left branch). Always end with composition verification.

Common invertible function types you'll encounter in Grade 11 Math

Function Type	Example f(x)	Inverse f⁻¹(x)	Notes
Linear	3x − 5	(x + 5) / 3	Always invertible (m ≠ 0)
Cubic / Cube Root	x³	∛x	Always one-to-one
Quadratic (restricted)	x², x ≥ 0	√x	Requires domain restriction
Simple Rational	1/x	1/x	This function is its own inverse!
Exponential / Log	2ˣ	log₂(x)	The classic inverse pair

💡 Self-Inverse Functions

Some functions are their own inverse — these are called involutions. For example, f(x) = 1/x and f(x) = −x are both involutions. Their graphs are perfectly symmetric across the line y = x, which makes visual sense: reflecting them changes nothing.

SECTION 6

Worked Example — Finding and Verifying an Inverse

Let's walk through a complete example that combines both skills: finding the inverse of a function and then verifying it using composition.

Find and verify the inverse of f(x) = (2x + 3) / 5

Step 1 — Replace f(x) with yStart by rewriting the function using y instead of f(x). This makes the algebra easier to work with when we swap variables.

y = (2x + 3) / 5

Step 2 — Swap x and yReplace every x with y and every y with x. This is the critical step that reverses the input-output relationship of the function.

x = (2y + 3) / 5

Step 3 — Solve for yMultiply both sides by 5 to eliminate the denominator: 5x = 2y + 3. Then subtract 3 from both sides: 5x − 3 = 2y. Finally, divide both sides by 2.

y = (5x − 3) / 2

Step 4 — Write the inverseReplace y with f⁻¹(x) to express the inverse in proper function notation.

f⁻¹(x) = (5x − 3) / 2

Step 5 — Verify: Compute f(f⁻¹(x))Substitute f⁻¹(x) into f. We get f((5x − 3)/2) = [2 × (5x − 3)/2 + 3] / 5 = [(5x − 3) + 3] / 5 = 5x / 5 = x. ✓

f(f⁻¹(x)) = x ✓

Step 6 — Verify: Compute f⁻¹(f(x))Substitute f(x) into f⁻¹. We get f⁻¹((2x + 3)/5) = [5 × (2x + 3)/5 − 3] / 2 = [(2x + 3) − 3] / 2 = 2x / 2 = x. ✓

f⁻¹(f(x)) = x ✓

🔑 WHY BOTH COMPOSITIONS?

Checking both f(f⁻¹(x)) = x and f⁻¹(f(x)) = x is like confirming that a key works in a lock from both sides of a door. Just because you can unlock the front doesn't automatically mean the same key re-locks it. For the functions in this course, both checks will usually work together, but building the habit now prevents errors in more advanced mathematics.

SECTION 7

Strengths, Limitations & Common Pitfalls

The swap-and-solve method is a powerful technique, but it has boundaries. Understanding where it works well and where students commonly make mistakes will save you time and frustration on homework and tests.

Strengths vs. common pitfalls when finding and verifying inverses

Strengths	Limitations / Pitfalls
Works reliably for linear, cubic, and simple rational functions.	Fails for non-one-to-one functions (e.g., x²) unless you restrict the domain first.
The composition test gives a definitive yes/no answer — no guessing.	Students often check only one composition and assume both work.
The graphical reflection over y = x provides an intuitive visual check.	Students confuse f⁻¹(x) with 1/f(x) — these are completely different operations.
Reinforces understanding of algebraic manipulation (solving equations for a variable).	Algebraic errors during the solve step (especially with fractions) can produce incorrect inverses.
Connects to larger ideas: logarithms, square roots, and decryption algorithms.	Students sometimes forget to state the domain of the inverse, which can differ from the original.

⚠️ AVOID THE TOP MISTAKE

The most common error is treating f⁻¹(x) as 1/f(x). Remember: f⁻¹ is about reversing the function, not flipping it into a fraction. If f(x) = 2x + 1, then f⁻¹(x) = (x − 1)/2, but 1/f(x) = 1/(2x + 1). These are completely different expressions. When in doubt, plug in a number: f(3) = 7, so f⁻¹(7) should equal 3. Check whether your answer does that.

SECTION 8

Connection to Advanced Topics

The inverse function skills you're building now serve as a foundation for several major topics you'll encounter later in math. In Precalculus, you'll use these same techniques to work with logarithmic and exponential functions, which are inverses of each other. In trigonometry, inverse trig functions like arcsin, arccos, and arctan require domain restrictions to become one-to-one — exactly the idea from our flowchart. And in calculus, you'll learn to differentiate inverse functions using a formula that relies on the composition relationship f(f⁻¹(x)) = x.

How today's skills connect to future math courses

What You Learn Now	Where It Leads
Swap x and y, solve for y	Deriving logarithmic forms from exponential equations
Horizontal Line Test for one-to-one	Understanding restricted domains for inverse trig functions (arcsin, arctan)
Composition verification: f(f⁻¹(x)) = x	The inverse function theorem in calculus: (f⁻¹)′(x) = 1 / f′(f⁻¹(x))
Domain and range swap	Analyzing domains of composite and piecewise functions
Graphing f⁻¹ as a reflection over y = x	Symmetry analysis and transformations in advanced graphing

Beyond pure mathematics, inverse functions appear throughout science and engineering. Converting Celsius to Fahrenheit and back, decoding encrypted messages, and reversing a physical process in physics all rely on the same inverse-function logic. Mastering the algebraic technique and the composition proof now gives you a toolkit that transfers across every quantitative discipline you'll study.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

Explain in your own words why the function f(x) = x² (with no domain restriction) does not have an inverse, but f(x) = x³ does. Use the Horizontal Line Test in your explanation.

PROBLEM 2 — BASIC CALCULATION

Find the inverse of f(x) = 4x − 7. Show all steps of the swap-and-solve method.

PROBLEM 3 — INTERMEDIATE

Find the inverse of f(x) = (3x − 2) / (x + 4), and verify your answer by computing f(f⁻¹(x)).

PROBLEM 4 — APPLIED

A company uses the formula C(x) = 25x + 150 to calculate the total cost (in dollars) of producing x units of a product. Find C⁻¹(x) and explain what it represents in context. Then use it to determine how many units were produced if the total cost was $525.

PROBLEM 5 — CRITICAL THINKING

Suppose f(x) = 2x + 1 and g(x) = (x − 1)/2. Without computing compositions, a student claims f and g are inverses "because g reverses f's operations." Is the student's reasoning valid? Now actually verify by computing both f(g(x)) and g(f(x)). Finally, create your own pair of functions h(x) and k(x) that look like they might be inverses but actually are not, and show why composition fails.

SUMMARY

Lesson Summary

An inverse function f⁻¹(x) reverses the action of f(x), swapping inputs and outputs. Only one-to-one functions (those passing the Horizontal Line Test) have inverses. To find an inverse, use the swap-and-solve method: replace f(x) with y, swap x and y, solve for y, and relabel as f⁻¹(x). Graphically, f and f⁻¹ are reflections across the line y = x.

To verify that two functions are inverses, compute both f(f⁻¹(x)) = x and f⁻¹(f(x)) = x — the composition test. Remember that f⁻¹(x) is not the same as 1/f(x), and always consider whether the domain of your inverse makes sense. These skills directly connect to logarithms, inverse trig functions, and calculus — master them now and you'll have a strong foundation for years to come.