Inverse Functions — Mathematics Knowledge System

Overview

The inverse of a function f, written f⁻¹, is the function that undoes f: if f sends a to b, then f⁻¹ sends b back to a. Not every function has an inverse — only those that are one-to-one (injective), meaning no two different inputs ever produce the same output. Inverse functions are how we 'solve backwards': logarithms undo exponentials, square roots undo squaring (on the right domain), and arcsine undoes sine. Graphically, a function and its inverse are mirror images of each other across the line y = x.

Intuition

Think of a function as a machine that transforms an input into an output. If the machine only ever produces a given output from one possible input — never two different inputs giving the same result — you can build a second machine that runs the process in reverse, recovering the original input from the output. That reverse machine is the inverse function. If the original function 'doubles and adds one' (f(x)=2x+1), the inverse must 'subtract one and halve' (f⁻¹(x)=(x-1)/2) — undoing each step in the opposite order. Functions that assign the same output to multiple inputs (like f(x)=x² on all of ℝ, where f(2)=f(-2)=4) can't be reversed unambiguously, so they have no true inverse unless their domain is restricted.

Interactive Graph

Formal Definition

Definition

f⁻¹ is the inverse of f if it undoes f in both directions — composing them in either order returns the original input. A function has an inverse exactly when it is one-to-one (injective) on its domain.

f^{-1}(f(x)) = x \text{ for all } x \text{ in the domain of } f

Left inverse condition

f(f^{-1}(y)) = y \text{ for all } y \text{ in the range of } f

Right inverse condition

f \text{ is invertible} \iff \big(f(a) = f(b) \implies a = b\big)

The one-to-one (injectivity) condition required for an inverse to exist

Notation

Notation	Meaning
$f^{-1}(x)$	The inverse function of f — NOT the reciprocal 1/f(x)
$(f \circ f^{-1})(x)$	Composition of f with its inverse, which equals the identity function x
$\text{dom}(f^{-1}) = \text{range}(f)$	The domain of f⁻¹ equals the range of f, and vice versa

Derivation

The standard algebraic procedure for finding f⁻¹: swap x and y, then solve for y. Illustrated on f(x) = 2x + 1:

y = 2x+1

Write f(x) as y

x = 2y+1

Swap x and y (this encodes 'reversing' the roles of input and output)

x - 1 = 2y \implies y = \frac{x-1}{2}

Solve the new equation for y

f^{-1}(x) = \frac{x-1}{2}

Relabel y as f⁻¹(x)

Proofs

The graph of f⁻¹ is the reflection of the graph of f across the line y = x

$\text{Suppose } (a,b) \text{ is a point on the graph of } f, \text{ i.e. } f(a) = b$ (Definition of a point lying on the graph)
$\text{By definition of the inverse}, f^{-1}(b) = a$ (f⁻¹ undoes f, so f⁻¹(f(a)) = a means f⁻¹(b) = a)
$\text{So } (b,a) \text{ is a point on the graph of } f^{-1}$ (f⁻¹(b) = a is exactly the statement that (b,a) lies on the graph of f⁻¹)
$\text{The map } (a,b) \mapsto (b,a) \text{ is precisely reflection across } y=x$ (Reflecting a point across the line y=x swaps its coordinates)
$\therefore \text{ the graph of } f^{-1} \text{ is the mirror image of the graph of } f \text{ across } y=x$ (Every point of one graph reflects to a point of the other)

Properties

Uniqueness

\text{If } f \text{ has an inverse, that inverse is unique}

Involution

(f^{-1})^{-1} = f

Domain–range swap

\text{dom}(f^{-1}) = \text{ran}(f), \quad \text{ran}(f^{-1}) = \text{dom}(f)

Composition undoes

(f \circ f^{-1})(x) = x = (f^{-1} \circ f)(x)

Horizontal line test

\text{f is invertible on its domain} \iff \text{no horizontal line crosses its graph more than once}

Monotonicity sufficiency

\text{If } f \text{ is strictly increasing or strictly decreasing on an interval, it is invertible there}

Theorems

Theorem 1: Existence of an inverse (Horizontal Line Test)

\text{A function } f \text{ has an inverse function (restricted to its range) if and only if } f \text{ is one-to-one: no two distinct inputs share an output.}

Theorem 2: Inverse Function Theorem (differentiable case)

\text{If } f \text{ is differentiable, one-to-one, and } f'(a) \neq 0 \text{ at } b=f(a), \text{ then } f^{-1} \text{ is differentiable at } b \text{ with } (f^{-1})'(b) = \frac{1}{f'(a)}.

Corollaries

Follows from Existence of an inverse (Horizontal Line Test)

\text{Restricting a many-to-one function like } f(x)=x^2 \text{ to a domain where it is monotonic (e.g. } x\ge 0\text{) makes it invertible, giving } f^{-1}(x)=\sqrt{x}

Applications

Cryptographic systems rely on functions that are easy to compute but whose inverses are computationally infeasible without a secret key (one-way / trapdoor functions).

Formula Explorer

Animation

Animates a point traveling along the graph of f, then reflects it across the line y=x in real time to trace out the graph of f⁻¹, visually demonstrating the domain/range swap.

Worked Examples

Write as y, swap x and y, then solve for y.
$x = 3y - 4 \implies y = \frac{x+4}{3}$

Answer: f⁻¹(x) = (x + 4)/3

Practice Problems

Difficulty 3/10

Find the inverse of f(x) = 5x + 2.

Difficulty 5/10

Find the inverse of f(x) = x³ + 2, and verify by checking f(f⁻¹(3)).

Difficulty 4/10

Which test determines whether a function has an inverse (without restricting its domain)?

The vertical line testThe horizontal line testThe midpoint testThe slope test

Common Mistakes

Common Mistake

Confusing f⁻¹(x) with the reciprocal 1/f(x).

f⁻¹ is notation for the INVERSE FUNCTION, not an exponent. For example, if f(x)=x+3, then f⁻¹(x)=x-3, which is nothing like 1/f(x)=1/(x+3).

Common Mistake

Assuming every function has an inverse.

Only one-to-one (injective) functions have inverses. f(x)=x² fails the horizontal line test on all of ℝ (e.g. f(2)=f(-2)=4), so it has no inverse unless its domain is restricted (e.g. to x≥0).

Common Mistake

Forgetting to swap the domain and range when stating f⁻¹.

The domain of f⁻¹ is the range of f, not necessarily all real numbers. E.g. for f(x)=√x (domain x≥0, range y≥0), f⁻¹(x)=x² must be restricted to domain x≥0 to be a true inverse.

Quiz

If f(3) = 7, what must be true of f⁻¹, assuming it exists?

f⁻¹(7) = 3f⁻¹(3) = 7f⁻¹(7) = 1/3f⁻¹(3) = 1/7

The graph of f⁻¹ is obtained from the graph of f by:

Reflecting across the x-axisReflecting across the y-axisReflecting across the line y = xRotating 180° about the origin

Flashcards

1 / 4

Historical Background

The idea of an inverse operation is ancient — reversing addition with subtraction, or multiplication with division — but the formal function concept, and with it the modern notion of a function's inverse, developed alongside the rest of function theory in the 17th–19th centuries. Leibniz and the Bernoullis used inverse relationships implicitly when working with logarithms as the inverse of exponentiation in the late 17th century. The rigorous requirement that a function must be one-to-one to admit a true inverse became explicit once Dirichlet and Cauchy formalized the modern definition of a function in the 19th century, clarifying exactly when 'running a function backwards' produces another well-defined function.

1614
Napier's logarithm tables implicitly use the logarithm as the inverse of exponentiation
John Napier
1670s–1680s
Leibniz and the Bernoullis study inverse relationships between functions like exponentials and logarithms
Gottfried Wilhelm Leibniz
1837
Dirichlet's modern definition of a function clarifies the precise conditions (injectivity) needed for an inverse function to exist
Peter Gustav Lejeune Dirichlet

Summary

f⁻¹ undoes f: f⁻¹(f(x))=x and f(f⁻¹(y))=y.
A function has an inverse if and only if it is one-to-one (passes the horizontal line test).
To find f⁻¹ algebraically: swap x and y in y=f(x), then solve for y.
The graph of f⁻¹ is the reflection of f's graph across the line y=x; domain and range swap between f and f⁻¹.
Many-to-one functions (like x²) can be made invertible by restricting the domain to where they're monotonic.

References

BookSullivan, M. Algebra and Trigonometry, 10th ed. Ch. 2 — Functions and Their Graphs.
WebsiteWikipedia — Inverse function