3.2: The Factor Theorem and the Remainder Theorem
 Page ID
 80772
\( \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}\)Suppose we wish to find the zeros of \(\ f(x)=x^{3}+4 x^{2}5 x14\). Setting \(\ f(x) = 0\) results in the polynomial equation \(\ x^{3}+4 x^{2}5 x14=0\). Despite all of the factoring techniques we learned^{1} in Intermediate Algebra, this equation foils^{2} us at every turn. If we graph \(f\) using the graphing calculator, we get
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 use the ‘Zero’ command to find decimal approximations for these, we seek a method to find the remaining zeros exactly. Based on our experience, 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)\). In other words, we should expect that \(\ x^{3}+4 x^{2}5 x14=(x2) 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 x14\) by \(\ x − 2\) gives
\(\ \begin{array}{r}
x^{2}+6 x+\ \ \ 7 \\
x  2 \longdiv { x ^ { 3 } + 4 x ^ { 2 }  5 x  1 4 } \\
\underline{(x^32x^2)}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\
6x^25x\ \ \ \ \ \ \ \ \ \ \\
\underline{(6x^212x)}\ \ \ \ \ \ \ \ \\
7x14\ \\
\underline{(7x14)}\\
0
\end{array}\)
As you may recall, this means \(\ x^{3}+4 x^{2}5 x14=(x2)\left(x^{2}+6 x+7\right)\), so to find the zeros of \(\ f\), we now solve \(\ (x2)\left(x^{2}+6 x+7\right)=0\). 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.
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\).
As you may recall, all of the polynomials in Theorem 3.4 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 3.4 is usually relegated to a course in Abstract Algebra,^{3} but we can still use the result to establish two important facts which are the basis of the rest of the chapter.
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)\).
The proof of Theorem 3.5 is a direct consequence of Theorem 3.4. 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 · q(c) + r = r\), so we get \(r = p(c)\) as required. There is one last ‘low hanging fruit’^{4} to collect which we present below.
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)\).
The proof of The Factor Theorem is a consequence of what we already know. 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.
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 −1s.
\(\ \begin{array}{r}
x^{2}+6 x+7\ \ \ \\
x2\longdiv{x^3+4x^25x14}\\
\underline{x^3+2x^2}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\
6x^25x\ \ \ \ \ \ \ \ \ \ \\
\underline{6x^2+12x}\ \ \ \ \ \ \ \ \\
7x14\\
\underline{7x+14}\\
0
\end{array}\)
Next, observe that the terms \(\ x^{3}\), \(\ 6 x^{2}\) and \(\ −7x\) are the exact opposite of the terms above them. 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.
\(\ \begin{array}{r}
x^{2}+6 x+7 \ \ \ \\
x2 \longdiv{x^3+4x^25x14}\\
\underline{\ \ \ \ \ \ \ \ \ \ 2x^2}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\
6x^2\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\
\underline{\ \ \ \ \ \ \ \ \ 12x}\ \ \ \ \ \ \ \ \\
7x\ \ \ \ \ \ \ \ \\
\underline{\ \ \ \ \ \ \ \ \ 14}\\
0
\end{array}\)
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.
\(\ \begin{array}{r}
x^2+6x+7\\
x2\longdiv{x^3+4x^25x14}\\
\underline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 2x^2\ \ \ 12x\ \ \ \ \ 14}\\
x^3\ \ \ \ \ \ 6x^2 \ \ \ \ \ 7x \ \ \ \ \ \ \ 0
\end{array}\)
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}
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}\)
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}
2\mid1&4&5&14\\
&2&12&14\\
\hline
1&6&7&0
\end{array}\)
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 x14\) by \(x − 2\), we write 2 in the place of the divisor and the coefficients of \(x^{3}+4 x^{2}5 x14\) in for the dividend. Then ‘bring down’ the first coefficient of the dividend.
\(\ \begin{array}{rrrrr}
2\mid\underline{\ 1\ \ 4\ \ 5\ \ 14 }\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad
2\mid\ \ 1\ \ 4\ \ 5\ \ 14 \\
\downarrow\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \\
\overline{1\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }
\end{array}\)
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}{rl}
2\mid\ &1 \ \ 4 \ \ 5\ \ 14 \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad
2\mid\ &1\ \ 4\ \ 5\ \ 14\\
&\downarrow &\downarrow\\
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\\
&1 &1\ \ 6
\end{array}\)
Now take the 2 from the divisor times the 6 to get 12, and add it to the −5 to get 7.
\(\ \begin{array}{rl}
2\mid\ &1 \ \ 4 \ \ 5\ \ 14 \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad
2\mid\ &1\ \ 4\ \ 5\ \ 14\\
&\downarrow \ 2\ \ \ \ \ 12 &\downarrow \ 2\ \ \ \ \ 12\\
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\\
&1\ \ 6 &1\ \ 6\ \ \ \ \ \ \ 7
\end{array}\)
Finally, take the 2 in the divisor times the 7 to get 14, and add it to the −14 to get 0.
\(\begin{array}{rl}
2\mid\ &1 \ \ 4 \ \ 5\ \ 14 \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad
2\mid\ &1\ \ 4\ \ 5\ \ 14\\
&\downarrow \ 2\ \ \ \ \ 12 \ \ \ \ \ \ \ 14&\downarrow \ 2\ \ \ \ \ 12\ \ \ \ \ \ \ 14\\
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }
&\overline{\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }\\
&1\ \ 6\ \ \ \ \ \ \ 7 &1\ \ 6\ \ \ \ \ \ \ 7 \ \ \ \ \ \ \ \boxed{0}
\end{array}\)
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.^{5} 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.
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 3.4.
 \(\left(5 x^{3}2 x^{2}+1\right) \div(x3)\)
 \(\left(x^{3}+8\right) \div(x+2)\)
 \(\frac{48 x12 x^{2}}{2 x3}\)
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}{l}
3\mid 5\ \ \ 2\ \ \ \ 0\ \ \ \ \ \ \ \ \ 1\\
\ \ \ \ \downarrow \ \ \ \ \ 15 \ \ \ \ 39\ \ \ 117\\
\overline{\ \ \ \ \ 5\ \ \ \ \ \ \ 13\ \ \ \ 39\ \ \boxed{118}}
\end{array}\)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 3.4, we have \(5 x^{3}2 x^{2}+1=(x3)\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}{l}
2\mid 1\ \ \ \ \ \ \ 0\ \ \ \ \ \ 0\ \ \ \ \ \ \ \ 8\\
\ \ \ \ \ \ \ \downarrow \ \ 2\ \ \ \ \ 4\ \ \ \ 8\\
\overline{\ \ \ \ \ \ \ \ 1\ \ \ 2\ \ \ \ \ 4\ \ \ \ \ \ \ \boxed{0}}
\end{array}\)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 \(\ 48 x12 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\frac{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\frac{3}{2}\right)\). The tableau becomes
\(\begin{array}{l}
\frac{3}{2}\mid 6\ \ \ \ \ \ \ 4\ \ \ \ \ \ \ \ \ \ \ 2\\
\ \ \ \ \ \ \ \ \downarrow \ \ \ \ \ \ \ 9\ \ \ \ \ \frac{39}{2}\\
\overline{\ \ \ \ \ 6\ \ \ \ \ \ \ 13\ \ \ \ \ \boxed{\frac{35}{2}}}
\end{array}\)From this, we get \(6 x^{2}4 x+2=\left(x\frac{3}{2}\right)(6 x13)\frac{35}{2}\). Multiplying both sides by 2 and distributing gives \(12 x^{2}8 x+4=(2 x3)(6 x13)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 3.4. 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.
The next example pulls together all of the concepts discussed in this section.
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}{l}
2\mid \ 2\ \ \ \ \ \ \ \ 0\ \ \ \ \ 5\ \ \ \ \ \ \ \ \ 3\\
\ \ \ \ \ \ \ \ \downarrow \ \ 4\ \ \ \ \ \ \ \ \ \ 8\ \ \ \ 6\\
\overline{\ \ \ \ \ \ \ \ \ 2\ \ \ 4\ \ \ \ \ \ \ \ \ \ 3\ \ \ \ \ \boxed{3}}
\end{array}\)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}{l}
1\mid \ 2\ \ \ \ \ \ 0\ \ \ \ \ 5\ \ \ \ \ \ \ \ \ 3\\
\ \ \ \ \ \downarrow \ \ \ \ \ 2\ \ \ \ \ \ \ \ \ \ 2\ \ \ \ 3\\
\overline{ \ \ \ \ \ \ 2\ \ \ \ \ \ 2 \ \ \ \ \ 3\ \ \ \ \ \ \ \ \boxed{0}}
\end{array}\)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 x3\). Theorem 3.4 tells us \(p(x)=(x1)\left(2 x^{2}+2 x3\right)\). To find the remaining real zeros of \(p\), we need to solve \(2 x^{2}+2 x3=0\) for \(x\). Since this doesn’t factor nicely, we use the quadratic formula to find that the remaining zeros a \(x=\frac{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.
Let \(p(x)=4 x^{4}4 x^{3}11 x^{2}+12 x3\). Given that \(x=\frac{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 \(\frac{1}{2}\) is two, we continue our tableau and divide \(\frac{1}{2}\) into the quotient polynomial
\(\ \begin{array}{r}
\frac{1}{2} \mid 4\ \ \ \ 4\ \ \ \ \ 11\ \ \ \ \ \ \ 12\ \ \ \ \ 3\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ 1\ \ \ \ 6\ \ \ \ \ \ \ \ \ \ 3}\\
\frac{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 x3=\left(x\frac{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\frac{1}{2}\right)\left(4 x^{2}12\right)\). Combining these results, we \(4 x^{4}4 x^{3}11 x^{2}+12 x3=\left(x\frac{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 quadratic, whose 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}
\frac{1}{2} \mid 4\ \ \ \ 4\ \ \ \ \ 11\ \ \ \ \ \ \ 12\ \ \ \ \ 3\\
\underline{\downarrow \ \ \ \ \ \ \ \ 2\ \ \ \ \ \ \ 1\ \ \ \ 6\ \ \ \ \ \ \ \ \ \ 3}\\
\frac{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 x3=\left(x\frac{1}{2}\right)^{2}(x\sqrt{3})(x(\sqrt{3}))(4)\), or, when written with the constant in front
\(\ p(x)=4\left(x\frac{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.
Suppose \(f\) is a polynomial of degree \(n \geq 1\). Then \(f\) has at most \(n\) real zeros, counting multiplicities.
Theorem 3.7 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.
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)\)
3.2.1 Exercises
In Exercises 1  6, use polynomial long division to perform the indicated division. Write the polynomial in the form \(p(x) = d(x)q(x) + r(x)\).
 \(\left(4 x^{2}+3 x1\right) \div(x3)\)
 \(\left(2 x^{3}x+1\right) \div\left(x^{2}+x+1\right)\)
 \(\left(5 x^{4}3 x^{3}+2 x^{2}1\right) \div\left(x^{2}+4\right)\)
 \(\left(x^{5}+7 x^{3}x\right) \div\left(x^{3}x^{2}+1\right)\)
 \(\left(9 x^{3}+5\right) \div(2 x3)\)
 \(\left(4 x^{2}x23\right) \div\left(x^{2}1\right)\)
In Exercises 7  20 use synthetic division to perform the indicated division. Write the polynomial in the form \(p(x) = d(x)q(x)+r(x)\).
 \(\left(3 x^{2}2 x+1\right) \div(x1)\)
 \(\left(x^{2}5\right) \div(x5)\)
 \(\left(34 x2 x^{2}\right) \div(x+1)\)
 \(\left(4 x^{2}5 x+3\right) \div(x+3)\)
 \(\left(x^{3}+8\right) \div(x+2)\)
 \(\left(4 x^{3}+2 x3\right) \div(x3)\)
 \(\left(18 x^{2}15 x25\right) \div\left(x\frac{5}{3}\right)\)
 \(\left(4 x^{2}1\right) \div\left(x\frac{1}{2}\right)\)
 \(\left(2 x^{3}+x^{2}+2 x+1\right) \div\left(x+\frac{1}{2}\right)\)
 \(\left(3 x^{3}x+4\right) \div\left(x\frac{2}{3}\right)\)
 \(\left(2 x^{3}3 x+1\right) \div\left(x\frac{1}{2}\right)\)
 \(\left(4 x^{4}12 x^{3}+13 x^{2}12 x+9\right) \div\left(x\frac{3}{2}\right)\)
 \(\left(x^{4}6 x^{2}+9\right) \div(x\sqrt{3})\)
 \(\left(x^{6}6 x^{4}+12 x^{2}8\right) \div(x+\sqrt{2})\)
In Exercises 21  30, determine \(p(c)\) using the Remainder Theorem for the given polynomial functions and value of \(c\). If \(p(c)=0\), factor \(p(x)=(xc) q(x)\).
 \(p(x)=2 x^{2}x+1, c=4\)
 \(p(x)=4 x^{2}33 x180, c=12\)
 \(p(x)=2 x^{3}x+6, c=3\)
 \(p(x)=x^{3}+2 x^{2}+3 x+4, c=1\)
 \(p(x)=3 x^{3}6 x^{2}+4 x8, c=2\)
 \(p(x)=8 x^{3}+12 x^{2}+6 x+1, c=\frac{1}{2}\)
 \(p(x)=x^{4}2 x^{2}+4, c=\frac{3}{2}\)
 \(p(x)=6 x^{4}x^{2}+2, c=\frac{2}{3}\)
 \(p(x)=x^{4}+x^{3}6 x^{2}7 x7, c=\sqrt{7}\)
 \(p(x)=x^{2}4 x+1, c=2\sqrt{3}\)
In Exercises 31  40, you are given a polynomial and one of its zeros. Use the techniques in this section to find the rest of the real zeros and factor the polynomial.
 \(x^{3}6 x^{2}+11 x6, \quad c=1\)
 \(x^{3}24 x^{2}+192 x512, \quad c=8\)
 \(3 x^{3}+4 x^{2}x2, \quad c=\frac{2}{3}\)
 \(2 x^{3}3 x^{2}11 x+6, \quad c=\frac{1}{2}\)
 \(x^{3}+2 x^{2}3 x6, \quad c=2\)
 \(2 x^{3}x^{2}10 x+5, \quad c=\frac{1}{2}\)
 \(4 x^{4}28 x^{3}+61 x^{2}42 x+9, c=\frac{1}{2} \text { is a zero of multiplicity } 2\)
 \(x^{5}+2 x^{4}12 x^{3}38 x^{2}37 x12, c=1 \text { is a zero of multiplicity } 3\)
 \(125 x^{5}275 x^{4}2265 x^{3}3213 x^{2}1728 x324, c=\frac{3}{5} \text { is a zero of multiplicity } 3\)
 \(x^{2}2 x2, \quad c=1\sqrt{3}\)
In Exercises 41  45, create a polynomial \(p\) which has the desired characteristics. You may leave the polynomial in factored form.

 The zeros of \(p\) are \(c=\pm 2\) and \(c=\pm 1\)
 The leading term of \(p(x)\) is \(117 x^{4}\).

 The zeros of \(p\) are \(c = 1\) and \(c = 3\)
 \(c = 3\) is a zero of multiplicity 2.
 The leading term of \(p(x)\) is \(5 x^{3}\)

 The solutions to \(p(x) = 0\) are \(x=\pm 3\) and \(x = 6\)
 The leading term of \(p(x)\) is \(7 x^{4}\)
 The point (−3, 0) is a local minimum on the graph of \(y = p(x)\).

 The solutions to \(p(x) = 0\) are \(x=\pm 3\), \(x = −2\), and \(x = 4\).
 The leading term of \(p(x)\) is \(x^{5}\).
 The point (−2, 0) is a local maximum on the graph of \(y = p(x)\).

 \(p\) is degree 4.
 as \(x \rightarrow \infty\), \(p(x) \rightarrow\infty\)
 \(p\) has exactly three \(x\)intercepts: (−6, 0), (1, 0) and (117, 0)
 The graph of \(y = p(x)\) crosses through the xaxis at (1, 0).
 Find a quadratic polynomial with integer coefficients which has \(x=\frac{3}{5} \pm \frac{\sqrt{29}}{5}\) as its real zeros.
3.2.2 Answers
 \(4 x^{2}+3 x1=(x3)(4 x+15)+44\)
 \(2 x^{3}x+1=\left(x^{2}+x+1\right)(2 x2)+(x+3)\)
 \(5 x^{4}3 x^{3}+2 x^{2}1=\left(x^{2}+4\right)\left(5 x^{2}3 x18\right)+(12 x+71)\)
 \(x^{5}+7 x^{3}x=\left(x^{3}x^{2}+1\right)\left(x^{2}x+6\right)+\left(7 x^{2}6\right)\)
 \(9 x^{3}+5=(2 x3)\left(\frac{9}{2} x^{2}+\frac{27}{4} x+\frac{81}{8}\right)+\frac{283}{8}\)
 \(4 x^{2}x23=\left(x^{2}1\right)(4)+(x19)\)
 \(\left(3 x^{2}2 x+1\right)=(x1)(3 x+1)+2\)
 \(\left(x^{2}5\right)=(x5)(x+5)+20\)
 \(\left(34 x2 x^{2}\right)=(x+1)(2 x2)+5\)
 \(\left(4 x^{2}5 x+3\right)=(x+3)(4 x17)+54\)
 \(\left(x^{3}+8\right)=(x+2)\left(x^{2}2 x+4\right)+0\)
 \(\left(4 x^{3}+2 x3\right)=(x3)\left(4 x^{2}+12 x+38\right)+111\)
 \(\left(18 x^{2}15 x25\right)=\left(x\frac{5}{3}\right)(18 x+15)+0\)
 \(\left(4 x^{2}1\right)=\left(x\frac{1}{2}\right)(4 x+2)+0\)
 \(\left(2 x^{3}+x^{2}+2 x+1\right)=\left(x+\frac{1}{2}\right)\left(2 x^{2}+2\right)+0\)
 \(\left(3 x^{3}x+4\right)=\left(x\frac{2}{3}\right)\left(3 x^{2}+2 x+\frac{1}{3}\right)+\frac{38}{9}\)
 \(\left(2 x^{3}3 x+1\right)=\left(x\frac{1}{2}\right)\left(2 x^{2}+x\frac{5}{2}\right)\frac{1}{4}\)
 \(\left(4 x^{4}12 x^{3}+13 x^{2}12 x+9\right)=\left(x\frac{3}{2}\right)\left(4 x^{3}6 x^{2}+4 x6\right)+0\)
 \(\left(x^{4}6 x^{2}+9\right)=(x\sqrt{3})\left(x^{3}+\sqrt{3} x^{2}3 x3 \sqrt{3}\right)+0\)
 \(\left(x^{6}6 x^{4}+12 x^{2}8\right)=(x+\sqrt{2})\left(x^{5}\sqrt{2} x^{4}4 x^{3}+4 \sqrt{2} x^{2}+4 x4 \sqrt{2}\right)+0\)
 \(p(4)=29\)
 \(p(12)=0, p(x)=(x12)(4 x+15)\)
 \(p(3)=45\)
 \(p(1)=2\)
 \(p(2)=0, p(x)=(x2)\left(3 x^{2}+4\right)\)
 \(p\left(\frac{1}{2}\right)=0, p(x)=\left(x+\frac{1}{2}\right)\left(8 x^{2}+8 x+2\right)\)
 \(p\left(\frac{3}{2}\right)=\frac{73}{16}\)
 \(p\left(\frac{2}{3}\right)=\frac{74}{27}\)
 \(p(\sqrt{7})=0, p(x)=(x+\sqrt{7})\left(x^{3}+(1\sqrt{7}) x^{2}+(1\sqrt{7}) x\sqrt{7}\right)\)
 \(p(2\sqrt{3})=0, p(x)=(x(2\sqrt{3}))(x(2+\sqrt{3}))\)
 \(x^{3}6 x^{2}+11 x6=(x1)(x2)(x3)\)
 \(x^{3}24 x^{2}+192 x512=(x8)^{3}\)
 \(3 x^{3}+4 x^{2}x2=3\left(x\frac{2}{3}\right)(x+1)^{2}\)
 \(2 x^{3}3 x^{2}11 x+6=2\left(x\frac{1}{2}\right)(x+2)(x3)\)
 \(x^{3}+2 x^{2}3 x6=(x+2)(x+\sqrt{3})(x\sqrt{3})\)
 \(2 x^{3}x^{2}10 x+5=2\left(x\frac{1}{2}\right)(x+\sqrt{5})(x\sqrt{5})\)
 \(4 x^{4}28 x^{3}+61 x^{2}42 x+9=4\left(x\frac{1}{2}\right)^{2}(x3)^{2}\)
 \(x^{5}+2 x^{4}12 x^{3}38 x^{2}37 x12=(x+1)^{3}(x+3)(x4)\)
 \(125 x^{5}275 x^{4}2265 x^{3}3213 x^{2}1728 x324=125\left(x+\frac{3}{5}\right)^{3}(x+2)(x6)\)
 \(x^{2}2 x2=(x(1\sqrt{3}))(x(1+\sqrt{3}))\)
 \(p(x)=117(x+2)(x2)(x+1)(x1)\)
 \(p(x)=5(x1)(x3)^{2}\)
 \(p(x)=7(x+3)^{2}(x3)(x6)\)
 \(p(x)=(x+2)^{2}(x3)(x+3)(x4)\)
 \(p(x)=a(x+6)^{2}(x1)(x117) \text { or } p(x)=a(x+6)(x1)(x117)^{2} \text { where } a \text { can be any negative real number}\)
 \(p(x)=5 x^{2}6 x4\)
Reference
^{1} and probably forgot
^{2} pun intended
^{3} Yes, Virginia, there are Algebra courses more abstract than this one.
^{4} Jeff hates this expression and Carl included it just to annoy him.
^{5} You’ll need to use good oldfashioned polynomial long division for divisors of degree larger than 1.