Pure 2.6 - Algebraic manipulation of polynomials

Pure 2.6 - Algebraic manipulation of polynomials

The same polynomial can reveal different information in expanded, factorised or quotient form. You will choose a useful form, divide by linear expressions, use the factor theorem to factorise cubics, and simplify rational expressions while preserving excluded inputs.

See the structure before expanding

How can you factorise 6x3+11x2−x−66x^3+11x^2-x-6 without guessing three brackets at once? One well-chosen substitution will reveal a first factor. Division then turns the remaining problem into a familiar quadratic.

You already know

The distributive law gives a(b+c)=ab+aca(b+c)=ab+ac. Factorising reverses expansion, and a product is zero if at least one factor is zero.

Before expanding, look for a common bracket. In (x−2)(x+5)+3x(x−2)(x-2)(x+5)+3x(x-2), both terms contain x−2x-2. Treating that entire bracket as one factor saves work and exposes a root.

Polynomial

A polynomial in xx is a finite sum of constant multiples of non-negative integer powers of xx. For example, 3x4−2x+73x^4-2x+7 is a polynomial; x−1+4x^{-1}+4 and x+2\sqrt x+2 are not polynomials in xx. Its degree is its highest power with a non-zero coefficient.

Expanded form is useful for collecting like terms and comparing coefficients. Factorised form is useful for solving equations and simplifying fractions. Neither changes the expression's value. The distributive and factorising rules here are not supplied in the formula booklet.

Worked example 1: a common bracket

Question. Factorise P(x)=(x−2)(x+5)+3x(x−2)P(x)=(x-2)(x+5)+3x(x-2), then expand your answer.

Plan. Factor out the shared bracket before expanding the shorter product.

P(x)=(x−2)((x+5)+3x)common factor=(x−2)(4x+5)collect inside=4x2−3x−10expand\begin{aligned} P(x)&=(x-2)\big((x+5)+3x\big) &&\text{common factor}\\ &=(x-2)(4x+5) &&\text{collect inside}\\ &=4x^2-3x-10 &&\text{expand} \end{aligned}

Why this step? The shared factor is the whole x−2x-2, so it can come outside one bracket.

Answer. (x−2)(4x+5)=4x2−3x−10(x-2)(4x+5)=4x^2-3x-10.

Check. At x=3x=3, the original is 8+9=178+9=17; both final forms give 1717.

Change only the joining sign from plus to minus. The sign now belongs to the entire second term.

Worked example 2: a sign before a product

Question. Factorise (x−2)(x+5)−3x(x−2)(x-2)(x+5)-3x(x-2), then expand.

Plan. Extract x−2x-2, retaining the subtraction inside.

(x−2)(x+5)−3x(x−2)=(x−2)(x+5−3x)common factor=(x−2)(5−2x)collect=−2x2+9x−10expand\begin{aligned} (x-2)(x+5)-3x(x-2)&=(x-2)(x+5-3x) &&\text{common factor}\\ &=(x-2)(5-2x) &&\text{collect}\\ &=-2x^2+9x-10 &&\text{expand} \end{aligned}

Why this step? The minus sign changes the contribution of 3x3x to the inner bracket.

Answer. (x−2)(5−2x)=−2x2+9x−10(x-2)(5-2x)=-2x^2+9x-10.

Check. At x=3x=3, the original gives 8−9=−18-9=-1, agreeing with −18+27−10-18+27-10.

In a direct expansion such as (2x−1)(x+4)−x(x−3)(2x-1)(x+4)-x(x-3), distribute the minus sign after expanding the second product. This is the same sign issue in a less visibly factorised form.

Watch out

Wrong: −x(x−3)=−x2−3x-x(x-3)=-x^2-3x. Right: −x(x−3)=−x2+3x-x(x-3)=-x^2+3x. The subtraction applies to both terms.

Use the corrected distributive step to finish this expansion.

Divide by a linear expression

Polynomial division repeats a small cycle: divide the leading terms, multiply the divisor by that quotient term, and subtract. Each subtraction lowers the degree of the remainder. Write zero coefficients for missing powers, such as x3+0x2−7x+6x^3+0x^2-7x+6, to keep columns aligned.

Division identity

For a polynomial ff divided by ax+bax+b, where a≠0a\ne0, there are a polynomial quotient qq and constant remainder RR such that

f(x)=(ax+b)q(x)+Rf(x)=(ax+b)q(x)+R

Not in the formula booklet: learn it.

Only a linear divisor is needed here. A zero remainder means the divisor is a factor. Always check by multiplying back and adding the remainder.

Worked example 3: a monic divisor

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

Plan. Match the leading term, subtract, and repeat.

2x3/x=2x2first quotient termf(x)−2x2(x−3)=3x2−11x+6subtract product(3x2−11x+6)−3x(x−3)=−2x+6next term 3x(−2x+6)−(−2)(x−3)=0last term −2\begin{aligned} 2x^3/x&=2x^2 &&\text{first quotient term}\\ f(x)-2x^2(x-3)&=3x^2-11x+6 &&\text{subtract product}\\ (3x^2-11x+6)-3x(x-3)&=-2x+6 &&\text{next term }3x\\ (-2x+6)-(-2)(x-3)&=0 &&\text{last term }-2 \end{aligned}

Why this step? Each product cancels the current leading term so the next smaller power can be handled.

Answer. Quotient 2x2+3x−22x^2+3x-2; remainder 00.

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

Change only the divisor to 2x−12x-1. Divide by its leading term 2x2x, not by xx.

Worked example 4: a non-monic divisor

Question. Let f(x)=2x3−3x2−11x+6f(x)=2x^3-3x^2-11x+6. Divide f(x)f(x) by 2x−12x-1.

Plan. Use the same divide-multiply-subtract cycle with leading term 2x2x.

2x3/(2x)=x2first termf(x)−x2(2x−1)=−2x2−11x+6subtract(−2x2−11x+6)−(−x)(2x−1)=−12x+6next term −x(−12x+6)−(−6)(2x−1)=0last term −6\begin{aligned} 2x^3/(2x)&=x^2 &&\text{first term}\\ f(x)-x^2(2x-1)&=-2x^2-11x+6 &&\text{subtract}\\ (-2x^2-11x+6)-(-x)(2x-1)&=-12x+6 &&\text{next term }-x\\ (-12x+6)-(-6)(2x-1)&=0 &&\text{last term }-6 \end{aligned}

Why this step? Using 2x2x accounts for the divisor's coefficient; ignoring it doubles the first product.

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

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

A remainder need not be zero: x2+5x+7=(x+2)(x+3)+1x^2+5x+7=(x+2)(x+3)+1. The last 11 cannot be divided further by a linear expression within polynomial division.

Watch out

Wrong: subtracting 2x3−6x22x^3-6x^2 as −2x3−6x2-2x^3-6x^2. Subtract the bracket, changing both signs; otherwise the next remainder is wrong.

Apply the cycle with a new monic divisor.

Use the factor theorem

Division by x−rx-r gives f(x)=(x−r)q(x)+Rf(x)=(x-r)q(x)+R. Put x=rx=r: the product disappears, leaving f(r)=Rf(r)=R. Substitution therefore tells you whether division will leave zero remainder, without doing the division first.

Factor theorem

For a polynomial ff,

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

More generally, ax−bax-b is a factor exactly when f(b/a)=0f(b/a)=0, for a≠0a\ne0.
Not in the formula booklet: learn it.

To test 3x−23x-2, substitute x=2/3x=2/3; to test x+1x+1, substitute x=−1x=-1. First solve the proposed factor equal to zero, then substitute that root in the polynomial.

Worked example 5: a parameter from a factor

Question. Given g(x)=2x3−9x2+(k+5)x+2kg(x)=2x^3-9x^2+(k+5)x+2k, and that x−2x-2 is a factor, find kk.

Plan. Use g(2)=0g(2)=0 to obtain a linear equation in kk.

g(2)=16−36+2(k+5)+2ksubstitute the root=4k−10=0factor theoremk=52solve\begin{aligned} g(2)&=16-36+2(k+5)+2k &&\text{substitute the root}\\ &=4k-10=0 &&\text{factor theorem}\\ k&=\frac52 &&\text{solve} \end{aligned}

Why this step? “Is a factor” means exactly that the remainder at its root vanishes.

Answer. k=5/2k=5/2.

Check. 16−36+15+5=016-36+15+5=0 when k=5/2k=5/2.

Change only the proposed factor to 2x−12x-1. Its root is a fraction, so substitute 1/21/2, not 11.

Worked example 6: a fractional root

Question. For the same g(x)g(x), find kk if 2x−12x-1 is a factor.

Plan. Use g(1/2)=0g(1/2)=0 and collect the kk-terms.

g(12)=14−94+k+52+2ksubstitute 12=12+52k=0collectk=−15solve\begin{aligned} g\left(\frac12\right)&=\frac14-\frac94+\frac{k+5}{2}+2k &&\text{substitute }\frac12\\ &=\frac12+\frac52k=0 &&\text{collect}\\ k&=-\frac15 &&\text{solve} \end{aligned}

Why this step? The root is the value making the complete linear factor zero, including its coefficient.

Answer. k=−1/5k=-1/5.

Check. g(1/2)=1/4−9/4+12/5−2/5=0g(1/2)=1/4-9/4+12/5-2/5=0.

Testing a non-root gives a non-zero remainder, so it rules out that proposed factor. It does not rule out every other factor.

Watch out

Wrong: “2x−12x-1 is a factor, so g(1)=0g(1)=0.” Right: solve 2x−1=02x-1=0, then use g(1/2)=0g(1/2)=0.

The explanation below focuses only on why root substitution detects a factor.

Factorise cubics using one root

One root reduces a cubic problem to a quadratic problem. Test sensible small integer values, use the factor theorem for the first factor, divide it out, then factorise the quotient. If rational roots are expected, a fractional candidate may be needed when the leading coefficient is not 11.

Worked example 7: a repeated factor

Question. Factorise x3+3x2−4x^3+3x^2-4 fully.

Plan. Test x=1x=1, divide out the resulting factor and factorise the quadratic.

f(1)=1+3−4=0find a rootx3+3x2−4=(x−1)(x2+4x+4)divide by x−1=(x−1)(x+2)2factorise the quotient\begin{aligned} f(1)&=1+3-4=0 &&\text{find a root}\\ x^3+3x^2-4&=(x-1)(x^2+4x+4) &&\text{divide by }x-1\\ &=(x-1)(x+2)^2 &&\text{factorise the quotient} \end{aligned}

Why this step? The first factor lowers the degree; you no longer need to guess three brackets.

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

Check. Expansion gives x3+4x2+4x−x2−4x−4=x3+3x2−4x^3+4x^2+4x-x^2-4x-4=x^3+3x^2-4.

Change only the constant from −4-4 to −20-20. A different integer root now leaves a quadratic that does not split over the reals.

Worked example 8: an irreducible quadratic factor

Question. Factorise x3+3x2−20x^3+3x^2-20 over the reals.

Plan. Test x=2x=2, divide out x−2x-2, then inspect the quotient's discriminant.

f(2)=8+12−20=0find a rootx3+3x2−20=(x−2)(x2+5x+10)linear divisionDquotient=25−40=−15<0no further real roots\begin{aligned} f(2)&=8+12-20=0 &&\text{find a root}\\ x^3+3x^2-20&=(x-2)(x^2+5x+10) &&\text{linear division}\\ D_{\text{quotient}}&=25-40=-15<0 &&\text{no further real roots} \end{aligned}

Why this step? A quadratic factor with negative discriminant has no real linear factors, so factorisation over the reals stops there.

Answer. (x−2)(x2+5x+10)(x-2)(x^2+5x+10).

Check. Expanding gives x3+5x2+10x−2x2−10x−20=x3+3x2−20x^3+5x^2+10x-2x^2-10x-20=x^3+3x^2-20.

For a cubic with rational factors, the opening polynomial gives a particularly useful complete calculation. Testing −1-1 gives −6+11+1−6=0-6+11+1-6=0. Division gives 6x2+5x−66x^2+5x-6, and splitting its middle term gives 6x2+9x−4x−6=(2x+3)(3x−2)6x^2+9x-4x-6=(2x+3)(3x-2). Thus

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

The three roots are −1-1, −3/2-3/2 and 2/32/3. Multiplying the factors back gives 6x3+11x2−x−66x^3+11x^2-x-6, so the opening challenge is resolved. If a cubic has an obvious common scalar or variable factor, extract and retain it first: 2x3−10x2+12x=2x(x−2)(x−3)2x^3-10x^2+12x=2x(x-2)(x-3). Giving roots alone does not answer a factorisation question.

Exam tip

“Factorise fully” requires the quadratic factor to be considered too. If it splits over the requested number system, finish; if it does not, an irreducible quadratic is a valid stopping point.

Try the find-a-root, divide, factorise sequence with a new cubic.

Simplify rational expressions safely

A rational expression is a fraction of polynomials. Factorise before cancelling, and record the original denominator's zeros before anything disappears. Cancellation removes a common factor from the written expression; it cannot restore an input that was originally undefined.

Worked example 9: cancellation with exclusions

Question. Simplify x2+5x+6x2−x−6\dfrac{x^2+5x+6}{x^2-x-6}, stating excluded inputs.

Plan. Factorise both polynomials, record restrictions and cancel the shared factor.

x2+5x+6x2−x−6=(x+2)(x+3)(x+2)(x−3)factorise=x+3x−3,x≠−2, 3cancel for allowed inputs\begin{aligned} \frac{x^2+5x+6}{x^2-x-6}&=\frac{(x+2)(x+3)}{(x+2)(x-3)} &&\text{factorise}\\ &=\frac{x+3}{x-3},\qquad x\ne-2,\ 3 &&\text{cancel for allowed inputs} \end{aligned}

Why this step? At x=−2x=-2, the original expression is undefined even though the shortened fraction has a value.

Answer. (x+3)/(x−3)(x+3)/(x-3), with x≠−2x\ne-2, x≠3x\ne3.

Check. At x=1x=1, both forms give −2-2.

Change only the sign of the numerator's linear coefficient. Refactorise it; do not assume the old cancellation survives.

Worked example 10: a different common factor

Question. Simplify x2−5x+6x2−x−6\dfrac{x^2-5x+6}{x^2-x-6}, stating excluded inputs.

Plan. Factorise the new numerator and retain the original denominator's restrictions.

x2−5x+6x2−x−6=(x−2)(x−3)(x+2)(x−3)factorise=x−2x+2,x≠−2, 3cancel the common factor\begin{aligned} \frac{x^2-5x+6}{x^2-x-6}&=\frac{(x-2)(x-3)}{(x+2)(x-3)} &&\text{factorise}\\ &=\frac{x-2}{x+2},\qquad x\ne-2,\ 3 &&\text{cancel the common factor} \end{aligned}

Why this step? Restrictions come from the original denominator, regardless of which factor cancels.

Answer. (x−2)/(x+2)(x-2)/(x+2), with x≠−2x\ne-2, x≠3x\ne3.

Check. At x=1x=1, both forms give −1/3-1/3.

When the numerator's degree is at least the denominator's, linear division may give a more useful form. This is just the earlier division identity divided by its non-zero divisor.

Worked example 11: division with a remainder

Question. Rewrite x2+5x+7x+2\dfrac{x^2+5x+7}{x+2} as a polynomial plus a proper fraction.

Plan. Divide by x+2x+2, then separate the remainder term.

x2+5x+7=(x+2)(x+3)+1linear divisionx2+5x+7x+2=x+3+1x+2,x≠−2divide the identity\begin{aligned} x^2+5x+7&=(x+2)(x+3)+1 &&\text{linear division}\\ \frac{x^2+5x+7}{x+2}&=x+3+\frac1{x+2},\qquad x\ne-2 &&\text{divide the identity} \end{aligned}

Why this step? The remainder is still divided by the original divisor; it is not a separate constant.

Answer. x+3+1/(x+2)x+3+1/(x+2), with x≠−2x\ne-2.

Check. At x=0x=0, both forms give 7/27/2.

Change only the constant in the numerator from 77 to 88. The quotient stays, while the remainder increases by 11.

Worked example 12: a changed remainder

Question. Rewrite x2+5x+8x+2\dfrac{x^2+5x+8}{x+2} in the same form.

Plan. Keep the quotient and recompute the constant remainder.

x2+5x+8=(x+2)(x+3)+2multiply back to find remainderx2+5x+8x+2=x+3+2x+2,x≠−2divide\begin{aligned} x^2+5x+8&=(x+2)(x+3)+2 &&\text{multiply back to find remainder}\\ \frac{x^2+5x+8}{x+2}&=x+3+\frac2{x+2},\qquad x\ne-2 &&\text{divide} \end{aligned}

Why this step? Only the part left after the quotient product belongs in the numerator of the remainder fraction.

Answer. x+3+2/(x+2)x+3+2/(x+2), with x≠−2x\ne-2.

Check. At x=0x=0, both forms give 44.

There is a useful surprise in Worked example 9: the shortened fraction gives −1/5-1/5 at x=−2x=-2, yet the original has no value there. Two formulas can agree at every allowed input while having different natural domains. State the restriction to make their equivalence precise. These rational-expression methods are not supplied in the formula booklet.

Watch out

Wrong: cancelling the xx-terms in (x+2)/(x+5)(x+2)/(x+5). Cancellation applies to multiplying factors, not terms joined by addition. Factorise first; if no factor is shared, nothing cancels.

Finish by simplifying a cubic-over-quadratic expression. You can obtain the cubic factor by division by x−2x-2.

Quick Recap

  • Look for common factors before expanding, and distribute every minus sign.
  • Division by ax+bax+b gives a polynomial quotient and a constant remainder.
  • The factor theorem turns a root into a linear factor; divide it out and inspect the remaining quadratic.
  • Cancel factors in rational expressions and preserve every original denominator exclusion.

The opening cubic is (x+1)(2x+3)(3x−2)(x+1)(2x+3)(3x-2): find one root first, then solve the smaller factorisation problem.