In AP Precalculus, a function f is invertible on a domain if each output value comes from exactly one input value (it's one-to-one), which guarantees an inverse function f⁻¹ exists that reverses the mapping: if f(a) = b, then f⁻¹(b) = a (EK 2.8.A.1).
An invertible function is a function you can run backwards. The CED's exact condition (EK 2.8.A.1) is that on a specified domain, each output of f is mapped from a unique input. That's the same thing as being one-to-one, which is what the horizontal line test checks on a graph. When that condition holds, the inverse function f⁻¹ exists, and it just swaps every input-output pair. If f(a) = b, then f⁻¹(b) = a. In a table, you flip the columns. On a graph, you reflect over the line y = x.
Here's the part the AP exam loves. A function that fails the test on its full domain isn't doomed. You can restrict the domain to a piece where the function is one-to-one, and it becomes invertible there. That's exactly why sin⁻¹, cos⁻¹, and tan⁻¹ exist at all. Sine fails the horizontal line test badly (it's periodic), but on [-π/2, π/2] it's one-to-one, so arcsine works. Two clean consequences follow on the invertible domain: f(f⁻¹(x)) = f⁻¹(f(x)) = x (the composition is the identity function, EK 2.8.B.1), and the domain and range of f swap to become the range and domain of f⁻¹ (EK 2.8.B.2).
Invertibility is the gatekeeper concept for Topic 2.8 (LOs 2.8.A and 2.8.B), where you determine input-output pairs of an inverse and find the inverse on an invertible domain. But it doesn't stay in Unit 2. The entire logarithm chapter rests on it, since log functions are defined as inverses of exponential functions. In Unit 3, Topic 3.9 (LO 3.9.A) makes you construct inverse trig functions, and EK 3.9.A.2 says it outright: because trig functions are periodic, they are only invertible on restricted domains. Then Unit 4 brings it back in Topic 4.7, where EK 4.7.A.2 tells you that if f is invertible, its inverse can be parametrized as (f(t), t), the mirror image of the usual (t, f(t)). If you can answer 'is this function invertible, and on what domain?', you've unlocked content in three of the four units.
Keep studying AP® Precalculus Unit 4
One-to-one function & the horizontal line test (Unit 2)
These are the same idea in three costumes. 'Invertible' is the conclusion, 'one-to-one' is the condition, and the horizontal line test is the graphical check. If any horizontal line hits the graph more than once, two inputs share an output, so reversing the mapping wouldn't be a function.
Inverse trigonometric functions (Unit 3)
Arcsine, arccosine, and arctangent only exist because of domain restriction. Sine repeats forever, so it's nowhere near one-to-one on all of ℝ, but slice out [-π/2, π/2] and it passes the test. Topic 3.9 is invertibility applied to periodic functions, and the restricted ranges (like why cos⁻¹ outputs land in [0, π]) all trace back to this one concept.
Parametrization of implicitly defined functions (Unit 4)
EK 4.7.A.2 gives a slick payoff. Any function y = f(x) parametrizes as (t, f(t)). If f is invertible, you get its inverse for free by swapping the coordinates: (f(t), t). It's the (a, b) → (b, a) pair-swap idea from Topic 2.8 written in parametric form.
Composite function (Unit 2)
Composition is how you verify an inverse algebraically. On the invertible domain, f(f⁻¹(x)) = f⁻¹(f(x)) = x. If composing two functions in both orders gives you back x, they're inverses of each other. This is also why exponentials and logs cancel: ln(eˣ) = x.
Multiple choice tests invertibility in a few predictable ways. The pair-swap question is the classic: given f(3) = 9 with f invertible, you should immediately write f⁻¹(9) = 3, no algebra needed. You'll also see 'on what restricted domain is this function invertible?' stems, especially with trig and quadratic functions, plus questions asking which parametrization represents an inverse, where the answer is (f(t), t). On free response, invertibility shows up inside larger problems. Finding an inverse function requires you to swap x and y and solve, but stating domain and range correctly is where points hide, since the domain of f⁻¹ is the range of f. With inverse trig, evaluating something like sin⁻¹(sin(5π/6)) is a favorite trap. The answer is π/6, not 5π/6, because arcsine only outputs values in the restricted range [-π/2, π/2].
The notation f⁻¹(x) looks like a negative exponent, but it does NOT mean 1/f(x). The inverse function f⁻¹ reverses the input-output mapping of f; the reciprocal just divides 1 by the output. Concrete check: if f(x) = x + 2, then f⁻¹(x) = x - 2, while 1/f(x) = 1/(x + 2). Totally different functions. The same trap exists in trig: sin⁻¹(x) means arcsine, while (sin x)⁻¹ means cosecant. The CED even lists both names (arcsine and sin⁻¹ x) in EK 3.9.A.2 partly to keep this straight.
A function is invertible on a domain when every output comes from exactly one input, which is the same as being one-to-one and passing the horizontal line test.
The inverse function swaps input-output pairs, so f(a) = b means f⁻¹(b) = a, and the domain and range of f become the range and domain of f⁻¹.
A function that isn't invertible everywhere can be made invertible by restricting its domain, which is exactly why arcsine, arccosine, and arctangent exist.
On the invertible domain, composing a function with its inverse gives the identity: f(f⁻¹(x)) = f⁻¹(f(x)) = x.
Graphically, the inverse is the reflection of f over the line y = x, and parametrically, if f is (t, f(t)), then f⁻¹ is (f(t), t).
The notation f⁻¹(x) means the inverse function, not the reciprocal 1/f(x).
It means each output value of the function is mapped from a unique input value on the given domain (EK 2.8.A.1), so an inverse function f⁻¹ exists that reverses the mapping. If f(5) = 12, then f⁻¹(12) = 5, automatically.
No. f⁻¹(x) is the inverse function that undoes f, while 1/f(x) is the reciprocal of the output. For f(x) = x + 2, the inverse is x - 2, but the reciprocal is 1/(x + 2). Same trap in trig: sin⁻¹ is arcsine, not cosecant.
Yes, on a restricted domain. Sine fails the test on ℝ because it's periodic, but it's one-to-one on [-π/2, π/2], which is exactly how arcsine is defined (EK 3.9.A.2). Same trick works for y = x² restricted to x ≥ 0.
On a given domain, they're equivalent. One-to-one is the property (each output has a unique input), and invertible is the consequence (an inverse function exists). The horizontal line test is just the graphical way to check one-to-one.
Swap x and y in the equation and solve for y, or reverse the (a, b) pairs in a table, or reflect the graph over y = x. Then check your work with composition: f(f⁻¹(x)) should equal x, and remember the domain of f⁻¹ is the range of f.
Connect this key term to the AP exam workflow: review the course, practice questions, and check related study tools.
Review units, study guides, and course resources.
Check this vocabulary in multiple-choice context.
Apply key concepts in written AP responses.
Estimate the exam score you are working toward.
Review the highest-yield facts before practice.
Put the full course together before test day.