Here is the expression that breaks most students in the first week of calculus. It shows up the moment you try to find how fast the function \( f(x) = \dfrac{1}{x} \) changes at a given point:
A fraction inside a fraction. To simplify it — to turn it into something a calculus student can actually use — you need three things: the ability to subtract fractions with different denominators (the top), the ability to divide by h (the bottom), and the domain awareness to know when you're allowed to cancel. That's the entire toolkit of this lesson.
By the end of this lesson, that expression will take you about four lines. Let's build the toolkit.
After this lesson, you will be able to:
Identify domain restrictions for rational expressions — the values of x that must be excluded
Simplify rational expressions by factoring and cancelling common factors (not terms)
Multiply and divide rational expressions efficiently by factoring first
Add and subtract rational expressions by building an algebraic LCD
Simplify complex fractions — fractions whose numerator or denominator contains fractions — including the difference quotient
Section 2: Prerequisites
▾
This lesson depends almost entirely on ALG-3. Every single simplification step begins with factoring — so if any of the following feels shaky, review ALG-3 before continuing.
From ALG-3 (Factoring Techniques) — you will use all of these:
From ALG-1 (Order of Operations) — one critical idea:
The fraction bar groups everything above it: \( \dfrac{x+5}{x} \) means \( (x+5) \div x \), not \( 1 + \dfrac{5}{x} \)... wait, actually those ARE equal — but cancelling the \( x \) to get \( 5 \) is not. The denominator \( x \) is a factor of the whole denominator but NOT a factor of the entire numerator \( x + 5 \).
Quick self-check before you start:
Section 3: Core Concepts
▾
Before we compute anything, here's the five-step decision flow that organizes the entire lesson:
Rational Expression Strategy Map
Identify the operation: simplify only? multiply/divide? add/subtract?
Factor everything — numerators, denominators, all of it
Flip the second fraction if you're dividing
Cancel common factors across numerators and denominators (after multiplying)
Build the LCD and combine if you're adding or subtracting
Every problem in this lesson follows this map. When you're stuck, come back to it.
C1 — Domain Restrictions
Rational Expression
A rational expression is a quotient \( \dfrac{P(x)}{Q(x)} \) where \( P \) and \( Q \) are polynomials. The domain excludes all values of \( x \) where \( Q(x) = 0 \).
Why it matters for calculus: Division by zero is undefined everywhere in mathematics. But in calculus it becomes structural: when a factor in the denominator equals zero, the function either has a vertical asymptote (the function explodes to infinity) or a hole (a single missing point that can be filled by a limit). You need to find and name these before you do anything else.
How to find restrictions: Set the denominator equal to zero, solve, exclude those values. Always do this with the original denominator before simplifying.
The restriction survives cancellation. After you simplify \( \dfrac{(x-3)(x+2)}{(x-3)(x+1)} \) by cancelling \( (x-3) \), the result is \( \dfrac{x+2}{x+1} \). But x = 3 is still excluded from the domain — it was excluded in the original expression, and simplification doesn't change what values were plugged into the original function. The restriction \( x \neq 3 \) must appear alongside the simplified form.
C2 — Simplifying Rational Expressions
Simplifying by Cancellation
To simplify a rational expression:
Factor the numerator completely
Factor the denominator completely
Cancel any factor that appears in both numerator and denominator
State all domain restrictions from the original denominator
You can only cancel FACTORS, never TERMS.
\[ \frac{x + 5}{x} \neq 5 \quad \text{(ILLEGAL — } x \text{ is not a factor of } x+5 \text{)} \]
\[ \frac{5x}{x} = 5 \quad \text{(LEGAL — } x \text{ is a factor of the entire numerator)} \]
The test: can you write the numerator as \( x \cdot (\text{something}) \)? For \( x + 5 \), no. For \( 5x \), yes: \( 5x = x \cdot 5 \). Only then can you cancel.
C3 — Multiplication and Division
Multiplying and Dividing Rational Expressions
Multiply:\( \dfrac{P}{Q} \cdot \dfrac{R}{S} = \dfrac{PR}{QS} \) — but factor first and cancel before multiplying out.
Divide:\( \dfrac{P}{Q} \div \dfrac{R}{S} = \dfrac{P}{Q} \cdot \dfrac{S}{R} \) — flip the second fraction, then multiply.
The critical insight: Never multiply out the polynomials before factoring and cancelling. If you expand first, you create a giant messy product that's much harder to factor. The rule is: factor → cancel → then (optionally) expand.
Forgetting to flip when dividing. Students often see \( \div \dfrac{R}{S} \) and cancel factors with \( R \) in the denominator — but the second fraction gets flipped, so \( R \) moves to the denominator of the reciprocal (i.e., \( \dfrac{S}{R} \)). Always write out the flip explicitly before cancelling.
C4 — Addition and Subtraction with an Algebraic LCD
Adding and Subtracting Rational Expressions
To add or subtract rational expressions:
Factor all denominators
Find the LCD: take the product of every distinct factor, each raised to its highest power
Rewrite each fraction with the LCD as its denominator (multiply top and bottom by whatever is missing)
Combine the numerators — writing them over the single LCD
Distribute and simplify the combined numerator, being careful with minus signs
Factor and cancel if possible
The minus sign distributes across the ENTIRE numerator. When subtracting \( \dfrac{A}{p} - \dfrac{B}{q} \), the combined numerator is \( A \cdot q - B \cdot p \). But if \( B \) is a binomial like \( (2x + 3) \), students often write
\[ Aq - (2x + 3)p = Aq - 2xp + 3p \quad \text{✗ (sign error on the last term)} \]
when it should be
\[ Aq - (2x+3)p = Aq - 2xp - 3p \quad \text{✓} \]
The minus sign in front of the fraction applies to every term in that numerator. Write the parentheses explicitly before distributing.
C5 — Complex Fractions
Complex Fraction
A complex fraction is a fraction in which the numerator, denominator, or both contain fractions. Two methods work:
Method 1 (Combine then Divide): Simplify the numerator into a single fraction and the denominator into a single fraction, then divide.
Method 2 (Multiply by Inner LCD): Identify the LCD of all the "small" fractions inside, then multiply the entire complex fraction (top and bottom) by that LCD. This clears all inner fractions at once.
Method 1 is more conceptually transparent — it builds directly on C4. Method 2 is faster when the inner fractions share a clear LCD, which is why it's preferred for the difference quotient. You'll see both in the worked examples.
The difference quotient connection: The expression \( \dfrac{f(x+h) - f(x)}{h} \) is always a complex fraction when \( f \) is a rational function. The denominator is \( h \) (a polynomial), and the numerator is a difference of two fractions — requiring C4 to combine, then cancelling \( h \) using C2. That's the whole calculation.
Section 4: Worked Examples
▾
Example 1 — Simplify and State the Domain (Fully Worked)
Simplify \( \dfrac{x^2 - 9}{x^2 - x - 6} \) and state all domain restrictions.
Step 1 — State restrictions from the ORIGINAL denominator.
We need \( x^2 - x - 6 \neq 0 \). Factor: \( x^2 - x - 6 = (x-3)(x+2) \). So \( x \neq 3 \) and \( x \neq -2 \).
Step 4 — Write the final answer with restrictions.
\[ \frac{x+3}{x+2}, \quad x \neq 3, \; x \neq -2 \]
Notice that after cancellation, only \( x \neq -2 \) is visible from the simplified denominator. But \( x \neq 3 \) must still be stated — it was excluded in the original expression. At \( x = 3 \), the original function is undefined (the graph has a hole there), even though the simplified form \( \frac{x+3}{x+2} \) would give \( \frac{6}{5} \) if you plug in naively.
Why a hole at x = 3?
The original denominator was \( x^2 - x - 6 = (x-3)(x+2) \),
so the original expression requires \( x \neq 3 \) and \( x \neq -2 \).
When we cancelled the common factor \( (x-3) \), it disappeared from the simplified form
— but the restriction survived. At \( x = 3 \), the original function is undefined.
The simplified form gives \( \dfrac{3+3}{3+2} = \dfrac{6}{5} \) naively, but that value
describes the limit, not a function value — so the graph shows an open circle at
\( \left(3,\, \dfrac{6}{5}\right) \).
Key rule: Hole = cancelled factor in denominator → point missing from graph,
but the limit exists.
Why a vertical asymptote at x = −2?
The factor \( (x+2) \) remains in the denominator after simplification — it was
never in the numerator, so there is nothing to cancel.
As \( x \to -2 \), the denominator \( (x+2) \to 0 \) while the numerator
\( (x+3) \to 1 \). A non-zero numerator over a denominator approaching zero forces
the function toward \( \pm\infty \). The graph "blows up" on both sides of \( x = -2 \).
That is a vertical asymptote.
Key rule: Vertical asymptote = remaining zero in denominator (not cancelled)
→ function increases or decreases without bound.
Graph of the simplified expression from Example 1:
f(x) = (x + 3) / (x + 2).
Click (or tab to and press Enter on) either annotation badge to reveal the algebra behind that feature.
Example 2 — Multiply Rational Expressions (Partially Scaffolded)
Expand and combine: \( 2x - 6 + x - 1 = 3x - 7 \).
\[ \frac{3x-7}{(x+3)(x-3)}, \quad x \neq -3, \; x \neq 3 \]
Does \( 3x - 7 \) share a factor with the denominator? Check: \( x = -3 \) gives \( -16 \neq 0 \); \( x = 3 \) gives \( 2 \neq 0 \). No common factor. The result is fully simplified.
Example 4 — The Difference Quotient for \( f(x) = \frac{1}{x} \) (Application Twist)
This is the expression from the Introduction. Watch how it falls apart with the tools we've built.
The calculus payoff: As \( h \to 0 \), this approaches \( \dfrac{-1}{x \cdot x} = -\dfrac{1}{x^2} \). That's the derivative of \( \frac{1}{x} \). Four lines of algebra from ALG-4, and calculus hands you the answer.
Section 5: Guided Practice
▾
Work through each problem. Validate-select dropdowns give you immediate feedback at each decision point.
Problem 1 — Simplify and Find the Domain
Factor the numerator and denominator, cancel common factors, and state all domain restrictions.
Simplify \( \dfrac{x^2 - 4}{x^2 + x - 2} \).
Step 1: What values of \( x \) must be excluded from the domain?
Step 2: What is the fully simplified form?
Simplify \( \dfrac{x^2 - 9}{x^2 - x - 6} \).
Step 1: What values of \( x \) must be excluded from the domain?
Simplify \( \dfrac{\dfrac{x+1}{x-3}}{\dfrac{x^2-1}{x^2-9}} \). Work through the gates.
Gate 1: A complex fraction with a fraction in both numerator and denominator is really a division problem. Which of the following is this equivalent to?
Gate 2: After factoring all four polynomials, which factors cancel?
Gate 3: What is the final simplified result?
Section 6: Independent Practice
▾
Work these problems independently. Generators produce fresh problems each time. Solutions are revealed on demand.
Problem 1 — Simplify a Rational Expression
Problem 2 — Add Two Rational Expressions
Problem 3 — Multiply or Divide Rational Expressions
Can \( x^2 - x + 1 \) be factored? Discriminant: \( (-1)^2 - 4(1)(1) = 1 - 4 = -3 < 0 \). No real roots. The result is fully simplified.
\[ \frac{x^2-x+1}{x(x-1)(x+1)}, \quad x \neq 0, \; x \neq 1, \; x \neq -1 \]
Section 7: Mastery Check
▾
No hints, no scaffolds. These measure genuine understanding.
Question 1 — Feynman Test
Explain in your own words, as if teaching a friend who missed this lesson: Why can you simplify \( \dfrac{5x}{x} \) to \( 5 \), but you cannot simplify \( \dfrac{x+5}{x} \) to \( 5 \)? What is the fundamental difference?
See a Model Answer
In \( \dfrac{5x}{x} \), the denominator \( x \) is a factor of the ENTIRE numerator: \( 5x = x \cdot 5 \). So we can rewrite the fraction as \( \dfrac{x \cdot 5}{x \cdot 1} \) and cancel the shared factor \( x \), leaving \( 5 \).
In \( \dfrac{x+5}{x} \), the denominator \( x \) divides into the term \( x \) but NOT into the term \( 5 \). To cancel, a factor must divide the entire numerator — not just one term of it. Since \( x + 5 \neq x \cdot (\text{anything}) \), cancellation is illegal.
The rule: you cancel factors (things that multiply everything), never terms (things that add to something).
Question 2 — Apply
For the rational function \( f(x) = \dfrac{x^2 - 4}{x^2 + x - 2} \):
Find all values where the original function is undefined.
Simplify \( f(x) \) completely.
One of the excluded values creates a hole (the simplified function has a finite value there) and the other creates a vertical asymptote (the simplified function also blows up). Which is which?
Original function undefined where denominator = 0: \( x = -2 \) and \( x = 1 \).
Simplified: \( f(x) = \dfrac{(x-2)\cancel{(x+2)}}{\cancel{(x+2)}(x-1)} = \dfrac{x-2}{x-1}, \; x \neq -2, \; x \neq 1 \)
At \( x = -2 \): the simplified function gives \( \dfrac{-2-2}{-2-1} = \dfrac{-4}{-3} = \dfrac{4}{3} \). Finite value → hole at \( \left(-2, \dfrac{4}{3}\right) \).
At \( x = 1 \): the simplified function gives \( \dfrac{1-2}{1-1} = \dfrac{-1}{0} \). Still undefined → vertical asymptote at \( x = 1 \).
Question 3 — Find the Error
A student simplified the following expression. There is exactly one error. Find it and correct it.
Two paths. Same difficulty. Pick the one that matches how you think.
🔬 The Analyst
You have a rational function. Your job: dissect it completely — find where it's undefined, simplify it, and identify which excluded values are holes vs. vertical asymptotes.
🏗️ The Architect
You have a rational function. Your job: build its derivative from scratch using the difference quotient — every step from complex fraction to final answer.
🔬 Path A: Dissecting a Rational Function
Let \( f(x) = \dfrac{x^2 + x - 6}{x^2 - x - 2} \).
Step 1 — Factor the numerator.
Step 2 — Factor the denominator.
Step 3 — Cancel and simplify.
Step 4 — Classify the excluded values.
The original function is undefined at \( x = 2 \) and \( x = -1 \).
Full Solution + Reflection
\[ f(x) = \frac{(x+3)(x-2)}{(x-2)(x+1)} = \frac{x+3}{x+1}, \quad x \neq 2, \; x \neq -1 \]
Hole at \( x = 2 \): \( \lim_{x \to 2} f(x) = \dfrac{2+3}{2+1} = \dfrac{5}{3} \). The point \( \left(2, \dfrac{5}{3}\right) \) is missing from the graph.
Vertical asymptote at \( x = -1 \): \( (x+1) \) remains in the denominator after simplification — the function still blows up there.
Reflection: In your own words, what is the difference between a hole and a vertical asymptote? Why does one create a finite missing point while the other creates an explosion?
🏗️ Path B: Building a Derivative via the Difference Quotient
Let \( f(x) = \dfrac{3}{x+1} \). Compute \( f'(x) \) using the limit definition \( f'(x) = \lim_{h \to 0} \dfrac{f(x+h) - f(x)}{h} \).
Step 1 — Write f(x+h).
Step 2 — Form the numerator f(x+h) − f(x) and combine using an LCD.
The LCD of \( \dfrac{3}{x+h+1} \) and \( \dfrac{3}{x+1} \) is \( (x+h+1)(x+1) \).
Reflection: Every technique you used in this path — substitution, LCD for fractions, cancelling h, evaluating at a limit — will appear in every single derivative calculation in Calculus I. You just computed your first derivative from scratch.
Section 9: Challenge Problems
▾
These go beyond the lesson objectives. They're here if you want to stretch.
Challenge 1 — A Preview of Partial Fractions
In calculus, complex rational expressions are sometimes decomposed rather than combined. Find constants \( A \) and \( B \) such that:
Is \( 2x^2 - 3x + 3 \) factorable? Discriminant: \( 9 - 24 = -15 < 0 \). No — this is the fully simplified form.
\[ \frac{2x^2 - 3x + 3}{x(x-1)(x+1)}, \quad x \neq 0, \; x \neq 1, \; x \neq -1 \]
Challenge 3 — Why Term Cancellation is Always Illegal (Proof Sketch)
Suppose someone claims \( \dfrac{a + b}{a + c} = \dfrac{b}{c} \) by "cancelling" \( a \). Disprove this with a specific numerical example, then give a general algebraic argument for why it fails.
Show Solution
Numerical counterexample: Let \( a = 2, b = 3, c = 1 \).
Left side: \( \dfrac{2+3}{2+1} = \dfrac{5}{3} \).
"Cancelled" right side: \( \dfrac{3}{1} = 3 \).
Since \( \dfrac{5}{3} \neq 3 \), the cancellation is invalid.
Algebraic argument: Cancellation is valid only when a factor divides the entire numerator:
\[ \frac{a \cdot k}{a \cdot m} = \frac{k}{m} \quad \text{(valid — } a \text{ is a factor of both)} \]
But \( a + b \neq a \cdot (\text{something}) \) in general — \( a \) is a term of the numerator, not a factor. The expression \( \dfrac{a+b}{a+c} \) cannot be written as \( \dfrac{a \cdot k}{a \cdot m} \) for any polynomial \( k, m \) unless \( a \) happens to divide both \( b \) and \( c \) in a specific way.
Section 10: Solutions
▾
Full worked solutions for all problems from Sections 5–9 are available on the solutions page. Solutions include common mistakes to watch for at each step.