4.8 Polynomial Division

Learning OutcomeS

  • Divide a polynomial by a monomial.
  • Divide a polynomial by a polynomial.
  • Divide polynomial functions given in function notation.

Let’s review the terminology related to the division of whole numbers. If we divide [latex] \require{color}7 [/latex] by [latex] 3 [/latex], [latex] 7 [/latex] is called the dividend, and [latex] 3 [/latex] is called the divisor. The division result can be written as a mixed number [latex] 2 \dfrac{1}{3} [/latex] that means [latex] 2+\dfrac{1}{3} [/latex]. The whole part of the division result, [latex] 2 [/latex], is called the quotient, and the numerator of the “fractional part”, [latex] 1 [/latex], is called the remainder. The entire division statement can be written mathematically in two ways, using a fraction for the division, or using the division symbol.

[latex] \dfrac{7}{3}=2+\dfrac{1}{3} [/latex]   or   [latex] 7\div3=2+\dfrac{1}{3} [/latex]

In general,

[latex] \dfrac{{\color{Green}{\textsf{dividend}}}}{{\color{blue}{\textsf{divisor}}}}={\color{Orange}{\textsf{quotient}}}+\dfrac{{\color{Plum}{\textsf{remainder}}}}{{\color{blue}{\textsf{divisor}}}} [/latex]   or   [latex] {\color{Green}{\textsf{dividend}}}\div {\color{blue}{\textsf{divisor}}}={\color{Orange}{\textsf{quotient}}}+\dfrac{{\color{Plum}{\textsf{remainder}}}}{{\color{blue}{\textsf{divisor}}}} [/latex]

We say that the division is performed on improper fractions which means that the divisor is not greater than the dividend. The quotient is never greater than the dividend, and the remainder is nonnegative and always less than the divisor. When the remainder is zero, we say that the dividend is divisible by the divisor. In such case, the quotient itself is the result of the division. A way of verifying correctness of a division statement is based on the fact that the division statement can be presented in equivalent form as

[latex] {\color{Green}{\textsf{dividend}}} = {\color{blue}{\textsf{divisor}}}\cdot{\color{Orange}{\textsf{quotient}}}+{\color{Plum}{\textsf{remainder}}} [/latex]

Using our example of the division of [latex] {\color{Green}{7}} [/latex] by [latex] {\color{blue}{3}} [/latex], the statement [latex] {\color{Green}{7}}\div{\color{blue}{3}}={\color{Orange}{2}}+\dfrac{{\color{Plum}{1}}}{{\color{blue}{3}}} [/latex] is true only if the statement [latex] {\color{Green}{7}}={\color{blue}{3}}\cdot {\color{Orange}{2}}+{\color{Plum}{1}} [/latex] is true. In such verification, we usually start with the RHS (right hand side) of the latter statement and simplify to check if it matches the LHS (left hand side). Since [latex] 3\cdot 2+1 [/latex] is indeed equal to [latex] 7 [/latex], both statements are true. Notice that the quotient ([latex] \color{Orange}{2} [/latex]) is not greater than the dividend ([latex] \color{Green}{7} [/latex]). Also, the remainder ([latex] \color{Plum}{1} [/latex]) is not negative.

Dividing a Polynomial by a Monomial

Dividing a polynomial by a monomial can be handled by dividing each term in the dividend polynomial separately by the divisor monomial. This is based on the fact that adding or subtracting rational expressions with like denominators is equivalent to operating on the numerators keeping the common denominator the same: [latex] \displaystyle \frac{a}{c}\pm\frac{b}{c}=\frac{a\pm b}{c} [/latex]. We just use that equivalency “backwards.” We will refer to this fact as “using linearity of operations on rational expressions.”

ExAMPLE

Divide [latex] 12x^3+2x^2-8x+1 [/latex] by [latex] 4x [/latex].

Of course, when we divide by a variable expression, we have to determine restricted values of the variable that result in division by zero. In the example above, [latex] x\ne 0 [/latex].

We usually refrain from using the notions of quotient and remainder when dividing by a monomial.

Divide a Polynomial by a Polynomial

The easiest case of dividing a polynomial by a general polynomial is when the dividend contains the divisor as a factor. For example,

[latex] \begin{align} \frac{x^2-4x-12}{x+2} &= \frac{{\color{red}\cancel{\color{black}{(x+2)}}}\cdot (x-6)}{{\color{red}\cancel{\color{black}{(x+2)}}}\cdot 1}\\[5pt] &= x-6 \end{align} [/latex]

That is of course dependent on the ability to factor that might prove useful if you encounter a division example in which the divisor is a factor of the dividend. As always, remember about the restricted values of the variable (the real zeros of the divisor). In the example above, [latex] x\ne -2 [/latex].

It is also possible that the dividend and divisor contain common factors that can be divided out. For example,

[latex] \begin{align} \frac{x^2-x-2}{x^2+3x+2} &= \frac{{\color{red}\cancel{\color{black}{(x+1)}}}\cdot (x-2)}{{\color{red}\cancel{\color{black}{(x+1)}}}\cdot (x+2)}\\[5pt] &= \frac{x-2}{x+2} \end{align} [/latex]

The final rational expression is still improper and requires further division.

In general, when dividing a polynomial by a polynomial, we will use long division, a process similar to long division of whole numbers, or synthetic division (discussed in the next section). The notions of the dividend, divisor, quotient, and reminder extend to division of polynomials with some adjustments:

  • In an improper rational expression, the degree of the divisor is not greater than the degree of the dividend.
  • The degree of the quotient is never greater than the degree of the dividend. Moreover, the degree of the quotient is the difference of the degrees of the dividend and the divisor.
  • The degree of the remainder is always less than the degree of the divisor or the remainder is [latex] 0 [/latex].

Let’s discuss the setup of the long division diagram. The basic setup is similar to long division of whole numbers:

[latex] \require{enclose} {\color{blue}{\textsf{divisor}}} \enclose{longdiv}{{\color{Green}{\textsf{dividend}}}} [/latex]

The place above the line over the dividend is designated for the quotient. The dividend and divisor should be written in descending powers of the variable. To avoid mistakes, the dividend should have terms of all degrees with a coefficient of zero for all missing degrees of terms. There is no need to include terms of missing degrees in the divisor. We suggest that you include vertical lines separating columns of terms of specific degree. Since the constant term might be any real number and only nonzero real numbers perceived as a polynomial have the degree of zero, we will label the last column as “c.t.” For example, for the division of [latex] {\color{Green}{x^4-2x^2+3x-4}} [/latex] by [latex] {\color{blue}{x^2+1}} [/latex], the long division diagram should look like this:

[latex] \begin{array}{l} \color{Gray}{\hspace{10pt}\textsf{deg.}\hspace{10pt}4\hspace{22pt}3\hspace{25pt}2\hspace{22pt}1\hspace{14pt}\textsf{c.t.}}\\[-10pt] \phantom{x^2+1\ \ } \phantom{-x^4} {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}} \phantom{{} - 2x^2} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} \phantom{-4}\\[-10pt] {\color{blue}{x^2+1}} \enclose{longdiv}{\phantom{-}{\color{Green}{x^4}} {\color{Gray}{\Bigl|}} {\color{Green}{{}+0x^3}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-2x^2}} {\color{Gray}{\Bigl|}} {\color{Green}{{}+3x}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-4}}}\\[-10pt] \phantom{x^2+1\ \ } \phantom{-x^4} {\color{Gray}{\vdots}} \phantom{{} + 0x^3} {\color{Gray}{\vdots}} \phantom{{} - 2x^2} {\color{Gray}{\vdots}} \phantom{{} + 3x} {\color{Gray}{\vdots}} \phantom{-4}\\[-10pt] \end{array} [/latex]

Let’s now describe a long division step. In long division of whole numbers, the question we’d ask is “how many times does the divisor go into the number made of the first sufficient number of digits of the dividend?” In long division of polynomials, we simply divide the first (leading) term of the dividend (actually, what we will refer to as the current dividend, which we will explain in a bit) by the first (leading) term of the divisor and place the simplified result of that division in the proper column of the quotient space in the diagram. In our example, we divide [latex] \dfrac{\;{\color{Green}\enclose{box}{x^4}}\;}{{\color{blue}{\enclose{box}{x^2}}}} [/latex]. We write the simplified result, [latex] {\color{Orange}{\enclose{box}{x^2}}} [/latex], in the [latex] 2 [/latex]nd degree column of the quotient:

[latex] \begin{array}{l} \color{Gray}{\hspace{14pt}\textsf{deg.}\hspace{12pt}4\hspace{24pt}3\hspace{25pt}2\hspace{22pt}1\hspace{14pt}\textsf{c.t.}}\\[-10pt] \phantom{\enclose{box}{x^2}+1-\enclose{box}{x^4}}\hspace{.5pt} {\color{Gray}{\Bigl|}} \phantom{{}+0x^3} {\color{Gray}{\Bigl|}} \phantom{-2}{\color{Orange}{\enclose{box}{x^2}}} {\color{Gray}{\Bigl|}} \phantom{{}+3x} {\color{Gray}{\Bigl|}} \phantom{{}-4}\\[-10pt] {\color{blue}{\enclose{box}{x^2}+1}} \enclose{longdiv}{\phantom{-}{\color{Green}{\enclose{box}{x^4}}} {\color{Gray}{\Bigl|}} {\color{Green}{{}+0x^3}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-2x^2}} {\color{Gray}{\Bigl|}} {\color{Green}{{}+3x}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-4}}}\\[-10pt] \end{array} [/latex]

Next we multiply the newly obtained term of the quotient by the (entire) divisor and subtract the simplified result from the (current) dividend. Since addition is easier than subtraction and to subtract means to add the opposite, we write the opposite of that simplified result under the (current) dividend placing the terms of specific degree in the proper column, and add. In our example, we multiply [latex] {\color{Orange}{x^2}}\cdot\left({\color{blue}{x^2+1}}\right) [/latex], simplify the result to [latex] x^4+x^2 [/latex], write the opposite of that simplified result, [latex] {\color{red}{-x^4-x^2}} [/latex], under the (current) dividend with proper placement of terms, and add:

[latex] \begin{array}{l} \color{Gray}{\hspace{10pt}\textsf{deg.}\hspace{10pt}4\hspace{22pt}3\hspace{25pt}2\hspace{22pt}1\hspace{14pt}\textsf{c.t.}}\\[-10pt] \phantom{x^2+1\ \ } \phantom{-x^4} {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}} \phantom{{} - 2}{\color{Orange}{x^2}} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} \phantom{{ }- 4}\\[-10pt] {\color{blue}{x^2+1}} \enclose{longdiv}{\phantom{-} x^4 {\color{Gray}{\Bigl|}} +0x^3 {\color{Gray}{\Bigl|}} -2x^2 {\color{Gray}{\Bigl|}} +3x {\color{Gray}{\Bigl|}} -4}\\[-10pt] \phantom{x^2+1\hspace{3pt}} \enclose{bottom}{{\color{red}{- x^4}} {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}}\hspace{5pt} {\color{red}{{} - x^2}} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} \phantom{{} -4}}\\[-10pt] \phantom{x^2+1 -x^4 {\color{Gray}{\Bigl|}} + 0x^3 {\color{Gray}{\Bigl|}}}\hspace{-9pt} -3x^2 {\color{Gray}{\Bigl|}} + 3x {\color{Gray}{\Bigl|}} -4 \end{array} [/latex]

We ask now if the degree of the polynomial resulting from the addition is less than the degree of the divisor or if that resulting polynomial is [latex] 0 [/latex]. If yes, we stop. That resulting polynomial is the remainder. If no, the resulting polynomial becomes the new (current) dividend and we continue with another long division step. In our example, the degree of [latex] -3x^2+3x-4 [/latex] is [latex] 2 [/latex]. Since [latex] 2 [/latex] is not less than [latex] 2 [/latex], the degree of the divisor, [latex] {\color{blue}{x^2+1}} [/latex], [latex] {\color{Green}{-3x^2+3x-4}} [/latex] becomes the current dividend and we continue with another long division step. We divide the leading term of the current dividend, [latex] {\color{Green}{\enclose{box}{-3x^2}}} [/latex] by the leading term of the divisor, [latex] {\color{blue}{\enclose{box}{x^2}}} [/latex], and write the simplified result, [latex] {\color{Orange}{\enclose{box}{-3}}} [/latex] in the [latex] \textsf{c.t.} [/latex] column of the quotient:

[latex] \begin{array}{l} \color{Gray}{\hspace{14pt}\textsf{deg.}\hspace{10pt}4\hspace{22pt}3\hspace{25pt}2\hspace{22pt}1\hspace{14pt}\textsf{c.t.}}\\[-10pt] \phantom{\enclose{box}{x^2}+1\ \ } \phantom{-x^4} {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}} \phantom{{} - 2}{\color{Orange}{x^2}} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} {\color{Orange}{\enclose{box}{-3}}}\\[-10pt] {\color{blue}{\enclose{box}{x^2}+1}} \enclose{longdiv}{\phantom{-} x^4 {\color{Gray}{\Bigl|}} +0x^3 {\color{Gray}{\Bigl|}} -2x^2 {\color{Gray}{\Bigl|}} +3x {\color{Gray}{\Bigl|}} -4}\\[-10pt] \phantom{\enclose{box}{x^2}+1\hspace{3pt}} \enclose{bottom}{- x^4 {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}}\hspace{5pt} - x^2 {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} \phantom{-4}}\\[-10pt] \phantom{\enclose{box}{x^2}+1\hspace{1pt} -x^4 \color{Gray}{\Bigl|} + 0x^3 {\color{Gray}{\Bigl|}}} {\color{Green}{\enclose{box}{-3x^2}}} {\color{Gray}{\Bigl|}} {\color{Green}{{}+ 3x}} {\color{Gray}{\Bigl|}} {\color{Green}{{}-4}}\\[-10pt] \end{array} [/latex]

We follow by multiplying [latex] {\color{Orange}{-3}}\cdot\left({\color{blue}{x^2+1}}\right) [/latex], simplify the result to [latex] -3x^2-3 [/latex], write the opposite of that simplified result, [latex] {\color{red}{+3x^2+3}} [/latex], under the current dividend with proper placement of terms, and add:

[latex] \begin{array}{l} \color{Gray}{\hspace{10pt}\textsf{deg.}\hspace{10pt}4\hspace{22pt}3\hspace{25pt}2\hspace{22pt}1\hspace{14pt}\textsf{c.t.}}\\[-10pt] \phantom{x^2+1\ \ } \phantom{-x^4} {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}} \phantom{{} - 2}{\color{Orange}{x^2}} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} {\color{Orange}{-3}}\\[-10pt] {\color{blue}{x^2+1}} \enclose{longdiv}{\phantom{-} x^4 {\color{Gray}{\Bigl|}} +0x^3 {\color{Gray}{\Bigl|}} -2x^2 {\color{Gray}{\Bigl|}} +3x {\color{Gray}{\Bigl|}} -4}\\[-10pt] \phantom{x^2+1\hspace{3pt}} \enclose{bottom}{- x^4 {\color{Gray}{\Bigl|}} \phantom{{} + 0x^3} {\color{Gray}{\Bigl|}}\hspace{5pt} - x^2 {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} \phantom{{} -4}}\\[-10pt] \phantom{x^2+1 -x^4 {\color{Gray}{\Bigl|}} + 0x^3 {\color{Gray}{\Bigl|}}}\hspace{-9pt} -3x^2 {\color{Gray}{\Bigl|}} + 3x {\color{Gray}{\Bigl|}} -4\\[-10pt] \phantom{x^2+1 -x^4 {\color{Gray}{\Bigl|}} + 0x^3 {\color{Gray}{\Bigl|}}}\hspace{-1pt} \enclose{bottom}{{\color{red}{{} + 3x^2}} {\color{Gray}{\Bigl|}} \phantom{{} + 3x} {\color{Gray}{\Bigl|}} {\color{red}{{} + 3}}}\\[-10pt] \phantom{x^2+1 -x^4 {\color{Gray}{\Bigl|}} + 0x^3 {\color{Gray}{\Bigl|}} - 3x^2 {\color{Gray}{\Bigl|}}} \hspace{3.5pt} 3x {\color{Gray}{\Bigl|}} -1 \end{array} [/latex]

Since the degree of [latex] 3x-1 [/latex], [latex] 1 [/latex], is less than [latex] 2 [/latex], the degree of the divisor, we stop. [latex] {\color{Plum}{3x-1}} [/latex] is the remainder and [latex] {\color{Orange}{x^2-3}} [/latex] is the complete quotient. We can write the division statement in the form

[latex] \displaystyle\frac{{\color{Green}{x^4-2x^2+3x-4}}}{{\color{blue}{x^2+1}}} = {\color{Orange}{x^2-3}} + \frac{{\color{Plum}{3x-1}}}{{\color{blue}{x^2+1}}} [/latex]

and verify the correctness of this statement by simplifying [latex] \left({\color{blue}{x^2+1}}\right)\cdot \left({\color{Orange}{x^2-3}}\right)+{\color{Plum}{3x-1}} [/latex] to verify if it matches [latex] {\color{Green}{x^4-2x^2+3x-4}} [/latex]. We have

[latex] \begin{align} \left(x^2+1\right)\cdot \left(x^2-3\right)+3x-1 &= x^4-3x^2+x^2-3+3x-1\\ &= x^4-2x^2+3x-4\ \large\checkmark \end{align} [/latex]

Note, that since [latex] x^2+1\ne 0 [/latex] for all real numbers [latex] x [/latex], there are no restricted values of the variable in the example above.

In the video that follows, we show another example of dividing a degree three trinomial by a binomial.

Let’s attempt long division on an earlier example where the divisor was a factor of the dividend.

Example

Use long division to divide [latex] x^2-4x-12 [/latex] by [latex] x+2 [/latex].

In the following video, we show a couple more examples of dividing a degree two trinomial by a degree one binomial.

In the next video, we present one more example of polynomial long division.

Polynomial Division and Function Notation

In Sec. 3.2, we discussed quotient functions of the form [latex] \dfrac{f}{g} [/latex]. If both [latex] f(x) [/latex] and [latex] g(x) [/latex] are polynomial functions, the quotient functions [latex] \dfrac{f}{g}(x)=\dfrac{f(x)}{g(x)} [/latex] and/or [latex] \dfrac{g}{f}(x)=\dfrac{g(x)}{f(x)} [/latex] can possibly be simplified using polynomial division. Recall that we only perform division on improper rational expressions. Hence, if the degrees of both [latex] f(x) [/latex] and [latex] g(x) [/latex] are the same, both quotient functions can be simplified using polynomial division. Always make sure to identify the domain of the quotient function by excluding the real zeros of the divisor function.

ExAMPLE

Let [latex] f(x)=2x+1 [/latex] and [latex] g(x)=3x-2 [/latex]. Find [latex] \dfrac{f}{g}(x) [/latex] and [latex] \dfrac{g}{f}(x) [/latex], identify their domains, and simplify both using polynomial division.

Summary

Dividing polynomials by polynomials of more than one term can be done using a process very much like long division of whole numbers. You must be careful to subtract entire expressions, not just the first term. Stop when the degree of the remainder is less than the degree of the divisor. The division result can be written as a fraction added to the quotient with the remainder in the numerator and the divisor in the denominator.