La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es

Artículo de la Enciclopedia Libre Universal en Español.

[escribe] Definición

La división euclidiana (o euclídea) del entero a por el entero no nulo b es el cálculo que permite encontrar los enteros q y r tales que:

a se llama el dividendo, b el divisor , q el cociente y r el resto.

La división euclidiana es la división entre enteros, con resto, que se enseña en los colegios (a alumnos de aproxímadamente siete años), como introducción a la división exacta de los números reales.

[escribe] Ejemplos

El primer ejemplo es detallado - muestra las sustracciones intermediarias - y el segundo sólo muestra los restos.

Cuando a o b es negativo, lo más práctico es hacer la división con los valores positivos |a| y |b| y luego adaptar el resultado. A partir del primer ejemplo, se puede hallar las divisiones de (a) 16845 por -7, de (b) -16845 por 7 y de (c) -16845 por -7:
16845 = 7 × 2406 + 3 da:
(a): 16845 = (-7) × (-2406) + 3
-16845 = (-7) × 2406 - 3 lo que no es una división euclidiana porque el resto -3 no es positivo; hay que sumarle 7, que se resta por otra parte:
(b): -16845 = (-7) × 2407 + 4.
Cambiando un signo de lugar en la división anterior se obtiene:
(c): -16846 = 7 × (-2407) + 4

[escribe] Existencia y unicidad

Existencia:
Sean a y b positivos, b≠o (los demás casos son muy parecidos). La sucesión (n·b) _{n∈ N} tiende hacia el infinito, por lo tanto dobla a a partir de cierto rango. Sea q el último valor de n tal que n·b sea inferior o igual a a. Entonces, por definición:
q·b ≤ a < (q+1)·b. Al sustraer q·b a todos los miembros, obtenemos:
0≤ a - q·b < b. Llamemos r =a - q·b; entonces a = q·b +r; y la desigualdad anterior se escribe 0≤ r < b.

Unicidad:
Supongamos la existencia de dos escrituras de a: a= bq + r = bq' + r'. Por sustracción:
b·(q - q') = r' - r. Esto implica que b divide r' - r. Pero r y r' pertenecen al intervalo [0 ; b[ y luego la diferencia pertenece a ]- b; b[. El único elemento de este intervalo divisible por b es cero, por lo tanto r' - r = 0, es decir r = r'. Luego bq + r = bq' + r, lo que se simplifica en q = q'.

Esto se obtiene dividiendo la igualdad a = b·q + r por b:

[escribe] División de polinomios

[escribe] División usual

La división euclidiana se generaliza a todos los anillos graduados, es decir en los anillos donde existe una función llamada grado, con valor en {- ∞} ∪ N, notada d ^o, que verifique (entre otras cosas) d ^o(P·Q) = d ^o(P) + d ^o(Q).
Los ejemplos más usuales lo constituyen los anillos de polinomios K[X], donde K es un cuerpo, como R o C, y donde d ^o(Xⁿ) = n   y   d ^o(0) = - ∞. En este contexto, se remplaza la condición 0≤ r < b que a priori no tiene sentido porque el anillo ya no es totalmente ordenado, por d ^o (R) < d ^o(B), y claro, se mantiene A = B·Q + R (para los polinomios, la costumbre es utilizar las mayúsculas).

La división euclidiana de polinomios permite encontrar el máximo común divisor gracias al algoritmo de Euclides.

Sin embargo , su uso más común es para hallar las raíces de un polinomio dado. En tal caso, el resto tiene que ser nulo, y la división euclidiana es una división en el sentido usual: A = B·Q equivale a Q = A/B, que permite factorizar con rapidez. La resolución de una ecuación de tercer grado requiere mucho tiempo si se aplica el método general. Lo mejor es tratar de encontrar una raíz evidente α y luego dividir P por X - α.

Ejemplo: Sea P = 63X³ - 86X² + 3X + 20 un polinomio de grado 3, y se quiere hallar todas sus raices. Miremos primero si 0, 1 o -1 es raíz evidente. Por suerte (...) P(1) = 63 - 86 + 3 + 20 = 0. Como x_o = 1 es raíz, podemos factorizar por X - 1, lo que hacemos mediante una división euclidiana:

El resto es nulo, lo que confirma que 1 es raíz, y tenemos: P = (X-1)·Q, con Q = 63X² - 23X - 20.

Si A es un anillo, la división euclidiana en A[X] no es siempre posible. Por ejemplo, en Z[X], los polinomios con coeficientes enteros, no es posible dividir X² por 2X + 3, porque el cociente (trabajando en R[X]) es: X/2, y no pertenece a Z[X].

La única condición para que sea posible es que el coeficiente dominante (el del monomio de mayor grado) sea inversible. En el ejemplo detallado, la división por X - 1 ( = 1X - 1) no causó problema alguno porque el coeficiente dominante es 1, inversible en Z.

[escribe] División según las potencias crecientes

En algunos casos es interesante 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 Xⁿ, con n grande. Formalmente, se modifica la definición del grado: d ^o (Xⁿ) = - 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.

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

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.

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

Autor: M.Romero Schmidtke