The remain­der the­o­rem tells us the remain­der on divid­ing by x−ax - a. The most inter­est­ing case is when that remain­der is zero, because then x−ax - a divides the poly­no­mial exactly: it is a fac­tor. This spe­cial case is called the fac­tor the­o­rem. It lets us test a fac­tor by sub­sti­tut­ing one num­ber, find unknown coef­fi­cients, prove divis­i­bil­ity with­out divid­ing, and, in the next lessons, fac­torise cubics and quar­tics.

The the­o­rem

Fac­tor the­o­rem. x−ax - a is a fac­tor of f(x)f(x) if and only if f(a)=0f(a) = 0.

Why it is true. By the remain­der the­o­rem, divid­ing f(x)f(x) by x−ax - a leaves the remain­der f(a)f(a). If f(a)=0f(a) = 0, the remain­der is 00, so f(x)=(x−a) q(x)f(x) = (x - a)\,q(x) and x−ax - a is a fac­tor. Going the other way, if x−ax - a is a fac­tor, the remain­der is 00, so f(a)=0f(a) = 0.

As with the remain­der the­o­rem, a lin­ear divi­sor with a coef­fi­cient fol­lows the same pat­tern:

ax−b is a factor of f(x)  ⟺  f(ba)=0,ax+b is a factor of f(x)  ⟺  f(−ba)=0\displaystyle ax - b \text{ is a factor of } f(x) \iff f\left(\frac{b}{a}\right) = 0, \qquad ax + b \text{ is a factor of } f(x) \iff f\left(-\frac{b}{a}\right) = 0

Exam­ple 1

Check whether x−2x - 2 is a fac­tor of x2−4x^2 - 4.

f(2)=22−4=4−4=0f(2) = 2^2 - 4 = 4 - 4 = 0

So x−2x - 2 is a fac­tor. Indeed x2−4=(x−2)(x+2)x^2 - 4 = (x - 2)(x + 2).

Exam­ple 2

Show that x−3x - 3 is a fac­tor of x3−3x2+4x−12x^3 - 3x^2 + 4x - 12.

f(3)=27−27+12−12=0f(3) = 27 - 27 + 12 - 12 = 0

So x−3x - 3 is a fac­tor.

Find­ing unknown coef­fi­cients

Exam­ple 3

Find aa so that 2x4−ax3+4x2+2x+12x^4 - ax^3 + 4x^2 + 2x + 1 is divis­i­ble by 1−2x1 - 2x.

1−2x=01 - 2x = 0 gives x=12\displaystyle x = \frac{1}{2}. Divis­i­ble means the remain­der is 00, so f(12)=0\displaystyle f\left(\frac{1}{2}\right) = 0.

2(116)−a(18)+4(14)+2(12)+1=018−a8+1+1+1=01−a8=−31−a=−24a=25\displaystyle \begin{aligned} 2\left(\tfrac{1}{16}\right) - a\left(\tfrac{1}{8}\right) + 4\left(\tfrac{1}{4}\right) + 2\left(\tfrac{1}{2}\right) + 1 &= 0 \\ \tfrac{1}{8} - \tfrac{a}{8} + 1 + 1 + 1 &= 0 \\ \tfrac{1 - a}{8} &= -3 \\ 1 - a &= -24 \\ a &= 25 \end{aligned}

Exam­ple 4

The poly­no­mial ax3+bx2+x−6ax^3 + bx^2 + x - 6 has x+2x + 2 as a fac­tor and leaves a remain­der 44 when divided by x−2x - 2. Find aa and bb.

Let f(x)=ax3+bx2+x−6f(x) = ax^3 + bx^2 + x - 6.

Since x+2x + 2 is a fac­tor, f(−2)=0f(-2) = 0:

−8a+4b−2−6=0  ⟹  −8a+4b=8  ⟹  −2a+b=2(1)-8a + 4b - 2 - 6 = 0 \implies -8a + 4b = 8 \implies -2a + b = 2 \quad (1)

Since the remain­der on divid­ing by x−2x - 2 is 44, f(2)=4f(2) = 4:

8a+4b+2−6=4  ⟹  8a+4b=8  ⟹  2a+b=2(2)8a + 4b + 2 - 6 = 4 \implies 8a + 4b = 8 \implies 2a + b = 2 \quad (2)

Sub­tract (1) from (2): 4a=04a = 0, so a=0a = 0. Then from (2), b=2b = 2.

So a=0a = 0 and b=2b = 2, and the poly­no­mial is really 2x2+x−62x^2 + x - 6. Check: f(−2)=8−2−6=0f(-2) = 8 - 2 - 6 = 0 and f(2)=8+2−6=4f(2) = 8 + 2 - 6 = 4. Both con­di­tions hold.

Exam­ple 5

Find aa and bb so that x+1x + 1 and x−1x - 1 are both fac­tors of f(x)=x4+ax3−3x2+2x+bf(x) = x^4 + ax^3 - 3x^2 + 2x + b.

f(−1)=0  ⟹  1−a−3−2+b=0  ⟹  −a+b=4(1)f(-1) = 0 \implies 1 - a - 3 - 2 + b = 0 \implies -a + b = 4 \quad (1)

f(1)=0  ⟹  1+a−3+2+b=0  ⟹  a+b=0(2)f(1) = 0 \implies 1 + a - 3 + 2 + b = 0 \implies a + b = 0 \quad (2)

Adding: 2b=42b = 4, so b=2b = 2, and then a=−2a = -2.

Exam­ple 6

Find pp and qq so that f(x)=x4+px3+2x2−3x+qf(x) = x^4 + px^3 + 2x^2 - 3x + q is divis­i­ble by x2−1x^2 - 1.

Since x2−1=(x+1)(x−1)x^2 - 1 = (x + 1)(x - 1), divis­i­bil­ity by x2−1x^2 - 1 means both x+1x + 1 and x−1x - 1 are fac­tors.

f(−1)=0  ⟹  1−p+2+3+q=0  ⟹  −p+q=−6(1)f(-1) = 0 \implies 1 - p + 2 + 3 + q = 0 \implies -p + q = -6 \quad (1)

f(1)=0  ⟹  1+p+2−3+q=0  ⟹  p+q=0(2)f(1) = 0 \implies 1 + p + 2 - 3 + q = 0 \implies p + q = 0 \quad (2)

Adding: 2q=−62q = -6, so q=−3q = -3, and then p=3p = 3.

Divis­i­bil­ity with­out actual divi­sion

To show a poly­no­mial is divis­i­ble by a qua­dratic, fac­torise the qua­dratic into two lin­ear fac­tors and test each one.

Exam­ple 7

With­out actual divi­sion, prove that 2x4−5x3+2x2−x+22x^4 - 5x^3 + 2x^2 - x + 2 is exactly divis­i­ble by x2−3x+2x^2 - 3x + 2.

First fac­torise the divi­sor: x2−3x+2=x2−x−2x+2=(x−1)(x−2)x^2 - 3x + 2 = x^2 - x - 2x + 2 = (x - 1)(x - 2).

Let f(x)=2x4−5x3+2x2−x+2f(x) = 2x^4 - 5x^3 + 2x^2 - x + 2.

f(1)=2−5+2−1+2=6−6=0f(1) = 2 - 5 + 2 - 1 + 2 = 6 - 6 = 0

f(2)=2(16)−5(8)+2(4)−2+2=32−40+8=0f(2) = 2(16) - 5(8) + 2(4) - 2 + 2 = 32 - 40 + 8 = 0

So x−1x - 1 and x−2x - 2 are both fac­tors, and there­fore their prod­uct x2−3x+2x^2 - 3x + 2 is a fac­tor of f(x)f(x).

Mak­ing a poly­no­mial exactly divis­i­ble

By the divi­sion algo­rithm, f(x)=g(x)q(x)+r(x)f(x) = g(x)q(x) + r(x). Rear­rang­ing,

f(x)−r(x)=g(x) q(x)f(x) - r(x) = g(x)\,q(x)

so f(x)−r(x)f(x) - r(x) is exactly divis­i­ble by g(x)g(x). In words: sub­tract the remain­der, or equiv­a­lently add the remain­der with its sign changed.

Exam­ple 8

What must be sub­tracted from 4x4−2x3−6x2+x−54x^4 - 2x^3 - 6x^2 + x - 5 so that the result is exactly divis­i­ble by 2x2+x−12x^2 + x - 1?

We divided exactly this pair in the les­son on long divi­sion: the quo­tient was 2x2−2x−12x^2 - 2x - 1 and the remain­der was −6-6. So we must sub­tract −6-6. (Sub­tract­ing −6-6 is the same as adding 66, giv­ing 4x4−2x3−6x2+x+14x^4 - 2x^3 - 6x^2 + x + 1.)

Exam­ple 9

What must be added to x4+2x3−2x2+x−1x^4 + 2x^3 - 2x^2 + x - 1 so that the result is exactly divis­i­ble by x2+2x−3x^2 + 2x - 3?

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

The remain­der is −x+2-x + 2. To be added: −(−x+2)=x−2-(-x + 2) = x - 2.

A fac­tor for every odd power

Show that x+ax + a is a fac­tor of xn+anx^n + a^n when­ever nn is an odd pos­i­tive inte­ger.

Let f(x)=xn+anf(x) = x^n + a^n. Then

f(−a)=(−a)n+an=−an+an=0f(-a) = (-a)^n + a^n = -a^n + a^n = 0

since an odd power of a neg­a­tive num­ber is neg­a­tive. So x+ax + a is a fac­tor. For exam­ple, x+2x + 2 is a fac­tor of x3+8=x3+23x^3 + 8 = x^3 + 2^3, and indeed x3+8=(x+2)(x2−2x+4)x^3 + 8 = (x + 2)(x^2 - 2x + 4); like­wise x+2x + 2 is a fac­tor of x5+32=x5+25x^5 + 32 = x^5 + 2^5. The last les­son of this chap­ter devel­ops this idea fully.

Prac­tice

  1. Is x−3x - 3 a fac­tor of x3−6x2+11x−6x^3 - 6x^2 + 11x - 6?
  2. Is x+5x + 5 a fac­tor of 3x4+17x3+9x2−7x−103x^4 + 17x^3 + 9x^2 - 7x - 10?
  3. Is 3x−23x - 2 a fac­tor of 3x3+x2−20x+123x^3 + x^2 - 20x + 12?
  4. For what value of aa is x−5x - 5 a fac­tor of x3−3x2+ax−10x^3 - 3x^2 + ax - 10?
  5. Find aa if x+2x + 2 is a fac­tor of 4x4+2x3−3x2+8x+5a4x^4 + 2x^3 - 3x^2 + 8x + 5a.
  6. Find aa and bb so that x3+10x2+ax+bx^3 + 10x^2 + ax + b is exactly divis­i­ble by both x−1x - 1 and x−2x - 2.
  7. Find α\alpha and β\beta if x+1x + 1 and x+2x + 2 are fac­tors of x3+3x2−2αx+βx^3 + 3x^2 - 2\alpha x + \beta.
  8. Find aa and bb if x2−4x^2 - 4 is a fac­tor of ax4+2x3−3x2+bx−4ax^4 + 2x^3 - 3x^2 + bx - 4.
  9. With­out actual divi­sion, prove that 2x4−6x3+3x2+3x−22x^4 - 6x^3 + 3x^2 + 3x - 2 is exactly divis­i­ble by x2−3x+2x^2 - 3x + 2.
  10. What must be added to x3−3x2−12x+19x^3 - 3x^2 - 12x + 19 so that the result is exactly divis­i­ble by x2+x−6x^2 + x - 6?
  11. What must be sub­tracted from x3−6x2−15x+80x^3 - 6x^2 - 15x + 80 so that the result is exactly divis­i­ble by x2+x−12x^2 + x - 12?

Answers

Show answers
  1. Yes: f(3)=27−54+33−6=0f(3) = 27 - 54 + 33 - 6 = 0.
  2. Yes: f(−5)=1875−2125+225+35−10=0f(-5) = 1875 - 2125 + 225 + 35 - 10 = 0.
  3. Yes: f(23)=89+49−403+12=8+4−120+1089=0\displaystyle f\left(\frac{2}{3}\right) = \frac{8}{9} + \frac{4}{9} - \frac{40}{3} + 12 = \frac{8 + 4 - 120 + 108}{9} = 0.
  4. 125−75+5a−10=0125 - 75 + 5a - 10 = 0, so 40+5a=040 + 5a = 0 and a=−8a = -8.
  5. f(−2)=64−16−12−16+5a=20+5a=0f(-2) = 64 - 16 - 12 - 16 + 5a = 20 + 5a = 0, so a=−4a = -4.
  6. f(1)=11+a+b=0f(1) = 11 + a + b = 0 and f(2)=48+2a+b=0f(2) = 48 + 2a + b = 0. Sub­tract­ing: a=−37a = -37, then b=26b = 26.
  7. f(−1)=2+2α+β=0f(-1) = 2 + 2\alpha + \beta = 0 and f(−2)=4+4α+β=0f(-2) = 4 + 4\alpha + \beta = 0. Sub­tract­ing: 2+2α=02 + 2\alpha = 0, so α=−1\alpha = -1 and β=0\beta = 0.
  8. f(2)=16a+2b=0f(2) = 16a + 2b = 0 and f(−2)=16a−2b−32=0f(-2) = 16a - 2b - 32 = 0. Adding: 32a=3232a = 32, so a=1a = 1 and b=−8b = -8.
  9. x2−3x+2=(x−1)(x−2)x^2 - 3x + 2 = (x - 1)(x - 2); f(1)=2−6+3+3−2=0f(1) = 2 - 6 + 3 + 3 - 2 = 0 and f(2)=32−48+12+6−2=0f(2) = 32 - 48 + 12 + 6 - 2 = 0.
  10. Divid­ing gives quo­tient x−4x - 4 and remain­der −2x−5-2x - 5, so add 2x+52x + 5.
  11. Divid­ing gives quo­tient x−7x - 7 and remain­der 4x−44x - 4, so sub­tract 4x−44x - 4.