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:

AB⋅CD=ACBD.\frac{A}{B} \cdot \frac{C}{D} = \frac{AC}{BD}.

The result is a rational expression again. Multiplying two polynomials always gives another polynomial, so ACAC and BDBD are polynomials, and BDBD is not the zero polynomial as long as neither BB nor DD is. So multiplying two rational expressions always gives another rational expression, the same way multiplying two fractions always gives another fraction.

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

Why AB⋅CD=ACBD\frac{A}{B}\cdot\frac{C}{D} = \frac{AC}{BD}#

Run the idea on numbers first. Take 23⋅57\frac{2}{3} \cdot \frac{5}{7}, and write p=23p = \frac{2}{3} and q=57q = \frac{5}{7}. Those names mean exactly p⋅3=2p \cdot 3 = 2 and q⋅7=5q \cdot 7 = 5, because that is what a quotient is: the number that gives back the top when you multiply it by the bottom. Multiply those two equations together and regroup, which is allowed because multiplication is commutative and associative:

(pq)(3⋅7)=(p⋅3)(q⋅7)=2⋅5=10.(pq)(3 \cdot 7) = (p \cdot 3)(q \cdot 7) = 2 \cdot 5 = 10.

So pqpq is a number that gives back 1010 when multiplied by 2121. Only one number can do that, and it is 1021\frac{10}{21}, exactly 23⋅57\frac{2}{3} \cdot \frac{5}{7} found the fast way. Nothing above depended on 22, 33, 55, and 77 being those particular numbers. Rerun the same two moves with letters.

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 b≠0b \ne 0 and d≠0d \ne 0. Write p=abp = \frac{a}{b} and q=cdq = \frac{c}{d}, so that pb=apb = a and qd=cqd = c, and multiply those equations together the same way:

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

So pqpq is a number that gives back acac when multiplied by bdbd. Since b≠0b \ne 0 and d≠0d \ne 0, the product bdbd is nonzero, so exactly one number does that: if u(bd)=v(bd)=acu(bd) = v(bd) = ac then (u−v)(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 b≠0b \ne 0 and d≠0d \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 AB⋅CD=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 never picks up a restriction beyond the ones BB and DD already carry. Canceling a factor can still hide one of those restrictions from the page later, which the next section shows; multiplying itself adds nothing new. Division is a different story: it is about to add a restriction that was never in BB or DD at all.

Factor first, never last

Consider

x2−4x2+6x+9⋅x2+2x−3x2+x−6.\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 nothing stops you from doing that right away:

(x2−4)(x2+2x−3)(x2+6x+9)(x2+x−6)=x4+2x3−7x2−8x+12x4+7x3+9x2−27x−54.\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:

(x−2)(x+2)(x+3)2⋅(x+3)(x−1)(x+3)(x−2)=(x−2)(x+2)(x+3)(x−1)(x+3)2(x+3)(x−2)=(x+2)(x−1)(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, but look at what the last line quietly drops. The original carries x≠−3x \ne -3 and x≠2x \ne 2: the answer’s denominator (x+3)2(x+3)^2 still shows x≠−3x \ne -3, but x≠2x \ne 2 canceled away along with the (x−2)(x-2) that carried it, and it is no less true for having become invisible. You met the first 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 next section makes the second idea, that canceling erases restrictions from the page, precise. 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 3x2−12x2+7x+12⋅x2+x−6x2−4x+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:

3x2−12=3(x2−4)=3(x−2)(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+x−6=(x+3)(x−2)x^2+x-6 = (x+3)(x-2), and finally x2−4x+4=(x−2)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(x−2)(x+2)(x+3)(x+4)⋅(x+3)(x−2)(x−2)2=3(x−2)2(x+2)(x+3)(x+3)(x+4)(x−2)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 x≠−4x \ne -4, x≠−3x \ne -3, and x≠2x \ne 2. Only one of those three restrictions is still visible in the answer. The other two rode on factors that canceled, and they have to be carried along by hand.

Check your understanding

Simplify x2−1x+3⋅x+3x−1\frac{x^2-1}{x+3} \cdot \frac{x+3}{x-1}, and give every restriction on xx.

Answer choices

The restrictions live in the original

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

x+1x(x−4)⋅x−4x+6=(x+1)(x−4)x(x−4)(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 x−4=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),x≠−6,x≠0,x≠4,\frac{x+1}{x(x+6)}, \qquad x \ne -6, \quad x \ne 0, \quad x \ne 4,

and the restriction x≠4x \ne 4 is as much a part of it as the algebra is. Restrictions are read off the original expression, before any canceling, because canceling 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=AB⋅DC=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 Q≠0Q \ne 0. If Q=0Q = 0 then everything multiplied by QQ gives 00, so when P≠0P \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.

Run the check on numbers first. Divide 23\frac{2}{3} by 45\frac{4}{5}: flip and multiply to get the candidate 23⋅54=1012\frac{2}{3} \cdot \frac{5}{4} = \frac{10}{12}. Multiply that candidate back by the divisor and see whether the dividend comes back:

1012⋅45=4060=23.\frac{10}{12} \cdot \frac{4}{5} = \frac{40}{60} = \frac{2}{3}.

It does, so 1012\frac{10}{12} really is 23÷45\frac{2}{3} \div \frac{4}{5}. Nothing above used 22, 33, 44, and 55 specifically. Rerun the same check with letters.

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:

ADBC⋅CD=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=AB⋅DC.\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÷CDrequiresB≠0,D≠0,C≠0.\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 D≠0D \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:

xx−1÷x−2x−5.\frac{x}{x-1} \div \frac{x-2}{x-5}.

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

xx−1⋅x−5x−2=x(x−5)(x−1)(x−2).\frac{x}{x-1} \cdot \frac{x-5}{x-2} = \frac{x(x-5)}{(x-1)(x-2)}.

Nothing canceled. Nothing came close to canceling. And the answer has still lost a restriction: its denominators are x−1x-1 and x−2x-2, so the page now announces x≠1x \ne 1 and x≠2x \ne 2 and says nothing whatever about x≠5x \ne 5. Put x=5x = 5 into the answer and you get 5⋅04⋅3=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 C≠0C \ne 0 is invisible. After the flip, DD sits in a numerator, so D≠0D \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 xx−1÷x−2x−5\frac{x}{x-1} \div \frac{x-2}{x-5} ?Shown by xx−1⋅x−5x−2\frac{x}{x-1} \cdot \frac{x-5}{x-2} ?
x≠1x \ne 1the dividend’s denominatoryesyes
x≠5x \ne 5the divisor’s denominatoryesno
x≠2x \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.

Canceling then makes things worse. Take the standard exercise

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

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

x+1x−2⋅x−2x−3=(x+1)(x−2)(x−2)(x−3)=x+1x−3.\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+1x−3\frac{x+1}{x-3} with x≠2x \ne 2 and x≠3x \ne 3. The x−2x-2 that was staring at you twice in the original has canceled itself out of existence. And the only restriction the answer still shows is x≠3x \ne 3, which is the one that was invisible when you started. A polynomial answer can lose every trace the same way; the common mistakes below show exactly that case.

Check your understanding

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

Answer choices

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

Factor all four polynomials first:

(x−5)(x+5)(x+4)(x−2)÷(x+5)2(x−4)(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)(x−2)(x+4)(x-2) gives x≠−4x \ne -4 and x≠2x \ne 2. The divisor’s denominator (x−4)(x+4)(x-4)(x+4) gives x≠4x \ne 4 and x≠−4x \ne -4. The divisor’s numerator (x+5)2(x+5)^2 gives x≠−5x \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:

(x−5)(x+5)(x+4)(x−2)⋅(x−4)(x+4)(x+5)2=(x−5)(x+5)(x−4)(x+4)(x+4)(x−2)(x+5)2=(x−5)(x−4)(x−2)(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

(x−5)(x−4)(x−2)(x+5),x≠−5,x≠−4,x≠2,x≠4.\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, x≠2x \ne 2 and x≠−5x \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 x2−9x2+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:

(x−3)(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 x≠0x \ne 0 and x≠−2x \ne -2. The divisor’s denominator is the constant 11, which is never zero, so it costs nothing. The divisor’s numerator gives x≠−3x \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:

(x−3)(x+3)x(x+2)⋅1x+3=(x−3)(x+3)x(x+2)(x+3)=x−3x(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 x−3x(x+2)\dfrac{x-3}{x(x+2)} with x≠−3x \ne -3, x≠−2x \ne -2, and x≠0x \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 x2−1x−2÷x+1x−2\frac{x^2-1}{x-2} \div \frac{x+1}{x-2} simplifies to x−1x-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.

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.

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 a different kind of answer, not an early version of the ordinary real numbers you calculate with today. It is still not a number you can compute 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, first appeared as a division symbol in 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.