División polinómica

(Redirigido desde «División polinomial»)

En matemática y concretamente, en álgebra, la división de polinomios o división polinómica es un algoritmo que permite dividir un polinomio entre otro polinomio que no sea nulo.

El algoritmo es una versión generalizada de la técnica aritmética de división larga. Es fácilmente realizable a mano, porque separa un problema de división complejo, en otros más pequeños.

Sean los polinomios y , donde no es el polinomio nulo, entonces existe un único par de polinomios y tal que:

o la más conocida

con el grado de menor que el grado de y el grado de es la diferencia entre el grado de f y de g (para en el caso general ). La división sintética permite obtener el cociente y el resto dado un dividendo y un divisor . El problema se expresa como un problema de división no algebraico:[cita requerida]

Todos los términos con exponentes menores que el mayor deben escribirse explícitamente, incluso si sus coeficientes son cero.

Condiciones de divisibilidad editar

Si A es un anillo, la división polinómica en A[X] no es siempre posible. Por ejemplo, en Z[X], los polinomios con coeficientes enteros, no es posible dividir.

División entre un binomio editar

El cociente y el resto de una división de un polinomio con coeficiones enteros en x entre x+a se pueden hallar usando la división larga, o utilizando la regla de Ruffini. Tiene la propiedad de que el cociente de esta división será un polinomio en x cuyo grado es una unidad menor que el grado del dividendo y cuyo coeficiente del término general del cociente es igual al coeficiente del término general del dividendo.

Ejemplos editar

Encontrar:

 

Se escribe el problema de la siguiente forma (notar que tal como se explicó previamente, se incluye explícitamente el término x, aunque su coeficiente sea cero):

 

1. Dividir el primer término del dividendo entre el término de mayor grado del divisor. Poner el resultado arriba de la línea horizontal (x3 ÷ x = x2).

 

2. Multiplicar el divisor por el resultado obtenido en el paso previo (el primer término del eventual cociente). Escribir el resultado debajo de los primeros dos términos del dividendo (x2 * (x-3) = x3 - 3x2).

 

3. Restar el producto obtenido en el paso previo de los términos correspondientes del dividendo original, y escribir el resultado debajo. Tener cuidado al realizar esta operación de colocar el signo que corresponda. ((x3-12x2) - (x3-3x2) = -12x2 + 3x2 = -9x2) Luego, «desplazar hacia abajo» el próximo término del dividendo.

 

4. Repetir los tres pasos previos, excepto que esta vez utilizar los dos términos que se acaban de escribir en el dividendo.

 

5. Repetir el paso 4. Esta vez, no hay nada para «desplazar hacia abajo».

 

El polinomio arriba de la línea horizontal es el cociente, y el número que queda (-123) es el resto.

 

Este método es una reminiscencia de los métodos de división utilizados en clases elementales de aritmética.

En algunos casos es importante considerar que X es pequeño frente a 1 y hacer las divisiones al revés, empezando por las constantes (que son los términos mayores) y terminando por los Xn, con n grande. Formalmente, se modifica la definición del grado: d o (Xn) = - n. La diferencia es que ya no hay unicidad, y es necesario fijarse por antelación una precisión, es decir un grado máximo al resto.


Por ejemplo, dividamos   entre   al orden 3: el resto deber haber como término más fuerte (aquí el monomio de menor exponente) a lo mejor X4. La igualdad obtenida (en azul) equivale a:

 

la que, además de ser cierta, es un caso especial de la suma de términos de una sucesión geométrica:

 


y cada valor de n corresponde a una división euclidiana con una precisión distinta.

Otro punto de vista es considerar a   como el inicio del desarrollo de   en serie de Taylor.

 

Más generalmente, la serie de Taylor de una función racional se obtiene mediante la división euclidiana de la serie de Taylor del numerador por la del denominador.

Por ejemplo, considérese la función trigonométrica tangente:  , y busquemos su desarrollo alrededor de 0 al orden 5. Hay que conocer las series al orden 5 (por lo menos) del seno y del coseno, y dividirlas descartando sistemáticamente los términos de orden mayor que aparecen en el cálculo. Como la función tangente es par, solo hay tres monomios (en X, X³ y X5) que buscar.

El resultado es  

La división euclidiana también existe en los anillos de polinomios de múltiples variables K[X,Y,Z, …], donde hay varias maneras de definir el grado (parcial, total…) y otras tantas de proceder a la división.

Véase también editar

Enlaces externos editar