Simplifying Rational Expressions
Learning goals
- Find the domain from the original denominator, before canceling
- Cancel common factors only, never common terms
- Attach the restriction to a simplified expression
- Pull a out of opposite factors
- Recognize lowest terms, including reducing any common numerical factor
What a rational expression is
A rational expression is a quotient
where and are polynomials and is not the zero polynomial. The name is the same word as in rational number, and for the same reason: both are ratios. A rational number is a ratio of two integers, and a rational expression is a ratio of two polynomials.
These all qualify:
The last two are worth a second look. In the denominator is the constant polynomial , which is a perfectly good polynomial. And is a rational expression because it can be written as . Every polynomial is a rational expression, exactly as every integer is the fraction .
The condition on needs care, because it is easy to misread. Saying ” is not the zero polynomial” means not all of its coefficients are . It does not mean ” is never ”. The polynomial is a perfectly good denominator, yet it evaluates to at . That gap, between a polynomial that is never the zero polynomial and a polynomial that can still equal zero at a particular input, is the entire subject of the next section.
The domain comes first
The domain of a rational expression is the set of real numbers you are allowed to substitute for . Polynomials themselves cause no trouble: a polynomial can be evaluated at every real number. The only thing that can go wrong is division by zero. So:
The excluded values are exactly the real zeros of the denominator, the solutions of . Nothing the numerator does can rescue them. If and , no number times can give something nonzero, so no quotient exists there. If as well, the quotient is no better off: every number times gives , so nothing pins a single value down. Either way, is excluded.
Take . Factor the denominator:
which is zero exactly when or . The domain is every real number except and . Notice that , the zero of the numerator, is not excluded at all; there the expression is a legitimate .
Find the excluded values from the original denominator, before you cancel anything. This is the most important habit in the chapter. Canceling can erase a factor from the page, but it cannot erase the restriction that factor caused. The value that made it zero is still excluded, even though nothing left in the simplified expression shows it.
Check your understanding
Which values must be excluded from the domain of ?
Excluded values are the zeros of the denominator, so factor it and set each factor to zero.
This is zero when or , so those two values are excluded. The numerator's zero, , is not excluded: there the expression evaluates to , which is a perfectly good number.
Why canceling works
Reducing to works because dividing the top and the bottom of a fraction by the same nonzero number never changes its value:
The two s divide out because they are a shared factor, not because they merely look alike. Written for any numbers, that is
Both conditions matter. You need so that names a number at all, and you need so that the factor you are canceling was never secretly zero.
Move to polynomials and nothing about the idea changes, only the objects being multiplied. If , and are polynomials, then at any real number for which and ,
That equation holds at those values of , and nowhere else. Keep the condition in view. You will see it bite within the page.
The rule cancels factors, and only factors. The in multiplies all of the numerator and all of the denominator. A term in a sum does not have that power, which is why is the single most common cancellation mistake in algebra. The upstairs is added to ; it does not multiply the . Dividing the numerator by divides every term of it, so what really happens is
The does not vanish; it turns into . Crossing out the and reporting is a false statement, and one input settles it. At ,
So is already in lowest terms; there is nothing there to cancel. Canceling is never “erase a symbol you can see twice”. It is “divide the top and the bottom by the same nonzero quantity”, and dividing the top means dividing all of it.
This is why the first step of every simplification is to factor. Until the numerator and denominator are written as products, the theorem has nothing to grip. Written as they stand, and share no visible common factor; written as and , they obviously do.
Check your understanding
Which statement about is correct?
Factor the numerator first: , so the really is a common factor of the top and the bottom.
The cancellation is legal only where the canceled factor is nonzero, and the original expression is undefined at anyway. So the restriction must be carried along: by itself is defined at , while the original is not.
The hole that canceling leaves behind
Here is the example the rest of the chapter leans on. Take
Read the domain off that denominator before touching anything: it is zero exactly at , so is excluded. For every other the factor is nonzero, so the cancellation theorem applies with , and it gives
Now look hard at what that line does and does not say. The expression and the polynomial are not the same object. The polynomial is perfectly happy at , where it takes the value . The original expression is undefined at , because its denominator is there. The table shows precisely how far the agreement goes.
| , undefined | ||
Every row agrees except one, and in that row the left column has nothing at all to report. So here is the principle, and it is the intellectual heart of the lesson:
Canceling preserves the value wherever both sides are defined. It does not preserve the domain.
Not every restriction hides. If a factor of the denominator survives the canceling, its restriction is still visible in the answer. The dangerous ones are the restrictions that belonged to factors you canceled away: the simplified expression is defined there and gives no hint that the original was not.
Check your understanding
For which values of is the statement true?
Factor the numerator and cancel, keeping track of where the canceled factor is nonzero.
At every both sides are defined and equal. At the left side is undefined (its denominator is ) while the right side is , so the statement fails there. The equality holds for all real except .
Simplifying, step by step
A rational expression is in lowest terms when there is nothing left to divide out: any common numerical factor between the coefficients has been reduced, the way reduces to , and the numerator and denominator share no common non-constant factor, one that actually contains . Bare constants are left out of that second half on purpose, because every nonzero constant divides every polynomial; if a shared constant alone disqualified an expression, nothing would ever be in lowest terms. To get there, follow four steps, and never skip the second.
- Factor the numerator and the denominator completely.
- Read the excluded values off the original denominator. Every zero of it is excluded, whether or not its factor survives step 3.
- Divide out every common factor, numerical and polynomial. Each cancellation is legal precisely because that factor is nonzero everywhere on the domain from step 2.
- Write the simplified expression together with its restrictions.
Worked example 1 Simplify and state its domain
Factor the top and the bottom completely. The numerator has a common factor of , and the denominator is a difference of squares:
Now read the excluded values from that denominator, before canceling. It is zero when and when , so the domain is every real number except and .
On that domain both and are nonzero, so the common factor may be divided out:
Watch what just happened to the two restrictions. The restriction is still plain to see in the answer, because is still in the denominator. The restriction has vanished from sight: is perfectly well defined at , where it equals . The original is not defined there. That is why the restriction is written beside the answer, and it is why step 2 comes before step 3.
Worked example 2 Simplify
Factor both parts. The numerator is a difference of squares, and the denominator is a trinomial whose factors must multiply to and add to :
The denominator is zero at and , so those two values are excluded.
The top and bottom look as though they share nothing, but and are opposites, and one is times the other:
Rewrite the numerator using that, and the common factor appears:
A quick check at , which is in the domain: the original gives , and the simplified form gives . They agree, as they must.
Check your understanding
Simplify and state the result with its domain.
The original denominator is zero only at , so that is the excluded value, read off before any canceling.
Factor the numerator and notice that and are opposites, not the same factor: .
Pulling the out of the denominator is what turns into a factor that matches exactly. Skipping that step and canceling against as if they were identical would drop the sign and give the wrong answer, .
Worked example 3 Simplify
The denominator factors on sight as , so the excluded values are and .
The numerator is a difference of cubes, , and the difference-of-cubes identity factors it directly:
Now assemble and cancel the common factor , which is nonzero everywhere on the domain:
Is that in lowest terms? Check whether could still be a factor of : if it were, then would make equal . It does not, since , so is not a factor and nothing more cancels. Once again the restriction is invisible in the answer and must be carried along in writing.
Worked example 4 Simplify and state its domain
Start, as always, with the denominator. The equation would need , and no real number has a negative square, so the denominator is never zero. This rational expression has no excluded values at all: its domain is every real number.
Factoring gives
and has no real zeros, so it cannot have a factor of the form or : if it did, plugging in or would have to give , and it does not (both give ). There is no common non-constant factor, and the expression is already in lowest terms.
The tempting moves here are all illegal. The s are terms, not factors, so they do not cancel, and neither do the s. One input kills both ideas at once. At the expression is
which is neither (what canceling the s would predict, leaving ) nor (what canceling the s would predict, leaving ). The instruction “simplify” never promises that something will cancel; sometimes the honest answer is that the expression is already in lowest terms.
Check your understanding
Simplify and state the result in lowest terms with its domain.
Factor first: and , so
The original denominator is zero only at , so that is the value to exclude, found before any canceling. Divide out the common factor (legal because on the domain), then reduce the numerical coefficients the same way reduces to :
The restriction is invisible in , which is defined everywhere, so it has to be written down. The numerator and denominator now share no common factor at all, numerical or polynomial, so this is lowest terms.