You already know that divid­ing 99 by 44 gives quo­tient 22 and remain­der 11, because 9=4×2+19 = 4 \times 2 + 1. Poly­no­mi­als divide in exactly the same way, and the method is the long divi­sion you learnt for num­bers. This les­son shows how to set out the work­ing, how to check it, and the rule behind it, called the divi­sion algo­rithm. Every­thing that fol­lows in this chap­ter, the remain­der the­o­rem, the fac­tor the­o­rem and fac­tori­sa­tion, rests on it.

The divi­sion algo­rithm

If f(x)f(x) and g(x)g(x) are two poly­no­mi­als, with g(x)g(x) not the zero poly­no­mial, then there exist unique poly­no­mi­als q(x)q(x) and r(x)r(x) such that

f(x)=g(x) q(x)+r(x)f(x) = g(x)\,q(x) + r(x)

where either r(x)=0r(x) = 0 or deg⁡r(x)<deg⁡g(x)\deg r(x) < \deg g(x).

Here f(x)f(x) is the div­i­dend, g(x)g(x) the divi­sor, q(x)q(x) the quo­tient and r(x)r(x) the remain­der. ("deg" is short for degree.) Com­pare it with num­bers: 9=4×2+19 = 4 \times 2 + 1, with the remain­der 11 smaller than the divi­sor 44. For poly­no­mi­als, "smaller" means "of lower degree", so we keep divid­ing until what is left has a lower degree than the divi­sor.

The method

Before you start, write both poly­no­mi­als in descend­ing pow­ers, and fill any miss­ing power with a zero term. Then repeat four moves:

  1. Divide the lead­ing term of what is left by the lead­ing term of the divi­sor. This gives the next term of the quo­tient.
  2. Mul­ti­ply the whole divi­sor by that term.
  3. Sub­tract the prod­uct from what is left. (Change every sign of the prod­uct and add.)
  4. Bring down the next term, and go back to step 1.

Stop when what is left has a lower degree than the divi­sor. That is the remain­der.

Exam­ple 1

Find the quo­tient and remain­der when f(x)=2x4−6x3+2x2−x+2f(x) = 2x^4 - 6x^3 + 2x^2 - x + 2 is divided by x+2x + 2.

Each row of the table is one round of the four moves.

Round Divide Mul­ti­ply by (x+2)(x + 2) Left after sub­tract­ing
1 2x4÷x=2x32x^4 \div x = 2x^3 2x4+4x32x^4 + 4x^3 −10x3+2x2−x+2-10x^3 + 2x^2 - x + 2
2 −10x3÷x=−10x2-10x^3 \div x = -10x^2 −10x3−20x2-10x^3 - 20x^2 22x2−x+222x^2 - x + 2
3 22x2÷x=22x22x^2 \div x = 22x 22x2+44x22x^2 + 44x −45x+2-45x + 2
4 −45x÷x=−45-45x \div x = -45 −45x−90-45x - 90 9292

Look closely at round 2: sub­tract­ing −20x2-20x^2 from 2x22x^2 gives 2x2+20x2=22x22x^2 + 20x^2 = 22x^2. Sub­tract­ing a neg­a­tive is where most mis­takes hap­pen.

The terms in the "Divide" col­umn make the quo­tient:

q(x)=2x3−10x2+22x−45,r(x)=92q(x) = 2x^3 - 10x^2 + 22x - 45, \qquad r(x) = 92

Check. (x+2)(2x3−10x2+22x−45)=2x4−6x3+2x2−x−90(x + 2)(2x^3 - 10x^2 + 22x - 45) = 2x^4 - 6x^3 + 2x^2 - x - 90, and adding the remain­der 9292 gives back 2x4−6x3+2x2−x+22x^4 - 6x^3 + 2x^2 - x + 2. So f(x)=g(x)q(x)+r(x)f(x) = g(x)q(x) + r(x) holds.

Exam­ple 2

Divide x3−6x2+11x−6x^3 - 6x^2 + 11x - 6 by x2−3x+2x^2 - 3x + 2.

Round Divide Mul­ti­ply by (x2−3x+2)(x^2 - 3x + 2) Left after sub­tract­ing
1 x3÷x2=xx^3 \div x^2 = x x3−3x2+2xx^3 - 3x^2 + 2x −3x2+9x−6-3x^2 + 9x - 6
2 −3x2÷x2=−3-3x^2 \div x^2 = -3 −3x2+9x−6-3x^2 + 9x - 6 00

Quo­tient =x−3= x - 3, remain­der =0= 0. A zero remain­der means x2−3x+2x^2 - 3x + 2 divides the div­i­dend exactly:

x3−6x2+11x−6=(x2−3x+2)(x−3)x^3 - 6x^2 + 11x - 6 = (x^2 - 3x + 2)(x - 3)

Exam­ple 3

Divide 4x4−2x3−6x2+x−54x^4 - 2x^3 - 6x^2 + x - 5 by 2x2+x−12x^2 + x - 1.

Round Divide Mul­ti­ply by (2x2+x−1)(2x^2 + x - 1) Left after sub­tract­ing
1 4x4÷2x2=2x24x^4 \div 2x^2 = 2x^2 4x4+2x3−2x24x^4 + 2x^3 - 2x^2 −4x3−4x2+x−5-4x^3 - 4x^2 + x - 5
2 −4x3÷2x2=−2x-4x^3 \div 2x^2 = -2x −4x3−2x2+2x-4x^3 - 2x^2 + 2x −2x2−x−5-2x^2 - x - 5
3 −2x2÷2x2=−1-2x^2 \div 2x^2 = -1 −2x2−x+1-2x^2 - x + 1 −6-6

Quo­tient =2x2−2x−1= 2x^2 - 2x - 1, remain­der =−6= -6. The remain­der −6-6 has degree 00, lower than the degree 22 of the divi­sor, so we stop.

Exam­ple 4

Divide 2x3+x−122x^3 + x - 12 by 3−2x3 - 2x.

First tidy both poly­no­mi­als. Write the divi­sor in descend­ing pow­ers as −2x+3-2x + 3, and give the div­i­dend its miss­ing x2x^2 term: 2x3+0x2+x−122x^3 + 0x^2 + x - 12. The lead­ing term of the divi­sor is now −2x-2x, and the signs need care.

Round Divide Mul­ti­ply by (−2x+3)(-2x + 3) Left after sub­tract­ing
1 2x3÷(−2x)=−x22x^3 \div (-2x) = -x^2 2x3−3x22x^3 - 3x^2 3x2+x−123x^2 + x - 12
2 3x2÷(−2x)=−32x\displaystyle 3x^2 \div (-2x) = -\frac{3}{2}x 3x2−92x\displaystyle 3x^2 - \frac{9}{2}x 112x−12\displaystyle \frac{11}{2}x - 12
3 112x÷(−2x)=−114\displaystyle \frac{11}{2}x \div (-2x) = -\frac{11}{4} 112x−334\displaystyle \frac{11}{2}x - \frac{33}{4} −154\displaystyle -\frac{15}{4}

In round 2, x−(−92x)=22x+92x=112x\displaystyle x - \left(-\frac{9}{2}x\right) = \frac{2}{2}x + \frac{9}{2}x = \frac{11}{2}x. In round 3, −12+334=−48+334=−154\displaystyle -12 + \frac{33}{4} = \frac{-48 + 33}{4} = -\frac{15}{4}.

q(x)=−x2−32x−114,r(x)=−154\displaystyle q(x) = -x^2 - \frac{3}{2}x - \frac{11}{4}, \qquad r(x) = -\frac{15}{4}

Frac­tions in the quo­tient are per­fectly nor­mal when the lead­ing coef­fi­cient of the divi­sor does not divide the div­i­dend's coef­fi­cients.

Using the algo­rithm back­wards

The equa­tion f(x)=g(x)q(x)+r(x)f(x) = g(x)q(x) + r(x) also lets us rebuild a div­i­dend from the other three parts.

Exam­ple 5

A poly­no­mial divided by x−1x - 1 gives quo­tient x2+4x^2 + 4 and remain­der −3-3. Find the poly­no­mial.

f(x)=(x−1)(x2+4)+(−3)=x3+4x−x2−4−3=x3−x2+4x−7\begin{aligned} f(x) &= (x - 1)(x^2 + 4) + (-3) \\ &= x^3 + 4x - x^2 - 4 - 3 \\ &= x^3 - x^2 + 4x - 7 \end{aligned}

Prac­tice

  1. Divide 3x2+5x−13x^2 + 5x - 1 by x+2x + 2 and ver­ify the divi­sion algo­rithm.
  2. Divide 2x2+3x+12x^2 + 3x + 1 by x−2x - 2.
  3. Divide 3x3+x2−20x+123x^3 + x^2 - 20x + 12 by 3x−23x - 2.
  4. Divide x3+2x2−5x−6x^3 + 2x^2 - 5x - 6 by x2−x−2x^2 - x - 2.
  5. Divide 3x3+x2+2x+53x^3 + x^2 + 2x + 5 by x2+2x+1x^2 + 2x + 1.
  6. Divide 6x3+5x2−46x^3 + 5x^2 - 4 by 2x−12x - 1.
  7. Find the quo­tient when 18a3−94a2x+272ax2−27x3\displaystyle \frac{1}{8}a^3 - \frac{9}{4}a^2x + \frac{27}{2}ax^2 - 27x^3 is divided by 12a−3x\displaystyle \frac{1}{2}a - 3x.
  8. A poly­no­mial divided by x−3x - 3 gives quo­tient x2+2x^2 + 2 and remain­der 55. Find the poly­no­mial.

Answers

Show answers
  1. Quo­tient 3x−13x - 1, remain­der 11. Check: (x+2)(3x−1)+1=3x2+5x−2+1=3x2+5x−1(x + 2)(3x - 1) + 1 = 3x^2 + 5x - 2 + 1 = 3x^2 + 5x - 1.
  2. Quo­tient 2x+72x + 7, remain­der 1515.
  3. Quo­tient x2+x−6x^2 + x - 6, remain­der 00. (Rounds: x2x^2, then xx, then −6-6.)
  4. Quo­tient x+3x + 3, remain­der 00.
  5. Quo­tient 3x−53x - 5, remain­der 9x+109x + 10. After the first round, 3x(x2+2x+1)=3x3+6x2+3x3x(x^2 + 2x + 1) = 3x^3 + 6x^2 + 3x leaves −5x2−x+5-5x^2 - x + 5; then −5(x2+2x+1)-5(x^2 + 2x + 1) leaves 9x+109x + 10, which has degree 1<21 < 2.
  6. Write the div­i­dend as 6x3+5x2+0x−46x^3 + 5x^2 + 0x - 4. Quo­tient 3x2+4x+23x^2 + 4x + 2, remain­der −2-2.
  7. 14a2−3ax+9x2\displaystyle \frac{1}{4}a^2 - 3ax + 9x^2, with remain­der 00. (The div­i­dend is (12a−3x)3\displaystyle \left(\frac{1}{2}a - 3x\right)^3, so the quo­tient is (12a−3x)2\displaystyle \left(\frac{1}{2}a - 3x\right)^2.)
  8. (x−3)(x2+2)+5=x3−3x2+2x−6+5=x3−3x2+2x−1(x - 3)(x^2 + 2) + 5 = x^3 - 3x^2 + 2x - 6 + 5 = x^3 - 3x^2 + 2x - 1