Skip to main content
Mathematics LibreTexts

8.3: Optional section- Synthetic division

  • Page ID
    48998
  • \( \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}\)

    When dividing a polynomial \(f(x)\) by \(g(x)=x-c\), the actual calculation of the long division has a lot of unnecessary repetitions, and we may want to reduce this redundancy as much as possible. In fact, we can extract the essential part of the long division, the result of which is called synthetic division.

    Example \(\PageIndex{1}\)

    Our first example is the long division of \(\dfrac{5x^3+7x^2+x+4}{x+2}\).

    Solution

    clipboard_e0429e2e38938c4948dc456cb9813bfd6.png

    Here, the first term \(5x^2\) of the quotient is just copied from the first term of the dividend. We record this together with the coefficients of the dividend \(5x^3+7x^2+x+4\) and of the divisor \(x+2=x-(-2)\) as follows:

    \[\begin{array}{c|cccc} & 5 & 7 & 1 & 4 \qquad \text{ (dividend)}(5 x^{3}+7 x^{2}+x+4)\\
    -2 &&&& \text{ (divisor)}(x-(-2))\\
    \hline\\
    & 5 &&& \text{ (quotient)}\\
    \end{array} \nonumber \]

    The first actual calculation is performed when multiplying the \(5x^2\) term with \(2\), and subtracting it from \(7x^2\). We record this as follows.

    clipboard_e12d78d348a9a2200177b7d7762e872ee.png

    Similarly, we obtain the next step by multiplying the \(2x\) by \((-3)\) and subtracting it from \(1x\). Therefore, we get:

    clipboard_eab5c90d60c6540c61329459e499468af.png

    The last step multiplies \(7\) times \(2\) and subtracts this from \(4\). In short, we write:

    clipboard_ee43fd018237b1db279ed1fa299792eed.png

    The answer can be determined from these coefficients. The quotient is \(5x^2-3x+7\), and the remainder is \(-10\).

    Example \(\PageIndex{2}\)

    Find the following quotients via synthetic division.

    1. \(\dfrac{4x^3-7x^2+4x-8}{x-4}\)
    2. \(\dfrac{x^4-x^2+5}{x+3}\)

    Solution

    1. We need to perform the synthetic division. \[\begin{array}{c|cccc} & 4 & -7 & 4 & -8 \\
      4 && 16 & 36 & 160 \\
      \hline\\
      & 4 & 9 & 40 & 152\\
      \end{array} \nonumber \]

      Therefore we have

      \[\dfrac{4x^3-7x^2+4x-8}{x-4}=4x^2+9x+40+\dfrac{152}{x-4} \nonumber \]

    2. Similarly, we calculate part (b). Note that some of the coefficients are now zero. \[\begin{array}{c|ccccc} & 1 & \quad 0 & -1 & \quad 0 & 5 \\
      -3 && -3 & \quad 9 & -24 & 72 \\
      \hline\\
      & 1 & -3 & 8 & -24 & 77\\
      \end{array} \nonumber \]

      We obtain the following result:

      \[\dfrac{x^4-x^2+5}{x+3}=x^3-3x^2+8x-24+\dfrac{77}{x+5} \nonumber \]

    Note

    Synthetic division only works when dividing by a polynomial of the form \(x-c\). Do not attempt to use this method to divide by other forms like \(x^2+2\).


    This page titled 8.3: Optional section- Synthetic division is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Thomas Tradler and Holly Carley (New York City College of Technology at CUNY Academic Works) via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?