Only a common factor cancels
A factor is joined to the rest by multiplication; a term is joined by addition. (2x)/(2y) cancels to x/y. (2 + x)/(2 + y) cancels to nothing at all.
One rule does all the work: a factor common to the top and the bottom may be removed. A term may not. The difference between those two words is the most expensive distinction in school algebra.
Core ideas
Simplifying is a single theorem applied carefully. Nearly every error here is the same error: applying it to something that is not a factor.
A factor is joined to the rest by multiplication; a term is joined by addition. (2x)/(2y) cancels to x/y. (2 + x)/(2 + y) cancels to nothing at all.
The rule is stated in terms of factors, so an expression that is not factored cannot be simplified — you cannot see the common factor in (x² − 9)/(x² + x − 12), and it is there.
The simplified form is equal to the original only where the original exists. Carry the exclusions across; they are part of the answer.
The material
Why the rule is true, and exactly what it does not permit.
For polynomials P, Q, K with Q ≠ 0 and K ≠ 0, (PK)/(QK) = P/Q. It holds because K/K = 1 and multiplying by 1 changes nothing — which is also why the condition K ≠ 0 cannot be dropped: 0/0 is not 1.
Read the statement carefully. K multiplies P, and K multiplies Q. Nothing in the theorem lets you remove something that is added to P, and there is no companion theorem that does.
A rational expression is in lowest terms when its numerator and denominator have no common polynomial factor other than a constant.
The method follows from the theorem. Factor the numerator completely, factor the denominator completely, record the excluded values, then strike out the factors that appear in both.
(x² − 9)/(x² + x − 12) factors as ((x − 3)(x + 3))/((x + 4)(x − 3)). The denominator is zero at x = 3 and x = −4, so both are excluded. The factor x − 3 is common, and removing it leaves (x + 3)/(x + 4), valid for x ≠ 3 and x ≠ −4.
Notice what happened to x = 3. It is still excluded, because it was excluded from the expression we were given, but (x + 3)/(x + 4) is quite happy there, taking the value 6/7. The two expressions agree everywhere except at that single point, where one exists and the other does not.
a − b and b − a differ by a sign: a − b = −(b − a). So a numerator and denominator that look like opposites do share a factor, and their quotient is −1.
(3 − x)/(x − 3). Write the top as −(x − 3); the expression becomes (−(x − 3))/(x − 3) = −1, for every x ≠ 3. Checking at x = 0 gives 3/(−3) = −1, which agrees.
Finally, the error the whole lesson is aimed at. In (x + 3)/x the x on the bottom is a factor of the denominator but only a term of the numerator, so nothing cancels and the expression is already in lowest terms.
One numerical test would have caught it. That is worth remembering as a general habit: a proposed simplification is an identity, and an identity that fails at x = 1 is not an identity.
Interactive
The common factor found by Euclid, not by pattern-matching
Method
The order is fixed: exclusions are recorded before anything is struck out.
Completely, and separately. Greatest common factor first, then the patterns from Polynomials and Factoring — difference of squares, trinomials, grouping.
From the factored denominator, before you cancel. This is the only moment at which they are visible.
One at a time, and only whole factors. If a factor pair differs by a sign, pull −1 out of one of them first so the match is exact.
Pick any x in the domain, usually 0 or 1, and evaluate both forms. They must agree. This catches a cancelled term in seconds.
Two factorisations, one shared factor, and a check that the result really is the same expression.
The final line is the reason the exclusion is written twice. The reduced form is defined at x = 3 and gives a perfectly reasonable number there, so nothing about 6/7 announces that it should not exist. Only the condition you carried tells you.
For a faded cancellation, simplify (x² − 16)/(x² + x − 20). The supplied first move is to factor before cancelling and record the original denominator's zeros. Complete both factorisations, cancel one factor and check at x = 0. Compare with (x + 4)/(x + 5), x ≠ 4, −5; if 4 disappeared from your restrictions, you read the domain from the reduced formula.
For any expression you reduce, you should be able to point at the polynomial you removed and say that it multiplied both the numerator and the denominator. If you cannot name it, you have not cancelled — you have invented a rule that happens to work on this example.
Something to change about this lesson? Write it down, tick it off when it is handled, and export the list when you want to act on it. Kept in this browser only: nothing is sent anywhere, and nobody is notified.
No recommendations yet for this lesson.