División sintética

Algoritmo para la división euclidiana de polinomios

En álgebra , la división sintética es un método para realizar manualmente la división euclidiana de polinomios , con menos escritura y menos cálculos que la división larga .

Se enseña principalmente para la división por polinomios mónicos lineales (conocida como la regla de Ruffini ), pero el método se puede generalizar a la división por cualquier polinomio .

Las ventajas de la división sintética son que permite calcular sin escribir variables, utiliza pocos cálculos y ocupa mucho menos espacio en el papel que la división larga. Además, las restas en la división larga se convierten en sumas cambiando los signos al principio, evitando errores de signo.

División sintética regular

El primer ejemplo es la división sintética con solo un denominador lineal monico .${\displaystyle x-a}$

${\displaystyle {\frac {x^{3}-12x^{2}-42}{x-3}}}$

El numerador se puede escribir como .${\displaystyle p(x)=x^{3}-12x^{2}+0x-42}$

El cero del denominador es .${\displaystyle g(x)}$${\displaystyle 3}$

Los coeficientes de están ordenados de la siguiente manera, con el cero de a la izquierda: ${\displaystyle p(x)}$${\displaystyle g(x)}$

${\displaystyle {\begin{array}{cc}{\begin{array}{r}\\3\\\end{array}}&{\begin{array}{|rrrr}\ 1&-12&0&-42\\&&&\\\hline \end{array}}\end{array}}}$

El primer coeficiente después de la barra se "deja caer" a la última fila.

${\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}}}$

El número eliminado se multiplica por el número antes de la barra y se coloca en la siguiente columna .

${\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}}}$

Se realiza una adición en la siguiente columna.

${\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}}}$

Se repiten los dos pasos anteriores y se obtiene lo siguiente:

${\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}}}$

Aquí, el último término (-123) es el resto mientras que el resto corresponde a los coeficientes del cociente.

Los términos se escriben con un grado creciente de derecha a izquierda comenzando con el grado cero para el resto y el resultado.

${\displaystyle {\begin{array}{rrr|r}1x^{2}&-9x&-27&-123\end{array}}}$

Por tanto, el cociente y el resto son:

${\displaystyle q(x)=x^{2}-9x-27}$

${\displaystyle r(x)=-123}$

Evaluar polinomios mediante el teorema del resto

La forma anterior de división sintética es útil en el contexto del teorema del resto polinomial para evaluar polinomios univariados . Para resumir, el valor de en es igual al resto de . La ventaja de calcular el valor de esta manera es que requiere poco más de la mitad de los pasos de multiplicación que una evaluación ingenua. Una estrategia de evaluación alternativa es el método de Horner .${\displaystyle p(x)}$${\displaystyle a}$${\displaystyle {\frac {p(x)}{(x-a)}}}$

División sintética ampliada

Este método se generaliza a la división por cualquier polinomio monico con solo una ligera modificación con cambios en negrita . Siguiendo los mismos pasos que antes, realice la siguiente división:

${\displaystyle {\frac {x^{3}-12x^{2}-42}{x^{2}+x-3}}}$

Nos preocupamos únicamente por los coeficientes. Escribe los coeficientes del polinomio que se dividirá en la parte superior.

${\displaystyle {\begin{array}{|rrrr}\ 1&-12&0&-42\end{array}}}$

Niega los coeficientes del divisor.

${\displaystyle {\begin{array}{rrr}-1x^{2}&-1x&+3\end{array}}}$

Escriba todos los coeficientes menos el primero de la izquierda en una diagonal hacia la derecha hacia arriba (vea el siguiente diagrama).

${\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\end{array}}&{\begin{array}{|rrrr}\ 1&-12&0&-42\\&&&\\&&&\\\hline \end{array}}\end{array}}}$

Note el cambio de signo de 1 a −1 y de −3 a 3 . "Suelta" el primer coeficiente después de la barra a la última fila.

${\displaystyle {\begin{array}{cc}{\begin{array}{rr}\\&3\\-1&\\\\\end{array}}&{\begin{array}{|rrrr}1&-12&0&-42\\&&&\\&&&\\\hline 1&&&\\\end{array}}\end{array}}}$

Multiplique el número eliminado por la diagonal antes de la barra y coloque las entradas resultantes en diagonal a la derecha de la entrada eliminada.

${\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}}}$

Realice una adición en la siguiente columna.

${\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}}}$

Repita los dos pasos anteriores hasta que pase las entradas en la parte superior con la siguiente diagonal .

${\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}}}$

Luego, simplemente sume las columnas restantes.

${\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}}}$

Cuente los términos a la izquierda de la barra. Como hay dos, el resto tiene grado uno y estos son los dos términos más a la derecha debajo de la barra. Marque la separación con una barra vertical.

${\displaystyle {\begin{array}{rr|rr}1&-13&16&-81\end{array}}}$

Los términos se escriben con un grado creciente de derecha a izquierda, comenzando con el grado cero, tanto para el resto como para el resultado.

${\displaystyle {\begin{array}{rr|rr}1x&-13&16x&-81\end{array}}}$

El resultado de nuestra división es:

${\displaystyle {\frac {x^{3}-12x^{2}-42}{x^{2}+x-3}}=x-13+{\frac {16x-81}{x^{2}+x-3}}}$

Para divisores no monicos

Con un poco de insistencia, la técnica expandida se puede generalizar aún más para que funcione con cualquier polinomio, no solo con monics . La forma habitual de hacer esto sería dividir el divisor con su coeficiente principal (llámelo a ):${\displaystyle g(x)}$

${\displaystyle h(x)={\frac {g(x)}{a}}}$

luego usando la división sintética con como divisor, y luego dividiendo el cociente por a para obtener el cociente de la división original (el resto permanece igual). Pero esto a menudo produce fracciones antiestéticas que se eliminan más tarde y, por lo tanto, son más propensas a errores. Es posible hacerlo sin reducir primero los coeficientes de .${\displaystyle h(x)}$${\displaystyle g(x)}$

Como se puede observar al realizar primero una división larga con un divisor no mónico, los coeficientes de se dividen por el coeficiente principal de después de "caer" y antes de multiplicar.${\displaystyle f(x)}$${\displaystyle g(x)}$

Ilustremos realizando la siguiente división:

${\displaystyle {\frac {6x^{3}+5x^{2}-7}{3x^{2}-2x-1}}}$

Se utiliza una tabla ligeramente modificada:

${\displaystyle {\begin{array}{cc}{\begin{array}{rrr}\\&1&\\2&&\\\\&&/3\\\end{array}}{\begin{array}{|rrrr}6&5&0&-7\\&&&\\&&&\\\hline &&&\\&&&\\\end{array}}\end{array}}}$

Tenga en cuenta la fila adicional en la parte inferior. Esto se usa para escribir valores encontrados dividiendo los valores "descartados" por el coeficiente principal de (en este caso, indicado por / 3 ; tenga en cuenta que, a diferencia del resto de los coeficientes de , el signo de este número no cambia) .${\displaystyle g(x)}$${\displaystyle g(x)}$

A continuación, el primer coeficiente de se elimina como de costumbre:${\displaystyle f(x)}$

${\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}}}$

y luego el valor eliminado se divide por 3 y se coloca en la fila siguiente:

${\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}}}$

A continuación, el nuevo valor (dividido) se usa para llenar las filas superiores con múltiplos de 2 y 1, como en la técnica expandida:

${\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}}}$

El 5 se elimina a continuación, con la adición obligatoria del 4 debajo de él, y la respuesta se divide nuevamente:

${\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}}}$

Luego, el 3 se usa para llenar las filas superiores:

${\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}}}$

En este punto, si, después de obtener la tercera suma, intentáramos usarla para llenar las filas superiores, nos "saldríamos" del lado derecho, por lo que la tercera suma es el primer coeficiente del resto, como en el caso regular. división sintética. Pero los valores del resto no se dividen por el coeficiente principal del divisor:

${\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}}}$

Ahora podemos leer los coeficientes de la respuesta. Como en la división sintética expandida, los dos últimos valores (2 es el grado del divisor) son los coeficientes del resto, y los valores restantes son los coeficientes del cociente:

${\displaystyle {\begin{array}{rr|rr}2x&+3&8x&-4\end{array}}}$

y el resultado es

${\displaystyle {\frac {6x^{3}+5x^{2}-7}{3x^{2}-2x-1}}=2x+3+{\frac {8x-4}{3x^{2}-2x-1}}}$

División sintética expandida compacta

Sin embargo, el formato diagonal anterior se vuelve menos eficiente en cuanto al espacio cuando el grado del divisor excede la mitad del grado del dividendo. Es fácil ver que tenemos total libertad para escribir cada producto en cualquier fila, siempre que esté en la columna correcta. Por lo tanto, el algoritmo se puede compactar mediante una estrategia codiciosa , como se ilustra en la división a continuación.

${\displaystyle {\dfrac {ax^{7}+bx^{6}+cx^{5}+dx^{4}+ex^{3}+fx^{2}+gx+h}{ix^{4}-jx^{3}-kx^{2}-lx-m}}=nx^{3}+ox^{2}+px+q+{\dfrac {rx^{3}+sx^{2}+tx+u}{ix^{4}-jx^{3}-kx^{2}-lx-m}}}$

${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\\\\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&&&&qj&&&\\&&&pj&pk&qk&&\\&&oj&ok&ol&pl&ql&\\&nj&nk&nl&nm&om&pm&qm\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&p_{0}&q_{0}&r&s&t&u\\n&o&p&q&&&&\\\end{array}}\end{array}}}$

A continuación se describe cómo realizar el algoritmo; este algoritmo incluye pasos para dividir divisores no monicos:

1. Escribe los coeficientes del dividendo en una barra.${\displaystyle {\begin{array}{cc}{\begin{array}{|rrrrrrrr}\ a&b&c&d&e&f&g&h\\\hline \end{array}}\end{array}}}$
2. Ignorando el primer coeficiente (principal) del divisor, niegue cada coeficiente y colóquelos en el lado izquierdo de la barra.${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}j&k&l&m\\\end{array}}&{\begin{array}{|rrrrrrrr}\ a&b&c&d&e&f&g&h\\\hline \end{array}}\end{array}}}$
3. A partir del número de coeficientes colocados en el lado izquierdo de la barra, cuente el número de coeficientes de dividendos por encima de la barra, comenzando desde la columna de la derecha. Luego coloque una barra vertical a la izquierda, y también la fila de abajo, de esa columna. Esta barra vertical marca la separación entre el cociente y el resto.${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}j&k&l&m\\\\\end{array}}&{\begin{array}{|rrrr|rrrr}a&b&c&d&e&f&g&h\\\hline &&&&&&&\\\end{array}}\end{array}}}$
4. Suelta el primer coeficiente del dividendo debajo de la barra.${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}j&k&l&m\\\\\end{array}}&{\begin{array}{|rrrr|rrrr}a&b&c&d&e&f&g&h\\\hline a&&&&&&&\\\end{array}}\end{array}}}$
5. • Divida el número previamente eliminado / sumado por el coeficiente principal del divisor y colóquelo en la fila de abajo (esto no es necesario si el coeficiente principal es 1). En este caso .${\displaystyle n={\dfrac {a}{i}}}$
   • Multiplique el número eliminado / sumado previamente (o el número eliminado / sumado dividido) por cada coeficiente de divisor negado a la izquierda (comenzando por el más a la izquierda); omitir si el número eliminado / sumado es cero. Coloque cada producto encima de las columnas siguientes.
   ${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&nj&nk&nl&nm&&&\\a&b&c&d&e&f&g&h\\\hline a&&&&&&&\\n&&&&&&&\\\end{array}}\end{array}}}$
6. Realice una suma de columnas en la siguiente columna.
   ${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&nj&nk&nl&nm&&&\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&&&&&&\\n&&&&&&&\\\end{array}}\end{array}}}$
7. Repite los dos pasos anteriores. Deténgase cuando haya realizado los dos pasos anteriores en el número justo antes de la barra vertical. Deja . Deja . Deja .${\displaystyle o={\dfrac {o_{0}}{i}}}$${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&&oj&ok&ol&&&\\&nj&nk&nl&nm&om&&\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&p_{0}&&&&&\\n&o&&&&&&\\\end{array}}\end{array}}}$${\displaystyle p={\dfrac {p_{0}}{i}}}$${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&&&pj&pk&&&\\&&oj&ok&ol&pl&&\\&nj&nk&nl&nm&om&pm&\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&p_{0}&q_{0}&&&&\\n&o&p&&&&&\\\end{array}}\end{array}}}$${\displaystyle q={\dfrac {q_{0}}{i}}}$${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\\\\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&&&&qj&&&\\&&&pj&pk&qk&&\\&&oj&ok&ol&pl&ql&\\&nj&nk&nl&nm&om&pm&qm\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&p_{0}&q_{0}&r&&&\\n&o&p&q&&&&\\\end{array}}\end{array}}}$
8. Realice las adiciones restantes por columnas en las columnas siguientes (calculando el resto).
   ${\displaystyle {\begin{array}{cc}{\begin{array}{rrrr}\\\\\\\\j&k&l&m\\\end{array}}&{\begin{array}{|rrrr|rrrr}&&&&qj&&&\\&&&pj&pk&qk&&\\&&oj&ok&ol&pl&ql&\\&nj&nk&nl&nm&om&pm&qm\\a&b&c&d&e&f&g&h\\\hline a&o_{0}&p_{0}&q_{0}&r&s&t&u\\n&o&p&q&&&&\\\end{array}}\end{array}}}$
9. Los resultados más bajos debajo de la barra horizontal son los coeficientes de los polinomios, el resto y el cociente, donde los coeficientes del cociente están a la izquierda de la separación de la barra vertical y los coeficientes del resto están a la derecha. Estos coeficientes se interpretan como si tuvieran un grado creciente de derecha a izquierda comenzando con el grado cero tanto para el resto como para el cociente. Interpretamos los resultados para obtener:${\displaystyle {\dfrac {ax^{7}+bx^{6}+cx^{5}+dx^{4}+ex^{3}+fx^{2}+gx+h}{ix^{4}-jx^{3}-kx^{2}-lx-m}}=nx^{3}+ox^{2}+px+q+{\dfrac {rx^{3}+sx^{2}+tx+u}{ix^{4}-jx^{3}-kx^{2}-lx-m}}}$

Implementación de Python

El siguiente fragmento implementa la división sintética extendida para polinomios arbitrarios:

def  extended_synthetic_division ( dividendo ,  divisor ):  "" "División polinomial rápida mediante la división sintética ampliada.  También funciona con polinomios no monicos. El dividendo y el divisor son polinomios, que aquí son simplemente listas de coeficientes.  Por ejemplo: x ** 2 + 3 * x + 5 se representará como [1, 3, 5]  "" "  out  =  list ( dividend )  # Copiar el dividendo  normalizer  =  divisor [ 0 ]  for  i  in  range ( len ( dividend )  -  len ( divisor )  +  1 ):  # Para la división polinomial general (cuando los polinomios no son monicos), # necesitamos normalizar dividiendo el coeficiente con el primer coeficiente del divisor  fuera [ i ]  / =  normalizador coef  =  out [ i ]  if  coef  ! =  0 :  # Es inútil multiplicar si coef es 0  # En la división sintética, siempre omitimos el primer coeficiente del divisor,  # porque solo se usa para normalizar los coeficientes de dividendos  para  j  en el  rango ( 1 ,  len ( divisor )):  out [ i  +  j ]  + =  - divisor [ j ]  *  coef # La salida resultante contiene tanto el cociente como el resto,  # el resto es el tamaño del divisor (el resto  # tiene necesariamente el mismo grado que el divisor ya que es  # lo que no pudimos dividir del dividendo), por lo que Calcule el índice  # donde está esta separación y devuelva el cociente y el resto.  separator  =  1  -  len ( divisor )  return  out [: separator ],  out [ separator :]  # Devuelve el cociente, el resto.

Ver también

• Dominio euclidiano
• Máximo común divisor de dos polinomios
• Base Gröbner
• Esquema de horner
• Teorema del residuo polinomial
• La regla de Ruffini

Referencias

• Fan de Lianghuo (2003). "Una generalización de división sintética y un teorema general de división de polinomios" (PDF) . Mezcla matemática . 30 (1): 30–37.
• Li Zhou (2009). "División corta de polinomios". Revista universitaria de matemáticas . 40 (1): 44–46. doi : 10.4169 / 193113409x469721 .

enlaces externos

• Goodman, Len ; Stover, Christopher y Weisstein, Eric W. "División sintética" . MathWorld .
• Stover, Christopher . "Regla de Ruffini" . MathWorld .