BetterGrades Precalculus · Unit 4 · Lesson

Graphs and verification of inverses

Verify inverse functions using composition and graph symmetry across y=x.

Opening

Start with the situation

Inverse functions undo each other in both composition orders and reflect across $y=x$ .

Many real models are built in stages—a conversion followed by a cost rule, or a measurement followed by a calibration. Composition records that order, while inverse reasoning asks whether the stages can be undone.

Before you begin

Prerequisite check

Evaluate function notation.
Determine domains from formulas.
Solve equations for a selected variable.

Core explanation

Explanation

Compute $f(f^{-1}(x))$ and $f^{-1}(f(x)),$ preserving their valid domains, and compare graph point pairs.

The two compositions begin on different domains: the original range and original domain.

A symbolic answer is not complete by itself. In this lesson, the same claim must also be readable through inverse reflection, composition loop, or another equivalent representation.

Conceptual reading

What the idea is really doing

Composition and inversion are about information flow. A composite sends an input through stages in a fixed order; an inverse reverses that flow only when each output identifies a unique input.

This lesson narrows that lens to one goal: verify inverse functions using composition and graph symmetry across $y=x$ . The point is not to memorize an isolated trick; it is to know what evidence makes the conclusion valid and how a second representation can check it.

Reusable method

A reliable route through the problem

Compute $f(f^{-1}(x))$ .
$F^{-1}(f(x))$ .
Preserving their valid domains.
Compare graph point pairs.

Verification: Name the intermediate quantity, enforce its domain, and verify an inverse with composition. Units are especially useful because the output unit of one stage must match the input unit of the next.

Foundation walkthrough

Plan before calculating

Problem

Verify $f=3x-2 \qquad g=\frac{x+2}{3}$

Plan: Start by identifying the mathematical structure in the prompt. Then use the lesson method rather than guessing from appearance: Compute $f(f^{-1}(x))$ and $f^{-1}(f(x)),$ preserving their valid domains, and compare graph point pairs.
Conclusion: Both compositions simplify to $x$ .
Why the check works: The functions undo each other.

Worked examples

See the idea in three forms

foundation example

Verify $f=3x-2 \qquad g=\frac{x+2}{3}$

SolutionBoth compositions simplify to $x$ .

The functions undo each other.

representation example

Reflect $(3,-1)$ across $y=x$ .

Solution $(-1,3)$

This example expresses graphs and verification of inverses in a second form.

transfer example

Inverse range if original domain $[2,∞)$ .

Solution $[2,∞)$

The two compositions begin on different domains: the original range and original domain.

Inverse reflection. Follow the foundation example from its given information to the conclusion. The labels identify the mathematical feature that makes the result valid: The functions undo each other. — **Anchor figure · Inverse reflection**
Follow the foundation example from its given information to the conclusion. The labels identify the mathematical feature that makes the result valid: The functions undo each other.

Composition loop. Read the numbered reasoning path in order. Each stage preserves the quantities, restrictions, or structural conditions needed for graphs and verification of inverses. — **Mechanism figure · Composition loop**
Read the numbered reasoning path in order. Each stage preserves the quantities, restrictions, or structural conditions needed for graphs and verification of inverses.

Domain-range swap. Compare the valid path with the tempting shortcut. The figure shows why simplifying sqrt(x^2) to x without the branch restriction leads to a false conclusion. — **Comparison and error figure · Domain-range swap**
Compare the valid path with the tempting shortcut. The figure shows why simplifying $sqrt(x^2)$ to $x$ without the branch restriction leads to a false conclusion.

Common mistake