Simplifying Rational Expressions
Learning goals
- Take the domain from the original denominator, before cancelling
- Cancel common factors only, never common terms
- Attach the restriction to a simplified expression
- Pull a out of opposite factors
- Recognize lowest terms as sharing no non-constant 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 we may write it as . Every polynomial is a rational expression, exactly as every integer is the fraction . Something like is not a rational expression, because is not a polynomial.
The condition on deserves care, because it is easy to misread. Saying ” is not the zero polynomial” is a statement about the polynomial itself: not all of its coefficients are . It is a much weaker statement than ” is never ”. The polynomial is certainly not the zero polynomial, yet it evaluates to at . That gap between a polynomial that is not zero and a polynomial that is not zero here 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, that is, the solutions of . Nothing the numerator does can rescue them. If and , the quotient would have to be a number that multiplies into something nonzero, and no such number exists. If and as well, the quotient is no better off: every number multiplies into , so nothing pins the value down. Both cases are simply 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, and here is the reason for it. Cancelling erases factors from the page, and a factor takes its restriction with it when it goes, even though the restriction still binds.
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 cancelling works
Reducing to is not a matter of the two s looking alike and being crossed off. It is a theorem about quotients, and it is worth seeing the theorem in full, because its hypotheses are the whole story of this lesson.
Cancelling a common factor: whenever and #
Start from what a quotient means. For real numbers and with , the quotient is the unique number satisfying . It is worth checking that “unique” is earned: if and , then subtracting gives , and since we must have , so . Exactly one number does the job, which is what licenses us to give it a name.
Now let , , be real numbers with and , and set . By the definition just given, . Multiply both sides of that equation by and regroup the product:
Since and , their product is also nonzero, so is defined and is the unique number whose product with equals . The line above says that is such a number. Uniqueness then forces
which is the claim.
Look at what the argument actually consumed. It needed , so that names something, and it needed , so that and the cancelled factor was not secretly zero. Neither hypothesis is decoration, and when , and are polynomials evaluated at some number, both of them turn into restrictions on .
Transplanting the theorem to polynomials is immediate. If , and are polynomials, then at any real number for which and ,
The equation is asserted at those values of and at no others. That is not fine print, and you will see it bite within the page.
The theorem cancels factors, and only factors. The in multiplies all of the numerator and all of the denominator. Appearing as one term of a sum does not give a quantity that power, which is why the most popular cancellation in algebra is also the most wrong. Look at . The upstairs is added to ; it does not multiply the . Dividing the numerator by divides every term of the numerator, so what really happens is
The does not stroll away untouched; it turns into . Crossing out the and reporting is not a slip of the pen, it is a false statement, and a single input settles it. At ,
So is already in lowest terms; there is nothing there to cancel. Cancelling 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 cancelled 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 cancelling 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. Two things cannot be equal “for all ” when one of them is not even a number at . The honest statement is an equality that carries a condition, and the condition is part of the statement, not a footnote to it.
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:
Cancelling preserves the value wherever both sides are defined. It does not preserve the domain.
The factor you divide out carries its own restriction away with it. Nothing left on the page remembers that was ever forbidden, which is exactly why you must write the restriction down yourself, at the moment you cancel.
Not every restriction hides. If a factor of the denominator survives the cancelling, its restriction is still visible in the answer and takes care of itself. The dangerous ones are the restrictions belonging to factors you cancelled away, because 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 cancelled 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 its numerator and denominator share no common non-constant factor. Constants are deliberately left out of that definition, because every nonzero constant divides every polynomial: if constants counted, 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. 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 cancelling. 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.
Worked example 3 Simplify
The denominator factors on sight as , so the excluded values are and .
The numerator needs the Factor Theorem. Since , the number is a root of , so is a factor of it. Dividing by (synthetic division with the coefficients works nicely) gives the quotient with remainder :
Now assemble and cancel the common factor , which is nonzero everywhere on the domain:
The result is in lowest terms: has discriminant , so it has no real zeros. By the Factor Theorem, therefore has no factor of the form with real. In particular is not a factor of it. 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 by the Factor Theorem it has no factor and no factor . 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 cancelling the s would predict, leaving ) nor (what cancelling 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.