Combining Functions, Composition, and Inverses

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

What this lesson covers

The lesson, slide by slide

1. Composition and Inverse Functions

Title

College Algebra - Deck 13

Feed one machine into the next. Then learn to run the whole thing backwards.

2. What you will be able to do

Objectives

By the end of this deck you can:

  1. Add, subtract, multiply, and divide two functions and state the domain of the result.
  2. Evaluate a composition at a number and build the general composite expression.
  1. Find the domain of a composite, including the restrictions the simplified form hides.
  2. Break a complicated function into an inner and an outer piece.
  1. Decide whether a function is one-to-one with the horizontal line test.
  2. Find an inverse by swapping and solving, and prove it is the inverse with the round-trip composition both ways.

3. What survived from Quadratic Functions, Parabolas, and Optimization?

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.

4. Combining Two Functions

Section

Part 1

5. Two functions, one input

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) \]

6. Break it if you can: Two functions, one input

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.

7. Two vending machines, one dollar

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.

8. By analogy: Two vending machines, one dollar

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.

9. The four combinations

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.

10. Teach it back: The four combinations

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.

11. What has to happen first: Worked example: a sum and a difference

Ranking

Put in order

Put the moves of Worked example: a sum and a difference into the order they have to happen.

  1. Write the sum as the two rules added
  2. Drop the parentheses and combine like terms
  3. For the difference, subtract the whole second rule
  4. Combine like terms
  5. Verify at the test input five

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.

12. Worked example: a sum and a difference

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.

quantitythe long waythe new rule
sum at five16 + 2 = 1825 + 5 - 12 = 18
difference at five16 - 2 = 1425 - 5 - 6 = 14

13. The domain of a sum, difference, or product

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) \]

14. Restricting to make it invertible

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.

15. Plan first: Worked example: the product

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:

  1. Write the product as the two rules multiplied
  2. Distribute every term of the first factor over the second
  3. State the domain
  4. Verify at the test input five

16. Worked example: the product

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 \]

17. the product — line by line

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.

18. The quotient carries one extra restriction

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.

19. Guess the shape of the answer: Worked example: the quotient and its domain

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.

20. Worked example: the quotient and its domain

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.

inputoriginal quotientsimplified rule
516 / 2 = 85 + 3 = 8
0-9 / -3 = 30 + 3 = 3
30 / 0 undefined3 + 3 = 6 (not allowed)

21. the quotient and its domain — line by line

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.

22. Something is wrong here: reading the domain off the simplified quotient

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.

23. Trap: reading the domain off the simplified quotient

Trap

The 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.

The fix

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) \]

24. Decode the notation: Trap: reading the domain off the simplified quotient

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 \)

  • The leftover rule is a polynomial, and polynomials accept everything - so it looks safe.
  • Substituting three into the original quotient gives zero over zero. A function cannot have a value there, so three was never in the domain.
  • Cancelling changes the way the rule looks, but it cannot give the function a value it never had.

25. Rebuild the recipe: Pattern: combining two functions

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.

  1. Write out both rules in parentheses, then apply the operation.
  2. For a difference, distribute the minus sign over every term of the second rule.
  3. Simplify.

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.

26. Pattern: combining two functions

Pattern

The same four-step recipe works for all four operations.

  1. Write out both rules in parentheses, then apply the operation.
  2. For a difference, distribute the minus sign over every term of the second rule.
  3. Simplify.
  1. Domain: start with the inputs both original functions accept.
  2. For a quotient only, also throw out every input where the original bottom function equals zero.
  3. Test one legal input both ways to confirm.

27. Rule out three: Check yourself: the domain of a quotient

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.

  • A. All real numbers except 1 and 3
  • B. All real numbers except 3
  • C. All real numbers except 1 and -1
  • D. All real numbers

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.

28. Check yourself: the domain of a quotient

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?

  • A. All real numbers except 1 and 3 (correct)
  • B. All real numbers except 3
  • C. All real numbers except 1 and -1
  • D. All real numbers

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.

Why B tempts people
Simplified first: the (x - 1) factors cancel, leaving (x + 1)/(x - 3), and then the restriction at x = 1 was forgotten. A cancelled factor still excludes its value.
Why C tempts people
Used the zeros of the numerator instead of the denominator. A zero on top is a legal input - it just makes the output zero.
Why D tempts people
Treated the quotient like a sum or product, which has no extra restriction. Division adds the rule that the bottom cannot be zero.

29. Composition: Machines in Series

Section

Part 2

30. Composition: the output becomes the next input

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.

31. Take the definitions apart: domain of a combination vs composition

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.

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.
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.
b1
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.
b2
Applying one function to the result of another. The inner function runs first, and whatever it returns becomes the input of the outer function.

32. An assembly line

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.

33. The notation

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.

34. The notation trap

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.

35. Inside out, always

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.

36. What has to be given first: Worked example: a composition at a number

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.

37. Worked example: a composition at a number

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.

stageinputoutput
inner function g21
outer function f13

38. a composition at a number — line by line

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.

39. Something is wrong here: composing in the wrong order

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.

40. Trap: composing in the wrong order

Trap

The 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 fix

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.

compositemeaningvalue at two
f after grun g, then f3
g after frun f, then g22

41. Fill in: value at two for Trap: composing in the wrong order

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.

compositemeaningvalue at two
f after grun g, then f3
g after frun f, then g22

42. Composition is not commutative

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.

43. See it: composition is not commutative

Picture it

Animation

Shows: Composition is not commutative — a rendered Manim animation.

Rendered with Manim.

Takeaway: Read from the inside out, always.

44. Complete the line: Worked example: building the general composite rule

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.

45. Worked example: building the general composite rule

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)} \]

46. building the general composite rule — line by line

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.

47. Plan first: Worked example: the other order, a different rule

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:

  1. Write the outer rule, which is now g, with a blank
  2. Drop the whole rule for f into the blank
  3. Expand the square, including the middle term
  4. Combine the constants
  5. Verify at the input two and compare the two orders

48. Worked example: the other order, a different rule

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.

compositerulevalue at two
f after g2 times x squared, minus 53
g after f4 times x squared, plus 4x, minus 222

49. the other order, a different rule — line by line

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.

50. Predict the next row: Worked example: composing from a table

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

xf(x)g(x)
134
213
341
422

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.

51. Worked example: composing from a table

Worked example

Sometimes you never see a formula, only a table of values. The method does not change.

xf(x)g(x)
134
213
341
422

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.

xf after gg after f
121
244
332
413

52. composing from a table — line by line

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.

53. Check yourself: evaluate a composition

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?

  • A. 5 (correct)
  • B. 11
  • C. 10
  • D. 7

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.

Why B tempts people
Composed in the wrong order: computed f(2) = 5 first, then g(5) = 3(5) - 4 = 11. That is the other composite, g of f.
Why C tempts people
Multiplied the two separate outputs, f(2) = 5 times g(2) = 2, giving 10. The composition circle is not a multiplication dot.
Why D tempts people
Added the two separate outputs, f(2) = 5 plus g(2) = 2, giving 7. That is the sum function evaluated at 2, not the composite.

54. The domain of a composite: two gates

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.

55. Two doors, two doormen

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.

56. Guess the shape of the answer: Worked example: a composite domain, both…

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.

57. Worked example: a composite domain, both gates

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.

inputinner outputcomposite output
42-1
00-1/3
93undefined

58. a composite domain, both gates — line by line

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.

59. Something is wrong here: reading a composite's domain off the simplified rule

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.

60. Trap: reading a composite's domain off the simplified rule

Trap

The 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.

The fix

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) \]

61. Say it in words: Trap: reading a composite's domain off the…

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.

62. What has to happen first: Worked example: a composite hiding two restrictions

Ranking

Put in order

Put the moves of Worked example: a composite hiding two restrictions into the order they have to happen.

  1. Substitute the inner rule into the outer rule
  2. Clear the little fraction by multiplying top and bottom by the inner denominator
  3. Gate one: the inner function rejects zero
  4. Gate two: the outer function rejects an input of one
  5. Write the domain as three intervals
  6. Verify at a legal input and at both excluded ones

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.

63. Worked example: a composite hiding two restrictions

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.

inputinner outputcomposite output
32/3-3
0undefinedundefined
21undefined

64. a composite hiding two restrictions — line by line

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.

65. Pattern: build a composite and its domain

Pattern

Six moves, in this order, every single time.

  1. Write the outer rule with a blank in place of its input.
  2. Drop the entire inner rule into every blank, wrapped in parentheses.
  3. Simplify only after the substitution is complete.
  1. Gate one: list every input the inner function rejects.
  2. Gate two: find every input whose inner output the outer function rejects.
  3. The domain is gate one minus gate two, written in interval notation, and never read off the simplified rule.

66. Answer it before you see the options: Check yourself: the domain of a…

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.

67. Check yourself: the domain of a composite

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?

  • A. [0, 25) union (25, infinity) (correct)
  • B. [0, infinity)
  • C. (-infinity, 25) union (25, infinity)
  • D. [0, 5) union (5, infinity)

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.

Why B tempts people
Only checked gate one. The inner square root is happy at x = 25, but the outer rule then divides by zero, so 25 must still be removed.
Why C tempts people
Only checked gate two. The outer rule's restriction was found, but the square root still refuses every negative input, so the domain cannot include negatives.
Why D tempts people
Solved the gate-two equation without squaring: set the square root of x equal to 5 and reported x = 5 instead of x = 25. At x = 5 the square root is about 2.24, which the outer rule accepts fine.

68. Decomposition: composition run backwards

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.

69. What would you punch in first?

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.

70. State the rule before it runs: Worked example: decomposing a function

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.

71. Worked example: decomposing a function

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) \]

72. Breaking a function into pieces

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.

73. Check yourself: decomposition

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?

  • A. f(x) = sqrt(x) and g(x) = 5x - 2 (correct)
  • B. f(x) = 5x - 2 and g(x) = sqrt(x)
  • C. f(x) = sqrt(x) - 2 and g(x) = 5x
  • D. f(x) = sqrt(5x) and g(x) = x - 2

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.

Why B tempts people
Reversed the roles: this composition gives 5 times the square root of x, minus 2, which is a different function entirely.
Why C tempts people
Put the subtraction in the outer rule. This composes to the square root of 5x, then subtracts 2, leaving the 2 outside the radical instead of inside.
Why D tempts people
Composes to the square root of 5 times the quantity x minus 2, which expands to the square root of 5x - 10, not 5x - 2.

74. One-to-One and Inverse Functions

Section

Part 3

75. One-to-one: no output is ever reused

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.

76. Term to definition: Combining Functions, Composition, and Inverses

Matching

Match the pairs

Match each term to the definition this lesson gave it — not the one you would guess from the word.

  • t1. domain of a combination
  • t2. composition
  • t3. domain of a composite
  • t4. decomposition
  • t5. one-to-one function
  • d1. 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.
  • d2. Applying one function to the result of another. The inner function runs first, and whatever it returns becomes the input of the outer function.
  • d3. Every input the inner function accepts, minus the inputs whose inner output the outer function would reject.
  • d4. Given one complicated rule, naming an inner function and an outer function whose composition rebuilds it.
  • d5. A function in which different inputs always produce different outputs. No output value is ever produced by two different inputs.

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.

77. Every seat has exactly one ticket holder

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.

78. Picture it first: The horizontal line test

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.

The dashed line is the test. Count how many times it meets the curve.

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.

79. The horizontal line test

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.

The dashed line is the test. Count how many times it meets the curve.

80. Where does each piece belong: Combining Functions, Composition, and…

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.

Combining Two Functions
Two functions, one input; Two vending machines, one dollar; The four combinations
Composition: Machines in Series
Composition: the output becomes the next input; An assembly line; The notation
One-to-One and Inverse Functions
One-to-one: no output is ever reused; Every seat has exactly one ticket holder; The horizontal line test
s1
Combining Two Functions is where Combining Functions, Composition, and Inverses puts Two functions, one input, Two vending machines, one dollar, The four combinations. Knowing which part of the lesson a problem belongs to is most of knowing which method to reach for.
s2
Composition: Machines in Series is where Combining Functions, Composition, and Inverses puts Composition: the output becomes the next input, An assembly line, The notation. Knowing which part of the lesson a problem belongs to is most of knowing which method to reach for.
s3
One-to-One and Inverse Functions is where Combining Functions, Composition, and Inverses puts One-to-one: no output is ever reused, Every seat has exactly one ticket holder, The horizontal line test. Knowing which part of the lesson a problem belongs to is most of knowing which method to reach for.

81. Which functions have inverses

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.

82. Worked example: is it one-to-one?

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 \]

83. Composing, carefully

Picture it

Animation

Shows: Composing, carefully — a rendered Manim animation.

Rendered with Manim.

Takeaway: Two different functions, from the same two pieces.

84. How sure are you: Check yourself: which one is one-to-one?

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.

85. Check yourself: which one is one-to-one?

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?

  • A. h(x) = x^3 + 2 (correct)
  • B. h(x) = x^2 + 2
  • C. h(x) = |x - 4|
  • D. h(x) = x^4

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.

Why B tempts people
Squaring makes opposite inputs agree: h(1) and h(-1) are both 3, so a horizontal line at 3 cuts the parabola twice.
Why C tempts people
Absolute value folds the number line at 4: h(3) and h(5) are both 1, so two different inputs share an output.
Why D tempts people
A fourth power also erases the sign: h(2) and h(-2) are both 16, so the graph fails the horizontal line test.

86. An inverse undoes the original

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.

87. An inverse undoes the function

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.

88. Socks, shoes, and undoing them

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.

89. The notation, and the warning that goes with it

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.

90. Something is wrong here: reading the inverse notation as a reciprocal

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.

91. Trap: reading the inverse notation as a reciprocal

Trap

The 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 \]

The fix

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 \]

92. Decode the notation: Trap: reading the inverse notation as a reciprocal

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 \)

  • A raised negative one on a number does mean flip it, so flipping the rule feels perfectly reasonable.
  • 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.
  • There is one operation to undo, and undoing an addition means subtracting. Nothing gets flipped over.

93. The round-trip property

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.

94. Plan first: Worked example: verifying a pair really are inverses

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:

  1. Compose in the first direction
  2. Cube the cube root
  3. Compose in the other direction
  4. Simplify the cube root of a cube
  5. Verify numerically as well, at the input two

95. Worked example: verifying a pair really are inverses

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 \]

96. verifying a pair really are inverses — line by line

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.

97. Answer it before you see the options: Check yourself: which pair 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.

98. Check yourself: which pair 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?

  • A. g(x) = (x - 1)/4 (correct)
  • B. g(x) = 1/(4x + 1)
  • C. g(x) = (x + 1)/4
  • D. g(x) = 4x - 1

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.

Why B tempts people
Read the inverse notation as a reciprocal. Check it: f(1) = 5, but this rule sends 5 to 1/21, not back to 1.
Why C tempts people
Undid the added 1 with the wrong sign. Check it: f(1) = 5, and this rule sends 5 to 6/4, not back to 1.
Why D tempts people
Negated the constant but left the multiplication by 4 in place instead of undoing it. Check it: f(1) = 5, and this rule sends 5 to 19.

99. Finding an inverse: swap, then solve

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.

100. Finding an inverse

Picture it

Animation

Shows: Finding an inverse — a rendered Manim animation.

Rendered with Manim.

Takeaway: Swap the variables, then solve for the new y.

101. Rebuild the recipe: Pattern: find an inverse in four moves

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.

  1. Replace the function name with the letter y.
  2. Swap every x and every y.
  3. Solve the new equation for y, undoing the operations in reverse order.
  4. Rename the result as the inverse function, and state its domain.

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.

102. Pattern: find an inverse in four moves

Pattern

This recipe works for every invertible function in this course.

  1. Replace the function name with the letter y.
  2. Swap every x and every y.
  3. Solve the new equation for y, undoing the operations in reverse order.
  4. Rename the result as the inverse function, and state its domain.

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.

103. Where does it stop working: Pattern: find an inverse in four moves

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.

104. Complete the line: Worked example: the inverse of a linear function

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.

105. Worked example: the inverse of a linear function

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 \]

106. the inverse of a linear function — line by line

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.

107. Something is wrong here: skipping the swap

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.

108. Trap: skipping the swap

Trap

The 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 \]

The fix

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 \]

109. Which of these survive contact with Combining Functions, Composition, and…?

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.

Holds up
You already add, subtract, multiply, and divide numbers. You can do all four to functions too.; Picture two vending machines standing side by side. You put the same dollar amount into each one.; Read every one of these left to right as an instruction: evaluate both functions, then combine.
Breaks
Simplify first, then read the domain from what is left.; Evaluate the composite at two, starting with whichever function's letter you read first.
sound
These are stated as this lesson states them — each one survives the edge cases Combining Functions, Composition, and Inverses puts it through.
flawed
Each of these is lifted from a trap in this deck: reasonable-sounding, and wrong in a way that only shows up once you rely on it.

110. What has to be given first: Worked example: the inverse of a rational…

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.

111. Worked example: the inverse of a rational function

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 \]

112. An inverse is a reflection in y = x

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.

113. Check yourself: find the inverse

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?

  • A. f inverse of x = 4x/(1 - x) (correct)
  • B. f inverse of x = (x + 4)/x
  • C. f inverse of x = (1 - x)/(4x)
  • D. f inverse of x = 4x/(x - 1)

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.

Why B tempts people
Turned the original fraction upside down instead of swapping the letters and solving. That is the reciprocal of f, not its inverse.
Why C tempts people
Took the reciprocal of the correct answer, treating the raised negative one in the notation as an exponent.
Why D tempts people
Sign slip when factoring: wrote y(x - 1) instead of y(1 - x) after moving xy across, which flips the sign of the whole answer.

114. Domain and range trade places

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.

115. See it: domain and range trade places

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.

116. Guess the shape of the answer: Worked example: a square root, its inverse…

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.

117. Worked example: a square root, its inverse, and both domains

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.

directionwhat happensresult
inverse after originalthe radical gets squared away, then 2 is added backx, for inputs from 2 up
original after inversesquare root of a square with a non-negative basex, for inputs from 5 up
numeric round tripf of 6 is 7, then the inverse of 7 is 6closes

118. The two graphs are mirror images

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.

Fold the page along the diagonal and the two curves land on each other.

So if you can sketch the original, you can sketch the inverse without doing any algebra at all.

119. Teach it back: The two graphs are mirror images

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.

120. Restricting the domain to force one-to-one

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.

121. By analogy: Restricting the domain to force one-to-one

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.

122. The domain of a composition

Picture it

Animation

Shows: The domain of a composition — a rendered Manim animation.

Rendered with Manim.

Takeaway: Both conditions, not just the outer one.

123. Plan first: Worked example: inverting a parabola on a restricted domain

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:

  1. Check that the restriction really makes it one-to-one
  2. Write y for the function name and swap the letters
  3. Take the square root of both sides and choose the sign
  4. Solve for y and state the inverse's domain
  5. Verify both round trips and one number

124. Worked example: inverting a parabola on a restricted domain

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 \]

125. inverting a parabola on a restricted domain — line by line

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.

126. Inverses in context: run the formula backwards

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.

127. Break it if you can: Inverses in context: run the formula backwards

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.

128. What has to happen first: Worked example: a conversion formula, run backwards

Ranking

Put in order

Put the moves of Worked example: a conversion formula, run backwards into the order they have to happen.

  1. Name the input and the output before touching the algebra
  2. Undo the multiplication by five ninths
  3. Undo the subtraction
  4. Verify by round-tripping a temperature you already know

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.

129. Worked example: a conversion formula, run backwards

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.

directioncomputationresult
Fahrenheit into Celsiusfive ninths of (212 minus 32)100 degrees C
Celsius back into Fahrenheitnine fifths of 100, plus 32212 degrees F

130. a conversion formula, run backwards — line by line

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.

131. Rule out three: Check yourself: an inverse in context

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.

  • A. m = 20(c - 20)
  • B. m = 20c - 20
  • C. m = (c + 20)/0.05
  • D. m = 1/(0.05c + 20)

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.

132. Check yourself: an inverse in context

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?

  • A. m = 20(c - 20) (correct)
  • B. m = 20c - 20
  • C. m = (c + 20)/0.05
  • D. m = 1/(0.05c + 20)

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.

Why B tempts people
Divided by 0.05 before subtracting the flat fee, so the 20 dollar charge got scaled up too. A 35 dollar bill would give 680 minutes, which actually costs 54 dollars.
Why C tempts people
Added the flat fee instead of removing it. A 35 dollar bill would give 1100 minutes, which costs 75 dollars.
Why D tempts people
Read the inverse notation as a reciprocal and flipped the whole formula over. The result is a tiny fraction of a minute, which cannot be a number of minutes.

133. Without one step: Pattern: the whole toolkit on one page

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:

  1. Combining: apply the operation to both rules; the domain is the overlap of the two domains, plus the bottom-is-not-zero rule for a quotient.
  2. Composing: substitute the inner rule into the outer rule, then simplify; check both domain gates.
  3. Decomposing: the inner piece is whatever you would compute first.

134. Pattern: the whole toolkit on one page

Pattern

Everything in this deck, in the order you would use it on a test.

  1. Combining: apply the operation to both rules; the domain is the overlap of the two domains, plus the bottom-is-not-zero rule for a quotient.
  2. Composing: substitute the inner rule into the outer rule, then simplify; check both domain gates.
  3. Decomposing: the inner piece is whatever you would compute first.
  1. One-to-one: no output repeats, which is the horizontal line test.
  2. Inverse: swap the letters, solve for the new output, then state the domain from the original's range.
  3. Finish every inverse problem with the round trip in both directions.

135. Where this shows up: Combining Functions, Composition, and Inverses

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.

136. Connect it up: Combining Functions, Composition, and Inverses

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.

137. What you can do now

Recap

You can now take two functions apart and put them back together in every way this course asks for.

If you see thisDo this
a quotient of two functionsexclude every input where the ORIGINAL bottom is zero
a compositionwork from the inside out, and check both domain gates
the raised negative one on a function nameread it as inverse, never as a reciprocal
a claim that two functions are inversescompose both ways and confirm you get the input back
a function that fails the horizontal line testrestrict the domain, then invert the restricted piece

Sources

  1. OpenStax College Algebra 2e
  2. All algebra, compositions, inverses, and numeric results re-derived and verified by hand; every inverse checked with the round-trip composition in both directions. — Verified 2026-07-31.

Want this taught 1-on-1? Alexander tutors College Algebra — $55/session, free consultation.

Book on Wyzant · Text (657) 465-8108