4.9 Synthetic Division and the Remainder Theorem

Learning Outcomes

  • Divide polynomials using synthetic division.
  • Evaluate a polynomial function using the Remainder Theorem.

Synthetic Division

As we have seen, long division of polynomials can involve many steps and be quite cumbersome. Synthetic division is a shorthand method of dividing polynomials for the special case of dividing by a degree [latex] \require{color}\require{enclose}1 [/latex] polynomial whose leading coefficient is [latex]1[/latex].

 Synthetic Division

Synthetic division is a shortcut that can be used when the divisor is a binomial in the form  [latex]x–k[/latex], for a real number [latex]k[/latex]. In synthetic division, only the coefficients are used in the division process.

To illustrate the process, let’s review an example from the previous section of dividing [latex]x^2-4x-12[/latex] by [latex]x+2[/latex] using long division.

[latex] \begin{array}{l} \color{Gray}{\hspace{7pt}\textsf{deg.}\hspace{10pt}2\hspace{20pt}1\hspace{17pt}\textsf{c.t.}}\\[-10pt] \phantom{x+2 -x^2}\hspace{.5pt} {\color{Gray}{\Bigl|}} \phantom{{}-4}x {\color{Gray}{\Bigl|}} -6\\[-10pt] x+2 \enclose{longdiv}{\phantom{-}x^2 {\color{Gray}{\Bigl|}} -4x {\color{Gray}{\Bigl|}} -12}\\[-10pt] \phantom{x+2\hspace{3pt}} \enclose{bottom}{- x^2 {\color{Gray}{\Bigl|}} - 2x {\color{Gray}{\Bigl|}} \phantom{{} -12}}\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-9pt}} -6x {\color{Gray}{\Bigl|}} -12\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-10.5pt}} \enclose{bottom}{{}+6x {\color{Gray}{\Bigl|}} +12}\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-8.5pt} {\color{red}{{}+6x}} {\color{Gray}{\Bigl|}} {\color{red}{{}+{}}}}0 \end{array} [/latex]

Since the degree of the divisor is [latex] 1 [/latex] and the degree of the quotient is always the difference of the degrees of the dividend and the divisor, the degree of the quotient will be exactly [latex] 1 [/latex] less than the degree of the divisor. In our example, the degree of the quotient is [latex] 2-1=1 [/latex]. Since the leading term of the divisor is [latex] x [/latex], the coefficients of the quotient will be the leading coefficients of subsequent current dividends. In particular, the leading coefficient of the quotient will always match the leading coefficient of the (original) dividend. The leading coefficient of each subsequent (current) dividend is obtained by subtracting the product of the coefficient of the quotient term of the degree matching the degree of that current dividend and the constant term of the divisor from the coefficient of the term of the same degree in the previous dividend. In our example, [latex] -6 [/latex], the leading coefficient of the “second” dividend of degree [latex] 1 [/latex], is obtained by subtracting the product of the coefficient of the quotient term of degree [latex] 1 [/latex], [latex] 1 [/latex], and the constant term of the divisor, [latex] 2 [/latex], from the coefficient of the term of degree [latex] 1 [/latex] in the previous (original) dividend, [latex] -4 [/latex]: [latex] -4 -1\cdot 2=-6 [/latex]. That number, [latex] -6 [/latex], becomes the constant term of the quotient. Recall that to avoid mistakes in subtraction of polynomials, in long division diagrams, we decided to write the opposite of the product of the given term of the quotient and the divisor to add instead of subtracting. In our example, the highlighted term, [latex] {\color{red}{\enclose{box}{-\ 2x}}} [/latex] (see below) has been obtained by multiplying [latex] {\color{Orange}{\enclose{box}{x}}} [/latex], the first term of the quotient, by [latex] {\color{blue}{\enclose{box}{+\ 2}}} [/latex], the constant term of the divisor, and writing the opposite of the product, [latex] {\color{red}{\enclose{box}{-\ 2x}}} [/latex].

[latex] \begin{array}{l} \color{Gray}{\hspace{7pt}\textsf{deg.}\hspace{11pt}2\hspace{21pt}1\hspace{18pt}\textsf{c.t.}}\\[-10pt] \phantom{x\enclose{box}{+\ 2} -x^2}\hspace{.5pt} {\color{Gray}{\Bigl|}} \phantom{-\ 4}{\color{Orange}{\enclose{box}{x}}} {\color{Gray}{\Bigl|}} -6\\[-10pt] x{\color{blue}{\enclose{box}{+\ 2}}} \enclose{longdiv}{\phantom{-}x^2 {\color{Gray}{\Bigl|}}\hspace{2pt} -4x {\color{Gray}{\Bigl|}} -12}\\[-10pt] \phantom{x\enclose{box}{+\ 2}\hspace{3pt}} \enclose{bottom}{- x^2 {\color{Gray}{\Bigl|}} {\color{red}{\enclose{box}{-\ 2x}}}{\color{Gray}{\Bigl|}} \phantom{{} -12}}\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-5pt}} -6x {\color{Gray}{\Bigl|}} -12\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-6.5pt}} \enclose{bottom}{{}+6x {\color{Gray}{\Bigl|}} +12}\\[-10pt] \phantom{x+2 -x^2 {\color{Gray}{\Bigl|}} \hspace{-4.5pt} {\color{red}{{}+6x}} {\color{Gray}{\Bigl|}} {\color{red}{{}+{}}}}0 \end{array} [/latex]

Note that [latex] x+2 = x-(-2) [/latex]. To expedite the process of multiplication and addition in synthetic division, we will use the opposite of the constant term of the divisor. In our example, multiplying [latex] {\color{Orange}{x}} [/latex] by [latex] {\color{red}{-}}{\color{blue}{2}} [/latex] would immediately result in [latex] {\color{red}{-2x}} [/latex]. Let’s rewrite our long division diagram (so far without the quotient) and note which numbers actually matter.

[latex] \begin{array}{l} {\color{lightgray}{x-(}}{-2{\color{lightgray}{)}}} \enclose{longdiv}{\phantom{-}1{\color{lightgray}{x^2}} {\color{Gray}{\Bigl|}} {-4}{\color{lightgray}{x}} {\color{Gray}{\Bigl|}} {-12}}\\[-10pt] \phantom{{x-}{(-2)}\hspace{3pt}} \enclose{bottom}{{\color{lightgray}{-1 x^2}} {\color{Gray}{\Bigl|}} {-2}{\color{lightgray}{x}} {\color{Gray}{\Bigl|}} \phantom{-12}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}}}\hspace{.5pt} {-6}{\color{lightgray}{x}} {\color{Gray}{\Bigl|}} {\color{lightgray}{-12}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}} \hspace{-1.5pt}} \enclose{bottom}{{\color{lightgray}{+6x}} {\color{Gray}{\Bigl|}} {+12}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}} \hspace{8pt} {\color{red}{+6x}} {\color{Gray}{\Bigl|}}}0 \end{array} [/latex]

We collapse the diagram above into a table by moving each of the rows up to fill any vacant spots:

[latex] \begin{array}{r|rrr} -2 & 1 & -4 &-12\\ & & -2 & +12\\ \hline & & -6 & 0 \end{array} [/latex]

Note that [latex] -2 [/latex] in the upper left corner is the opposite of the constant term of the divisor. We will refer to it as the number associated with the divisor. The remaining numbers in the first row are the coefficients of the terms of the (original) dividend in descending order of degrees of the terms of the dividend. The number in the lower right corner, [latex] 0 [/latex], is the remainder, and [latex] -6 [/latex] to the left of it is the constant term of the quotient. We’re only missing the leading coefficient of the quotient, [latex] 1 [/latex], which simply matches the leading coefficient of the dividend. We will just “drop down” that leading coefficient of the dividend to the third row.

[latex] \begin{array}{rrrr} {\color{Gray}{\textsf{deg.}}} & {\color{Gray}{2}} & \phantom{-}{\color{Gray}{1}} & \hspace{4pt} {\color{Gray}{\textsf{c.t.}}} \end{array} [/latex]
[latex] \begin{array}{c|rrr} {\color{blue}{-2}} & {\color{Green}{1}} & {\color{Green}{-4}} & {\color{Green}{-12}}\\ \phantom{\textsf{deg.}} & \downarrow & {\color{red}{-2}} & {\color{red}{+12}}\\ \hline & {\color{Orange}{1}} & {\color{Orange}{-6}} & {\color{Plum}{0}} \end{array} [/latex]
[latex] \begin{array}{rrrr} {\color{Gray}{\ \textsf{deg.}}} & {\color{Gray}{1}} & \hspace{1pt} {\color{Gray}{\textsf{c.t.}}} & {\color{Gray}{\textsf{rem.}}} \end{array} [/latex]

The degree indicators are included only for convenience and clarity. They are not a part of the diagram. The diagram above is equivalent to the long division diagram below.

[latex] \begin{array}{l} \color{Gray}{\hspace{8pt}\textsf{deg.}\hspace{12pt}2\hspace{21pt}1\hspace{17pt}\textsf{c.t.}}\\[-10pt] \phantom{x+2 -1x^2}\hspace{.5pt} {\color{Gray}{\Bigl|}} \phantom{{}-{}}{\color{Orange}{1x}} {\color{Gray}{\Bigl|}} {\color{Orange}{{}-6}}\\[-10pt] {\color{blue}{x+2}} \enclose{longdiv}{\phantom{-}{\color{Green}{1x^2}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-4x}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-12}}}\\[-10pt] \phantom{x+2\hspace{3pt}} \enclose{bottom}{{\color{red}{-1x^2}} {\color{Gray}{\Bigl|}} {\color{red}{{}-2x}} {\color{Gray}{\Bigl|}} \phantom{{} -12}}\\[-10pt] \phantom{x+2 -1x^2 {\color{Gray}{\Bigl|}} \hspace{-9pt}} {\color{Green}{{}-6x}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-12}}\\[-10pt] \phantom{x+2 -1x^2 {\color{Gray}{\Bigl|}} \hspace{-10.5pt}} \enclose{bottom}{{\color{red}{{}+6x}} {\color{Gray}{\Bigl|}} {\color{red}{{}+12}}}\\[-10pt] \phantom{x+2 -1x^2 {\color{Gray}{\Bigl|}} \hspace{-8.5pt} {\color{red}{{}+6x}} {\color{Gray}{\Bigl|}} {\color{red}{{}+{}}}}{\color{Plum}{0}} \end{array} [/latex]   or   [latex] \begin{array}{l} \color{Gray}{\hspace{17pt}\textsf{deg.}\hspace{14pt}2\hspace{24pt}1\hspace{13pt}\textsf{c.t.}}\\[-10pt] \phantom{{x-}{(-2)} -\enclose{box}{1}x^2}\hspace{.5pt} {\color{Gray}{\Bigl|}} \phantom{-}{\color{Orange}{\hspace{3pt}1{\color{lightgray}{x}}}} {\color{Gray}{\Bigl|}} {\color{Orange}{-6}}\\[-10pt] {\color{lightgray}{x-(}}{{\color{blue}{-2}}{\color{lightgray}{)}}} \enclose{longdiv}{\phantom{-}{\color{Orange}{\enclose{box}{\color{Green}{1}}}}{\color{lightgray}{x^2}} {\color{Gray}{\Bigl|}} \hspace{3pt}{\color{Green}{-4{\color{lightgray}{x}}}} {\color{Gray}{\Bigl|}} {\color{Green}{-12}}}\\[-10pt] \phantom{{x-}{(-2)}\hspace{3pt}} \enclose{bottom}{{\color{lightgray}{\hspace{4pt} -1x^2}} {\color{Gray}{\Bigl|}} \hspace{3pt}{\color{red}{-2{\color{lightgray}{x}}}} {\color{Gray}{\Bigl|}} \phantom{ -12}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}} \hspace{4pt}} {\color{Orange}{\enclose{box}{\color{Green}{-6}}}}{\color{lightgray}{x}} {\color{Gray}{\Bigl|}} {\color{lightgray}{-12}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}} \hspace{4pt}} \enclose{bottom}{{\color{lightgray}{\hspace{2pt}+6x}} {\color{Gray}{\Bigl|}} {\color{red}{+12}}}\\[-10pt] \phantom{{x-}{(-2)} -1x^2 {\color{Gray}{\Bigl|}} \hspace{16pt} {\color{red}{+6x}} {\color{Gray}{\Bigl|}}}{\color{Plum}{0}} \end{array} [/latex]

emphasizing only the numbers that matter.

Recall that the [latex] {\color{Orange}{\enclose{box}{\color{Green}{1}}}} [/latex] from the original dividend that matched the [latex] {\color{Orange}{1}} [/latex] in the quotient has been “dropped down” in the synthetic division diagram, and the [latex] {\color{Orange}{\enclose{box}{\color{Green}{-6}}}} [/latex] from the “second” dividend that matched the [latex] {\color{Orange}{-6}} [/latex] in the quotient has been obtained by adding the [latex] {\color{Green}{-4}} [/latex] from the original dividend to the [latex] {\color{red}{-2}} [/latex], the result of multiplying the [latex] {\color{Orange}{1}} [/latex] by the [latex] {\color{blue}{-2}} [/latex], the number associated with the divisor, etc.

Okay, but how do we recreate the complete synthetic division diagram without going through long division first?

In setting up the synthetic division diagram for our division problem, we start with writing [latex] {\color{blue}{-2}} [/latex], the number associated with the divisor, in the upper left corner, and the coefficients of the divisor in columns of proper degree (on top) to complete the first row. Then we “drop down” the leading coefficient, [latex] 1 [/latex], to the third row indicating it by an arrow, [latex] \downarrow [/latex], in the second row.

[latex] \begin{array}{rrrr} {\color{Gray}{\textsf{deg.}}} & {\color{Gray}{2}} & \phantom{-}{\color{Gray}{1}} & \hspace{4pt} {\color{Gray}{\textsf{c.t.}}} \end{array} [/latex]
[latex] \begin{array}{c|rrr} {\color{blue}{-2}} & {\color{Green}{1}} & {\color{Green}{-4}} & {\color{Green}{-12}}\\ \phantom{\textsf{deg.}} & \downarrow & {\phantom{-2}} & {\phantom{+12}}\\ \hline & {\color{Orange}{1}} & {\phantom{-6}} & {\phantom{0}} \end{array} [/latex]

Then we multiply that “dropped down” [latex] {\color{Orange}{1}} [/latex] from the last row of the diagram by the number associated with the divisor, [latex] {\color{blue}{-2}} [/latex], place the resulting product, [latex] {\color{red}{-2}} [/latex], in the second row of the diagram in the first vacant spot, add to the number above it, [latex] {\color{Green}{-4}} [/latex], and place the sum, [latex] {\color{Orange}{-6}} [/latex], below it in the first vacant spot of the last row.

[latex] \begin{array}{c|rrr} {\color{blue}{-2}} & {\color{Green}{1}} & {\color{Green}{-4}} & {\color{Green}{-12}}\\ \phantom{\textsf{deg.}} & \downarrow & {\color{red}{-2}} & {\phantom{+12}}\\ \hline & {\color{Orange}{1}} & {\color{Orange}{-6}} & {\phantom{0}} \end{array} [/latex]

In similar way, we multiply that [latex] {\color{Orange}{-6}} [/latex] by the number associated with the divisor, [latex] {\color{blue}{-2}} [/latex], place the resulting product, [latex] {\color{red}{+12}} [/latex], in the second row of the diagram in the first vacant spot, add to the number above it, [latex] {\color{Green}{-12}} [/latex], and place the sum, [latex] {\color{Plum}{0}} [/latex], below it in the first vacant spot of the last row.

[latex] \begin{array}{c|rrr} {\color{blue}{-2}} & {\color{Green}{1}} & {\color{Green}{-4}} & {\color{Green}{-12}}\\ \phantom{\textsf{deg.}} & \downarrow & {\color{red}{-2}} & {\color{red}{+12}}\\ \hline & {\color{Orange}{1}} & {\color{Orange}{-6}} & {\color{Plum}{0}} \end{array} [/latex]

Since it was the lower right corner of the diagram, the [latex] {\color{Plum}{0}} [/latex] “completed” the diagram and is the remainder of the division. We hope you’ve already noted the pattern in creating the synthetic division diagram for our division problem.

That pattern of properly placing the number associated with the divisor, the coefficients of the dividend, “dropping down” the leading coefficient of the dividend, and “generating” the remaining numbers in the diagram, generalizes to division of any polynomial by a degree [latex] 1 [/latex] binomial with the leading coefficient of [latex] 1 [/latex]. Let’s review it making sure we understand all steps properly.

How To: DIVIDE A polynomial, [latex] P(x) [/latex], BY A BINOMIAL, [latex] x-k [/latex], using synthetic division

  • Make sure you view the dividend, [latex] P(x) [/latex], in descending powers of the variable and note the degree of [latex] P(x) [/latex]. Include terms of all degrees less than or equal to the degree of [latex] P(x) [/latex] including all coefficients with a coefficient of zero for all missing degrees of terms.
  • Set up the diagram:

[latex] \begin{array}{r|l} {\color{blue}k} & {\color{Green}\textsf{dividend coefficients}}\\ & \\ \hline & \end{array} [/latex]

Remember that [latex] {\color{blue}k} [/latex], the number associated with the divisor, is the number “behind” the “minus” in the divisor. In other words, [latex] {\color{blue}k} [/latex] is the opposite of the constant term of the divisor. The dividend coefficients must be written in the same order as they appear in the form of [latex] P(x) [/latex] described above (including the zeros).

  • Drop down the leading coefficient of [latex] P(x) [/latex] to the last row of the diagram.
  • Repeat the following “division step” until you “complete” the diagram:

Multiply the last number from the last row by [latex] {\color{blue}k} [/latex], place the resulting product in the second row of the diagram in the first vacant spot, add to the number above it, and place the sum below it in the first vacant spot of the last row.

  • The completed diagram will have the following form:

[latex] \begin{array}{r|l} {\color{blue}k} & \enclose{box}{\color{Green}\mathstrut\quad \textsf{dividend}\hspace{8.5pt} \textsf{coefficients}\quad}\\ & \downarrow\ \enclose{box}{\mathstrut\color{red}\textsf{“division step products”}}\\ \hline & \enclose{box}{\color{Orange}\mathstrut\textsf{quotient coefficients}}\hspace{3.5pt} \enclose{box}{\color{Plum}\mathstrut\textsf{rem.}} \end{array} [/latex]

Remember that the degree of the quotient is [latex] 1 [/latex] less than the degree of [latex] P(x) [/latex].

ExAMPLE

Use synthetic division to divide [latex] 2x^3-3x^2-x+3 [/latex] by [latex] x+3 [/latex].

The next example will include a polynomial with a missing term of a specific degree.

Example

Use synthetic division to divide [latex]-9x^4+10x^3+7x^2-6[/latex] by [latex]x - 1[/latex].

These next videos contain further examples of using synthetic division.

Synthetic division is a powerful tool in examining polynomial functions. You will learn more about it in a College Algebra class. We will present one application of synthetic division in evaluating polynomial functions.

The Remainder Theorem and Evaluation of Polynomial Functions

Let’s revisit the example above where the dividend, [latex] P(x)=-9x^4+10x^3+7x^2-6 [/latex], was divided by the divisor, [latex] x-1 [/latex]. The quotient was [latex] -9x^3+x^2+8x+8 [/latex] and the remainder was [latex] 2 [/latex]. Note that

[latex] \begin{align} P({\color{Green}{1}})&=-9\cdot{\color{Green}{1}}^4+10\cdot{\color{Green}{1}}^3+7\cdot{\color{Green}{1}}^2-6\\ &=-9+10+7-6\\ &=2 \end{align} [/latex]

It’s not a coincidence that the value, [latex] P(1) [/latex], matches the remainder of the division of [latex] P(x) [/latex] by [latex] x-1 [/latex]. Recall that an equivalent form of a general polynomial division statement is

[latex] \textsf{dividend} = \textsf{divisor}\cdot\textsf{quotient}+\textsf{remainder} [/latex]

If we rewrite it using function notation, denoting the divisor [latex] d(x) [/latex], the quotient [latex] q(x) [/latex], and the reminder [latex] r(x) [/latex], we get

[latex] P(x)=d(x)\cdot q(x)+r(x) [/latex].

This functional equation is true for every real number [latex] x [/latex]. Let [latex] k [/latex] be a real number. If we let [latex] d(x)=x-k [/latex], then the remainder must be of degree les than [latex] 1 [/latex], meaning a constant. Let’s denote that constant [latex] R [/latex]. We get

[latex] P(x)=(x-k)\cdot q(x)+R [/latex]

and

[latex] \begin{align} P({\color{Green}{k}})&=({\color{Green}{k}}-k)\cdot q({\color{Green}{k}})+R\\ &=0\cdot q({\color{Green}{k}})+R\\ &=0+R\\ &=R \end{align} [/latex]

We have just proven the following Remainder Theorem.

THE REMAINDER THEOREM

For any polynomial [latex]P(x)[/latex] of degree [latex] 1 [/latex] or higher and any real number [latex] k [/latex], [latex] P(k) [/latex] is equal to the remainder of the division of [latex] P(x) [/latex] by [latex] x-k [/latex]. Algebraically:

If [latex]\dfrac{P(x)}{x-k}=q(x)+\dfrac{R}{x-k}[/latex], then [latex]P(k)=R[/latex].

As always, an equality is true “both ways”. In the Remainder Theorem, we can say that

  • the value of [latex] P(x) [/latex] at [latex] x=k [/latex], [latex] P(k) [/latex], is equal to the remainder of the division of [latex] P(x) [/latex] by [latex] x-k [/latex] (and we can identify that remainder using synthetic division with [latex] k [/latex] as the number associated with the divisor), or
  • the remainder of the division of [latex] P(x) [/latex] by [latex] x-k [/latex] is equal to the value of [latex] P(x) [/latex] at [latex] x=k [/latex], [latex] P(k) [/latex].

ExAMPLE

Given the function [latex] f(x)=x^4+x^3-5x^2+x-6 [/latex], calculate [latex] f(-2) [/latex], [latex] f(1) [/latex], [latex] f(2) [/latex], and [latex] f(3) [/latex] using synthetic division and the Remainder Theorem.

We encourage you to check our answers in the example above by plugging the numbers into [latex] f(x) [/latex] and simplifying to compute the indicated values.

Note that although synthetic division is very useful, the numbers in the diagram can become large in magnitude making the process a bit more tedious. Fractions or any real numbers can be used as coefficients possibly making the computations quite cumbersome.

We finish with an example in which we determine the remainder of the division using the Reminder Theorem “backward”.

ExAMPLE

Determine the remainder of the division of [latex] -3x^3+2x^2-3x+4 [/latex] by [latex] x+2 [/latex] using the Remainder Theorem.