Long divi­sion by x−ax - a writes the same let­ters again and again. Every row repeats x3x^3, x2x^2, xx, and every sub­trac­tion changes signs. Syn­thetic divi­sion (also called Horner's method) strips all of that away and works with the coef­fi­cients alone. It gives exactly the same quo­tient and remain­der as long divi­sion, in a frac­tion of the space, and it makes fac­toris­ing cubics and quar­tics much faster.

The method

To divide f(x)f(x) by x−ax - a:

  1. Write the coef­fi­cients of f(x)f(x) in a row, in descend­ing pow­ers. Put 00 for any miss­ing power.
  2. Write aa (the num­ber that makes x−ax - a zero) at the left.
  3. Bring the first coef­fi­cient straight down to the bot­tom row.
  4. Mul­ti­ply that bot­tom num­ber by aa and write the prod­uct under the next coef­fi­cient. Add the col­umn and write the sum in the bot­tom row.
  5. Repeat step 4 until the last col­umn.

The last num­ber in the bot­tom row is the remain­der. The other bot­tom num­bers are the coef­fi­cients of the quo­tient, which has degree one less than f(x)f(x).

Notice that we add each col­umn. Long divi­sion sub­tracts; syn­thetic divi­sion avoids that by using aa instead of −a-a.

Exam­ple 1

Find the quo­tient and remain­der when 4x3−3x+94x^3 - 3x + 9 is divided by x+3x + 3.

Here x+3=x−(−3)x + 3 = x - (-3), so a=−3a = -3. The coef­fi­cients are 4,0,−3,94, 0, -3, 9 (the x2x^2 term is miss­ing).

a=−3a = -3 x3x^3 x2x^2 xx con­stant
coef­fi­cients 44 00 −3-3 99
prod­ucts −12-12 3636 −99-99
bot­tom row 44 −12-12 3333 −90-90

How each col­umn was made:

  • Bring down 44.
  • 4×(−3)=−124 \times (-3) = -12; then 0+(−12)=−120 + (-12) = -12.
  • −12×(−3)=36-12 \times (-3) = 36; then −3+36=33-3 + 36 = 33.
  • 33×(−3)=−9933 \times (-3) = -99; then 9+(−99)=−909 + (-99) = -90.

Quotient=4x2−12x+33,Remainder=−90\text{Quotient} = 4x^2 - 12x + 33, \qquad \text{Remainder} = -90

Check with the remain­der the­o­rem: f(−3)=4(−27)−3(−3)+9=−108+9+9=−90f(-3) = 4(-27) - 3(-3) + 9 = -108 + 9 + 9 = -90. It agrees.

Fac­toris­ing with syn­thetic divi­sion

Com­bine it with the fac­tor the­o­rem: find a zero by trial, then use syn­thetic divi­sion to remove its fac­tor. A remain­der of 00 in the table con­firms the fac­tor.

Exam­ple 2

Fac­torise 2x3−11x2+17x−62x^3 - 11x^2 + 17x - 6 using syn­thetic divi­sion.

Let f(x)=2x3−11x2+17x−6f(x) = 2x^3 - 11x^2 + 17x - 6.

f(1)=2−11+17−6=2≠0f(1) = 2 - 11 + 17 - 6 = 2 \neq 0

f(−1)=−2−11−17−6=−36≠0f(-1) = -2 - 11 - 17 - 6 = -36 \neq 0

f(2)=16−44+34−6=50−50=0f(2) = 16 - 44 + 34 - 6 = 50 - 50 = 0

So x−2x - 2 is a fac­tor. Divide with a=2a = 2:

a=2a = 2 x3x^3 x2x^2 xx con­stant
coef­fi­cients 22 −11-11 1717 −6-6
prod­ucts 44 −14-14 66
bot­tom row 22 −7-7 33 00

The remain­der is 00, and the quo­tient is 2x2−7x+32x^2 - 7x + 3. Split­ting with prod­uct 66 and sum −7-7:

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

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

Exam­ple 3

Fac­torise 3x4−10x3+5x2+10x−83x^4 - 10x^3 + 5x^2 + 10x - 8.

The coef­fi­cients add to 3−10+5+10−8=03 - 10 + 5 + 10 - 8 = 0, so f(1)=0f(1) = 0 and x−1x - 1 is a fac­tor.

a=1a = 1 x4x^4 x3x^3 x2x^2 xx con­stant
coef­fi­cients 33 −10-10 55 1010 −8-8
prod­ucts 33 −7-7 −2-2 88
bot­tom row 33 −7-7 −2-2 88 00

The quo­tient is 3x3−7x2−2x+83x^3 - 7x^2 - 2x + 8. For it, the even-power coef­fi­cients give −7+8=1-7 + 8 = 1 and the odd-power coef­fi­cients give 3−2=13 - 2 = 1, so x+1x + 1 is a fac­tor. Divide the quo­tient by x+1x + 1, that is a=−1a = -1:

a=−1a = -1 x3x^3 x2x^2 xx con­stant
coef­fi­cients 33 −7-7 −2-2 88
prod­ucts −3-3 1010 −8-8
bot­tom row 33 −10-10 88 00

That leaves 3x2−10x+8=3x2−6x−4x+8=3x(x−2)−4(x−2)=(3x−4)(x−2)3x^2 - 10x + 8 = 3x^2 - 6x - 4x + 8 = 3x(x - 2) - 4(x - 2) = (3x - 4)(x - 2).

3x4−10x3+5x2+10x−8=(x−1)(x+1)(x−2)(3x−4)3x^4 - 10x^3 + 5x^2 + 10x - 8 = (x - 1)(x + 1)(x - 2)(3x - 4)

Divid­ing by ax − b

Syn­thetic divi­sion is built for x−ax - a, but a small adjust­ment han­dles a divi­sor like 2x−32x - 3. Since 2x−3=2(x−32)\displaystyle 2x - 3 = 2\left(x - \frac{3}{2}\right), divide by x−32\displaystyle x - \frac{3}{2} first, then divide the quo­tient (not the remain­der) by 22.

Exam­ple 4

Find the quo­tient and remain­der when 4x3−3x+94x^3 - 3x + 9 is divided by 2x−32x - 3.

Use a=32\displaystyle a = \frac{3}{2} with coef­fi­cients 4,0,−3,94, 0, -3, 9.

a=32\displaystyle a = \frac{3}{2} x3x^3 x2x^2 xx con­stant
coef­fi­cients 44 00 −3-3 99
prod­ucts 66 99 99
bot­tom row 44 66 66 1818

So 4x3−3x+9=(x−32)(4x2+6x+6)+18=(2x−3)(2x2+3x+3)+18\displaystyle 4x^3 - 3x + 9 = \left(x - \frac{3}{2}\right)(4x^2 + 6x + 6) + 18 = (2x - 3)(2x^2 + 3x + 3) + 18.

Quotient=2x2+3x+3,Remainder=18\text{Quotient} = 2x^2 + 3x + 3, \qquad \text{Remainder} = 18

The remain­der the­o­rem agrees: f(32)=4(278)−92+9=272−92+9=18\displaystyle f\left(\frac{3}{2}\right) = 4\left(\frac{27}{8}\right) - \frac{9}{2} + 9 = \frac{27}{2} - \frac{9}{2} + 9 = 18.

Prac­tice

Use syn­thetic divi­sion in every ques­tion.

  1. Find the quo­tient and remain­der when x4+8x3+x−5x^4 + 8x^3 + x - 5 is divided by x+2x + 2.
  2. Find the quo­tient and remain­der when x3−6x2+2x−4x^3 - 6x^2 + 2x - 4 is divided by x−3x - 3.
  3. Find the quo­tient and remain­der when 2x4−x3+3x−72x^4 - x^3 + 3x - 7 is divided by x−2x - 2.
  4. Find the quo­tient and remain­der when 4x3−12x2+14x−34x^3 - 12x^2 + 14x - 3 is divided by x−12\displaystyle x - \frac{1}{2}.
  5. Find the quo­tient and remain­der when 6x3+5x2−46x^3 + 5x^2 - 4 is divided by 2x−12x - 1.
  6. Fac­torise x3−2x2−5x+6x^3 - 2x^2 - 5x + 6.
  7. Fac­torise 2x3−7x2−10x+242x^3 - 7x^2 - 10x + 24.
  8. Fac­torise 2x3−x2−15x+182x^3 - x^2 - 15x + 18.

Answers

Show answers
  1. Coef­fi­cients 1,8,0,1,−51, 8, 0, 1, -5 with a=−2a = -2; bot­tom row 1,6,−12,25,−551, 6, -12, 25, -55. Quo­tient x3+6x2−12x+25x^3 + 6x^2 - 12x + 25, remain­der −55-55.
  2. Bot­tom row 1,−3,−7,−251, -3, -7, -25. Quo­tient x2−3x−7x^2 - 3x - 7, remain­der −25-25.
  3. Coef­fi­cients 2,−1,0,3,−72, -1, 0, 3, -7 with a=2a = 2; bot­tom row 2,3,6,15,232, 3, 6, 15, 23. Quo­tient 2x3+3x2+6x+152x^3 + 3x^2 + 6x + 15, remain­der 2323.
  4. Bot­tom row 4,−10,9,32\displaystyle 4, -10, 9, \frac{3}{2}. Quo­tient 4x2−10x+94x^2 - 10x + 9, remain­der 32\displaystyle \frac{3}{2}.
  5. With a=12\displaystyle a = \frac{1}{2} on 6,5,0,−46, 5, 0, -4 the bot­tom row is 6,8,4,−26, 8, 4, -2. Divide the quo­tient by 22: quo­tient 3x2+4x+23x^2 + 4x + 2, remain­der −2-2.
  6. Coef­fi­cients add to 00, so a=1a = 1; bot­tom row 1,−1,−6,01, -1, -6, 0; x2−x−6=(x−3)(x+2)x^2 - x - 6 = (x - 3)(x + 2). Answer (x−1)(x−3)(x+2)(x - 1)(x - 3)(x + 2).
  7. f(4)=128−112−40+24=0f(4) = 128 - 112 - 40 + 24 = 0; bot­tom row 2,1,−6,02, 1, -6, 0; 2x2+x−6=(2x−3)(x+2)2x^2 + x - 6 = (2x - 3)(x + 2). Answer (x−4)(2x−3)(x+2)(x - 4)(2x - 3)(x + 2).
  8. f(2)=16−4−30+18=0f(2) = 16 - 4 - 30 + 18 = 0; bot­tom row 2,3,−9,02, 3, -9, 0; 2x2+3x−9=(2x−3)(x+3)2x^2 + 3x - 9 = (2x - 3)(x + 3). Answer (x−2)(x+3)(2x−3)(x - 2)(x + 3)(2x - 3).