In
algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary a ...
, synthetic division is a method for manually performing
Euclidean division of polynomials
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common di ...
, with less writing and fewer calculations than
long division
In arithmetic, long division is a standard division algorithm suitable for dividing multi-digit Hindu-Arabic numerals (Positional notation) that is simple enough to perform by hand. It breaks down a division problem into a series of easier steps ...
.
It is mostly taught for division by
linear
Linearity is the property of a mathematical relationship (''function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear r ...
monic polynomials (known as the
Ruffini's rule
In mathematics, Ruffini's rule is a method for computation of the Euclidean division of a polynomial by a Binomial (polynomial), binomial of the form ''x – r''. It was described by Paolo Ruffini (mathematician), Paolo Ruffini in 1804. The rule i ...
), but the method can be generalized to division by any
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
.
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
.
:
The
numerator
A fraction (from la, fractus, "broken") represents a part of a whole or, more generally, any number of equal parts. When spoken in everyday English, a fraction describes how many parts of a certain size there are, for example, one-half, eight ...
can be written as
.
The zero of the denominator
is
.
The coefficients of
are arranged as follows, with the zero of
on the left:
:
The after the bar is "dropped" to the last row.
:
The is multiplied by the before the bar, and placed in the .
:
An is performed in the next column.
:
The previous two steps are repeated and the following is obtained:
:
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.
:
Hence the quotient and remainder are:
:
:
Evaluating polynomials by the remainder theorem
The above form of synthetic division is useful in the context of the
polynomial remainder theorem
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exam ...
for evaluating
univariate
In mathematics, a univariate object is an expression, equation, function or polynomial involving only one variable. Objects involving more than one variable are multivariate. In some cases the distinction between the univariate and multivariate cas ...
polynomials. To summarize, the value of
at
is equal to the
remainder
In mathematics, the remainder is the amount "left over" after performing some computation. In arithmetic, the remainder is the integer "left over" after dividing one integer by another to produce an integer quotient (integer division). In algebr ...
of the division of
by
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
In mathematics and computer science, Horner's method (or Horner's scheme) is an algorithm for polynomial evaluation. Although named after William George Horner, this method is much older, as it has been attributed to Joseph-Louis Lagrange by Hor ...
.
Expanded synthetic division
This method generalizes to division by any
monic polynomial
In algebra, a monic polynomial is a single-variable polynomial (that is, a univariate polynomial) in which the leading coefficient (the nonzero coefficient of highest degree) is equal to 1. Therefore, a monic polynomial has the form:
:x^n+c_x^+\cd ...
with only a slight modification with changes in bold. Using the same steps as before, perform the following division:
:
We concern ourselves only with the coefficients.
Write the coefficients of the polynomial to be divided at the top.
:
Negate the coefficients of the divisor.
:
Write in every coefficient but the first one on the left in an upward right diagonal (see next diagram).
:
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.
:
Multiply the dropped number by the diagonal before the bar, and place the resulting entries diagonally to the right from the dropped entry.
:
Perform an addition in the next column.
:
Repeat the previous two steps until you would go past the entries at the top with the next diagonal.
:
Then simply add up any remaining columns.
:
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.
:
The terms are written with increasing degree from right to left beginning with degree zero for both the remainder and the result.
:
The result of our division is:
:
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
with its leading coefficient (call it ''a''):
:
then using synthetic division with
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
.
As can be observed by first performing long division with such a non-monic divisor, the coefficients of
are divided by the leading coefficient of
after "dropping", and before multiplying.
Let's illustrate by performing the following division:
:
A slightly modified table is used:
:
Note the extra row at the bottom. This is used to write values found by dividing the "dropped" values by the leading coefficient of
(in this case, indicated by the ''/3''; note that, unlike the rest of the coefficients of
, the sign of this number is not changed).
Next, the first coefficient of
is dropped as usual:
:
and then the dropped value is divided by 3 and placed in the row below:
:
Next, the new (divided) value is used to fill the top rows with multiples of 2 and 1, as in the expanded technique:
:
The 5 is dropped next, with the obligatory adding of the 4 below it, and the answer is divided again:
:
Then the 3 is used to fill the top rows:
:
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:
:
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:
:
and the result is
:
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:
:
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:
:
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
Python may refer to:
Snakes
* Pythonidae, a family of nonvenomous snakes found in Africa, Asia, and Australia
** ''Python'' (genus), a genus of Pythonidae found in Africa and Asia
* Python (mythology), a mythical serpent
Computing
* Python (pro ...
for arbitrary univariate polynomials:
def expanded_synthetic_division(dividend, divisor):
"""Fast polynomial division by using Expanded Synthetic Division.
Also works with non-monic polynomials.
Dividend and divisor are both polynomials, which are here simply lists of coefficients.
E.g.: x**2 + 3*x + 5 will be represented as , 3, 5
The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
"""
out = list(dividend) # Copy the dividend
normalizer = divisor for i in range(len(dividend) - len(divisor) + 1):
# For general polynomial division (when polynomials are non-monic),
# we need to normalize by dividing the coefficient with the divisor's first coefficient
out /= normalizer
coef = out if coef != 0: # Useless to multiply if coef is 0
# In synthetic division, we always skip the first coefficient of the divisor,
# because it is only used to normalize the dividend coefficients
for j in range(1, len(divisor)):
out + j+= -divisor * coef
# The resulting out contains both the quotient and the remainder,
# the remainder being the size of the divisor (the remainder
# has necessarily the same degree as the divisor since it is
# what we couldn't divide from the dividend), so we compute the index
# where this separation is, and return the quotient and remainder.
separator = 1 - len(divisor)
return out separator out eparator: # Return quotient, remainder.
See also
*
Euclidean domain
In mathematics, more specifically in ring theory, a Euclidean domain (also called a Euclidean ring) is an integral domain that can be endowed with a Euclidean function which allows a suitable generalization of the Euclidean division of integers. ...
*
Greatest common divisor of two polynomials
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common di ...
*
Gröbner basis
In mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an ideal in a polynomial ring over a field . A Gröbn ...
*
Horner scheme
In mathematics and computer science, Horner's method (or Horner's scheme) is an algorithm for polynomial evaluation. Although named after William George Horner, this method is much older, as it has been attributed to Joseph-Louis Lagrange by Hor ...
*
Polynomial remainder theorem
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exam ...
*
Ruffini's rule
In mathematics, Ruffini's rule is a method for computation of the Euclidean division of a polynomial by a Binomial (polynomial), binomial of the form ''x – r''. It was described by Paolo Ruffini (mathematician), Paolo Ruffini in 1804. The rule i ...
References
*
*
External links
*
*{{MathWorld , title=Ruffini's Rule , id=RuffinisRule , author=Stover, Christopher , author-link=Christopher Stover
Computer algebra
Division (mathematics)
Polynomials