Inverse functions — finding f⁻¹(x), horizontal line test
Overview
An inverse function undoes what the original function does. If takes to , then takes back to . Not every function has an inverse—only one-to-one (injective) functions do. The horizontal line test determines whether a function is one-to-one and thus invertible.
Connections:
- Function Composition — verifying inverses via
- Domain and Range — domain/range swap for inverses
- Bijective Functions — invertibility requires bijection
- Exponential and Logarithmic Functions — classic inverse pair
- Trigonometric Functions — restricting domains for invertibility
Core Intuition
For example, if takes , then . The inverse "rewinds" the operation.
BUT: not every machine is reversible. If two different inputs give the same output (like where ), you can't uniquely reverse it. That's why we need the one-to-one condition.

Definitions and Core Concepts
Key property: The graph of is the reflection of across the line .
Why this matters: Only one-to-one functions are invertible. If , then is ambiguous (is it 2 or 5?). No ambiguity means invertible.
Why it works: A horizontal line represents all points with the same -value. If it hits the graph twice, two different -values map to the same , violating one-to-one.
Deriving the Inverse: The Swap Method
WHY this process works: If is on the graph of (meaning ), then must be on the graph of (meaning ). Swapping and in the equation literally swaps input and output roles.
Derivation from first principles:
- We want such that
- Let . Then (by definition of inverse)
- So we need to solve for
- The swap method is just a notational trick to organize this solving process
Worked Examples
Step 1: Write
Step 2: Swap to get
Step 3: Solve for :
Why this step? We're isolating to express the output in terms of the input.
Step 4: Therefore
Step 5: Verify:
Why verification matters: It's easy to make algebraic mistakes. Verification catches them.
Step 1: Write
Step 2: Swap to get
Step 3: Solve for :
Why this step? We collect all terms on one side to factor out .
Step 4: Therefore ,
Domain note: The denominator restriction changes because roles swap. Original's range limitation ( from the horizontal asymptote) becomes the inverse's domain restriction.
Verification (abbreviated):
Horizontal Line Test: Draw . It intersects the parabola at and . Two intersections means not one-to-one.
Why no inverse: If we tried to find , we'd get two answers: and . An inverse must give exactly one output per input.
HOWEVER: If we restrict the domain to , then becomes one-to-one on . Now we can find the inverse:
- ,
- ,
- (positive root only)
Why restrict? Domain restriction removes the ambiguity. This technique is crucial for trig functions.
Step 1:
Step 2:
Step 3: Solve for :
Why cube both sides? Cubing undoes the cube root, just as the inverse operation should.
Step 4:
Domain/Range: Since cube root is defined for all real numbers and is one-to-one, both and have domain and range .
Common Mistakes & How to Fix Them
Why it feels right: The exponent notation is borrowed from reciprocals ().
The truth: is inverse function, NOT reciprocal.
- (composition gives identity)
- (multiplication gives 1)
Example: For :
- Inverse: , and ✓
- Reciprocal: , which is completely different
Fix: Always verify your inverse using composition, never by multiplication.
Why it feels right: The algebra is correct.
The truth: has domain and range . When we swap, must have domain (the original range) and range (the original domain).
So only for .
Fix: Track domain/range swaps explicitly:
- Original domain → inverse range
- Original range → inverse domain
Why it feels right: The algorithm is mechanical and always produces something.
The truth: If isn't one-to-one, the "inverse" you find won't actually work. For (all reals):
- Swap method gives
- But this isn't a function (two outputs for one input)!
Fix: Always apply horizontal line test first. If it fails, restrict the domain before finding inverse.
Horizontal Line Test — Geometric Proof
WHY does the horizontal line test work?
Claim: is one-to-one every horizontal line intersects the graph at most once.
Proof (): Suppose is one-to-one. Assume for contradiction that a horizontal line intersects the graph at two points and with . Then and , so but . This contradicts one-to-one. ✓
Proof (): Suppose every horizontal line intersects at most once. To show one-to-one, assume . Then and are both on the graph, so they lie on the horizontal line . Since this line intersects at most once, we must have . Thus is one-to-one. ✓
Domain and Range of Inverses
Derivation:
- Let . Then for some . By definition of inverse, , so .
- Conversely, if , then is defined, meaning there exists such that , so .
Why this matters: When finding inverses algebraically, you must transfer domain restrictions correctly.
Properties of Inverse Functions
-
Inverse of Inverse: Derivation: If , then and . This means satisfies the definition of the inverse of , so .
-
Composition Property:
Derivation: Toundo "do then do ", we must "undo then undo " (reverse order). Formally:
Active Recall Questions
#flashcards/maths
What is the definition of an inverse function? :: A function such that and . It "undoes" what does.
What condition must a function satisfy to have an inverse?
State the Horizontal Line Test :: A function is one-to-one if and only if every horizontal line intersects its graph at most once.
What are the four steps to find an inverse algebraically?
How are the domain and range of and related?
What is the difference between and ?
How is the graph of related to the graph of ?
Why can't have an inverse over all real numbers?
If , find
What is always equal to?
Recall Feynman Technique: Explain to a 12-Year-Old
Imagine you have a secret code machine. You put in a number, and it spits out a coded number. For example, your machine takes any number and doubles it, then adds 3. So if you put in 5, you get 13.
An inverse function is like having a decoder machine. You give it the coded number (13), and it tells you the original number (5). The decoder does the opposite operations in reverse order: first subtract 3, then divide by 2.
But here's the catch: not every code machine has a decoder! If your machine sometimes gives the same code for different numbers (like squaring: both 3 and -3 give 9), then you can't decode uniquely. You wouldn't know if 9 came from 3 or -3.
The horizontal line test is a quick way to check: draw your machine's graph, then draw horizontal lines. If any line touches the graph twice, your machine isn't decodable (two different inputs gave the same output).
To find the decoder formula: write down your machine's rule, swap the input and output, then solve to get the input by itself. That's your decoder!
For horizontal line test: "Horizontal = One-to-One" — if a horizontal line hits once, the function is one-to-one.
Summary
To find an inverse function :
- Verify is one-to-one (use horizontal line test)
- Use the swap method: solve for
- Remember domain and range swap
- Always verify using composition
The inverse "undoes" the function. Graphically, it's a reflection across . Only one-to-one functions are invertible—the horizontal line test checks this condition by ensuring each output comes from exactly one input.
Concept Map
Hinglish (regional understanding)
Intuition Hinglish mein samjho
Inverse function ek aisi function hai jo original function ka kaam ulta kar deti hai. Socho ki agar ek machine hai jo number ko double karke 3 add karti hai, toh inverse machine pehle 3 minus karegi phir half kar degi—bilkul opposite steps, reverse order mein.
Lekin har function ka inverse nahi hota! Agar ek function do different inputs pe same output deta hai (jaise mein 2 aur -2 dono 4 dete hain), toh inverse bane mein problem hogi—kyunki 4 ko wapas le jaoge toh confuse ho jaoge ki 2 chahiye ya -2? Isliye one-to-one zaruri hai matlab har output sirf ek hi input se ata ho.
Horizontal line test se check karte hain: graph pe horizontal line draw karo, agar ek se zyada baar touch kare toh inverse nahi ban sakta. Algebraically inverse nikalne ke liye y = f(x) likho, phir x aur y swap karo, a ke liye solve karo. Domain aur range bhi swap ho jate hain inverse mein. Ye concept bahut powerful hai—exponential aur log, sine aur arcsin, sab inverse pairs hain.