Mf1, Mf2 - Polynomials, division and the factor theorem

Mf1, Mf2 - Polynomials, division and the factor theorem

A polynomial equation becomes much friendlier when you can see its factors. Use Mf1 to expand and divide polynomials, then Mf2 to justify factors, recover unknown coefficients and find every real root of equations through degree four.

Polynomial terms and operations

Can a fourth-degree equation have four simple whole-number solutions? Try x4+x3−7x2−x+6=0x^4+x^3-7x^2-x+6=0: both 11 and −1-1 work. We will turn those clues into a complete solution, rather than trusting a list of guesses.

You already know

Distribute every term when expanding brackets. The zero-product rule turns a complete factorisation into a complete solution: at least one factor must be zero.

Polynomials organise algebra by whole-number powers.

Polynomial

A polynomial in xx is a sum of constant multiples of non-negative integer powers of xx. The degree of a non-zero polynomial is its highest power with a non-zero coefficient. For example, 2x3+52x^3+5 has degree 33, despite its missing powers. A quadratic has degree 22; its graph is a parabola. The expressions 1/x1/x and x\sqrt{x} are not polynomials in xx.

Only terms with the same power combine. Write them in descending order so that missing contributions stand out.

Worked example 1: multiply polynomials

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

Plan. Multiply each term in the first bracket by the whole second bracket.

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

Why this step? Both brackets contribute to the middle powers; neither contribution can be skipped.

Answer. x3+x2+x+6x^3+x^2+x+6.

Check. At x=1x=1, the product is 3×3=93\times3=9, and the expansion is 1+1+1+6=91+1+1+6=9.

Change one feature: subtract a further polynomial from the product.

Worked example 2: subtraction after expansion

Question. Simplify (x+2)(x2−x+3)−(2x2−3x+4)(x+2)(x^2-x+3)-(2x^2-3x+4).

Plan. Expand first and distribute the subtraction across the final bracket.

x3+x2+x+6−2x2+3x−4subtract all terms=x3−x2+4x+2collect powers\begin{aligned} &x^3+x^2+x+6-2x^2+3x-4 && \text{subtract all terms}\\ &\qquad=x^3-x^2+4x+2 && \text{collect powers} \end{aligned}

Why this step? The term −3x-3x is being subtracted, so it contributes +3x+3x.

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

Check. At x=1x=1, the expression gives 9−3=69-3=6, matching 1−1+4+21-1+4+2.

To reverse expansion, take out a common factor or group terms. For example,

x3−3x2−4x+12=x2(x−3)−4(x−3)=(x−3)(x−2)(x+2).x^3-3x^2-4x+12=x^2(x-3)-4(x-3)=(x-3)(x-2)(x+2).

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

Watch out

Wrong: x3+x2=2x5x^3+x^2=2x^5. Right: unlike powers stay separate. Addition collects coefficients of equal powers; multiplication adds exponents.

Use a new multiplier but keep the subtraction decision.

Dividing by a linear polynomial

Polynomial division removes the highest remaining power at each step. Mf1 uses linear divisors; division by non-linear expressions is outside this requirement.

Quotient and remainder identity

For a linear divisor ax+bax+b, where a≠0a\ne0,

f(x)≡(ax+b)q(x)+r.\mathrm f(x)\equiv(ax+b)q(x)+r.

The polynomial q(x)q(x) is the quotient; rr is a constant remainder. The divisor is a factor exactly when r=0r=0.

Not in the formula sheet: learn it.

The identity is more than a layout: multiplication back checks every coefficient.

Worked example 3: linear division

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

Plan. Select each quotient term to cancel the highest remaining power.

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

Why this step? The remainder has smaller degree after each subtraction, so the division makes progress.

Answer. Quotient x2+4x+3x^2+4x+3, remainder 00.

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

Change only the constant term of the dividend. All quotient terms stay the same, but the remainder changes.

Worked example 4: a non-zero remainder

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

Plan. Repeat the division, carrying the new constant through each subtraction.

f(x)−(x−2)x2=4x2−5x−1remove cubic term(4x2−5x−1)−(x−2)4x=3x−1remove quadratic term(3x−1)−(x−2)3=5remove linear term\begin{aligned} \mathrm f(x)-(x-2)x^2&=4x^2-5x-1 && \text{remove cubic term}\\ (4x^2-5x-1)-(x-2)4x&=3x-1 && \text{remove quadratic term}\\ (3x-1)-(x-2)3&=5 && \text{remove linear term} \end{aligned}

Why this step? A constant remainder is allowed. It need not be smaller than the divisor's coefficients.

Answer. Quotient x2+4x+3x^2+4x+3, remainder 55.

Check. Multiplying back gives (x−2)(x2+4x+3)+5=x3+2x2−5x−1(x-2)(x^2+4x+3)+5=x^3+2x^2-5x-1.

A linear divisor need not be monic. Here is the same leading-term routine when its coefficient is 22.

Worked example 5: a non-monic linear divisor

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

Plan. Divide each leading remainder term by 2x2x, then 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)=32last term −9/2\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{last term }-9/2 \end{aligned}

Why this step? Dividing by 2x2x, rather than xx, makes the quotient's last term −9/2-9/2. A fractional coefficient is perfectly valid.

Answer. Quotient x2−x−9/2x^2-x-9/2, remainder 3/23/2.

Check. Multiplication gives (2x−1)(x2−x−9/2)+3/2=2x3−3x2−8x+6(2x-1)(x^2-x-9/2)+3/2=2x^3-3x^2-8x+6.

Any correct division method is valid, including coefficient comparison. If a power is missing, include its zero coefficient: x3+1=x3+0x2+0x+1x^3+1=x^3+0x^2+0x+1.

Watch out

Wrong: call 5/(x−2)5/(x-2) the remainder. Right: the remainder in the polynomial identity is 55; the fraction appears only after dividing that identity by x−2x-2.

Change the constant again and keep track of it to the end.

Why a zero gives a factor

Substitute x=ax=a into f(x)≡(x−a)q(x)+r\mathrm f(x)\equiv(x-a)q(x)+r. The product vanishes and f(a)=r\mathrm f(a)=r. This is why a single evaluation can certify a whole linear factor.

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).

Both directions hold. A zero of f\mathrm f is an input at which its value is zero.

Not in the formula sheet: learn it.

A rejected input rejects only its own factor. You still need an argument to say there are no other roots.

Worked example 6: establish a factor

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

Plan. Substitute −1-1, divide and factorise the quotient.

f(−1)=−1−2+5−2=0test the zerof(x)=(x+1)(x2−3x−2)dividex2−3x−2=(x−3+172)(x−3−172)quadratic roots\begin{aligned} \mathrm f(-1)&=-1-2+5-2=0 && \text{test the zero}\\ \mathrm f(x)&=(x+1)(x^2-3x-2) && \text{divide}\\ x^2-3x-2&=\left(x-\frac{3+\sqrt{17}}2\right)\left(x-\frac{3-\sqrt{17}}2\right) && \text{quadratic roots} \end{aligned}

Why this step? Complete factorisation may need irrational roots. Integer trials do not locate every real root.

Answer.

(x+1)(x−3+172)(x−3−172).(x+1)\left(x-\frac{3+\sqrt{17}}2\right)\left(x-\frac{3-\sqrt{17}}2\right).

Check. The last two factors have root sum 33 and product −2-2, so their product is x2−3x−2x^2-3x-2; multiplying by x+1x+1 restores the cubic.

Change the proposed factor to x−1x-1. Its zero is now positive; the theorem itself is unchanged.

Worked example 7: a different proposed zero

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

Plan. Evaluate at 11, divide and factorise the quadratic.

g(1)=1−3−1+3=0factor theoremg(x)=(x−1)(x2−2x−3)divide=(x−1)(x−3)(x+1)factorise quotient\begin{aligned} \mathrm g(1)&=1-3-1+3=0 && \text{factor theorem}\\ \mathrm g(x)&=(x-1)(x^2-2x-3) && \text{divide}\\ &=(x-1)(x-3)(x+1) && \text{factorise quotient} \end{aligned}

Why this step? A zero evaluation proves the first factor; division supplies the remaining factor exactly.

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

Check. Multiplying gives x3−3x2−x+3x^3-3x^2-x+3.

For a factor such as 2x−32x-3, find the zero first: it is 3/23/2, so test f(3/2)\mathrm f(3/2). This is the same theorem, since 2x−3=2(x−3/2)2x-3=2(x-3/2).

Exam tip

MEI's “Show that” requires evidence leading to the supplied result. Show the substituted terms and zero, then name the factor-theorem conclusion; a repeated assertion is not a proof.

Keep a positive proposed zero, with a new cubic.

Finding roots and unknown coefficients

A known factor can determine a missing coefficient before you solve the equation.

Worked example 8: a known cubic

Question. Solve x3−3x2−4x+12=0x^3-3x^2-4x+12=0.

Plan. Group terms to reveal a shared bracket, then use the zero-product rule.

x3−3x2−4x+12=x2(x−3)−4(x−3)group terms=(x−3)(x2−4)common bracket=(x−3)(x−2)(x+2)difference of squares\begin{aligned} x^3-3x^2-4x+12&=x^2(x-3)-4(x-3) && \text{group terms}\\ &=(x-3)(x^2-4) && \text{common bracket}\\ &=(x-3)(x-2)(x+2) && \text{difference of squares} \end{aligned}

Why this step? Grouping finds the factors directly; a trial-and-division routine is not compulsory.

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

Check. Substitution gives respectively 27−27−12+12=027-27-12+12=0, 8−12−8+12=08-12-8+12=0 and −8−12+8+12=0-8-12+8+12=0.

Change one feature: the coefficient of x2x^2 is unknown, but the factor x−3x-3 is given.

Worked example 9: a coefficient fixed by a factor

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

Plan. Impose p(3)=0p(3)=0, then factorise the resulting cubic.

27+9k−12+12=0factor theoremk=−3solve for kp(x)=(x−3)(x−2)(x+2)factorise\begin{aligned} 27+9k-12+12&=0 && \text{factor theorem}\\ k&=-3 && \text{solve for }k\\ p(x)&=(x-3)(x-2)(x+2) && \text{factorise} \end{aligned}

Why this step? The factor gives an equation for kk, rather than another guess to make.

Answer. k=−3k=-3, with roots 3,2,−23,2,-2.

Check. The factor product expands to x3−3x2−4x+12x^3-3x^2-4x+12, confirming the coefficient.

For integer-coefficient polynomials, any non-zero integer root divides the constant term: if p(a)=0p(a)=0, its other terms are all multiples of aa. Use that to choose sensible trials, but remember that roots need not be integers.

Watch out

Wrong: x+2x+2 is a factor, so substitute 22. Right: substitute −2-2, the input making that factor zero.

Now apply the same method with a different supplied factor.

Solving equations through degree four

Mf2 includes polynomial equations through degree 44. Some quartics are quadratics in disguise; others need successive linear factors. No general quartic formula is needed.

Worked example 10: a quadratic in a square

Question. Solve x4−5x2+4=0x^4-5x^2+4=0.

Plan. Set u=x2u=x^2, solve the quadratic and recover both square roots.

u2−5u+4=(u−1)(u−4)=0set u=x2x2=1 or 4return to xx=±1 or ±2both signs\begin{aligned} u^2-5u+4&=(u-1)(u-4)=0 && \text{set }u=x^2\\ x^2&=1\text{ or }4 && \text{return to }x\\ x&=\pm1\text{ or }\pm2 && \text{both signs} \end{aligned}

Why this step? Solving for uu is not solving for xx. Each positive square gives two real roots.

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

Check. For x2=1x^2=1, 1−5+4=01-5+4=0; for x2=4x^2=4, 16−20+4=016-20+4=0.

Change one feature: include odd powers, so the substitution u=x2u=x^2 no longer captures the whole equation. Return to the opening problem and divide by its known linear factors.

Worked example 11: successive linear divisions

Question. Solve x4+x3−7x2−x+6=0x^4+x^3-7x^2-x+6=0.

Plan. Verify 11 and −1-1, divide them out and solve the remaining quadratic.

f(1)=1+1−7−1+6=0first rootf(−1)=1−1−7+1+6=0second rootf(x)=(x−1)(x3+2x2−5x−6)divide by x−1=(x−1)(x+1)(x2+x−6)divide by x+1=(x−1)(x+1)(x+3)(x−2)factorise quadratic\begin{aligned} \mathrm f(1)&=1+1-7-1+6=0 && \text{first root}\\ \mathrm f(-1)&=1-1-7+1+6=0 && \text{second root}\\ \mathrm f(x)&=(x-1)(x^3+2x^2-5x-6) && \text{divide by }x-1\\ &=(x-1)(x+1)(x^2+x-6) && \text{divide by }x+1\\ &=(x-1)(x+1)(x+3)(x-2) && \text{factorise quadratic} \end{aligned}

Why this step? Each division is by a linear expression, within Mf1. The full product establishes that the root list is complete.

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

Check. Multiplying (x2−1)(x2+x−6)(x^2-1)(x^2+x-6) restores the given quartic.

A quartic can have fewer than four distinct real roots: x4+x2=0x^4+x^2=0 gives x2(x2+1)=0x^2(x^2+1)=0, so only x=0x=0 is real. Repeated factors count towards the degree without creating new values.

Watch out

Wrong: x2=4⇒x=4x^2=4\Rightarrow x=4. Right: x=±2x=\pm2. If the squared quantity is negative, it gives no real roots.

Keep the successive-factor route, with new coefficients and supplied starting roots.

Quick Recap

  • Expand and collect equal powers; factorisation reverses expansion.
  • Division by a linear expression leaves a constant remainder, checked by multiplication back.
  • f(a)=0\mathrm f(a)=0 if and only if x−ax-a is a factor; use this to find zeros or unknown coefficients.
  • A quartic may reduce through u=x2u=x^2 or successive linear factors; recover every real root.

Yes, the opening quartic has four whole-number solutions: its factorisation gives 1,−1,−3,21,-1,-3,2, and proves there are no others.