This deck covers adding, subtracting, multiplying, and dividing functions, and the domain of each result. It then works through composition from the inside out, why composition is not commutative, the domain restrictions it hides, and decomposition, before moving on to one-to-one functions, the horizontal line test, and finding inverses by swapping and solving. It targets reading the inverse notation as a reciprocal, composing in the wrong order, reading a composite's domain off the simplified form, and undoing only part of the rule.
Subject: College Algebra · 137 slides · symbolic lesson
Open the interactive version of this deck · Homework for this lesson
Title
College Algebra - Deck 13
Feed one machine into the next. Then learn to run the whole thing backwards.
Objectives
By the end of this deck you can:
Warm-up
Discussion prompt
Before we open Combining Functions, Composition, and Inverses: without looking back, what was the main idea of Quadratic Functions, Parabolas, and Optimization, and what could you do by the end of it that you could not do before?
Hint: One sentence for the idea, one for the skill. If the second one is blank, that is the part to revisit.
Answer:
That deck covers everything a parabola can tell you: vertex form and the sign trap hiding inside it, the vertex formula from standard form, converting between forms by completing the square, intercepts and what the discriminant says about how many there are, domain and range, and applied optimization for maximum area, maximum revenue, and projectile height. It targets the four errors that cost the most points: flipping the sign of the vertex, dropping the negative in the vertex formula, reporting where the maximum happens instead of the maximum value, and assuming that every parabola crosses the axis twice.
Section
Part 1
Concept
You already add, subtract, multiply, and divide numbers. You can do all four to functions too.
The idea is simple: feed the same input into both machines, then combine the two outputs the way the operation says.
\[ (f+g)(x) = f(x) + g(x) \]
Counterexample
Discussion prompt
You already add, subtract, multiply, and divide numbers. You can do all four to functions too.
That is stated as though it always holds. Do one of two things: produce a case where it fails, or say precisely what rules such a case out. "It just does" is not on the menu.
Hint: Hunt at the extremes first — zero, one, negative, empty, equal. If every extreme survives, the reason they survive is the proof.
Answer:
The idea is simple: feed the same input into both machines, then combine the two outputs the way the operation says.
Intuition
Picture two vending machines standing side by side. You put the same dollar amount into each one.
One returns a number of snacks, the other returns a number of drinks. The sum function just tells you how many items you got in total.
Nothing mysterious is happening. The input goes to both machines, and then you do arithmetic on the two answers.
Analogy
Discussion prompt
Explain Two vending machines, one dollar by analogy to something with no College Algebra in it at all — a queue, a recipe, a map, a bank balance, whatever fits. Then say where your analogy breaks.
Hint: An analogy that never breaks is not an analogy, it is the same idea wearing a hat. Find the seam — that is the part that is actually new.
Answer:
Picture two vending machines standing side by side. You put the same dollar amount into each one.
Concept
Here are all four, written the way your textbook writes them.
\[ (f+g)(x) = f(x) + g(x) \qquad (f-g)(x) = f(x) - g(x) \]
\[ (fg)(x) = f(x) \cdot g(x) \qquad \left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)} \]
Read every one of these left to right as an instruction: evaluate both functions, then combine.
Explain it
Discussion prompt
Explain The four combinations to a student a year behind you. No notation, no jargon they have not met — and it still has to be true.
Hint: If your explanation needs a symbol they have never seen, you are describing the notation rather than the idea.
Answer:
Read every one of these left to right as an instruction: evaluate both functions, then combine.
Ranking
Put in order
Put the moves of Worked example: a sum and a difference into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. The definition says the sum function's rule is literally f of x plus g of x.
Worked example
Build the sum and the difference of these two functions.
\[ f(x) = x^2 - 9 \qquad g(x) = x - 3 \]
Write the sum as the two rules added
Why: The definition says the sum function's rule is literally f of x plus g of x. Parentheses keep each rule intact.
\[ (f+g)(x) = (x^2 - 9) + (x - 3) \]
Drop the parentheses and combine like terms
Why: A plus sign in front of a parenthesis changes nothing, so every term keeps its sign.
\[ (f+g)(x) = x^2 + x - 12 \]
For the difference, subtract the whole second rule
Why: The minus applies to every term of g, not just the first one. This is where most sign errors are born.
\[ (f-g)(x) = (x^2 - 9) - (x - 3) = x^2 - 9 - x + 3 \]
Combine like terms
Why: Negative nine plus three is negative six.
\[ (f-g)(x) = x^2 - x - 6 \]
Verify at the test input five
Why: Compute both functions separately, combine, and compare with the new rules. Both agree, so the algebra is right.
| quantity | the long way | the new rule |
|---|---|---|
| sum at five | 16 + 2 = 18 | 25 + 5 - 12 = 18 |
| difference at five | 16 - 2 = 14 | 25 - 5 - 6 = 14 |
Concept
An input is legal for the combination only if it is legal for both original functions.
domain of a combination — The intersection of the two domains: every input that both f and g accept. If either machine rejects the input, the combination has nothing to compute.
For polynomials this is easy - both accept every real number, so the sum, difference, and product do too.
\[ \text{domain} = (-\infty, \infty) \]
Picture it
Animation
Shows: Restricting to make it invertible — a rendered Manim animation.
Rendered with Manim.
Takeaway: Keep only the right half and the square root becomes a genuine inverse.
Step zero
Discussion prompt
Worked example: the product — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Write the product as the two rules multiplied
Answer:
Worked example
Same two functions. Multiply them.
\[ f(x) = x^2 - 9 \qquad g(x) = x - 3 \]
Write the product as the two rules multiplied
Why: By definition the product function's rule is f of x times g of x.
\[ (fg)(x) = (x^2 - 9)(x - 3) \]
Distribute every term of the first factor over the second
Why: Each term of the left factor meets each term of the right factor exactly once.
\[ (fg)(x) = x^3 - 3x^2 - 9x + 27 \]
State the domain
Why: Both factors are polynomials, so every real number is legal for both machines.
\[ \text{domain} = (-\infty, \infty) \]
Verify at the test input five
Why: Multiplying the separate outputs gives 16 times 2, which is 32. The expanded rule gives 125 minus 75 minus 45 plus 27, which is also 32. They agree.
\[ f(5)\,g(5) = 16 \cdot 2 = 32 \qquad 125 - 75 - 45 + 27 = 32 \]
Picture it
Animation
Shows: Each line of the worked example "the product", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Multiplying the separate outputs gives 16 times 2, which is 32. The expanded rule gives 125 minus 75 minus 45 plus 27, which is also 32. They agree.
Concept
Division brings a rule that addition never has to worry about: the bottom cannot be zero.
So the quotient's domain is the intersection of the two domains, and then you throw out every input where the bottom function outputs zero.
\[ \left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)}, \qquad g(x) \ne 0 \]
That restriction comes from the original bottom function - not from whatever the fraction simplifies to.
Estimation
Predict first
Divide the same two functions and state the domain.
Commit before you compute: what does Worked example: the quotient and its domain come out to? A rough magnitude and the right form is enough — the point is to have something concrete to be wrong about.
Correct: Verify at the test input five, and test the excluded input
Why: A prediction you can defend turns the computation into a check rather than a leap of faith — and an answer that contradicts it is caught on the spot. At five the long way gives 16 divided by 2, which is 8, and the short rule gives 5 plus 3, which is 8.
Worked example
Divide the same two functions and state the domain.
\[ f(x) = x^2 - 9 \qquad g(x) = x - 3 \]
Find where the bottom function is zero, before simplifying anything
Why: The restriction is set by the original denominator. Solving x minus 3 equals zero gives x equals 3.
\[ g(x) = 0 \iff x = 3 \]
Write the quotient and factor the top
Why: The numerator is a difference of squares, so it splits into two binomials.
\[ \left(\frac{f}{g}\right)(x) = \frac{x^2 - 9}{x - 3} = \frac{(x-3)(x+3)}{x-3} \]
Cancel the common factor and carry the restriction along
Why: Cancelling is legal only for values where the factor is not zero, so the excluded input stays with the answer forever.
\[ \left(\frac{f}{g}\right)(x) = x + 3, \qquad x \ne 3 \]
Write the domain in interval notation
Why: Every real number except 3 is allowed, which is two open pieces joined by a union.
\[ (-\infty, 3) \cup (3, \infty) \]
Verify at the test input five, and test the excluded input
Why: At five the long way gives 16 divided by 2, which is 8, and the short rule gives 5 plus 3, which is 8. At three the original quotient is zero divided by zero, which is undefined - exactly why 3 is excluded.
| input | original quotient | simplified rule |
|---|---|---|
| 5 | 16 / 2 = 8 | 5 + 3 = 8 |
| 0 | -9 / -3 = 3 | 0 + 3 = 3 |
| 3 | 0 / 0 undefined | 3 + 3 = 6 (not allowed) |
Picture it
Animation
Shows: Each line of the worked example "the quotient and its domain", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: At five the long way gives 16 divided by 2, which is 8, and the short rule gives 5 plus 3, which is 8. At three the original quotient is zero divided by zero, which is undefined - exactly why 3 is excluded.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Simplify first, then read the domain from what is left.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: The leftover rule is a polynomial, and polynomials accept everything - so it looks safe.
Find the restriction from the original denominator first, before any cancelling.
Why: The leftover rule is a polynomial, and polynomials accept everything - so it looks safe.
Trap
Simplify first, then read the domain from what is left.
\[ \frac{x^2-9}{x-3} = x + 3 \]
Claim the domain is all real numbers
Why: The leftover rule is a polynomial, and polynomials accept everything - so it looks safe.
\[ \text{domain} = (-\infty, \infty) \quad \text{(wrong)} \]
But the original function has no output at three
Why: Substituting three into the original quotient gives zero over zero. A function cannot have a value there, so three was never in the domain.
Find the restriction from the original denominator first, before any cancelling.
\[ x - 3 = 0 \implies x = 3 \text{ is excluded} \]
Then simplify, and carry the restriction with the answer
Why: Cancelling changes the way the rule looks, but it cannot give the function a value it never had.
\[ \left(\frac{f}{g}\right)(x) = x + 3, \qquad x \ne 3 \]
State the domain as a union of intervals
Why: The graph is the line, but with a hole punched out at the excluded input.
\[ (-\infty, 3) \cup (3, \infty) \]
Notation
Annotate
From Trap: reading the domain off the simplified quotient — read this one piece at a time. What is each part doing?
On: \( \frac{x^2-9}{x-3} = x + 3 \)
Ranking
Put in order
These are the steps of Pattern: combining two functions, scrambled. Put them back in order before the next slide shows you.
Why: This is the order the recipe itself gives. Recalling the sequence without the slide in front of you is the difference between recognising the method and being able to run it — most of what goes wrong in practice is a step done out of turn.
Pattern
The same four-step recipe works for all four operations.
Elimination
Eliminate the wrong options
What is the domain of the quotient function f divided by g?
3 of these 4 are wrong. Strike them one at a time, and say what rules each one out before you strike the next. The survivor is the answer.
Survives elimination: A
Why: The bottom factors as (x - 1)(x - 3), so it is zero at x = 1 and at x = 3. Both inputs are thrown out before any simplifying, which leaves every real number except 1 and 3.
Check
Factor the bottom before you answer.
\[ f(x) = x^2 - 1 \qquad g(x) = x^2 - 4x + 3 \]
Check your understanding
What is the domain of the quotient function f divided by g?
Answer: A
Why: The bottom factors as (x - 1)(x - 3), so it is zero at x = 1 and at x = 3. Both inputs are thrown out before any simplifying, which leaves every real number except 1 and 3.
Section
Part 2
Concept
The four operations you just met all send the input to both machines at the same time.
Composition is different. It sends the input into one machine, then feeds that machine's output into the second machine.
composition — Applying one function to the result of another. The inner function runs first, and whatever it returns becomes the input of the outer function.
Definition probe
Sort into buckets
Every line below is part of the definition of domain of a combination or of composition — one or the other, never both. Put each where it belongs.
Intuition
Think of a factory line. The first station stamps a shape out of the metal. The second station paints whatever comes off the first station.
Station two never sees the raw metal. It only ever sees what station one handed it.
That is composition. And because station two only reacts to what it is given, swapping the two stations changes the product completely.
Concept
There are two ways to write a composition, and they mean exactly the same thing.
\[ (f \circ g)(x) = f(g(x)) \]
Read the right-hand form out loud: f of g of x. That form tells you everything, because the inner rule is physically wrapped inside the outer one.
The little open circle is not a multiplication dot. Composition is not multiplication, and mixing the two up produces a completely different function.
Picture it
Animation
Shows: The notation trap — a rendered Manim animation.
Rendered with Manim.
Takeaway: A superscript minus one means something different here than in algebra.
Concept
Which function runs first? Look at the parentheses, not at the reading order.
\[ (f \circ g)(x) = f\big(\underbrace{g(x)}_{\text{this runs first}}\big) \]
The function written closest to the input is the one that touches the input first. Work from the inside out, exactly like order of operations.
Missing information
Discussion prompt
Evaluate the composition of these two functions at the input two.
What do you need to know — or decide — before the first line can be written? List everything the problem has to hand you.
Hint: Anything you would have to invent to get started is a thing the problem must supply.
Answer:
The composite at two means: run g on two first, then run f on whatever g handed back.
Worked example
Evaluate the composition of these two functions at the input two.
\[ f(x) = 2x + 1 \qquad g(x) = x^2 - 3 \]
Translate the notation into an instruction
Why: The composite at two means: run g on two first, then run f on whatever g handed back.
\[ (f \circ g)(2) = f\big(g(2)\big) \]
Run the inner function first
Why: Substitute two into g. Two squared is four, and four minus three is one.
\[ g(2) = 2^2 - 3 = 1 \]
Feed that output into the outer function
Why: The outer machine now receives one, not the original two. Two times one, plus one, is three.
\[ f(1) = 2(1) + 1 = 3 \]
State the answer in the form the question asked for
Why: The question asked for a single value of the composite, so the answer is a number.
\[ (f \circ g)(2) = 3 \]
Verify by tracing the input through both machines in order
Why: Two enters the inner machine and leaves as one; one enters the outer machine and leaves as three. The chain closes, so the answer is three.
| stage | input | output |
|---|---|---|
| inner function g | 2 | 1 |
| outer function f | 1 | 3 |
Picture it
Animation
Shows: Each line of the worked example "a composition at a number", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Two enters the inner machine and leaves as one; one enters the outer machine and leaves as three. The chain closes, so the answer is three.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Evaluate the composite at two, starting with whichever function's letter you read first.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: English reads left to right, so the leftmost letter feels like it should go first.
The function sitting next to the input runs first. Read from the inside out.
Why: English reads left to right, so the leftmost letter feels like it should go first.
Trap
Evaluate the composite at two, starting with whichever function's letter you read first.
\[ f(x) = 2x + 1 \qquad g(x) = x^2 - 3 \]
Run f on two first, because f is written on the left
Why: English reads left to right, so the leftmost letter feels like it should go first.
\[ f(2) = 2(2) + 1 = 5 \]
Then push that result through g
Why: This does compute something real, but it computes the other composite entirely.
\[ g(5) = 5^2 - 3 = 22 \quad \text{(wrong composite)} \]
The function sitting next to the input runs first. Read from the inside out.
\[ (f \circ g)(2) = f\big(g(2)\big) \]
Run g on two first
Why: In the nested form, g is the function actually touching the input, so g goes first.
\[ g(2) = 2^2 - 3 = 1 \]
Then run f on that output
Why: The outer machine receives one, and returns three.
\[ f(1) = 2(1) + 1 = 3 \]
Check that the two orders really are different
Why: Both numbers are correct answers to some question. Only one of them answers the question that was asked.
| composite | meaning | value at two |
|---|---|---|
| f after g | run g, then f | 3 |
| g after f | run f, then g | 22 |
Comparison
Comparison matrix
From Trap: composing in the wrong order: refill the value at two column from what you know. The rest of the table is as it appeared.
| composite | meaning | value at two |
|---|---|---|
| f after g | run g, then f | 3 |
| g after f | run f, then g | 22 |
Concept
Addition and multiplication do not care about order. Composition cares enormously.
\[ (f \circ g)(x) \ne (g \circ f)(x) \quad \text{in general} \]
Socks then shoes is not the same as shoes then socks. Same two actions, wildly different result.
Once in a while the two orders do agree. When they agree for every input, the two functions are inverses of each other, which is exactly where this deck is heading.
Picture it
Animation
Shows: Composition is not commutative — a rendered Manim animation.
Rendered with Manim.
Takeaway: Read from the inside out, always.
Fill the middle
Fill in the blanks
From Worked example: building the general composite rule — finish the line. Write what belongs on the right of the equals sign before you look.
f(\square) = 2\,\square + 1
Why: Producing the right-hand side unprompted is the difference between recognising this line and being able to use it. The outer machine doubles its input and adds one, no matter what that input is called.
Worked example
Now build the whole rule, not just one value.
\[ f(x) = 2x + 1 \qquad g(x) = x^2 - 3 \]
Write the outer rule with a blank where its input goes
Why: The outer machine doubles its input and adds one, no matter what that input is called.
\[ f(\square) = 2\,\square + 1 \]
Drop the entire inner rule into the blank
Why: The inner output is the outer input. Wrapping it in parentheses keeps the whole expression together.
\[ (f \circ g)(x) = 2(x^2 - 3) + 1 \]
Distribute, then combine the constants
Why: Two times the squared term gives two of them; two times negative three is negative six; negative six plus one is negative five.
\[ (f \circ g)(x) = 2x^2 - 6 + 1 = 2x^2 - 5 \]
Verify against the value computed earlier
Why: The step-by-step route gave three at the input two. The new rule gives two times four, minus five, which is also three. The general rule agrees with the specific computation.
\[ 2(2)^2 - 5 = 8 - 5 = 3 \quad \text{(matches)} \]
Picture it
Animation
Shows: Each line of the worked example "building the general composite rule", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: The step-by-step route gave three at the input two. The new rule gives two times four, minus five, which is also three. The general rule agrees with the specific computation.
Step zero
Discussion prompt
Worked example: the other order, a different rule — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Write the outer rule, which is now g, with a blank
Answer:
Worked example
Same two functions, opposite order. Watch how little the answer resembles the last one.
\[ f(x) = 2x + 1 \qquad g(x) = x^2 - 3 \]
Write the outer rule, which is now g, with a blank
Why: The outer machine squares its input and subtracts three.
\[ g(\square) = \square^2 - 3 \]
Drop the whole rule for f into the blank
Why: The entire binomial is what gets squared, so it must be wrapped in parentheses before the exponent is applied.
\[ (g \circ f)(x) = (2x + 1)^2 - 3 \]
Expand the square, including the middle term
Why: The square of a binomial is the first term squared, plus twice the product of the terms, plus the last term squared. Forgetting the middle term is the classic error here.
\[ (g \circ f)(x) = 4x^2 + 4x + 1 - 3 \]
Combine the constants
Why: One minus three is negative two.
\[ (g \circ f)(x) = 4x^2 + 4x - 2 \]
Verify at the input two and compare the two orders
Why: The rule gives sixteen plus eight minus two, which is twenty-two, matching the direct computation from the trap slide. The other order gave three, so these are genuinely different functions.
| composite | rule | value at two |
|---|---|---|
| f after g | 2 times x squared, minus 5 | 3 |
| g after f | 4 times x squared, plus 4x, minus 2 | 22 |
Picture it
Animation
Shows: Each line of the worked example "the other order, a different rule", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: The rule gives sixteen plus eight minus two, which is twenty-two, matching the direct computation from the trap slide. The other order gave three, so these are genuinely different functions.
Pattern
Predict first
The table runs: 1 | 3 | 4 · 2 | 1 | 3 · 3 | 4 | 1
In Worked example: composing from a table, given the rows so far: what is the next one — the row where x is 4?
Correct: 4 | 2 | 2
| x | f(x) | g(x) |
|---|---|---|
| 1 | 3 | 4 |
| 2 | 1 | 3 |
| 3 | 4 | 1 |
| 4 | 2 | 2 |
Why: The relationship between the columns, not the individual numbers, is what generates the next row. Read across the row for the input one and take the value in the g column.
Worked example
Sometimes you never see a formula, only a table of values. The method does not change.
| x | f(x) | g(x) |
|---|---|---|
| 1 | 3 | 4 |
| 2 | 1 | 3 |
| 3 | 4 | 1 |
| 4 | 2 | 2 |
For the composite at one, look up the inner function first
Why: Read across the row for the input one and take the value in the g column. That is four.
\[ g(1) = 4 \]
Now look up the outer function at that number
Why: Return to the table with the new input four, and read the f column. That gives two.
\[ f(4) = 2 \implies (f \circ g)(1) = 2 \]
Do the opposite order to feel the difference
Why: This time f goes first: f of one is three, and then g of three is one.
\[ (g \circ f)(1) = g(3) = 1 \]
Verify by tabulating both composites at every input
Why: Reading each pair off the table in order confirms the two composites disagree at three of the four inputs. They only happen to agree at the input two.
| x | f after g | g after f |
|---|---|---|
| 1 | 2 | 1 |
| 2 | 4 | 4 |
| 3 | 3 | 2 |
| 4 | 1 | 3 |
Picture it
Animation
Shows: Each line of the worked example "composing from a table", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Reading each pair off the table in order confirms the two composites disagree at three of the four inputs. They only happen to agree at the input two.
Check
Work the inner function first, then feed its output forward.
\[ f(x) = x^2 + 1 \qquad g(x) = 3x - 4 \]
Check your understanding
What is the value of the composite f of g of x at the input 2?
Answer: A
Why: Run g first: g(2) = 3(2) - 4 = 2. Then run f on that output: f(2) = 2^2 + 1 = 5. The inner function's output, not the original input, is what f receives.
Concept
A composite has two places an input can be turned away, not one.
First the inner function has to accept the input. Then the outer function has to accept whatever the inner function produced.
domain of a composite — Every input the inner function accepts, minus the inputs whose inner output the outer function would reject.
Both gates matter. Forgetting the first one is the single most common mistake in this whole section.
Intuition
Picture two doors in a row, each with its own doorman.
The first doorman checks your input against the inner function's rules. If you get past, the inner function hands you a brand new value.
The second doorman checks that new value against the outer function's rules. You need both doormen to say yes.
So the answer is never simply whatever the final tidied-up formula allows. The first door is still standing there, even after the algebra cleans up.
Estimation
Predict first
Build the composite and state its domain in interval notation.
Commit before you compute: what does Worked example: a composite domain, both gates come out to? A rough magnitude and the right form is enough — the point is to have something concrete to be wrong about.
Correct: Verify with legal inputs and with the excluded one
Why: A prediction you can defend turns the computation into a check rather than a leap of faith — and an answer that contradicts it is caught on the spot. At four the inner returns two and the outer returns one over negative one, which is negative one.
Worked example
Build the composite and state its domain in interval notation.
\[ f(x) = \frac{1}{x - 3} \qquad g(x) = \sqrt{x} \]
Build the composite by dropping the inner rule into the outer one
Why: The outer machine takes the reciprocal of three less than its input, and its input is now the square root of x.
\[ (f \circ g)(x) = \frac{1}{\sqrt{x} - 3} \]
Gate one: what does the inner function accept?
Why: A square root of a negative number is not a real number, so the input must be zero or larger.
\[ x \ge 0 \]
Gate two: what does the outer function reject?
Why: The outer machine divides by three less than its input, so its input may never equal three. Set the inner output equal to three and solve to find which original inputs cause it.
\[ \sqrt{x} = 3 \implies x = 9 \]
Keep gate one, then delete the gate-two offender
Why: Every non-negative number is allowed except nine, which punctures the ray into two pieces.
\[ [0, 9) \cup (9, \infty) \]
Verify with legal inputs and with the excluded one
Why: At four the inner returns two and the outer returns one over negative one, which is negative one. At zero the inner returns zero and the outer returns negative one third. At nine the inner returns three, and the outer divides by zero, so nine truly must be thrown out.
| input | inner output | composite output |
|---|---|---|
| 4 | 2 | -1 |
| 0 | 0 | -1/3 |
| 9 | 3 | undefined |
Picture it
Animation
Shows: Each line of the worked example "a composite domain, both gates", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: At four the inner returns two and the outer returns one over negative one, which is negative one. At zero the inner returns zero and the outer returns negative one third. At nine the inner returns three, and the outer divides by zero, so nine truly must be thrown out.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Simplify the composite first, then read the domain off whatever is left.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: One divided by a fraction is that fraction turned upside down, so the whole thing collapses to a simple binomial.
Check the inner function's domain before simplifying anything.
Why: One divided by a fraction is that fraction turned upside down, so the whole thing collapses to a simple binomial.
Trap
Simplify the composite first, then read the domain off whatever is left.
\[ f(x) = \frac{1}{x} \qquad g(x) = \frac{1}{x + 3} \]
Build and simplify the composite
Why: One divided by a fraction is that fraction turned upside down, so the whole thing collapses to a simple binomial.
\[ (f \circ g)(x) = \frac{1}{\;\frac{1}{x+3}\;} = x + 3 \]
Declare the domain to be every real number
Why: The leftover rule is a polynomial, and polynomials accept everything, so it looks completely safe.
\[ (-\infty, \infty) \quad \text{(wrong)} \]
But the inner machine never accepted negative three
Why: Substituting negative three into the inner rule divides by zero. The first machine breaks before the second one ever gets a turn.
Check the inner function's domain before simplifying anything.
\[ x + 3 = 0 \implies x = -3 \;\text{ is rejected by the inner rule} \]
Check gate two as well
Why: The outer rule divides by its input, so the inner output may not be zero. But one divided by a quantity is never zero, so gate two removes nothing here.
\[ \frac{1}{x+3} \ne 0 \quad \text{for every legal } x \]
Now simplify, and carry the restriction along with the answer
Why: Simplifying changes how the rule looks. It cannot hand the function a value the function never had.
\[ (f \circ g)(x) = x + 3, \qquad x \ne -3 \]
State the domain as a union of intervals
Why: The graph is that straight line, but with a hole punched out where the inner machine failed.
\[ (-\infty, -3) \cup (-3, \infty) \]
Translation
\( x + 3 = 0 \implies x = -3 \;\text{ is rejected by the inner rule} \)
Draw it
Translate both ways. First write the expression above as a sentence with no symbols in it at all. Then cover it, and write your sentence back as notation. If the two versions disagree, the disagreement is the thing to fix.
Ranking
Put in order
Put the moves of Worked example: a composite hiding two restrictions into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. Wherever the outer rule refers to its input, write the entire inner rule instead.
Worked example
Find the composite and its full domain. Both machines are fractions, so watch both gates.
\[ f(x) = \frac{1}{x - 1} \qquad g(x) = \frac{2}{x} \]
Substitute the inner rule into the outer rule
Why: Wherever the outer rule refers to its input, write the entire inner rule instead.
\[ (f \circ g)(x) = \frac{1}{\;\frac{2}{x} - 1\;} \]
Clear the little fraction by multiplying top and bottom by the inner denominator
Why: Multiplying a complex fraction above and below by the same nonzero quantity is multiplying by one, and it flattens the expression into a single fraction.
\[ = \frac{1 \cdot x}{\left(\frac{2}{x} - 1\right)x} = \frac{x}{2 - x} \]
Gate one: the inner function rejects zero
Why: The inner rule divides by its input, so zero never gets through the first door. Notice the simplified formula has completely hidden this.
\[ x \ne 0 \]
Gate two: the outer function rejects an input of one
Why: The outer rule divides by one less than its input. Set the inner output equal to one and solve to see which original input causes trouble.
\[ \frac{2}{x} = 1 \implies x = 2, \;\text{ so } x \ne 2 \]
Write the domain as three intervals
Why: Two punctures on the real line leave three open pieces, joined by unions.
\[ (-\infty, 0) \cup (0, 2) \cup (2, \infty) \]
Verify at a legal input and at both excluded ones
Why: At three the inner gives two thirds, and the outer gives one over negative one third, which is negative three. The simplified rule gives three over negative one, also negative three. At zero the inner machine breaks; at two the inner returns one, which the outer machine refuses.
| input | inner output | composite output |
|---|---|---|
| 3 | 2/3 | -3 |
| 0 | undefined | undefined |
| 2 | 1 | undefined |
Picture it
Animation
Shows: Each line of the worked example "a composite hiding two restrictions", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: At three the inner gives two thirds, and the outer gives one over negative one third, which is negative three. The simplified rule gives three over negative one, also negative three. At zero the inner machine breaks; at two the inner returns one, which the outer machine refuses.
Pattern
Six moves, in this order, every single time.
Prediction
Predict first
What is the domain of the composite f of g of x?
Answer it in your own words, now, with nothing to choose from. The options are on the next slide — and picking the right one off a list is an easier skill than producing it.
Correct: [0, 25) union (25, infinity)
Why: The composite is 1 divided by the quantity (square root of x, minus 5). Gate one: the square root needs x greater than or equal to 0. Gate two: the outer rule fails when the square root equals 5, which happens at x = 25. So keep the ray from 0 up and puncture it at 25.
Check
Build the composite, then check both gates before you answer.
\[ f(x) = \frac{1}{x - 5} \qquad g(x) = \sqrt{x} \]
Check your understanding
What is the domain of the composite f of g of x?
Answer: A
Why: The composite is 1 divided by the quantity (square root of x, minus 5). Gate one: the square root needs x greater than or equal to 0. Gate two: the outer rule fails when the square root equals 5, which happens at x = 25. So keep the ray from 0 up and puncture it at 25.
Concept
Calculus will constantly ask you to look at a complicated function and see a simple one wrapped around another simple one.
decomposition — Given one complicated rule, naming an inner function and an outer function whose composition rebuilds it.
\[ h(x) = (f \circ g)(x) = f(g(x)) \]
There is usually more than one correct split. Any pair that genuinely rebuilds the original is a valid answer.
Intuition
Imagine typing the rule into a calculator for one specific input. Whatever you would compute first is the inner function.
Whatever you do last - the final square root, the final power, the final reciprocal - is the outer function.
In practice the inner piece is usually the expression sitting inside the parentheses, under the radical bar, or down in the denominator.
Hypothesis
Predict first
Worked example: decomposing a function is about to be worked. State your hypothesis first: which rule or definition decides this one, and what is the first move it forces? Then watch whether the example agrees with you.
Correct: Ask what you would compute first for a specific input
Why: You would work out three times the input plus seven before touching the exponent. That inside expression is the inner function.
A hypothesis you wrote down is falsifiable; a vague sense of how it will go is not. If the example opens somewhere else, that gap is the thing worth chasing.
Worked example
Write this single rule as a composition of two simpler functions.
\[ h(x) = (3x + 7)^5 \]
Ask what you would compute first for a specific input
Why: You would work out three times the input plus seven before touching the exponent. That inside expression is the inner function.
\[ g(x) = 3x + 7 \]
Ask what you would do last
Why: Once you have that number, the only job left is raising it to the fifth power. That final action is the outer function.
\[ f(x) = x^5 \]
Verify by composing the two pieces back together
Why: Substituting the inner rule into the outer rule rebuilds the original expression exactly, so the split is correct. Numerically, at the input one the inner gives ten and the outer gives one hundred thousand, which matches ten to the fifth power.
\[ f(g(x)) = (3x + 7)^5 = h(x) \]
Picture it
Animation
Shows: Breaking a function into pieces — a rendered Manim animation.
Rendered with Manim.
Takeaway: The skill calculus will need for the chain rule.
Check
Ask what you would compute first, and what you would do last.
\[ h(x) = \sqrt{5x - 2} \]
Check your understanding
Which pair of functions satisfies h(x) = f(g(x)) for this h?
Answer: A
Why: The inside expression 5x - 2 is what you compute first, so it is the inner function g. The last action is taking the square root, so the outer function f is the square root. Composing gives the square root of (5x - 2), which is exactly h.
Section
Part 3
Concept
Being a function means every input has exactly one output. Being one-to-one adds a second demand on top of that.
one-to-one function — A function in which different inputs always produce different outputs. No output value is ever produced by two different inputs.
Squaring fails the test: two and negative two both come back as four.
Cubing passes it: no two different numbers ever share a cube.
Matching
Match the pairs
Match each term to the definition this lesson gave it — not the one you would guess from the word.
Why: These are the working definitions of domain of a combination, composition, domain of a composite, decomposition, one-to-one function as Combining Functions, Composition, and Inverses uses them. Pairing them correctly is the test of whether you could state each one with the slide switched off.
Intuition
A function is a seating chart. Each ticket sends exactly one person to exactly one seat.
One-to-one means no seat is ever double-booked. Two different people never end up in the same chair.
Why does that matter? Because only then can you look at a seat and know for certain who was sitting in it. Being able to work backwards is the entire point of an inverse.
Picture it
Figure (svg): Two small graphs. On the left a parabola with a dashed horizontal line cutting it at two marked points, labelled not one-to-one. On the right a rising S-shaped curve with a dashed horizontal line cutting it once, labelled one-to-one.
Discussion prompt
Read the picture before the words. What is this showing, and what is the one thing it is built to make obvious? Commit to an answer, then read on.
Hint: Name the parts, then say what changes between them — and if nothing changes, say what is being held still.
Answer:
The vertical line test decides whether a graph is a function at all. A second test decides whether it is one-to-one.
Concept
The vertical line test decides whether a graph is a function at all. A second test decides whether it is one-to-one.
horizontal line test — If every horizontal line crosses the graph at most once, the function is one-to-one. Two crossings on one horizontal line means two inputs share an output.
Figure (svg): Two small graphs. On the left a parabola with a dashed horizontal line cutting it at two marked points, labelled not one-to-one. On the right a rising S-shaped curve with a dashed horizontal line cutting it once, labelled one-to-one.
Sorting
Sort into buckets
These are the pieces of Combining Functions, Composition, and Inverses, out of order. Put each one back under the part of the lesson it belongs to.
Picture it
Animation
Shows: Which functions have inverses — a rendered Manim animation.
Rendered with Manim.
Takeaway: This fails the horizontal line test, so it has no inverse without restricting the domain.
Worked example
Decide whether each rule is one-to-one, and back the answer with specific inputs.
\[ p(x) = x^2 - 4 \qquad q(x) = x^3 - 4 \]
Test the first rule by hunting for a repeated output
Why: Squaring destroys the sign, so opposite inputs are the natural place to look.
\[ p(3) = 5 \qquad p(-3) = 5 \]
Conclude the first rule is not one-to-one
Why: Two different inputs share one output, and a horizontal line drawn at five would cut that parabola in two places.
Test the second rule the same way
Why: Cubing keeps the sign, so opposite inputs land on opposite sides of the number line instead of on top of each other.
\[ q(3) = 23 \qquad q(-3) = -31 \]
Verify the second rule in general, not just at one pair
Why: Assume two inputs give the same output. The constants cancel, the cubes must be equal, and the only real number whose cube matches a given cube is that number itself. So the two inputs were never different, which is exactly the definition of one-to-one.
\[ a^3 - 4 = b^3 - 4 \implies a^3 = b^3 \implies a = b \]
Picture it
Animation
Shows: Composing, carefully — a rendered Manim animation.
Rendered with Manim.
Takeaway: Two different functions, from the same two pieces.
Commit first
Predict first
Which of these functions is one-to-one on its natural domain?
Commit to an answer, then rate it — certain, fairly sure, or guessing — and write the rating down before you turn the page.
Correct: h(x) = x^3 + 2
Why: Cubing preserves order, so the graph rises without ever turning around and every horizontal line meets it exactly once. If two cubes are equal then the two inputs are equal.
The rating matters as much as the answer: confident-and-wrong is the combination that survives revision, because nothing about it feels like it needs revisiting.
Check
Look for a pair of different inputs that would share an output. If you can find one, that rule is out.
Check your understanding
Which of these functions is one-to-one on its natural domain?
Answer: A
Why: Cubing preserves order, so the graph rises without ever turning around and every horizontal line meets it exactly once. If two cubes are equal then the two inputs are equal.
Concept
If a function takes an input and produces an output, its inverse takes that output and hands back the original input.
inverse function — The function that reverses another one: it sends every output of the original back to the exact input it came from.
Only a one-to-one function can have an inverse. If two inputs shared an output, the reverse machine would have no way to know which input to return.
Picture it
Animation
Shows: An inverse undoes the function — a rendered Manim animation.
Rendered with Manim.
Takeaway: Both compositions must give x back, or it is not an inverse.
Intuition
You put on socks, then shoes. To undo that you take off the shoes, then the socks.
Two things happened. Every step got reversed, and the steps happened in the opposite order.
That is exactly how an inverse works on a rule that multiplies and then adds: undo the adding first, then undo the multiplying.
Concept
The inverse of a function is written with a raised negative one placed after the function's name.
\[ f^{-1}(x) \]
This is the one place in all of algebra where that raised symbol is not an exponent. It does not mean one divided by the function.
\[ f^{-1}(x) \ne \frac{1}{f(x)} \]
The reciprocal of a function is a completely different object, and it gets written as an actual fraction.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Treat the raised negative one as an ordinary exponent and flip the rule over.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: A raised negative one on a number does mean flip it, so flipping the rule feels perfectly reasonable.
Ask what the rule actually does, then undo that action.
Why: A raised negative one on a number does mean flip it, so flipping the rule feels perfectly reasonable.
Trap
Treat the raised negative one as an ordinary exponent and flip the rule over.
\[ f(x) = x + 4 \]
Take the reciprocal of the whole rule
Why: A raised negative one on a number does mean flip it, so flipping the rule feels perfectly reasonable.
\[ f^{-1}(x) = \frac{1}{x + 4} \quad \text{(wrong)} \]
Test it, and watch it fail
Why: The original sends three to seven, so a genuine inverse has to send seven back to three. This one sends seven to one eleventh, which is nowhere near three.
\[ f(3) = 7, \qquad \frac{1}{7 + 4} = \frac{1}{11} \ne 3 \]
Ask what the rule actually does, then undo that action.
\[ f(x) = x + 4 \]
The rule adds four, so the inverse subtracts four
Why: There is one operation to undo, and undoing an addition means subtracting. Nothing gets flipped over.
\[ f^{-1}(x) = x - 4 \]
Test it on the same pair of numbers
Why: The original sends three to seven, and this inverse sends seven straight back to three.
\[ f(3) = 7, \qquad f^{-1}(7) = 7 - 4 = 3 \]
Confirm in both directions symbolically
Why: Composing either way returns the input completely untouched, which is the official definition of an inverse.
\[ f\big(f^{-1}(x)\big) = (x - 4) + 4 = x \qquad f^{-1}\big(f(x)\big) = (x + 4) - 4 = x \]
Notation
Annotate
From Trap: reading the inverse notation as a reciprocal — read this one piece at a time. What is each part doing?
On: \( f\big(f^{-1}(x)\big) = (x - 4) + 4 = x \qquad f^{-1}\big(f(x)\big) = (x + 4) - 4 = x \)
Concept
There is one official test for the question 'are these two functions inverses'. It is a composition test, and it has to pass in both directions.
\[ f\big(f^{-1}(x)\big) = x \qquad \text{and} \qquad f^{-1}\big(f(x)\big) = x \]
In words: run a value through the machine, then through the reverse machine, and you land exactly where you started.
Checking only one direction is not enough in general, so make both compositions part of your routine.
Step zero
Discussion prompt
Worked example: verifying a pair really are inverses — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Compose in the first direction
Answer:
Worked example
Show that these two functions undo each other.
\[ f(x) = x^3 + 1 \qquad g(x) = \sqrt[3]{x - 1} \]
Compose in the first direction
Why: Substitute the whole rule for g wherever the rule for f refers to its input.
\[ f\big(g(x)\big) = \left(\sqrt[3]{x - 1}\right)^3 + 1 \]
Cube the cube root
Why: Cubing undoes a cube root for every real number, with no absolute value bars needed, so only the radicand survives.
\[ f\big(g(x)\big) = (x - 1) + 1 = x \]
Compose in the other direction
Why: Now substitute the rule for f into the rule for g. Inside the radical the plus one and minus one cancel.
\[ g\big(f(x)\big) = \sqrt[3]{(x^3 + 1) - 1} = \sqrt[3]{x^3} \]
Simplify the cube root of a cube
Why: Odd roots keep the sign of the input, so this is simply the input back again.
\[ g\big(f(x)\big) = x \]
Verify numerically as well, at the input two
Why: The first function sends two to nine, and the second sends nine back to two, closing the loop. Both symbolic directions and the numeric round trip agree, so the two functions are inverses.
\[ f(2) = 2^3 + 1 = 9, \qquad g(9) = \sqrt[3]{8} = 2 \]
Picture it
Animation
Shows: Each line of the worked example "verifying a pair really are inverses", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: The first function sends two to nine, and the second sends nine back to two, closing the loop. Both symbolic directions and the numeric round trip agree, so the two functions are inverses.
Prediction
Predict first
For f(x) = 4x + 1, which function g satisfies the round-trip property in both directions?
Answer it in your own words, now, with nothing to choose from. The options are on the next slide — and picking the right one off a list is an easier skill than producing it.
Correct: g(x) = (x - 1)/4
Why: Composing gives f(g(x)) = 4 times (x - 1)/4, plus 1, which is (x - 1) + 1 = x, and g(f(x)) = ((4x + 1) - 1)/4 = 4x/4 = x. Both directions return the input, so these are inverses.
Check
Run the round trip on each candidate. Pick a convenient number and follow it out and back.
Check your understanding
For f(x) = 4x + 1, which function g satisfies the round-trip property in both directions?
Answer: A
Why: Composing gives f(g(x)) = 4 times (x - 1)/4, plus 1, which is (x - 1) + 1 = x, and g(f(x)) = ((4x + 1) - 1)/4 = 4x/4 = x. Both directions return the input, so these are inverses.
Concept
If the inverse sends outputs back to inputs, then its ordered pairs are the original's ordered pairs with the two coordinates traded.
That single observation is the whole algebra: trade the two letters, then solve for the new output.
\[ y = f(x) \;\longrightarrow\; x = f(y) \;\longrightarrow\; y = f^{-1}(x) \]
The swap is what turns the problem around. Without it you are only rearranging the original function.
Picture it
Animation
Shows: Finding an inverse — a rendered Manim animation.
Rendered with Manim.
Takeaway: Swap the variables, then solve for the new y.
Ranking
Put in order
These are the steps of Pattern: find an inverse in four moves, scrambled. Put them back in order before the next slide shows you.
Why: This is the order the recipe itself gives. Recalling the sequence without the slide in front of you is the difference between recognising the method and being able to run it — most of what goes wrong in practice is a step done out of turn.
Pattern
This recipe works for every invertible function in this course.
Then always run the round trip in both directions. It costs thirty seconds and it catches every sign error you were about to hand in.
Edge cases
Discussion prompt
Pattern: find an inverse in four moves works on the cases you have just seen. Push it to the edge: what is the most degenerate input it still handles — empty, zero, one item, everything equal — and what is the first case where it stops being true? Name the case, not just "it breaks".
Hint: Try the smallest legal input, then the largest, then the one where two things collide. Methods are specified at their edges; the middle takes care of itself.
Answer:
This recipe works for every invertible function in this course.
Fill the middle
Fill in the blanks
From Worked example: the inverse of a linear function — finish the line. Write what belongs on the right of the equals sign before you look.
f(x) = 3x - 7
Why: Producing the right-hand side unprompted is the difference between recognising this line and being able to use it. Nothing changes mathematically.
Worked example
Find the inverse of this function.
\[ f(x) = 3x - 7 \]
Replace the function name with the letter y
Why: Nothing changes mathematically. It just makes the two coordinates visible so they can be traded.
\[ y = 3x - 7 \]
Swap the two letters
Why: This is the move that reverses the machine: the old output is now the new input.
\[ x = 3y - 7 \]
Add seven to both sides
Why: Undo the subtraction first, because subtracting seven was the last thing done to y.
\[ x + 7 = 3y \]
Divide both sides by three
Why: Undo the multiplication second. The whole left side gets divided, so the sum stays inside one fraction bar.
\[ f^{-1}(x) = \frac{x + 7}{3} \]
Verify with the round trip in both directions
Why: Each composition collapses to the bare input, so this really is the inverse. Numerically, the original sends five to eight and the inverse sends eight back to five.
\[ f\big(f^{-1}(x)\big) = 3\!\left(\frac{x+7}{3}\right) - 7 = x \qquad f^{-1}\big(f(x)\big) = \frac{(3x-7)+7}{3} = x \]
Picture it
Animation
Shows: Each line of the worked example "the inverse of a linear function", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Each composition collapses to the bare input, so this really is the inverse. Numerically, the original sends five to eight and the inverse sends eight back to five.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Try to find the inverse without ever trading the letters.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: The equation already has y by itself, so it feels like the work is finished before it started.
Swap the letters first. That one move is what reverses the machine.
Why: The equation already has y by itself, so it feels like the work is finished before it started.
Trap
Try to find the inverse without ever trading the letters.
\[ f(x) = 3x - 7 \]
Write y equals the rule, then look around for something to solve
Why: The equation already has y by itself, so it feels like the work is finished before it started.
\[ y = 3x - 7 \]
Declare the inverse to be the same rule
Why: With no swap there was no reversal. This is the original function wearing a new name.
\[ f^{-1}(x) = 3x - 7 \quad \text{(wrong)} \]
The round trip fails badly
Why: Sending two through this so-called inverse gives negative one, and sending that through the original gives negative ten. A real inverse would have brought two back to two.
\[ 3(2) - 7 = -1, \qquad f(-1) = -10 \ne 2 \]
Swap the letters first. That one move is what reverses the machine.
\[ y = 3x - 7 \;\longrightarrow\; x = 3y - 7 \]
Now solve the swapped equation for y
Why: Add seven, then divide by three, undoing the operations in the reverse of the order they were applied.
\[ f^{-1}(x) = \frac{x + 7}{3} \]
The round trip closes
Why: Two goes into the inverse and comes out as three; three goes into the original and comes back as two.
\[ f^{-1}(2) = \frac{9}{3} = 3, \qquad f(3) = 2 \]
Check both directions symbolically to be certain
Why: Both compositions reduce to the input, so the swap-and-solve answer is genuinely the inverse.
\[ f\big(f^{-1}(x)\big) = x \qquad f^{-1}\big(f(x)\big) = x \]
Two truths and a lie
Sort into buckets
Some of these hold up and some are the exact mistakes this lesson is built to prevent. Sort them.
Missing information
Discussion prompt
Find the inverse and state the restriction on each function.
What do you need to know — or decide — before the first line can be written? List everything the problem has to hand you.
Hint: Anything you would have to invent to get started is a thing the problem must supply.
Answer:
The swap is what exchanges the roles of input and output, and it is the only step that makes this an inverse problem.
Worked example
Find the inverse and state the restriction on each function.
\[ f(x) = \frac{2x + 1}{x - 3}, \qquad x \ne 3 \]
Write y for the function name, then swap the letters
Why: The swap is what exchanges the roles of input and output, and it is the only step that makes this an inverse problem.
\[ y = \frac{2x+1}{x-3} \;\longrightarrow\; x = \frac{2y+1}{y-3} \]
Clear the fraction by multiplying both sides by the denominator
Why: On the domain that denominator is not zero, so multiplying by it is a legal, reversible move.
\[ x(y - 3) = 2y + 1 \]
Distribute, then gather every term containing y on one side
Why: Move the term with y to the left and the term without it to the right, so that y appears in exactly one place after factoring.
\[ xy - 3x = 2y + 1 \implies xy - 2y = 3x + 1 \]
Factor out y and divide
Why: Factoring is what lets you isolate a variable that shows up in two separate terms.
\[ y(x - 2) = 3x + 1 \implies y = \frac{3x + 1}{x - 2} \]
State the inverse and its restriction
Why: The new denominator is zero at two, and two is exactly the one value the original function could never output. Domain and range have traded places.
\[ f^{-1}(x) = \frac{3x + 1}{x - 2}, \qquad x \ne 2 \]
Verify with the round trip and with a number
Why: Both the numerator and the denominator of the composite pick up the same factor, and it cancels to leave x. Numerically the original sends five to eleven halves, and the inverse sends eleven halves back to five.
\[ f\big(f^{-1}(x)\big) = \frac{\frac{7x}{x-2}}{\frac{7}{x-2}} = x \qquad f(5) = \frac{11}{2}, \quad f^{-1}\!\left(\frac{11}{2}\right) = \frac{\frac{35}{2}}{\frac{7}{2}} = 5 \]
Picture it
Animation
Shows: An inverse is a reflection in y = x — a rendered Manim animation.
Rendered with Manim.
Takeaway: The graph and its inverse are mirror images across the diagonal.
Check
Swap the letters, clear the fraction, gather the y terms, and factor.
\[ f(x) = \frac{x}{x + 4} \]
Check your understanding
What is the inverse of this function?
Answer: A
Why: Swapping gives x = y/(y + 4), so x(y + 4) = y, then xy + 4x = y, then 4x = y - xy = y(1 - x), so y = 4x/(1 - x). Numeric check: f(2) = 2/6 = 1/3, and 4(1/3)/(1 - 1/3) = (4/3)/(2/3) = 2.
Concept
Every ordered pair of the original shows up in the inverse with its two coordinates swapped.
So the set of legal inputs and the set of achievable outputs swap jobs as well.
\[ \text{domain of } f^{-1} = \text{range of } f \qquad \text{range of } f^{-1} = \text{domain of } f \]
This is often the fastest route to the inverse's domain: read the original's range and you are done.
Picture it
Animation
Shows: Domain and range trade places — a rendered Manim animation.
Rendered with Manim.
Takeaway: Which follows immediately from swapping x and y.
Estimation
Predict first
Find the inverse, and state the domain of the original and of the inverse.
Commit before you compute: what does Worked example: a square root, its inverse, and both domains come out to? A rough magnitude and the right form is enough — the point is to have something concrete to be wrong about.
Correct: Verify both directions and one number
Why: A prediction you can defend turns the computation into a check rather than a leap of faith — and an answer that contradicts it is caught on the spot. Composing the inverse after the original squares the radical away and adds the two back, returning x for every input at least two.
Worked example
Find the inverse, and state the domain of the original and of the inverse.
\[ f(x) = \sqrt{x - 2} + 5 \]
Read off the original's domain and range first
Why: The radicand cannot be negative, so inputs start at two. The radical itself is never negative, so the smallest possible output is five.
\[ \text{domain } [2, \infty), \qquad \text{range } [5, \infty) \]
Write y for the function name and swap the letters
Why: The swap turns the question around from 'what comes out' to 'what went in'.
\[ x = \sqrt{y - 2} + 5 \]
Isolate the radical
Why: Subtract five, because adding five was the last operation the original performed.
\[ x - 5 = \sqrt{y - 2} \]
Square both sides, then solve for y
Why: Squaring undoes the square root, and adding two frees y. Squaring is safe here because the left side is not negative on the inverse's domain.
\[ (x - 5)^2 = y - 2 \implies y = (x - 5)^2 + 2 \]
State the inverse with the domain inherited from the original's range
Why: The inverse only accepts numbers the original can actually produce, so its domain starts at five. Without that restriction the full parabola would fail the horizontal line test.
\[ f^{-1}(x) = (x - 5)^2 + 2, \qquad x \ge 5 \]
Verify both directions and one number
Why: Composing the inverse after the original squares the radical away and adds the two back, returning x for every input at least two. Composing the other way gives the square root of a square whose base is not negative, which is x again for every input at least five. Numerically, six goes to seven and seven comes back to six.
| direction | what happens | result |
|---|---|---|
| inverse after original | the radical gets squared away, then 2 is added back | x, for inputs from 2 up |
| original after inverse | square root of a square with a non-negative base | x, for inputs from 5 up |
| numeric round trip | f of 6 is 7, then the inverse of 7 is 6 | closes |
Concept
Swapping every coordinate pair has a picture attached to it: the graph gets reflected across the diagonal line where the two coordinates are equal.
\[ y = x \]
Figure (svg): A rising curve and its mirror image reflected across a dashed diagonal line representing y equals x.
So if you can sketch the original, you can sketch the inverse without doing any algebra at all.
Explain it
Discussion prompt
Explain The two graphs are mirror images to a student a year behind you. No notation, no jargon they have not met — and it still has to be true.
Hint: If your explanation needs a symbol they have never seen, you are describing the notation rather than the idea.
Answer:
Swapping every coordinate pair has a picture attached to it: the graph gets reflected across the diagonal line where the two coordinates are equal.
Concept
Plenty of useful functions fail the horizontal line test. Squaring is the standard offender.
The repair is to throw away part of the domain, keeping only a stretch on which the function never repeats an output.
That is exactly why the square root is defined as the principal root. It is the inverse of squaring restricted to the non-negative inputs.
Analogy
Discussion prompt
Explain Restricting the domain to force one-to-one by analogy to something with no College Algebra in it at all — a queue, a recipe, a map, a bank balance, whatever fits. Then say where your analogy breaks.
Hint: An analogy that never breaks is not an analogy, it is the same idea wearing a hat. Find the seam — that is the part that is actually new.
Answer:
Plenty of useful functions fail the horizontal line test. Squaring is the standard offender.
Picture it
Animation
Shows: The domain of a composition — a rendered Manim animation.
Rendered with Manim.
Takeaway: Both conditions, not just the outer one.
Step zero
Discussion prompt
Worked example: inverting a parabola on a restricted domain — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Check that the restriction really makes it one-to-one
Answer:
Worked example
Find the inverse of this function on the restricted domain given with it.
\[ f(x) = (x - 3)^2, \qquad x \ge 3 \]
Check that the restriction really makes it one-to-one
Why: From three upward the graph is only the right-hand half of the parabola, which climbs steadily and never revisits an output. Without the restriction, three plus a number and three minus that same number would share an output.
Write y for the function name and swap the letters
Why: Same first move as always. The swap is what reverses the roles of input and output.
\[ x = (y - 3)^2 \]
Take the square root of both sides and choose the sign
Why: The square root of a square is the absolute value of the base. But the restriction guarantees y is at least three, so the base is not negative and the positive root is the correct one.
\[ \sqrt{x} = \left| y - 3 \right| = y - 3 \]
Solve for y and state the inverse's domain
Why: Add three to isolate y. The inverse's domain is the original's range, and squares are never negative, so the range started at zero.
\[ f^{-1}(x) = \sqrt{x} + 3, \qquad x \ge 0 \]
Verify both round trips and one number
Why: Going through the original and back gives the absolute value of three less than the input, plus three, which is the input itself for every input at least three. The other direction cancels the plus three against the minus three before squaring. Numerically, seven goes to sixteen and sixteen comes back to seven.
\[ f^{-1}\big(f(x)\big) = \sqrt{(x-3)^2} + 3 = \left| x - 3 \right| + 3 = x \quad (x \ge 3) \]
\[ f\big(f^{-1}(x)\big) = \left(\sqrt{x} + 3 - 3\right)^2 = x \quad (x \ge 0), \qquad f(7) = 16, \; f^{-1}(16) = 7 \]
Picture it
Animation
Shows: Each line of the worked example "inverting a parabola on a restricted domain", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: From three upward the graph is only the right-hand half of the parabola, which climbs steadily and never revisits an output. Without the restriction, three plus a number and three minus that same number would share an output.
Concept
A formula usually answers one direction of a question. Its inverse answers the other direction.
A conversion formula turns one unit into another, and its inverse converts back. A cost formula turns a quantity into dollars, and its inverse turns a budget into a quantity.
Watch the letters and the units. The inverse's input is the original's output, so what the variable measures changes too.
Counterexample
Discussion prompt
A formula usually answers one direction of a question. Its inverse answers the other direction.
That is stated as though it always holds. Do one of two things: produce a case where it fails, or say precisely what rules such a case out. "It just does" is not on the menu.
Hint: Hunt at the extremes first — zero, one, negative, empty, equal. If every extreme survives, the reason they survive is the proof.
Answer:
A conversion formula turns one unit into another, and its inverse converts back. A cost formula turns a quantity into dollars, and its inverse turns a budget into a quantity.
Ranking
Put in order
Put the moves of Worked example: a conversion formula, run backwards into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. Here the input is a Fahrenheit reading and the output is a Celsius reading, so the inverse must accept Celsius and return Fahrenheit.
Worked example
This formula converts a Fahrenheit temperature into a Celsius temperature. Build the formula that goes the other way.
\[ C = \frac{5}{9}(F - 32) \]
Name the input and the output before touching the algebra
Why: Here the input is a Fahrenheit reading and the output is a Celsius reading, so the inverse must accept Celsius and return Fahrenheit.
Undo the multiplication by five ninths
Why: Multiply both sides by the reciprocal, nine fifths, which clears the fraction on the right.
\[ \frac{9}{5}C = F - 32 \]
Undo the subtraction
Why: Add thirty-two to both sides to leave the Fahrenheit reading alone.
\[ F = \frac{9}{5}C + 32 \]
Verify by round-tripping a temperature you already know
Why: Water boils at 212 degrees Fahrenheit. The original formula gives five ninths of 180, which is 100 degrees Celsius. The new formula sends 100 back to nine fifths of 100, plus 32, which is 212. The loop closes, so the inverse is correct.
| direction | computation | result |
|---|---|---|
| Fahrenheit into Celsius | five ninths of (212 minus 32) | 100 degrees C |
| Celsius back into Fahrenheit | nine fifths of 100, plus 32 | 212 degrees F |
Picture it
Animation
Shows: Each line of the worked example "a conversion formula, run backwards", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Water boils at 212 degrees Fahrenheit. The original formula gives five ninths of 180, which is 100 degrees Celsius. The new formula sends 100 back to nine fifths of 100, plus 32, which is 212. The loop closes, so the inverse is correct.
Elimination
Eliminate the wrong options
Which formula gives the number of minutes used from a known bill?
3 of these 4 are wrong. Strike them one at a time, and say what rules each one out before you strike the next. The survivor is the answer.
Survives elimination: A
Why: Subtract the 20 dollar flat fee first, then divide by 0.05, which is the same as multiplying by 20. Check a bill of 35 dollars: 20 times 15 is 300 minutes, and 0.05 times 300 plus 20 gives 35 dollars back.
Check
A phone plan charges a flat 20 dollars per month plus 5 cents per minute of calling. This formula gives the monthly bill from the number of minutes used.
\[ c(m) = 0.05m + 20 \]
Check your understanding
Which formula gives the number of minutes used from a known bill?
Answer: A
Why: Subtract the 20 dollar flat fee first, then divide by 0.05, which is the same as multiplying by 20. Check a bill of 35 dollars: 20 times 15 is 300 minutes, and 0.05 times 300 plus 20 gives 35 dollars back.
Constraint
Discussion prompt
Run Pattern: the whole toolkit on one page with this step confiscated:
Composing: substitute the inner rule into the outer rule, then simplify; check both domain gates.
Is it still possible? If it is, say what takes its place and what it costs you. If it is not, say exactly what that step was providing that nothing else does.
Hint: A step you can drop for free was never load-bearing. If you cannot drop it, name the thing that goes wrong the moment it is gone.
Answer:
Pattern
Everything in this deck, in the order you would use it on a test.
Real world
Discussion prompt
Outside this lesson: where does Combining Functions, Composition, and Inverses actually turn up? Name one concrete situation — a job, a piece of software someone ships, a decision somebody has to make — and say which part of Pattern: the whole toolkit on one page is doing the work in it.
Hint: Vague is the failure mode here. "Engineering" is not a situation; "deciding whether this build is fast enough to ship" is.
Answer:
That deck covers adding, subtracting, multiplying, and dividing functions, and the domain of each result. It then works through composition from the inside out, why composition is not commutative, the domain restrictions it hides, and decomposition, before moving on to one-to-one functions, the horizontal line test, and finding inverses by swapping and solving. It targets reading the inverse notation as a reciprocal, composing in the wrong order, reading a composite's domain off the simplified form, and undoing only part of the rule.
Connect it up
Draw it
One page, no notation unless you need it: draw how these connect — Combining Two Functions · Composition: Machines in Series · One-to-One and Inverse Functions. Put an arrow wherever one of them is what makes another possible, and label the arrow with why.
Recap
You can now take two functions apart and put them back together in every way this course asks for.
| If you see this | Do this |
|---|---|
| a quotient of two functions | exclude every input where the ORIGINAL bottom is zero |
| a composition | work from the inside out, and check both domain gates |
| the raised negative one on a function name | read it as inverse, never as a reciprocal |
| a claim that two functions are inverses | compose both ways and confirm you get the input back |
| a function that fails the horizontal line test | restrict the domain, then invert the restricted piece |
Want this taught 1-on-1? Alexander tutors College Algebra — $55/session, free consultation.