- Last updated
- Save as PDF
- Page ID
- 119156
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)
\( \newcommand{\vectorC}[1]{\textbf{#1}}\)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}}\)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}\)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}}}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
Math 370 Learning Objectives
- Use the Remainder and Factor Theorems, possibly with synthetic division,to find the real roots/zeros of polynomials.
- Use the Factor Theorem to factor a polynomial into the product of linear and irreducible quadratic factors.
- Use the Remainder and Factor Theorems, possibly with synthetic division,to determine the value of a polynomial.
- Use synthetic division to find the remainder when a polynomial is divided by a linear expression.
Introduction to the Remainder and Factor Theorems
Suppose we wish to find the zeros of \[f(x)=x^{3}+4 x^{2}-5 x-14.\nonumber \]Setting \(f(x) = 0\) results in the polynomial equation \(x^{3}+4 x^{2}-5 x-14=0\). Despite all of the factoring techniques we learnedin Intermediate Algebra, this equation foils us at every turn. If we graph \(f\) using Desmos, we get the graph in Figure \( \PageIndex{1} \).
Figure \( \PageIndex{1} \)
The graph suggests that the function has three zeros, one of which is \(x = 2\). It’s easy to show that \(f(2) = 0\), but the other two zeros seem to be less friendly. Even though we could click on the curve in Desmos to find decimal approximations for these, we seek an analytical method (a method by hand) to find the remaining zeros exactly.
Since \( f \) is a polynomial function and \( f(2) = 0\), it should seem realistic that \( (x - 2) \) is a factor of \( f \). That is, if \(x = 2\) is a zero, it seems that there should be a factor of \((x − 2)\) lurking around in the factorization of \(f(x)\). Therefore, we should expect that \(x^{3}+4 x^{2}-5 x-14=(x-2) q(x)\), where \(q(x)\) is some other polynomial. How could we find such a \(q(x)\), if it even exists? The answer comes from our old friend, polynomial division. Dividing \(x^{3}+4 x^{2}-5 x-14\) by \(x − 2\) gives
\[ \require{enclose} \begin{array}{rl}
& \begin{array}{cccccccc} \quad & \quad &\quad& x^2& + & 6x & +& 7 \end{array}\\
x - 2 & \enclose{longdiv}{\begin{array}{cccccccc} \quad & x^3 & + & 4 x^2 & - & 5 x & - & 14 \end{array}} \\
& \underline{\begin{array}{cccccccc}-&(x^3 & - & 2x^2) & \quad & \quad & \quad &\quad \end{array} } \\
& \begin{array}{cccccccc} \quad & \quad & \quad & 6x^2 & - & 5x & \quad & \quad \end{array}\\
& \underline{\begin{array}{cccccccc} - & \quad& \quad & (6x^2 & - & 12x) & \quad & \quad \end{array}} \\
& \begin{array}{cccccccc} \quad & \quad & \quad & \quad & \quad & 7x & - & 14 \end{array} \\
& \underline{\begin{array}{cccccccc} - & \quad & \quad & \quad & \quad & (7x & - & 14) \end{array}}\\
& \begin{array}{cccccccc} \quad & \quad & \quad & \quad & \quad & \quad & \quad& 0\end{array} \\
\end{array}\nonumber \]
Thus,
\[ \dfrac{x^3 + 4x^2 - 5x - 14}{x - 2} = x^2 + 6x + 7.\nonumber \]
This means \(x^{3}+4 x^{2}-5 x-14=(x-2)\left(x^{2}+6 x+7\right)\), so to find the zeros of \(f\), we now solve \((x-2)\left(x^{2}+6 x+7\right)=0\).We get \(x − 2 = 0\) (which gives us our known zero, \(x = 2\)) as well as \(x^{2}+6 x+7=0\). The latter doesn’t factor nicely, so we apply the Quadratic Formula to get \(x=-3 \pm \sqrt{2}\). The point of this section is to generalize the technique applied here. First up is a friendly reminder of what we can expect when we divide polynomials.
Theorem \(\PageIndex{1}\): Division Algorithm
Suppose \(d(x)\) and \(p(x)\) are nonzero polynomials where the degree of \(p\) is greater than or equal to the degree of \(d\). There exist two unique polynomials, \(q(x)\) and \(r(x)\), such that \(p(x) = d(x) q(x) + r(x)\), where either \(r(x) = 0\) or the degree of \(r\) is strictly less than the degree of \(d\).
All the polynomials in Theorem \( \PageIndex{1} \) have special names. The polynomial \(p\) is called the dividend; \(d\) is the divisor; \(q\) is the quotient; \(r\) is the remainder. If \(r(x) = 0\) then \(d\) is called a factor of \(p\).
The proof of Theorem \( \PageIndex{1} \) is usually relegated to a course in Abstract Algebra, but we can still use the result to establish two important facts which are the basis of the rest of the chapter.
Theorem \(\PageIndex{2}\): Remainder Theorem
Suppose \(p\) is a polynomial of degree at least \(1\) and \(c\) is a real number. When \(p(x)\) is divided by \(x − c\) the remainder is \(p(c)\).
- Proof
- When a polynomial is divided by \(x − c\), the remainder is either \(0\) or has degree less than the degree of \(x − c\). Since \(x − c\) is degree \(1\), the degree of the remainder must be\(0\), which means the remainder is a constant. Hence, in either case, \(p(x) = (x − c) q(x) + r\), where \(r\), the remainder, is a real number, possibly\(0\). It follows that \[p(c) = (c − c) q(c) + r = 0 \cdotq(c) + r = r, \nonumber\]so we get \(r = p(c)\) as required.
There is one last "low hanging fruit"to collect which we present below.
Theorem \(\PageIndex{3}\): Factor Theorem
Suppose \(p\) is a nonzero polynomial. The real number \(c\) is a zero of \(p\) if and only if \((x − c)\) is a factor of \(p(x)\).
- Proof
- If \((x − c)\) is a factor of \(p(x)\), this means \(p(x) = (x − c) q(x)\) for some polynomial \(q\). Hence, \(p(c) = (c − c) q(c) = 0\), so \(c\) is a zero of \(p\). Conversely, if \(c\) is a zero of \(p\), then \(p(c) = 0\). In this case, The Remainder Theorem tells us the remainder when \(p(x)\) is divided by \((x − c)\), namely \(p(c)\), is 0, which means \((x − c)\) is a factor of \(p\).
What we have established is the fundamental connection between zeros of polynomials and factors of polynomials.
Synthetic Division
Of the things the Factor Theorem tells us, the most pragmatic is that we had better find a more efficient way to divide polynomials by quantities of the form \(x − c\). Fortunately, people like Ruffini and Horner have already blazed this trail. Let’s take a closer look at the long division we performed at the beginning of the section and try to streamline it. First off, let’s change all of the subtractions into additions by distributing through the negative signs.
\[ \require{enclose} \begin{array}{rl}
& \begin{array}{ccccccc} \quad &\quad& x^2& + & 6x & +& 7 \end{array}\\
x - 2 & \enclose{longdiv}{\begin{array}{ccccccc} x^3 & + & 4 x^2 & - & 5 x & - & 14 \end{array}} \\
& \underline{\begin{array}{ccccccc}-x^3 & + & 2x^2& \quad & \quad & \quad &\quad \end{array} } \\
& \begin{array}{ccccccc} \quad & \quad & 6x^2 & - & 5x & \quad & \quad \end{array}\\
& \underline{\begin{array}{ccccccc} \quad& \quad & -6x^2 & + & 12x& \quad & \quad \end{array}} \\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & 7x & - & 14 \end{array} \\
& \underline{\begin{array}{ccccccc} \quad & \quad & \quad & \quad & -7x & + & 14\end{array}}\\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & \quad & \quad& 0\end{array} \\
\end{array}\nonumber \]
Next, observe that the terms \(-x^{3}\), \(-6 x^{2}\) and \(−7x\) are the exact opposite of the terms above them.
\[ \require{enclose} \begin{array}{rl}
& \begin{array}{ccccccc} \quad &\quad& x^2& + & 6x & +& 7 \end{array}\\
x - 2 & \enclose{longdiv}{\begin{array}{ccccccc} x^3 & + & 4 x^2 & - & 5 x & - & 14 \end{array}} \\
& \underline{\begin{array}{ccccccc} \boxed{-x^3} & + & 2x^2& \quad & \quad & \quad &\quad \end{array} } \\
& \begin{array}{ccccccc} \quad & \quad & 6x^2 & - & 5x & \quad & \quad \end{array}\\
& \underline{\begin{array}{ccccccc} \quad& \quad & \boxed{-6x^2} & + & 12x& \quad & \quad \end{array}} \\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & 7x & - & 14 \end{array} \\
& \underline{\begin{array}{ccccccc} \quad & \quad & \quad & \quad & \boxed{-7x} & + & 14\end{array}}\\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & \quad & \quad& 0\end{array} \\
\end{array}\nonumber \]
The algorithm we use ensures this is always the case, so we can omit them without losing any information. Also note that the terms we "bring down"(namely the \(−5x\) and \(−14\)) aren’t really necessary to recopy, so we omit them, too.
\[ \require{enclose} \begin{array}{rl}
& \begin{array}{ccccccc} \quad &\quad& x^2& + & 6x & +& 7 \end{array}\\
x - 2 & \enclose{longdiv}{\begin{array}{ccccccc} x^3 & + & 4 x^2 & - & 5 x & - & 14 \end{array}} \\
& \underline{\begin{array}{ccccccc}\quad &\quad& 2x^2& \quad & \quad & \quad &\quad \end{array} } \\
& \begin{array}{ccccccc} \quad & \quad & 6x^2 & \quad & \quad & \quad & \quad \end{array}\\
& \underline{\begin{array}{ccccccc} \quad& \quad &\quad& \quad & 12x& \quad & \quad \end{array}} \\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & 7x & \quad & \quad \end{array} \\
& \underline{\begin{array}{ccccccc} \quad & \quad & \quad & \quad & \quad& \quad & 14\end{array}}\\
& \begin{array}{ccccccc} \quad & \quad & \quad & \quad & \quad & \quad& 0\end{array} \\
\end{array}\nonumber \]
Now, let’s move things up a bit and, for reasons which will become clear in a moment, copy the \(x^{3}\) into the last row.
\[ \require{enclose} \begin{array}{rl}
& \begin{array}{ccccccc} \quad &\quad& x^2& + & 6x & +& 7 \end{array}\\
x - 2 & \enclose{longdiv}{\begin{array}{ccccccc} x^3 & + & 4 x^2 & - & 5 x & - & 14 \end{array}} \\
& \underline{\begin{array}{ccccccc}\quad &\quad& 2x^2& \quad & 12x& \quad &14 \end{array} } \\
& \begin{array}{ccccccc} x^3& \quad & 6x^2 & \quad & 7x& \quad &0\end{array}\\
\end{array}\nonumber \]
Note that by arranging things in this manner, each term in the last row is obtained by adding the two terms above it. Notice also that the quotient polynomial can be obtained by dividing each of the first three terms in the last row by \(x\) and adding the results. If you take the time to work back through the original division problem, you will find that this is exactly the way we determined the quotient polynomial. This means that we no longer need to write the quotient polynomial down, nor the \(x\) in the divisor, to determine our answer.
\[\begin{array}{r}
\underline{-2} \mid & x^{3} & + & 4 x^{2} & - & 5 x & - & 14 \\
& & & 2 x^{2} && 12 x & & 14 \\
\hline& x^{3} & & 6 x^{2} & & 7 x & & 0 \\
\end{array}\nonumber \]
We’ve streamlined things quite a bit so far, but we can still do more. Let’s take a moment to remind ourselves where the \(2 x^{2}\), \(12x\) and\(14\) came from in the second row. Each of these terms was obtained by multiplying the terms in the quotient, \(x^{2}\), \(6x\) and \(7\), respectively, by the \(−2\) in \(x − 2\), then by \(−1\) when we changed the subtraction to addition. Multiplying by \(−2\) then by \(−1\) is the same as multiplying by \(2\), so we replace the \(−2\) in the divisor by \(2\). Furthermore, the coefficients of the quotient polynomial match the coefficients of the first three terms in the last row, so we now take the plunge and write only the coefficients of the terms to get
\[\begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& & 2&12&14 \\
\hline&1 & 6 & 7 & 0 \\
\end{array}\nonumber \]
We have constructed a synthetic division tableau for this polynomial division problem. Let’s rework our division problem using this tableau to see how it greatly streamlines the division process. To divide \(x^{3}+4 x^{2}-5 x-14\) by \(x − 2\), we write \(2\) in the place of the divisor and the coefficients of \(x^{3}+4 x^{2}-5 x-14\) in for the dividend. Then "bring down" the first coefficient of the dividend.
\[\begin{array}{ccc}
\begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
\end{array} & \qquad\qquad \qquad & \begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& &&\\
\hline&1 & & & \\
\end{array} \end{array} \nonumber \]
Next, take the\(2\) from the divisor and multiply by the \(1\) that was "brought down" to get \(2\). Write this underneath the \(4\), then add to get \(6\).
\[\begin{array}{ccc}
\begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& &&\\
\hline&1 & & & \\
\end{array}& \qquad\qquad \qquad & \begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& 2 &&\\
\hline&1 & 6 & & \\
\end{array} \end{array} \nonumber \]
Now take the \(2\) from the divisor times the \(6\) to get\(12\), and add it to the \(−5\) to get \(7\).
\[\begin{array}{ccc}
\begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& 2 &&\\
\hline&1 & 6 & & \\
\end{array}& \qquad\qquad \qquad & \begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& 2 &12&\\
\hline&1 & 6 & 7& \\
\end{array} \end{array} \nonumber \]
Finally, take the \(2\) in the divisor times the \(7\) to get \(14\), and add it to the \(−14\) to get \(0\).
\[\begin{array}{ccc}
\begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& 2 &12&\\
\hline&1 & 6 & 7& \\
\end{array}& \qquad\qquad \qquad & \begin{array}{r}
\underline{2} \mid &1& 4 & -5 & -14 \\
& \downarrow& 2 &12&14\\
\hline&1 & 6 & 7& \boxed{0}\\
\end{array} \end{array} \nonumber \]
The first three numbers in the last row of our tableau are the coefficients of the quotient polynomial. Remember, we started with a third-degree polynomial and divided by a first-degree polynomial, so the quotient is a second-degree polynomial. Hence the quotient is \(x^{2}+6 x+7\). The number in the box is the remainder.
Synthetic division is our tool of choice for dividing polynomials by divisors of the form \(x − c\). It is important to note that it works only for these kinds of divisors (you’ll need to use good old-fashioned polynomial long division for divisors of degree larger than \(1\)).Also take note that when a polynomial (of degree at least \(1\)) is divided by \(x − c\), the result will be a polynomial of exactly one less degree. Finally, it is worth the time to trace each step in synthetic division back to its corresponding step in long division. While the authors have done their best to indicate where the algorithm comes from, there is no substitute for working through it yourself.
Example \( \PageIndex{1} \)
Use synthetic division to perform the following polynomial divisions. Find the quotient and the remainder polynomials, then write the dividend, quotient and remainder in the form given in Theorem \( \PageIndex{1} \).
- \(\left(5 x^{3}-2 x^{2}+1\right) \div(x-3)\)
- \(\left(x^{3}+8\right) \div(x+2)\)
- \(\dfrac{4-8 x-12 x^{2}}{2 x-3}\)
Solution
- When setting up the synthetic division tableau, we need to enter\(0\) for the coefficient of \(x\) in the dividend. Doing so gives\[ \begin{array}{r}
\underline{3} \mid &5& -2 & 0 & 1 \\
& \downarrow& 15 & 39&117\\
\hline&5 & 13 & 39 & \boxed{118}\\
\end{array}\nonumber \]Since the dividend was a third-degree polynomial, the quotient is a quadratic polynomial with coefficients \(5\), \(13\) and \(39\). Our quotient \(q(x)=5 x^{2}+13 x+39\) and the remainder is \(r(x) = 118\). According to Theorem \( \PageIndex{1} \), we have \(5 x^{3}-2 x^{2}+1=(x-3)\left(5 x^{2}+13 x+39\right)+118\). - For this division, we rewrite \(x + 2\) as \(x − (−2)\) and proceed as before \[ \begin{array}{r}
\underline{-2} \mid &1&0& 0 & 8 \\
& \downarrow& -2 & 4&-8 \\
\hline&1 & -2 & 4 & \boxed{0}\\
\end{array}\nonumber \]We get the quotient \(q(x)=x^{2}-2 x+4\) and the remainder \(r(x) = 0\). Relating the dividend, quotient and remainder gives \(x^{3}+8=(x+2)\left(x^{2}-2 x+4\right)\). - To divide \(4-8 x-12 x^{2}\) by \(2x − 3\), two things must be done. First, we write the dividend in descending powers of \(x\) as \(-12 x^{2}-8 x+4\). Second, since synthetic division works only for factors of the form \(x − c\), we factor \(2x − 3\) as \(2\left(x-\dfrac{3}{2}\right)\). Our strategy is to first divide \(-12 x^{2}-8 x+4\) by 2, to get \(-6 x^{2}-4 x+2\). Next, we divide by \(\left(x-\dfrac{3}{2}\right)\). The tableau becomes \[ \begin{array}{r}
\underline{\dfrac{3}{2}} \mid &-6&-4& 2 \\
& \downarrow& -9&-\dfrac{39}{2}\\
\hline& -6& -13 & \boxed{-\dfrac{35}{2}}\\
\end{array}\nonumber \] From this, we get \(-6 x^{2}-4 x+2=\left(x-\dfrac{3}{2}\right)(-6 x-13)-\dfrac{35}{2}\). Multiplying both sides by 2 and distributing gives \(-12 x^{2}-8 x+4=(2 x-3)(-6 x-13)-35\). At this stage, we have written \(-12 x^{2}-8 x+4\) in the form \((2x−3)q(x) +r(x)\), but how can we be sure the quotient polynomial is \(−6x−13\) and the remainder is \(−35\)? The answer is the word "unique" in Theorem \( \PageIndex{1} \). The theorem states that there is only one way to decompose \(-12 x^{2}-8 x+4\) into a multiple of \((2x − 3)\) plus a constant term. Since we have found such a way, we can be sure it is the only way.
Using Synthetic Division Alongside the Remainder and Factor Theorems
The next example pulls together all of the concepts discussed in this section.
Example \( \PageIndex{2} \)
Let \(p(x)=2 x^{3}-5 x+3\).
- Find \(p(−2)\) using the Remainder Theorem. Check your answer by substitution.
- Use the fact that \(x = 1\) is a zero of \(p\) to factor \(p(x)\) and then find all of the real zeros of \(p\).
Solution
- The Remainder Theorem states \(p(−2)\) is the remainder when \(p(x)\) is divided by \(x − (−2)\). We set up our synthetic division tableau below. We are careful to record the coefficient of \(x^{2}\) as 0, and proceed as above\[ \begin{array}{r}
\underline{-2} \mid &2& 0 & -5 & 3 \\
& \downarrow& -4 & 8&-6 \\
\hline&2 & -4 & 3 & \boxed{-3}\\
\end{array}\nonumber \] According to the Remainder Theorem, \(p(−2) = −3\). We can check this by direct substitution into the formula for \(p(x)\): \(p(-2)=2(-2)^{3}-5(-2)+3=-16+10+3=-3\). - The Factor Theorem tells us that since \(x = 1\) is a zero of \(p\), \(x−1\) is a factor of \(p(x)\). To factor \(p(x)\), we divide\[ \begin{array}{r}
\underline{1} \mid &2& 0 & -5 & 3 \\
& \downarrow& 2 & 2&-3 \\
\hline&2 & 2 & -3 & \boxed{0}\\
\end{array}\nonumber \] We get a remainder of \(0\) which verifies that, indeed, \(p(1) = 0\). Our quotient polynomial is a second-degree polynomial with coefficients \(2\), \(2\), and \(−3\). So \(q(x)=2 x^{2}+2 x-3\). Theorem \( \PageIndex{1} \) tells us \(p(x)=(x-1)\left(2 x^{2}+2 x-3\right)\). To find the remaining real zeros of \(p\), we need to solve \(2 x^{2}+2 x-3=0\) for \(x\). Since this doesn’t factor nicely, we use the Quadratic Formula to find that the remaining zeros to be\(x=\dfrac{-1 \pm \sqrt{7}}{2}\).
In Section 3.1, we discussed the notion of the multiplicity of a zero. Roughly speaking, a zero with multiplicity \(2\) can be divided twice into a polynomial; multiplicity \(3\), three times, and so on. This is illustrated in the next example.
Example \( \PageIndex{3} \)
Let \(p(x)=4 x^{4}-4 x^{3}-11 x^{2}+12 x-3\). Given that \(x=\dfrac{1}{2}\) is a zero of multiplicity 2, find all of the real zeros of \(p\).
Solution
We set up for synthetic division. Since we are told the multiplicity of \(\dfrac{1}{2}\) is two, we continue our tableau and divide \(\dfrac{1}{2}\) into the quotient polynomial
\(\begin{array}{r}
\dfrac{1}{2} \mid 4\ \ \ \ -4\ \ \ \ \ -11\ \ \ \ \ \ \ 12\ \ \ \ \ -3\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ -1\ \ \ \ -6\ \ \ \ \ \ \ \ \ \ 3}\\
\dfrac{1}{2} \mid 4\ \ \ \ -2\ \ \ \ \ -12\ \ \ \ \ \ \ \ \ 6\ \ \ \ \ \ \ \ \boxed{0}\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ \ \ \ \ \ 0\ \ \ \ -6\ \ \ \ \ \ \ \ \ \ \ \ }\\
4\ \ \ \ \ \ \ \ \ 0\ \ \ \ \ -12\ \ \ \ \ \ \ \ \boxed{0}\ \ \ \ \ \ \ \ \ \ \
\end{array}\)
From the first division, we get \(4 x^{4}-4 x^{3}-11 x^{2}+12 x-3=\left(x-\dfrac{1}{2}\right)\left(4 x^{3}-2 x^{2}-12 x+6\right)\). The second division tells \(4 x^{3}-2 x^{2}-12 x+6=\left(x-\dfrac{1}{2}\right)\left(4 x^{2}-12\right)\). Combining these results, we \(4 x^{4}-4 x^{3}-11 x^{2}+12 x-3=\left(x-\dfrac{1}{2}\right)^{2}\left(4 x^{2}-12\right)\). To find the remaining zeros of \(p\), we set \(4 x^{2}-12=0\) and get \(x=\pm \sqrt{3}\).
A couple of things about the last example are worth mentioning. First, the extension of the synthetic division tableau for repeated divisions will be a common site in the sections to come. Typically, we will start with a higher order polynomial and peel off one zero at a time until we are left with a quadraticwhose roots can always be found using the Quadratic Formula. Secondly, we found \(x=\pm \sqrt{3}\) are zeros of \(p\). The Factor Theorem guarantees \((x-\sqrt{3})\) and \((x-(-\sqrt{3}))\) are both factors of \(p\). We can certainly put the Factor Theorem to the test and continue the synthetic division tableau from above to see what happens.
\(\begin{array}{r}
\dfrac{1}{2} \mid 4\ \ \ \ -4\ \ \ \ \ -11\ \ \ \ \ \ \ 12\ \ \ \ \ -3\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ -1\ \ \ \ -6\ \ \ \ \ \ \ \ \ \ 3}\\
\dfrac{1}{2} \mid 4\ \ \ \ -2\ \ \ \ \ -12\ \ \ \ \ \ \ \ \ 6\ \ \ \ \ \ \ \ \boxed{0}\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ \ \ \ \ \ 0\ \ \ \ -6\ \ \ \ \ \ \ \ \ \ \ \ }\\
\sqrt{3}\mid4\ \ \ \ \ \ \ \ \ 0\ \ \ \ \ -12\ \ \ \ \ \ \ \ \boxed{0}\ \ \ \ \ \ \ \ \ \ \ \\
\underline{\downarrow \ \ \ \ \ 4\sqrt{3}\ \ \ \ \ \ \ 12\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\\
-\sqrt{3}\mid4\ \ \ \ \ \ \ 4\sqrt{3}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \boxed{0}\ \ \ \ \ \ \ \ \ \ \ \\
\underline{\downarrow \ -4\sqrt{3}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\\
4\ \ \ \ \ \ \ \ \ \boxed{0}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\end{array}\)
This gives us \(4 x^{4}-4 x^{3}-11 x^{2}+12 x-3=\left(x-\dfrac{1}{2}\right)^{2}(x-\sqrt{3})(x-(-\sqrt{3}))(4)\), or, when written with the constant in front
\(p(x)=4\left(x-\dfrac{1}{2}\right)^{2}(x-\sqrt{3})(x-(-\sqrt{3}))\)
We have shown that \(p\) is a product of its leading coefficient times linear factors of the form \((x − c)\) where \(c\) are zeros of \(p\). It may surprise and delight the reader that, in theory, all polynomials can be reduced to this kind of factorization. We leave that discussion to Section 3.4, because the zeros may not be real numbers.
Our final theorem in the section gives us an upper bound on the number of real zeros.
Theorem \(\PageIndex{4}\)
Suppose \(f\) is a polynomial of degree \(n \geq 1\). Then \(f\) has at most \(n\) real zeros, counting multiplicities.
Theorem \( \PageIndex{4} \) is a consequence of the Factor Theorem and polynomial multiplication. Every zero \(c\) of f gives us a factor of the form \((x − c)\) for \(f(x)\). Since \(f\) has degree \(n\), there can be at most \(n\) of these factors. The next section provides us some tools which not only help us determine where the real zeros are to be found, but which real numbers they may be.
We close this section with a summary of several concepts previously presented. You should take the time to look back through the text to see where each concept was first introduced and where each connection to the other concepts was made.
Theorem \(\PageIndex{5}\): Connections Between Zeros, Factors, and Graphs of Polynomials
Suppose \(p\) is a polynomial function of degree \(n \geq 1\). The following statements are equivalent:
- The real number \(c\) is a zero of \(p\)
- \(p(c) = 0\)
- \(x = c\) is a solution to the polynomial equation \(p(x) = 0\)
- \((x − c)\) is a factor of \(p(x)\)
- The point \((c, 0)\) is an \(x\)-intercept of the graph of \(y = p(x)\)