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

Multiplying and Dividing Rational Expressions

Learning goals

  • Multiply straight across, with no common denominator needed
  • Flip the divisor, adding the condition that it is nonzero
  • Factor everything first, since expanding hides what cancels
  • Collect every restriction from the original expression
  • Write the restrictions even when the answer is a polynomial

The product rule, and why it is allowed

A rational expression is a quotient AB\frac{A}{B} of polynomials with BB not the zero polynomial, and it is undefined at every number where its denominator evaluates to zero. To multiply two of them, do what you do with fractions:

ABCD=ACBD.\frac{A}{B} \cdot \frac{C}{D} = \frac{AC}{BD}.

The result is a rational expression again. Polynomials are closed under multiplication, so ACAC and BDBD are polynomials, and BDBD is not the zero polynomial as long as neither BB nor DD is. Rational expressions are therefore closed under multiplication, exactly as fractions are.

Multiplying straight across is not a convention someone picked. It follows from what a quotient means.

Why ABCD=ACBD\frac{A}{B}\cdot\frac{C}{D} = \frac{AC}{BD}#

Fix a number xx at which both expressions are defined, so B(x)0B(x) \ne 0 and D(x)0D(x) \ne 0. At that xx the two expressions are ordinary numbers, so it is enough to prove the ordinary fraction rule for numbers aa, bb, cc, dd with b0b \ne 0 and d0d \ne 0.

The quotient ab\frac{a}{b} is defined as the number that gives back aa when you multiply it by bb; that is what dividing means. Write p=abp = \frac{a}{b} and q=cdq = \frac{c}{d}, so that pb=apb = a and qd=cqd = c. Multiply those two equations together and regroup the factors, which is allowed because multiplication is commutative and associative:

(pq)(bd)=(pb)(qd)=ac.(pq)(bd) = (pb)(qd) = ac.

So pqpq is a number that gives back acac when multiplied by bdbd. Since b0b \ne 0 and d0d \ne 0, the product bdbd is nonzero, so exactly one number does that: if u(bd)=v(bd)=acu(bd) = v(bd) = ac then (uv)(bd)=0(u - v)(bd) = 0, and a product of nonzero numbers is never zero, so u=vu = v. That one number is acbd\frac{ac}{bd} by definition, hence pq=acbdpq = \frac{ac}{bd}.

The argument used nothing about aa, bb, cc, dd beyond b0b \ne 0 and d0d \ne 0, so it runs at every xx with B(x)0B(x) \ne 0 and D(x)0D(x) \ne 0. That is precisely the set where both factors are defined, and it is where the identity ABCD=ACBD\frac{A}{B} \cdot \frac{C}{D} = \frac{AC}{BD} holds.

Look at what the proof needed and what it never mentioned. It needed B(x)0B(x) \ne 0 and D(x)0D(x) \ne 0. It said nothing about AA or CC, which are free to vanish. A product of rational expressions carries no hidden condition: the only restrictions are the ones the denominators impose. Remember that, because division is about to break it.

Factor first, never last

Consider

x24x2+6x+9x2+2x3x2+x6.\frac{x^2-4}{x^2+6x+9} \cdot \frac{x^2+2x-3}{x^2+x-6}.

The rule says multiply the numerators and multiply the denominators, and you are welcome to do so immediately:

(x24)(x2+2x3)(x2+6x+9)(x2+x6)=x4+2x37x28x+12x4+7x3+9x227x54.\frac{(x^2-4)(x^2+2x-3)}{(x^2+6x+9)(x^2+x-6)} = \frac{x^4+2x^3-7x^2-8x+12}{x^4+7x^3+9x^2-27x-54}.

Now look at what you are holding. To simplify it you must factor a quartic on top and a quartic on the bottom, hunting for rational roots and running synthetic division on each candidate. And the factorizations you need are the ones you were holding thirty seconds ago, before you multiplied them out. Expanding is the one operation that reliably destroys the structure you are about to need.

Factor first instead, and the cancellations are visible on sight:

(x2)(x+2)(x+3)2(x+3)(x1)(x+3)(x2)=(x2)(x+2)(x+3)(x1)(x+3)2(x+3)(x2)=(x+2)(x1)(x+3)2.\begin{aligned} \frac{(x-2)(x+2)}{(x+3)^2} \cdot \frac{(x+3)(x-1)}{(x+3)(x-2)} &= \frac{(x-2)(x+2)(x+3)(x-1)}{(x+3)^2(x+3)(x-2)} \\ &= \frac{(x+2)(x-1)}{(x+3)^2}. \end{aligned}

Same problem, no quartics, no root hunting. You met this idea when you graphed polynomials: the factored form is the one that shows you the roots, and expanding hides them. It is the same story here. The factored form of a rational expression is the form in which its cancellations and its restrictions are legible. Every method in this chapter begins by putting everything into it.

Worked example 1 Multiply 3x212x2+7x+12x2+x6x24x+4\frac{3x^2-12}{x^2+7x+12} \cdot \frac{x^2+x-6}{x^2-4x+4}

Factor all four polynomials before doing anything else. Pull the common factor of 33 out first, then use the difference of squares:

3x212=3(x24)=3(x2)(x+2).3x^2 - 12 = 3(x^2 - 4) = 3(x-2)(x+2).

The other three are x2+7x+12=(x+3)(x+4)x^2+7x+12 = (x+3)(x+4), then x2+x6=(x+3)(x2)x^2+x-6 = (x+3)(x-2), and finally x24x+4=(x2)2x^2-4x+4 = (x-2)^2. Read the restrictions off the two denominators right now, while they are factored: the first vanishes at x=3x = -3 and x=4x = -4, the second at x=2x = 2.

Now multiply across and cancel the factors common to the top and the bottom:

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

The answer is 3(x+2)x+4\dfrac{3(x+2)}{x+4} with x4x \ne -4, x3x \ne -3, and x2x \ne 2. Only one of those three restrictions is still visible in the answer. The other two rode on factors that cancelled, and they have to be carried along by hand.

Check your understanding

Simplify x21x+3x+3x1\frac{x^2-1}{x+3} \cdot \frac{x+3}{x-1}.

Answer choices

The restrictions live in the original

Cancelling changes the domain, and that is a real change rather than a bookkeeping nuisance. Take

x+1x(x4)x4x+6=(x+1)(x4)x(x4)(x+6)=x+1x(x+6).\frac{x+1}{x(x-4)} \cdot \frac{x-4}{x+6} = \frac{(x+1)(x-4)}{x(x-4)(x+6)} = \frac{x+1}{x(x+6)}.

At x=4x = 4 the original expression asks you to divide by x4=0x - 4 = 0, so it does not exist there. The simplified form is perfectly comfortable at x=4x = 4: it returns 540=18\frac{5}{40} = \frac{1}{8}. The two are therefore not the same function. They agree at every number where the original is defined, and at x=4x = 4 one of them exists and the other does not.

So the answer is not x+1x(x+6)\frac{x+1}{x(x+6)}. The answer is

x+1x(x+6),x6,x0,x4,\frac{x+1}{x(x+6)}, \qquad x \ne -6, \quad x \ne 0, \quad x \ne 4,

and the restriction x4x \ne 4 is as much a part of it as the algebra is. Restrictions are read off the original expression, before any cancelling, because cancelling is precisely the step that erases them.

Dividing means multiplying by the reciprocal

To divide by a fraction, flip it and multiply. Rational expressions are no different:

AB÷CD=ABDC=ADBC.\frac{A}{B} \div \frac{C}{D} = \frac{A}{B} \cdot \frac{D}{C} = \frac{AD}{BC}.

Why flipping the divisor works, and what it costs#

Dividing by a quantity means undoing multiplication by it: P÷QP \div Q is the quantity that gives back PP when you multiply it by QQ. That description only makes sense when Q0Q \ne 0. If Q=0Q = 0 then everything multiplied by QQ gives 00, so when P0P \ne 0 no such quantity exists at all, and when P=0P = 0 every quantity qualifies. Either way there is no single value to call the quotient, which is what “division by zero is undefined” means.

Now fix a number xx at which B(x)B(x), C(x)C(x), and D(x)D(x) are all nonzero. The divisor CD\frac{C}{D} is then defined, and because its numerator is nonzero the divisor itself is nonzero, so the quotient we want exists. Test the candidate ADBC\frac{AD}{BC} by multiplying it by the divisor, using the product rule proved above:

ADBCCD=ADCBCD=AB,\frac{AD}{BC} \cdot \frac{C}{D} = \frac{ADC}{BCD} = \frac{A}{B},

where the last step cancels the factors CC and DD, both nonzero at xx. The candidate gives back the dividend when multiplied by the divisor, so the candidate is the quotient:

AB÷CD=ADBC=ABDC.\frac{A}{B} \div \frac{C}{D} = \frac{AD}{BC} = \frac{A}{B} \cdot \frac{D}{C}.

Read off the hypotheses that argument used: B(x)0B(x) \ne 0, D(x)0D(x) \ne 0, and C(x)0C(x) \ne 0. The first two say the two rational expressions are defined. The third is new, and it is not a technicality. It is the statement that you are not dividing by zero.

So a quotient of rational expressions carries three conditions, one on each of three polynomials:

AB÷CDrequiresB0,D0,C0.\frac{A}{B} \div \frac{C}{D} \quad \text{requires} \quad B \ne 0, \quad D \ne 0, \quad C \ne 0.

Of the four polynomials on the page, only AA, the dividend’s numerator, is free to be zero. The third condition is worth restating in the form you will actually use. Wherever the divisor CD\frac{C}{D} is defined, it equals zero exactly when its numerator CC equals zero. If C=0C = 0 and D0D \ne 0 then the fraction is 00, and conversely if the fraction is 00 then multiplying both sides by DD gives C=0C = 0. So the rule is simply that the divisor’s numerator can never be zero, and that is the restriction almost nobody writes down.

The vanishing restriction

Here is the trap in its purest form. Divide:

xx1÷x2x5.\frac{x}{x-1} \div \frac{x-2}{x-5}.

Before touching anything, collect the three conditions. The dividend’s denominator gives x1x \ne 1. The divisor’s denominator gives x5x \ne 5. The divisor’s numerator gives x2x \ne 2, because at x=2x = 2 the divisor is 03=0\frac{0}{-3} = 0 and you would be dividing by zero. Now flip and multiply:

xx1x5x2=x(x5)(x1)(x2).\frac{x}{x-1} \cdot \frac{x-5}{x-2} = \frac{x(x-5)}{(x-1)(x-2)}.

Nothing cancelled. Nothing came close to cancelling. And the answer has still lost a restriction: its denominators are x1x-1 and x2x-2, so the page now announces x1x \ne 1 and x2x \ne 2 and says nothing whatever about x5x \ne 5. Put x=5x = 5 into the answer and you get 5043=0\frac{5 \cdot 0}{4 \cdot 3} = 0, an utterly ordinary value. Put x=5x = 5 into the original and the divisor is 30\frac{3}{0}, which does not exist.

The flip did not reveal a hidden restriction. It traded one hidden restriction for another. Before the flip, CC sits in a numerator, so C0C \ne 0 is invisible. After the flip, DD sits in a numerator, so D0D \ne 0 is invisible. No single form of the expression displays all three conditions at once.

The flip trades one hidden restriction for anotherA over B divided by C over D equals A over B times D over C. In the quotient, the conditions on B and D are visible under the denominators and the condition on C is hidden. In the product, the conditions on B and C are visible and the condition on D is hidden.AB÷CD=AB·DCC ≠ 0D ≠ 0B ≠ 0D ≠ 0B ≠ 0C ≠ 0
Flipping the divisor does not reveal a restriction, it trades one for another. C and D swap places, and whichever of them lands in a numerator has its nonzero condition erased from the page. The dashed boxes mark a condition that is still true but is no longer written anywhere. Only the original expression, read with the division rule in mind, gives you all three.

The same story as a ledger, for the example above:

RestrictionWhere it comes fromShown by xx1÷x2x5\frac{x}{x-1} \div \frac{x-2}{x-5} ?Shown by xx1x5x2\frac{x}{x-1} \cdot \frac{x-5}{x-2} ?
x1x \ne 1the dividend’s denominatoryesyes
x5x \ne 5the divisor’s denominatoryesno
x2x \ne 2the divisor cannot be zeronoyes

There is no stage after the original at which the page carries every restriction, so there is exactly one safe procedure. Collect the restrictions from the original expression, using the division rule, before you flip and before you cancel.

Cancelling then makes things worse. Take the standard exercise

x+1x2÷x3x2.\frac{x+1}{x-2} \div \frac{x-3}{x-2}.

From the original: x2x \ne 2, since x2x-2 is the denominator of both fractions, and x3x \ne 3, since that is where the divisor is zero. Flip and multiply:

x+1x2x2x3=(x+1)(x2)(x2)(x3)=x+1x3.\frac{x+1}{x-2} \cdot \frac{x-2}{x-3} = \frac{(x+1)(x-2)}{(x-2)(x-3)} = \frac{x+1}{x-3}.

The answer is x+1x3\frac{x+1}{x-3} with x2x \ne 2 and x3x \ne 3. The x2x-2 that was staring at you twice in the original has cancelled itself out of existence. And the only restriction the answer still shows is x3x \ne 3, which is the one that was invisible when you started.

Now change a single polynomial and watch every trace disappear:

x29x+1÷x3x+1=(x3)(x+3)x+1x+1x3=x+3.\frac{x^2-9}{x+1} \div \frac{x-3}{x+1} = \frac{(x-3)(x+3)}{x+1} \cdot \frac{x+1}{x-3} = x + 3.

The answer is a polynomial. It is defined at every real number and it advertises no restrictions at all. But the expression you started from is undefined at x=1x = -1, where both denominators vanish, and undefined at x=3x = 3, where the divisor is 04=0\frac{0}{4} = 0. The honest answer is

x+3,x1,x3,x + 3, \qquad x \ne -1, \quad x \ne 3,

a polynomial with two holes punched in it. Nothing in the symbols x+3x + 3 will ever remind you they are there. Your notes are the only place those two facts survive, which is the whole reason you collect them first.

Check your understanding

Which values of xx must be excluded from x5x+2÷x4x+2\frac{x-5}{x+2} \div \frac{x-4}{x+2}?

Answer choices

Worked example 2 Divide x225x2+2x8÷x2+10x+25x216\frac{x^2-25}{x^2+2x-8} \div \frac{x^2+10x+25}{x^2-16}

Factor all four polynomials first:

(x5)(x+5)(x+4)(x2)÷(x+5)2(x4)(x+4).\frac{(x-5)(x+5)}{(x+4)(x-2)} \div \frac{(x+5)^2}{(x-4)(x+4)}.

Collect the restrictions from this original form, before flipping anything. The dividend’s denominator (x+4)(x2)(x+4)(x-2) gives x4x \ne -4 and x2x \ne 2. The divisor’s denominator (x4)(x+4)(x-4)(x+4) gives x4x \ne 4 and x4x \ne -4. The divisor’s numerator (x+5)2(x+5)^2 gives x5x \ne -5, because the divisor is zero exactly where (x+5)2=0(x+5)^2 = 0 and you cannot divide by zero.

Now flip the divisor and multiply:

(x5)(x+5)(x+4)(x2)(x4)(x+4)(x+5)2=(x5)(x+5)(x4)(x+4)(x+4)(x2)(x+5)2=(x5)(x4)(x2)(x+5).\begin{aligned} \frac{(x-5)(x+5)}{(x+4)(x-2)} \cdot \frac{(x-4)(x+4)}{(x+5)^2} &= \frac{(x-5)(x+5)(x-4)(x+4)}{(x+4)(x-2)(x+5)^2} \\ &= \frac{(x-5)(x-4)}{(x-2)(x+5)}. \end{aligned}

The answer is

(x5)(x4)(x2)(x+5),x5,x4,x2,x4.\frac{(x-5)(x-4)}{(x-2)(x+5)}, \qquad x \ne -5, \quad x \ne -4, \quad x \ne 2, \quad x \ne 4.

Two of those four restrictions survive in the answer’s denominator, x2x \ne 2 and x5x \ne -5. The other two do not. At x=4x = 4 the answer returns 00, and at x=4x = -4 it returns 12-12, both perfectly finite, while the original expression exists at neither. Those two restrictions are true only because you wrote them down.

Worked example 3 Divide x29x2+2x\frac{x^2-9}{x^2+2x} by the polynomial x+3x+3

A polynomial is a rational expression with denominator 11, so write the divisor as x+31\frac{x+3}{1} and the rule applies unchanged. Factor, then collect restrictions:

(x3)(x+3)x(x+2)÷x+31.\frac{(x-3)(x+3)}{x(x+2)} \div \frac{x+3}{1}.

The dividend’s denominator gives x0x \ne 0 and x2x \ne -2. The divisor’s denominator is the constant 11, which is never zero, so it costs nothing. The divisor’s numerator gives x3x \ne -3: dividing by x+3x+3 is illegal exactly where x+3=0x + 3 = 0.

That last restriction deserves a hard look. Nowhere in the expression as written is there a denominator containing x+3x+3, so nothing on the page hints at it. It comes from the division symbol alone.

Flip and multiply:

(x3)(x+3)x(x+2)1x+3=(x3)(x+3)x(x+2)(x+3)=x3x(x+2).\frac{(x-3)(x+3)}{x(x+2)} \cdot \frac{1}{x+3} = \frac{(x-3)(x+3)}{x(x+2)(x+3)} = \frac{x-3}{x(x+2)}.

The answer is x3x(x+2)\dfrac{x-3}{x(x+2)} with x3x \ne -3, x2x \ne -2, and x0x \ne 0. Check the odd one out: at x=3x = -3 the answer evaluates to 6(3)(1)=2\frac{-6}{(-3)(-1)} = -2, a genuine number, while the original asks you to divide 03\frac{0}{3} by 00. That is undefined, and only your notes remember it.

Check your understanding

The quotient x21x2÷x+1x2\frac{x^2-1}{x-2} \div \frac{x+1}{x-2} simplifies to x1x-1. At which values of xx is the original quotient undefined?

Answer choices

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)

Every restriction in this lesson traces back to one refusal. That refusal took centuries to look like the right move.

Around the year 628, in India, the astronomer Brahmagupta wrote out the arithmetic of zero. He settled addition, subtraction and multiplication correctly, and those are still the rules you use. Then he reached division. He declared that zero divided by zero is zero. Five centuries later Bhaskara tried again. He proposed that a quantity divided by zero becomes an endless quantity, unchanged by whatever you add to it. That is nearer to something you could defend. It is still not a number you can calculate with.

Both men were trying to give division by zero an answer. The modern reply refuses to give one. There is no value, so a divisor must simply never be zero. Refusing turned out to be worth more than answering, because it is a rule the rest of the algebra can lean on.

The symbol is much younger than the argument. That sign ÷\div, an obelus, was made popular by a Swiss algebra book of 1659, written by Johann Rahn.

The refusal is the source of every condition you collected today. When you flip a divisor and insist that its numerator cannot be zero, you are enforcing a rule it took a thousand years to accept.