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 −1-1 out of opposite factors
  • Recognize lowest terms, including reducing any common numerical factor

What a rational expression is

A rational expression is a quotient

p(x)q(x),\frac{p(x)}{q(x)},

where pp and qq are polynomials and qq 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:

x+2x2−9,5x,3x3−x7,x2+4x.\frac{x+2}{x^2-9}, \qquad \frac{5}{x}, \qquad \frac{3x^3-x}{7}, \qquad x^2+4x.

The last two are worth a second look. In 3x3−x7\frac{3x^3-x}{7} the denominator is the constant polynomial 77, which is a perfectly good polynomial. And x2+4xx^2+4x is a rational expression because it can be written as x2+4x1\frac{x^2+4x}{1}. Every polynomial is a rational expression, exactly as every integer nn is the fraction n1\frac{n}{1}.

The condition on qq needs care, because it is easy to misread. Saying ”qq is not the zero polynomial” means not all of its coefficients are 00. It does not mean ”q(x)q(x) is never 00”. The polynomial x−1x-1 is a perfectly good denominator, yet it evaluates to 00 at x=1x=1. 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 xx. 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 domain of p(x)q(x) is every real number x with q(x)≠0.\text{the domain of } \frac{p(x)}{q(x)} \text{ is every real number } x \text{ with } q(x) \neq 0.

The excluded values are exactly the real zeros of the denominator, the solutions of q(x)=0q(x)=0. Nothing the numerator does can rescue them. If q(x0)=0q(x_0)=0 and p(x0)≠0p(x_0) \neq 0, no number times 00 can give something nonzero, so no quotient exists there. If p(x0)=0p(x_0)=0 as well, the quotient is no better off: every number times 00 gives 00, so nothing pins a single value down. Either way, x0x_0 is excluded.

Take x+5x2−4x+3\frac{x+5}{x^2-4x+3}. Factor the denominator:

x2−4x+3=(x−1)(x−3),x^2-4x+3 = (x-1)(x-3),

which is zero exactly when x=1x=1 or x=3x=3. The domain is every real number except 11 and 33. Notice that x=−5x=-5, the zero of the numerator, is not excluded at all; there the expression is a legitimate 048=0\frac{0}{48}=0.

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 x+5x2−x−6\dfrac{x+5}{x^2-x-6}?

Answer choices

Why canceling works

Reducing 68\frac{6}{8} to 34\frac{3}{4} works because dividing the top and the bottom of a fraction by the same nonzero number never changes its value:

68=2⋅32⋅4=34.\frac{6}{8} = \frac{2\cdot3}{2\cdot4} = \frac{3}{4}.

The two 22s divide out because they are a shared factor, not because they merely look alike. Written for any numbers, that is

acbc=abwhenever b≠0 and c≠0.\frac{ac}{bc} = \frac{a}{b} \qquad \text{whenever } b \neq 0 \text{ and } c \neq 0.

Both conditions matter. You need b≠0b \neq 0 so that ab\frac{a}{b} names a number at all, and you need c≠0c \neq 0 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 pp, qq and dd are polynomials, then at any real number xx for which q(x)≠0q(x) \neq 0 and d(x)≠0d(x) \neq 0,

p(x) d(x)q(x) d(x)=p(x)q(x).\frac{p(x)\,d(x)}{q(x)\,d(x)} = \frac{p(x)}{q(x)}.

That equation holds at those values of xx, and nowhere else. Keep the condition in view. You will see it bite within the page.

The rule cancels factors, and only factors. The cc in acbc\frac{ac}{bc} multiplies all of the numerator and all of the denominator. A term in a sum does not have that power, which is why x+2x\frac{x+2}{x} is the single most common cancellation mistake in algebra. The xx upstairs is added to 22; it does not multiply the 22. Dividing the numerator by xx divides every term of it, so what really happens is

x+2x=xx+2x=1+2x(x≠0).\frac{x+2}{x} = \frac{x}{x} + \frac{2}{x} = 1 + \frac{2}{x} \qquad (x \neq 0).

The 22 does not vanish; it turns into 2x\frac{2}{x}. Crossing out the xx and reporting 22 is a false statement, and one input settles it. At x=3x=3,

3+23=53,but the crossing-out answer says 2.\frac{3+2}{3} = \frac{5}{3}, \qquad \text{but the crossing-out answer says } 2.

So x+2x\frac{x+2}{x} 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, x2−1x^2-1 and x−1x-1 share no visible common factor; written as (x−1)(x+1)(x-1)(x+1) and (x−1)(x-1), they obviously do.

Check your understanding

Which statement about x2+3xx\dfrac{x^2+3x}{x} is correct?

Answer choices

The hole that canceling leaves behind

Here is the example the rest of the chapter leans on. Take

x2−1x−1=(x−1)(x+1)x−1.\frac{x^2-1}{x-1} = \frac{(x-1)(x+1)}{x-1}.

Read the domain off that denominator before touching anything: it is zero exactly at x=1x=1, so x=1x=1 is excluded. For every other xx the factor x−1x-1 is nonzero, so the cancellation theorem applies with c=x−1c = x-1, and it gives

x2−1x−1=x+1(x≠1).\frac{x^2-1}{x-1} = x+1 \qquad (x \neq 1).

Now look hard at what that line does and does not say. The expression x2−1x−1\frac{x^2-1}{x-1} and the polynomial x+1x+1 are not the same object. The polynomial x+1x+1 is perfectly happy at x=1x=1, where it takes the value 22. The original expression is undefined at x=1x=1, because its denominator is 00 there. The table shows precisely how far the agreement goes.

xxx2−1x−1\dfrac{x^2-1}{x-1}x+1x+1
−2-23−3=−1\dfrac{3}{-3} = -1−1-1
00−1−1=1\dfrac{-1}{-1} = 111
12\tfrac{1}{2}−3/4−1/2=32\dfrac{-3/4}{-1/2} = \tfrac{3}{2}32\tfrac{3}{2}
1100\dfrac{0}{0}, undefined22
3382=4\dfrac{8}{2} = 444

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.

The graph of (x squared minus 1) over (x minus 1)The line y = x + 1 with the point (1, 2) removed, shown as an open circle. Dashed guides mark x = 1 and y = 2.xy12no value at x = 1y = x + 1
Every point of the original expression sits on the line y = x + 1, except at x = 1: the original denominator excludes that point, and canceling only erases the visible evidence of the exclusion, not the exclusion itself. The graphing lesson later in this chapter marks a gap like this with an open circle.

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 xx is the statement x2−4x−2=x+2\dfrac{x^2-4}{x-2} = x+2 true?

Answer choices

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 68\frac{6}{8} reduces to 34\frac{3}{4}, and the numerator and denominator share no common non-constant factor, one that actually contains xx. 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.

  1. Factor the numerator and the denominator completely.
  2. Read the excluded values off the original denominator. Every zero of it is excluded, whether or not its factor survives step 3.
  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.
  4. Write the simplified expression together with its restrictions.

Worked example 1 Simplify 3x2+6xx2−4\dfrac{3x^2+6x}{x^2-4} and state its domain

Factor the top and the bottom completely. The numerator has a common factor of 3x3x, and the denominator is a difference of squares:

3x2+6xx2−4=3x(x+2)(x−2)(x+2).\frac{3x^2+6x}{x^2-4} = \frac{3x(x+2)}{(x-2)(x+2)}.

Now read the excluded values from that denominator, before canceling. It is zero when x=2x=2 and when x=−2x=-2, so the domain is every real number except 22 and −2-2.

On that domain both x−2x-2 and x+2x+2 are nonzero, so the common factor x+2x+2 may be divided out:

3x(x+2)(x−2)(x+2)=3xx−2(x≠2 and x≠−2).\frac{3x(x+2)}{(x-2)(x+2)} = \frac{3x}{x-2} \qquad (x \neq 2 \text{ and } x \neq -2).

Watch what just happened to the two restrictions. The restriction x≠2x \neq 2 is still plain to see in the answer, because x−2x-2 is still in the denominator. The restriction x≠−2x \neq -2 has vanished from sight: 3xx−2\frac{3x}{x-2} is perfectly well defined at x=−2x=-2, where it equals −6−4=32\frac{-6}{-4} = \frac{3}{2}. 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 9−x2x2−2x−3\dfrac{9-x^2}{x^2-2x-3}

Factor both parts. The numerator is a difference of squares, and the denominator is a trinomial whose factors must multiply to −3-3 and add to −2-2:

9−x2x2−2x−3=(3−x)(3+x)(x−3)(x+1).\frac{9-x^2}{x^2-2x-3} = \frac{(3-x)(3+x)}{(x-3)(x+1)}.

The denominator is zero at x=3x=3 and x=−1x=-1, so those two values are excluded.

The top and bottom look as though they share nothing, but 3−x3-x and x−3x-3 are opposites, and one is −1-1 times the other:

3−x=−(x−3).3-x = -(x-3).

Rewrite the numerator using that, and the common factor appears:

−(x−3)(x+3)(x−3)(x+1)=−(x+3)x+1(x≠3 and x≠−1).\frac{-(x-3)(x+3)}{(x-3)(x+1)} = \frac{-(x+3)}{x+1} \qquad (x \neq 3 \text{ and } x \neq -1).

A quick check at x=0x=0, which is in the domain: the original gives 9−00−0−3=9−3=−3\frac{9-0}{0-0-3} = \frac{9}{-3} = -3, and the simplified form gives −(0+3)0+1=−3\frac{-(0+3)}{0+1} = -3. They agree, as they must.

Check your understanding

Simplify x2−164−x\dfrac{x^2-16}{4-x} and state the result with its domain.

Answer choices

Worked example 3 Simplify x3−8x2−4\dfrac{x^3-8}{x^2-4}

The denominator factors on sight as (x−2)(x+2)(x-2)(x+2), so the excluded values are x=2x=2 and x=−2x=-2.

The numerator is a difference of cubes, x3−8=x3−23x^3-8=x^3-2^3, and the difference-of-cubes identity factors it directly:

x3−8=(x−2)(x2+2x+4).x^3-8 = (x-2)(x^2+2x+4).

Now assemble and cancel the common factor x−2x-2, which is nonzero everywhere on the domain:

x3−8x2−4=(x−2)(x2+2x+4)(x−2)(x+2)=x2+2x+4x+2(x≠2 and x≠−2).\frac{x^3-8}{x^2-4} = \frac{(x-2)(x^2+2x+4)}{(x-2)(x+2)} = \frac{x^2+2x+4}{x+2} \qquad (x \neq 2 \text{ and } x \neq -2).

Is that in lowest terms? Check whether x+2x+2 could still be a factor of x2+2x+4x^2+2x+4: if it were, then x=−2x=-2 would make x2+2x+4x^2+2x+4 equal 00. It does not, since (−2)2+2(−2)+4=4(-2)^2+2(-2)+4=4, so x+2x+2 is not a factor and nothing more cancels. Once again the restriction x≠2x \neq 2 is invisible in the answer and must be carried along in writing.

Worked example 4 Simplify x2−9x2+9\dfrac{x^2-9}{x^2+9} and state its domain

Start, as always, with the denominator. The equation x2+9=0x^2+9=0 would need x2=−9x^2=-9, 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

x2−9x2+9=(x−3)(x+3)x2+9,\frac{x^2-9}{x^2+9} = \frac{(x-3)(x+3)}{x^2+9},

and x2+9x^2+9 has no real zeros, so it cannot have a factor of the form x−3x-3 or x+3x+3: if it did, plugging in x=3x=3 or x=−3x=-3 would have to give 00, and it does not (both give 1818). There is no common non-constant factor, and the expression is already in lowest terms.

The tempting moves here are all illegal. The 99s are terms, not factors, so they do not cancel, and neither do the x2x^2s. One input kills both ideas at once. At x=1x=1 the expression is

1−91+9=−810=−45,\frac{1-9}{1+9} = \frac{-8}{10} = -\frac{4}{5},

which is neither −1-1 (what canceling the x2x^2s would predict, leaving −99\frac{-9}{9}) nor 11 (what canceling the 99s would predict, leaving x2x2\frac{x^2}{x^2}). 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 2x2−84x+8\dfrac{2x^2-8}{4x+8} and state the result in lowest terms with its domain.

Answer choices

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Core practice

Practice problems at the level of the course, to be worked out on paper. Hints one at a time, then the answer or the full worked solution, with your progress kept in this browser.

Core practice Work it out on paper 10 problems Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

Go deeper (optional)

You can skip this and keep going. Read it if you want to know more.

Why acbc=ab\dfrac{ac}{bc}=\dfrac{a}{b}: the full proof from the definition of a quotient

Canceling a common factor: acbc=ab\dfrac{ac}{bc} = \dfrac{a}{b} whenever b≠0b \neq 0 and c≠0c \neq 0#

Start from what a quotient means. For real numbers uu and vv with v≠0v \neq 0, the quotient uv\frac{u}{v} is the unique number tt satisfying tv=utv = u. It is worth checking that “unique” is earned: if t1v=ut_1v = u and t2v=ut_2v = u, then subtracting gives (t1−t2)v=0(t_1-t_2)v = 0, and since v≠0v \neq 0 we must have t1−t2=0t_1 - t_2 = 0, so t1=t2t_1 = t_2. Exactly one number does the job, which is what licenses us to give it a name.

Now let aa, bb, cc be real numbers with b≠0b \neq 0 and c≠0c \neq 0, and set t=abt = \frac{a}{b}. By the definition just given, tb=atb = a. Multiply both sides of that equation by cc and regroup the product:

t(bc)=(tb)c=ac.t(bc) = (tb)c = ac.

Since b≠0b \neq 0 and c≠0c \neq 0, their product bcbc is also nonzero, so acbc\frac{ac}{bc} is defined and is the unique number whose product with bcbc equals acac. The line above says that tt is such a number. Uniqueness then forces

acbc=t=ab,\frac{ac}{bc} = t = \frac{a}{b},

which is the claim.

Look at what the argument actually consumed. It needed b≠0b \neq 0, so that ab\frac{a}{b} names something, and it needed c≠0c \neq 0, so that bc≠0bc \neq 0 and the canceled factor was not secretly zero. Neither hypothesis is decoration, and when aa, bb and cc are polynomials evaluated at some number, both of them turn into restrictions on xx.

A bit of history (optional)

The word rational has nothing to do with being reasonable. That is an accident of language, and it hides a better story.

Greek geometers had no fractions in our sense. They compared two lengths instead. They asked how the first stood to the second, and their word for that comparison was logos. The same word meant a word, an account, a reckoning. The Greek theory of proportion was written down around 300 BCE, and it treated such a comparison as its basic object. Latin translators later rendered logos as ratio. That word already meant an account or a calculation. English then borrowed the one root twice, once for the arithmetic and once for clear thinking. A single word carries both meanings to this day.

So a rational number is not a sensible number. It is a number you can report as a ratio of two integers, with a nonzero denominator. Change the raw material from integers to polynomials, and the name follows without complaint. A rational expression is a ratio of two polynomials.

That is more than a naming accident. It is the reason 68\frac{6}{8} and x2−1x−1\frac{x^2-1}{x-1} reduce by exactly the same move: canceling is a statement about ratios, not about the particular numbers or polynomials filling them in.