- Source: Synthetic division
- Source: Synthetic Division
In algebra, synthetic division is a method for manually performing Euclidean division of polynomials, with less writing and fewer calculations than long division.
It is mostly taught for division by linear monic polynomials (known as Ruffini's rule), but the method can be generalized to division by any polynomial.
The advantages of synthetic division are that it allows one to calculate without writing variables, it uses few calculations, and it takes significantly less space on paper than long division. Also, the subtractions in long division are converted to additions by switching the signs at the very beginning, helping to prevent sign errors.
Regular synthetic division
The first example is synthetic division with only a monic linear denominator
x
−
a
{\displaystyle x-a}
.
x
3
−
12
x
2
−
42
x
−
3
{\displaystyle {\frac {x^{3}-12x^{2}-42}{x-3}}}
The numerator can be written as
p
(
x
)
=
x
3
−
12
x
2
+
0
x
−
42
{\displaystyle p(x)=x^{3}-12x^{2}+0x-42}
.
The zero of the denominator
g
(
x
)
{\displaystyle g(x)}
is
3
{\displaystyle 3}
.
The coefficients of
p
(
x
)
{\displaystyle p(x)}
are arranged as follows, with the zero of
g
(
x
)
{\displaystyle g(x)}
on the left:
3
1
−
12
0
−
42
{\displaystyle {\begin{array}{cc}{\begin{array}{r}\\3\\\end{array}}&{\begin{array}{|rrrr}\ 1&-12&0&-42\\&&&\\\hline \end{array}}\end{array}}}
The first coefficient after the bar is "dropped" to the last row.
3
1
−
12
0
−
42
1
{\displaystyle {\begin{array}{cc}{\begin{array}{r}\\3\\\\\end{array}}&{\begin{array}{|rrrr}\color {blue}1&-12&0&-42\\&&&\\\hline \color {blue}1&&&\\\end{array}}\end{array}}}
The dropped number is multiplied by the number before the bar and placed in the next column.
3
1
−
12
0
−
42
3
1
{\displaystyle {\begin{array}{cc}{\begin{array}{r}\\\color {grey}3\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&\color {brown}3&&\\\hline \color {blue}1&&&\\\end{array}}\end{array}}}
An addition is performed in the next column.
3
1
−
12
0
−
42
3
1
−
9
{\displaystyle {\begin{array}{cc}{\begin{array}{c}\\3\\\\\end{array}}&{\begin{array}{|rrrr}1&\color {green}-12&0&-42\\&\color {green}3&&\\\hline 1&\color {green}-9&&\\\end{array}}\end{array}}}
The previous two steps are repeated, and the following is obtained:
3
1
−
12
0
−
42
3
−
27
−
81
1
−
9
−
27
−
123
{\displaystyle {\begin{array}{cc}{\begin{array}{c}\\3\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&3&-27&-81\\\hline 1&-9&-27&-123\end{array}}\end{array}}}
Here, the last term (-123) is the remainder while the rest correspond to the coefficients of the quotient.
The terms are written with increasing degree from right to left beginning with degree zero for the remainder and the result.
1
x
2
−
9
x
−
27
−
123
{\displaystyle {\begin{array}{rrr|r}1x^{2}&-9x&-27&-123\end{array}}}
Hence the quotient and remainder are:
q
(
x
)
=
x
2
−
9
x
−
27
{\displaystyle q(x)=x^{2}-9x-27}
r
(
x
)
=
−
123
{\displaystyle r(x)=-123}
= Evaluating polynomials by the remainder theorem
=The above form of synthetic division is useful in the context of the polynomial remainder theorem for evaluating univariate polynomials. To summarize, the value of
p
(
x
)
{\displaystyle p(x)}
at
a
{\displaystyle a}
is equal to the remainder of the division of
p
(
x
)
{\displaystyle p(x)}
by
x
−
a
.
{\displaystyle x-a.}
The advantage of calculating the value this way is that it requires just over half as many multiplication steps as naive evaluation. An alternative evaluation strategy is Horner's method.
Expanded synthetic division
This method generalizes to division by any monic polynomial with only a slight modification with changes in bold. Note that while it may not be displayed in the following example, the divisor must also be written with verbose coefficients. (Such as with
2
x
3
+
0
x
2
−
4
x
+
8
{\displaystyle 2x^{3}+0x^{2}-4x+8}
) Using the same steps as before, perform the following division:
x
3
−
12
x
2
−
42
x
2
+
x
−
3
{\displaystyle {\frac {x^{3}-12x^{2}-42}{x^{2}+x-3}}}
We concern ourselves only with the coefficients.
Write the coefficients of the polynomial to be divided at the top.
1
−
12
0
−
42
{\displaystyle {\begin{array}{|rrrr}\ 1&-12&0&-42\end{array}}}
Negate the coefficients of the divisor.
−
1
x
2
−
1
x
+
3
{\displaystyle {\begin{array}{rrr}-1x^{2}&-1x&+3\end{array}}}
Write in every coefficient but the first one on the left in an upward right diagonal (see next diagram).
3
−
1
1
−
12
0
−
42
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\end{array}}&{\begin{array}{|rrrr}\ 1&-12&0&-42\\&&&\\&&&\\\hline \end{array}}\end{array}}}
Note the change of sign from 1 to −1 and from −3 to 3. "Drop" the first coefficient after the bar to the last row.
3
−
1
1
−
12
0
−
42
1
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&&\\&&&\\\hline 1&&&\\\end{array}}\end{array}}}
Multiply the dropped number by the diagonal before the bar and place the resulting entries diagonally to the right from the dropped entry.
3
−
1
1
−
12
0
−
42
3
−
1
1
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&3&\\&-1&&\\\hline 1&&&\\\end{array}}\end{array}}}
Perform an addition in the next column.
3
−
1
1
−
12
0
−
42
3
−
1
1
−
13
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&3&\\&-1&&\\\hline 1&-13&&\\\end{array}}\end{array}}}
Repeat the previous two steps until you would go past the entries at the top with the next diagonal.
3
−
1
1
−
12
0
−
42
3
−
39
−
1
13
1
−
13
16
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&3&-39\\&-1&13&\\\hline 1&-13&16&\\\end{array}}\end{array}}}
Then simply add up any remaining columns.
3
−
1
1
−
12
0
−
42
3
−
39
−
1
13
1
−
13
16
−
81
{\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&3&-39\\&-1&13&\\\hline 1&-13&16&-81\\\end{array}}\end{array}}}
Count the terms to the left of the bar. Since there are two, the remainder has degree one and this is the two right-most terms under the bar. Mark the separation with a vertical bar.
1
−
13
16
−
81
{\displaystyle {\begin{array}{rr|rr}1&-13&16&-81\end{array}}}
The terms are written with increasing degree from right to left beginning with degree zero for both the remainder and the result.
1
x
−
13
16
x
−
81
{\displaystyle {\begin{array}{rr|rr}1x&-13&16x&-81\end{array}}}
The result of our division is:
x
3
−
12
x
2
−
42
x
2
+
x
−
3
=
x
−
13
+
16
x
−
81
x
2
+
x
−
3
{\displaystyle {\frac {x^{3}-12x^{2}-42}{x^{2}+x-3}}=x-13+{\frac {16x-81}{x^{2}+x-3}}}
= For non-monic divisors
=With a little prodding, the expanded technique may be generalised even further to work for any polynomial, not just monics. The usual way of doing this would be to divide the divisor
g
(
x
)
{\displaystyle g(x)}
with its leading coefficient (call it a):
h
(
x
)
=
g
(
x
)
a
{\displaystyle h(x)={\frac {g(x)}{a}}}
then using synthetic division with
h
(
x
)
{\displaystyle h(x)}
as the divisor, and then dividing the quotient by a to get the quotient of the original division (the remainder stays the same). But this often produces unsightly fractions which get removed later and is thus more prone to error. It is possible to do it without first reducing the coefficients of
g
(
x
)
{\displaystyle g(x)}
.
As can be observed by first performing long division with such a non-monic divisor, the coefficients of
f
(
x
)
{\displaystyle f(x)}
are divided by the leading coefficient of
g
(
x
)
{\displaystyle g(x)}
after "dropping", and before multiplying.
Let's illustrate by performing the following division:
6
x
3
+
5
x
2
−
7
3
x
2
−
2
x
−
1
{\displaystyle {\frac {6x^{3}+5x^{2}-7}{3x^{2}-2x-1}}}
A slightly modified table is used:
1
2
/
3
6
5
0
−
7
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&&\\&&&\\\hline &&&\\&&&\\\end{array}}\end{array}}}
Note the extra row at the bottom. This is used to write values found by dividing the "dropped" values by the leading coefficient of
g
(
x
)
{\displaystyle g(x)}
(in this case, indicated by the /3; note that, unlike the rest of the coefficients of
g
(
x
)
{\displaystyle g(x)}
, the sign of this number is not changed).
Next, the first coefficient of
f
(
x
)
{\displaystyle f(x)}
is dropped as usual:
1
2
/
3
6
5
0
−
7
6
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&&\\&&&\\\hline 6&&&\\&&&\\\end{array}}\end{array}}}
and then the dropped value is divided by 3 and placed in the row below:
1
2
/
3
6
5
0
−
7
6
2
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&&\\&&&\\\hline 6&&&\\2&&&\\\end{array}}\end{array}}}
Next, the new (divided) value is used to fill the top rows with multiples of 2 and 1, as in the expanded technique:
1
2
/
3
6
5
0
−
7
2
4
6
2
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&2&\\&4&&\\\hline 6&&&\\2&&&\\\end{array}}\end{array}}}
The 5 is dropped next, with the obligatory adding of the 4 below it, and the answer is divided again:
1
2
/
3
6
5
0
−
7
2
4
6
9
2
3
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&2&\\&4&&\\\hline 6&9&&\\2&3&&\\\end{array}}\end{array}}}
Then the 3 is used to fill the top rows:
1
2
/
3
6
5
0
−
7
2
3
4
6
6
9
2
3
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&2&3\\&4&6&\\\hline 6&9&&\\2&3&&\\\end{array}}\end{array}}}
At this point, if, after getting the third sum, we were to try and use it to fill the top rows, we would "fall off" the right side, thus the third sum is the first coefficient of the remainder, as in regular synthetic division. But the values of the remainder are not divided by the leading coefficient of the divisor:
1
2
/
3
6
5
0
−
7
2
3
4
6
6
9
8
−
4
2
3
{\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&2&3\\&4&6&\\\hline 6&9&8&-4\\2&3&&\\\end{array}}\end{array}}}
Now we can read off the coefficients of the answer. As in expanded synthetic division, the last two values (2 is the degree of the divisor) are the coefficients of the remainder, and the remaining values are the coefficients of the quotient:
2
x
+
3
8
x
−
4
{\displaystyle {\begin{array}{rr|rr}2x&+3&8x&-4\end{array}}}
and the result is
6
x
3
+
5
x
2
−
7
3
x
2
−
2
x
−
1
=
2
x
+
3
+
8
x
−
4
3
x
2
−
2
x
−
1
{\displaystyle {\frac {6x^{3}+5x^{2}-7}{3x^{2}-2x-1}}=2x+3+{\frac {8x-4}{3x^{2}-2x-1}}}
= Compact Expanded Synthetic Division
=However, the diagonal format above becomes less space-efficient when the degree of the divisor exceeds half of the degree of the dividend. Consider the following division:
a
7
x
7
+
a
6
x
6
+
a
5
x
5
+
a
4
x
4
+
a
3
x
3
+
a
2
x
2
+
a
1
x
+
a
0
b
4
x
4
−
b
3
x
3
−
b
2
x
2
−
b
1
x
−
b
0
{\displaystyle {\dfrac {a_{7}x^{7}+a_{6}x^{6}+a_{5}x^{5}+a_{4}x^{4}+a_{3}x^{3}+a_{2}x^{2}+a_{1}x+a_{0}}{b_{4}x^{4}-b_{3}x^{3}-b_{2}x^{2}-b_{1}x-b_{0}}}}
It is easy to see that we have complete freedom to write each product in any row as long as it is in the correct column, so the algorithm can be compactified by a greedy strategy, as illustrated in the division below:
b
3
b
2
b
1
b
0
/
b
4
q
0
b
3
q
1
b
3
q
1
b
2
q
0
b
2
q
2
b
3
q
2
b
2
q
2
b
1
q
1
b
1
q
0
b
1
q
3
b
3
q
3
b
2
q
3
b
1
q
3
b
0
q
2
b
0
q
1
b
0
q
0
b
0
a
7
a
6
a
5
a
4
a
3
a
2
a
1
a
0
a
7
q
2
′
q
1
′
q
0
′
r
3
r
2
r
1
r
0
q
3
q
2
q
1
q
0
{\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\\\\\b_{3}&b_{2}&b_{1}&b_{0}\\\\&&&&/b_{4}\\\end{array}}{\begin{array}{|rrrr|rrrr}&&&&q_{0}b_{3}&&&\\&&&q_{1}b_{3}&q_{1}b_{2}&q_{0}b_{2}&&\\&&q_{2}b_{3}&q_{2}b_{2}&q_{2}b_{1}&q_{1}b_{1}&q_{0}b_{1}&\\&q_{3}b_{3}&q_{3}b_{2}&q_{3}b_{1}&q_{3}b_{0}&q_{2}b_{0}&q_{1}b_{0}&q_{0}b_{0}\\a_{7}&a_{6}&a_{5}&a_{4}&a_{3}&a_{2}&a_{1}&a_{0}\\\hline a_{7}&q_{2}'&q_{1}'&q_{0}'&r_{3}&r_{2}&r_{1}&r_{0}\\q_{3}&q_{2}&q_{1}&q_{0}&&&&\\\end{array}}\end{array}}}
The following describes how to perform the algorithm; this algorithm includes steps for dividing non-monic divisors:
= Python implementation
=The following snippet implements Expanded Synthetic Division in Python for arbitrary univariate polynomials:
See also
Euclidean domain
Greatest common divisor of two polynomials
Gröbner basis
Horner scheme
Polynomial remainder theorem
Ruffini's rule
References
Fan, Lianghuo (June 2003). "A Generalization of Synthetic Division and A General Theorem of Division of Polynomials" (PDF). Mathematical Medley. 30 (1): 30–37. Archived (PDF) from the original on September 7, 2015.
Li, Zhou (January 2009). "Short Division of Polynomials" (PDF). College Mathematics Journal. 40 (1): 44–46. JSTOR 27646720. Archived (PDF) from the original on July 9, 2020.
External links
Goodman, Len; Stover, Christopher & Weisstein, Eric W. "Synthetic Division". MathWorld.
Stover, Christopher. "Ruffini's Rule". MathWorld.
Synthetic Division is the debut album by Crossbreed. The album had three singles: "Underlined", "Seasons", and "Breathe".
Production
The band recorded the album in New York, after Kittie passed along Crossbreed's demo tape to Artemis Records.
Critical reception
The Washington Post called the album a "no-nonsense debut", writing that "it will get the system pulsing".
Track listing
Notes
"Pure Energy" was written on Christmas Day 2000 when the band was in New York City recording the album and they were unable to spend the day with family.
"Seasons," "Regretful Times," and "Lost Soul" are reworked versions of songs that previously appeared on the band's self-released album .01.
One track cut from the album was a 7 and a half minute instrumental called "Synthetic Division."
References
Kata Kunci Pencarian:
- Crossbreed
- Josaphat Tetuko Sri Sumantyo
- Universal Avionics
- Estrogen
- Sejarah Bumi
- Logam berat
- P21
- Senyawa ionik
- Pencitraan radar
- Sosialisme
- Synthetic division
- Synthetic Division
- Polynomial long division
- Division (mathematics)
- Polynomial
- Remainder
- Polynomial remainder theorem
- Synthetic biology
- Long division
- Horner's method
