1.02j - Polynomials, division and the factor theorem

1.02j - Polynomials, division and the factor theorem

Turn an awkward cubic into a product you can understand and solve. You will expand and factorise polynomials, divide by a linear expression and use the factor theorem to find roots and unknown coefficients.

Polynomial terms and operations

How can you find every solution of x3−2x2−5x+6=0x^3-2x^2-5x+6=0 without guessing endlessly? Substituting x=1x=1 gives 1−2−5+6=01-2-5+6=0. That small calculation will unlock the whole cubic. First, understand the expression you are handling.

You already know

Expand brackets by multiplying every term. Collect like terms. The zero-product rule says that a product is zero if and only if at least one factor is zero.

Powers tell you which terms belong together: 3x23x^2 and −7x2-7x^2 combine, but 3x23x^2 and −7x-7x do not.

Polynomial

A polynomial in xx is a sum of constant multiples of non-negative integer powers of xx. Its degree is the highest power with a non-zero coefficient. For example, 3x3−2x+53x^3-2x+5 is cubic, even with no x2x^2 term. A quadratic has degree 22, and its graph is a parabola. Neither x−1x^{-1} nor x\sqrt{x} is a polynomial in xx. A non-zero constant has degree 00; the zero polynomial has no degree under this convention.

Keep powers in descending order. This gives every contribution a visible home.

Worked example 1: expand and collect

Question. Expand (x−2)(x2+3x+1)(x-2)(x^2+3x+1).

Plan. Distribute both terms, then collect equal powers.

(x−2)(x2+3x+1)=x3+3x2+x−2x2−6x−2distribute=x3+x2−5x−2collect like powers\begin{aligned} (x-2)(x^2+3x+1)&=x^3+3x^2+x-2x^2-6x-2 && \text{distribute}\\ &=x^3+x^2-5x-2 && \text{collect like powers} \end{aligned}

Why this step? Both 3x23x^2 and −2x2-2x^2 contribute to the same coefficient.

Answer. x3+x2−5x−2x^3+x^2-5x-2.

Check. At x=0x=0, both forms give −2-2. This checks the constant; distribution establishes the whole identity.

Change one feature: subtract another polynomial after expanding. The subtraction affects its whole bracket.

Worked example 2: subtract a whole polynomial

Question. Expand and simplify (x−2)(x2+3x+1)−(x2−4x+2)(x-2)(x^2+3x+1)-(x^2-4x+2).

Plan. Use the expansion above, then change every sign in the subtracted bracket.

x3+x2−5x−2−x2+4x−2remove brackets=x3−x−4collect like powers\begin{aligned} &x^3+x^2-5x-2-x^2+4x-2 && \text{remove brackets}\\ &\qquad=x^3-x-4 && \text{collect like powers} \end{aligned}

Why this step? Subtracting −4x-4x adds 4x4x; the minus sign belongs to the entire polynomial.

Answer. x3−x−4x^3-x-4.

Check. At x=1x=1, the expression is −5−(−1)=−4-5-(-1)=-4, matching 1−1−41-1-4.

Factorisation runs expansion backwards. First look for a common factor: 6x3−12x2=6x2(x−2)6x^3-12x^2=6x^2(x-2). Grouping can reveal a common bracket:

x3+2x2−9x−18=x2(x+2)−9(x+2)=(x+2)(x−3)(x+3).x^3+2x^2-9x-18=x^2(x+2)-9(x+2)=(x+2)(x-3)(x+3).

These algebraic rules are not in the formula sheet: learn them.

Watch out

Wrong: −(x2−4x+2)=−x2−4x+2-(x^2-4x+2)=-x^2-4x+2. Right: −(x2−4x+2)=−x2+4x−2-(x^2-4x+2)=-x^2+4x-2. Distribute −1-1 to every term.

Try the same decision with a different linear factor.

Dividing by a linear polynomial

Division peels off the leading term, subtracts what it has accounted for and repeats with what remains.

Quotient and remainder

When a polynomial is divided by a non-zero linear polynomial, the quotient is a polynomial and the remainder is a constant. A zero remainder means the divisor is a factor. For example, x2+1=(x−1)(x+1)+2x^2+1=(x-1)(x+1)+2 has quotient x+1x+1 and remainder 22.

Writing division as an identity makes it easy to check by multiplying back.

Linear polynomial division

For a≠0a\ne0, division gives

f(x)≡(ax−b)q(x)+r,\mathrm f(x)\equiv(ax-b)q(x)+r,

where rr is constant and q(x)q(x) is the quotient.

Not in the formula sheet: learn it.

Choose each quotient term by dividing the highest remaining term by the leading term of the divisor.

Worked example 3: a monic divisor

Question. Divide x3−2x2−5x+6x^3-2x^2-5x+6 by x−1x-1.

Plan. Remove x3x^3, then −x2-x^2, then −6x-6x.

f(x)−(x−1)x2=−x2−5x+6first term x2(−x2−5x+6)−(x−1)(−x)=−6x+6next term −x(−6x+6)−(x−1)(−6)=0last term −6\begin{aligned} \mathrm f(x)-(x-1)x^2&=-x^2-5x+6 && \text{first term }x^2\\ (-x^2-5x+6)-(x-1)(-x)&=-6x+6 && \text{next term }-x\\ (-6x+6)-(x-1)(-6)&=0 && \text{last term }-6 \end{aligned}

Why this step? Each subtraction removes the highest remaining power, so the process finishes.

Answer. Quotient x2−x−6x^2-x-6, remainder 00.

Check. (x−1)(x2−x−6)=x3−2x2−5x+6(x-1)(x^2-x-6)=x^3-2x^2-5x+6.

Change the divisor's leading coefficient to 22. The final quotient term can now be fractional.

Worked example 4: a non-monic divisor

Question. Divide 2x3−3x2−8x+62x^3-3x^2-8x+6 by 2x−12x-1.

Plan. Divide the leading terms at each stage and subtract the whole product.

f(x)−(2x−1)x2=−2x2−8x+6first term x2(−2x2−8x+6)−(2x−1)(−x)=−9x+6next term −x(−9x+6)−(2x−1)(−92)=32constant remainder\begin{aligned} \mathrm f(x)-(2x-1)x^2&=-2x^2-8x+6 && \text{first term }x^2\\ (-2x^2-8x+6)-(2x-1)(-x)&=-9x+6 && \text{next term }-x\\ (-9x+6)-(2x-1)(-\tfrac92)&=\tfrac32 && \text{constant remainder} \end{aligned}

Why this step? The final division is −9x/(2x)=−9/2-9x/(2x)=-9/2, not −9-9.

Answer. Quotient x2−x−92x^2-x-\frac92, remainder 32\frac32.

Check. (2x−1)(x2−x−92)+32=2x3−3x2−8x+6(2x-1)(x^2-x-\frac92)+\frac32=2x^3-3x^2-8x+6.

Coefficient comparison is equally valid: expand (ax−b)(Ax2+Bx+C)+r(ax-b)(Ax^2+Bx+C)+r and match powers. Missing powers still need a place: write x3+2=x3+0x2+0x+2x^3+2=x^3+0x^2+0x+2 in a division layout.

Watch out

Wrong: subtract only the leading term of a product. Right: subtract the entire product, including its signs. Otherwise the next remainder is already wrong.

Keep the non-monic divisor in this next division.

Why a zero gives a factor

The opening cubic left no remainder when divided by x−1x-1. That was already encoded in f(1)=0\mathrm f(1)=0.

From f(x)≡(x−a)q(x)+r\mathrm f(x)\equiv(x-a)q(x)+r, substitute x=ax=a. The product vanishes, leaving f(a)=r\mathrm f(a)=r. This proves both directions of the next result.

Factor theorem

For a polynomial f\mathrm f,

f(a)=0⟺(x−a) is a factor of f(x).\mathrm f(a)=0\quad\Longleftrightarrow\quad(x-a)\text{ is a factor of }\mathrm f(x).

More generally, for a≠0a\ne0,

f(ba)=0⟺(ax−b) is a factor of f(x).\mathrm f\left(\frac ba\right)=0\quad\Longleftrightarrow\quad(ax-b)\text{ is a factor of }\mathrm f(x).

Not in the formula sheet: learn it.

A root, or zero, is an input at which the polynomial is zero. A failed trial rejects only that proposed root; it does not show there are none.

Worked example 5: show a factor

Question. Show that x−2x-2 is a factor of f(x)=x3+2x2−5x−6\mathrm f(x)=x^3+2x^2-5x-6, then factorise fully.

Plan. Evaluate at 22, divide by the established factor and factorise the quotient.

f(2)=8+8−10−6=0test the factorf(x)=(x−2)(x2+4x+3)linear division=(x−2)(x+1)(x+3)factorise quotient\begin{aligned} \mathrm f(2)&=8+8-10-6=0 && \text{test the factor}\\ \mathrm f(x)&=(x-2)(x^2+4x+3) && \text{linear division}\\ &=(x-2)(x+1)(x+3) && \text{factorise quotient} \end{aligned}

Why this step? The input 22 makes the proposed factor zero, so the factor theorem establishes it before division.

Answer. (x−2)(x+1)(x+3)(x-2)(x+1)(x+3).

Check. Expanding gives x3+2x2−5x−6x^3+2x^2-5x-6, matching every coefficient.

Change one feature: test a non-monic factor, whose zero is a fraction.

Worked example 6: a factor with leading coefficient 2

Question. Show that 2x−12x-1 is a factor of f(x)=2x3+3x2−8x+3\mathrm f(x)=2x^3+3x^2-8x+3, then factorise fully.

Plan. Evaluate at 12\frac12 and divide by 2x−12x-1.

f(12)=14+34−4+3=0zero of 2x−1f(x)=(2x−1)(x2+2x−3)divide=(2x−1)(x−1)(x+3)factorise quotient\begin{aligned} \mathrm f(\tfrac12)&=\tfrac14+\tfrac34-4+3=0 && \text{zero of }2x-1\\ \mathrm f(x)&=(2x-1)(x^2+2x-3) && \text{divide}\\ &=(2x-1)(x-1)(x+3) && \text{factorise quotient} \end{aligned}

Why this step? 2(1/2)−1=02(1/2)-1=0; substituting 11 would test a different factor.

Answer. (2x−1)(x−1)(x+3)(2x-1)(x-1)(x+3).

Check. (2x−1)(x2+2x−3)=2x3+3x2−8x+3(2x-1)(x^2+2x-3)=2x^3+3x^2-8x+3.

A supplied factor is something to establish, not an answer to copy. OCR's “Show that” needs the evaluation or division that makes the remainder visibly zero.

Exam tip

For a proposed factor ax−bax-b, write its zero b/ab/a, substitute with brackets, then state the factor-theorem conclusion. This protects you from sign and reciprocal errors.

Try a different non-unit coefficient.

Finding roots and unknown coefficients

A factor supplies a root and reduces the polynomial's degree so you can find the others.

Here is a useful surprise: a non-zero integer root of a polynomial with integer coefficients must divide its constant term. If aa is that root, moving all the other terms to the other side leaves a multiple of aa. This narrows integer trials. It does not rule out fractional or irrational roots.

Worked example 7: finish the opening cubic

Question. Solve x3−2x2−5x+6=0x^3-2x^2-5x+6=0.

Plan. Use the root 11, divide and factorise the quadratic.

f(1)=1−2−5+6=0establish a factorf(x)=(x−1)(x2−x−6)divide=(x−1)(x−3)(x+2)factorise\begin{aligned} \mathrm f(1)&=1-2-5+6=0 && \text{establish a factor}\\ \mathrm f(x)&=(x-1)(x^2-x-6) && \text{divide}\\ &=(x-1)(x-3)(x+2) && \text{factorise} \end{aligned}

Why this step? The zero-product rule accounts for the entire cubic, so no roots remain hidden.

Answer. x=1,3,−2x=1,3,-2.

Check. f(3)=27−18−15+6=0\mathrm f(3)=27-18-15+6=0 and f(−2)=−8−8+10+6=0\mathrm f(-2)=-8-8+10+6=0.

Change one feature: a coefficient is unknown, but a factor is supplied. The theorem now creates an equation for that coefficient.

Worked example 8: recover a coefficient first

Question. x+2x+2 is a factor of g(x)=x3+kx2−4x−12\mathrm g(x)=x^3+kx^2-4x-12. Find kk and solve g(x)=0\mathrm g(x)=0.

Plan. Impose g(−2)=0\mathrm g(-2)=0, then divide and factorise.

−8+4k+8−12=0substitute −2k=3solve for coefficientg(x)=(x+2)(x2+x−6)divide with k=3=(x+2)(x+3)(x−2)factorise\begin{aligned} -8+4k+8-12&=0 && \text{substitute }-2\\ k&=3 && \text{solve for coefficient}\\ \mathrm g(x)&=(x+2)(x^2+x-6) && \text{divide with }k=3\\ &=(x+2)(x+3)(x-2) && \text{factorise} \end{aligned}

Why this step? The stated factor fixes kk; trying arbitrary values wastes the information given.

Answer. k=3k=3; roots −2,−3,2-2,-3,2.

Check. Expanding gives x3+3x2−4x−12x^3+3x^2-4x-12, including the required coefficient 33.

A repeated factor counts repeatedly in the degree but gives one distinct root: (x−2)2(x+1)=0(x-2)^2(x+1)=0 has distinct roots 22 and −1-1. At this stage, factor-theorem searches normally use degree at most 33; the next lesson develops equations through degree 44.

Watch out

Wrong: stop after finding one root of a cubic. Right: divide out its factor and solve the remaining quadratic, including irrational real roots.

Here the remaining quadratic does not factorise over the integers; use the quadratic formula you already know.

Quick Recap

  • Collect equal powers; subtraction changes every sign in a bracket.
  • Linear division gives f(x)≡(ax−b)q(x)+r\mathrm f(x)\equiv(ax-b)q(x)+r, with constant remainder.
  • A zero at b/ab/a gives a factor ax−bax-b, and conversely.
  • A supplied factor can determine an unknown coefficient; divide and solve the remaining factor to finish.

The opening cubic needs no endless guessing: (x−1)(x−3)(x+2)=0(x-1)(x-3)(x+2)=0 gives exactly 1,3,−21,3,-2.