This site is a work in progress. New lessons are added regularly. Contact us

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 1-1 out of opposite factors
  • Recognize lowest terms as sharing no non-constant 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+2x29,5x,3x3x7,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 3x3x7\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 we may write it 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}. Something like x+1x\frac{|x|+1}{x} is not a rational expression, because x|x| is not a polynomial.

The condition on qq deserves care, because it is easy to misread. Saying ”qq is not the zero polynomial” is a statement about the polynomial itself: not all of its coefficients are 00. It is a much weaker statement than ”q(x)q(x) is never 00”. The polynomial x1x-1 is certainly not the zero polynomial, yet it evaluates to 00 at x=1x=1. 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 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, that is, 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, the quotient would have to be a number that multiplies 00 into something nonzero, and no such number exists. If q(x0)=0q(x_0)=0 and p(x0)=0p(x_0)=0 as well, the quotient is no better off: every number multiplies 00 into 00, so nothing pins the value down. Both cases are simply excluded.

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

x24x+3=(x1)(x3),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, 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 x+5x2x6\dfrac{x+5}{x^2-x-6}?

Answer choices

Why cancelling works

Reducing 68\frac{6}{8} to 34\frac{3}{4} is not a matter of the two 22s 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: acbc=ab\dfrac{ac}{bc} = \dfrac{a}{b} whenever b0b \neq 0 and c0c \neq 0#

Start from what a quotient means. For real numbers uu and vv with v0v \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 (t1t2)v=0(t_1-t_2)v = 0, and since v0v \neq 0 we must have t1t2=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 b0b \neq 0 and c0c \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 b0b \neq 0 and c0c \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 b0b \neq 0, so that ab\frac{a}{b} names something, and it needed c0c \neq 0, so that bc0bc \neq 0 and the cancelled 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.

Transplanting the theorem to polynomials is immediate. 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)}.

The equation is asserted at those values of xx 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 cc in acbc\frac{ac}{bc} 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 x+2x\frac{x+2}{x}. The xx upstairs is added to 22; it does not multiply the 22. Dividing the numerator by xx divides every term of the numerator, so what really happens is

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

The 22 does not stroll away untouched; it turns into 2x\frac{2}{x}. Crossing out the xx and reporting 22 is not a slip of the pen, it is a false statement, and a single 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. 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, x21x^2-1 and x1x-1 share no visible common factor; written as (x1)(x+1)(x-1)(x+1) and (x1)(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 cancelling leaves behind

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

x21x1=(x1)(x+1)x1.\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 x1x-1 is nonzero, so the cancellation theorem applies with c=x1c = x-1, and it gives

x21x1=x+1(x1).\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 x21x1\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. Two things cannot be equal “for all xx” when one of them is not even a number at x=1x=1. 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.

xxx21x1\dfrac{x^2-1}{x-1}x+1x+1
2-233=1\dfrac{3}{-3} = -11-1
0011=1\dfrac{-1}{-1} = 111
12\tfrac{1}{2}3/41/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:

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 x=1x=1 was ever forbidden, which is exactly why you must write the restriction down yourself, at the moment you cancel.

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, with the single point at x = 1 punched out. Cancelling the common factor cannot put that point back, and the graphing lesson later in this chapter will draw it as an open circle, a hole.

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 xx is the statement x24x2=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 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.

  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. 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+6xx24\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+6xx24=3x(x+2)(x2)(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 cancelling. 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 x2x-2 and x+2x+2 are nonzero, so the common factor x+2x+2 may be divided out:

3x(x+2)(x2)(x+2)=3xx2(x2 and x2).\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 x2x \neq 2 is still plain to see in the answer, because x2x-2 is still in the denominator. The restriction x2x \neq -2 has vanished from sight: 3xx2\frac{3x}{x-2} is perfectly well defined at x=2x=-2, where it equals 64=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 9x2x22x3\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:

9x2x22x3=(3x)(3+x)(x3)(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 3x3-x and x3x-3 are opposites, and one is 1-1 times the other:

3x=(x3).3-x = -(x-3).

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

(x3)(x+3)(x3)(x+1)=(x+3)x+1(x3 and x1).\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 90003=93=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.

Worked example 3 Simplify x38x24\dfrac{x^3-8}{x^2-4}

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

The numerator needs the Factor Theorem. Since 238=02^3-8=0, the number 22 is a root of x38x^3-8, so x2x-2 is a factor of it. Dividing x38x^3-8 by x2x-2 (synthetic division with the coefficients 1,0,0,81, 0, 0, -8 works nicely) gives the quotient x2+2x+4x^2+2x+4 with remainder 00:

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

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

x38x24=(x2)(x2+2x+4)(x2)(x+2)=x2+2x+4x+2(x2 and x2).\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).

The result is in lowest terms: x2+2x+4x^2+2x+4 has discriminant 224(1)(4)=12<02^2-4(1)(4) = -12 < 0, so it has no real zeros. By the Factor Theorem, x2+2x+4x^2+2x+4 therefore has no factor of the form xrx-r with rr real. In particular x+2x+2 is not a factor of it. Once again the restriction x2x \neq 2 is invisible in the answer and must be carried along in writing.

Worked example 4 Simplify x29x2+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

x29x2+9=(x3)(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 by the Factor Theorem it has no factor x3x-3 and no factor x+3x+3. 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

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

which is neither 1-1 (what cancelling the x2x^2s would predict, leaving 99\frac{-9}{9}) nor 11 (what cancelling 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.

Common mistakes

Practice

Multiple Choice Questions (MCQ)

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

Free Response Questions (FRQ)

Longer questions in parts, to be worked out on paper. Progressive hints, the answer on its own so you can check yourself and try again, then the full worked solution, plus a rubric to mark your own work against.

Free response Work it out on paper 5 questions 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.

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 whole numbers. Change the raw material from whole numbers 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 x21x1\frac{x^2-1}{x-1} reduce by the same move. Cancelling is a statement about ratios rather than about numbers, so it never noticed the change of material.