División euclídea

División euclídea

División euclídea

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 = bq + r,     con  0 ≤ r < |b|

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 aproximadamente siete años), como introducción a la división exacta de los números reales.

Contenido

Ejemplos

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

División euclidiana.png

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): -16845 = 7 × (-2407) + 4

Existencia y unidad de la division euclidiana

e:
Sean a y b positivos, b≠o (los demás casos son muy parecidos). La sucesión (n·b) nN 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'.

Una calculadora facilita la división, si b > 0: q = E ( \frac {a} {b}) \ \ y \ \ r = a - bq \ , donde E es la función parte entera. Esto se obtiene dividiendo la igualdad a = b·q + r por b:  \frac {a} {b} = q + \frac {r} {b} \ ,  y como 0 ≤ r < b, la fracción r/b pertenece a [0; 1[, y es por lo tanto la parte fraccionaria de a, y b es su parte entera.

División de polinomios

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(Xn) = 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 raíces. Miremos primero si 0, 1 o -1 es raíz evidente. Por suerte (...) P(1) = 63 - 86 + 3 + 20 = 0. Como xo = 1 es raíz, podemos factorizar por X - 1, lo que hacemos mediante una división euclidiana:

División euclidiana polinomio.png

El resto es nulo, lo que confirma que 1 es raíz, y tenemos: P = (X-1)·Q, con Q = 63X² - 23X - 20. Luego, las raíces de Q se obtienen resolviendo la ecuación de segundo grado Q(x) = 0 y se obtiene  x_2 = - \frac {4} {9} \ \ y \ \ x_3 = \frac {5} {7} y por último se puede completar (y arreglar) la factorización de P: P = (X-1)(7X - 5)(9X + 4).

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 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.

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 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.


División euclidiana creciente polinomio.png

Por ejemplo, dividamos 1 por 1 - X 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:

 \frac {1 - X^4} {1 - X} = 1+ X + X^2 + X^3


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

1+q+q^2 + ... + q^n = \frac {1-q^{n+1}} {1-q}


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

Otro punto de vista es considerar a 1 + X + X^2 + ... + X^n \ como el inicio del desarrollo de  \frac {1} {1-X} en serie de Taylor.

División euclidiana serie.png

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, consideremos la función trigonométrica tangente: tan = \frac {sen} {cos}, 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, sólo hay tres monomios (en X, X³ y X5) que buscar. El resultado es \tan x = x + \frac {x^3} {3} + \frac {2x^5} {15} + O(x^{7})

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.


La primera versión de este artículo porviene de Enciclopedia Libre - División euclidiana publicado bajo la licencia GFDL

Obtenido de "Divisi%C3%B3n eucl%C3%ADdea"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • División euclidiana — 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 = bq + r, con 0 = r < |b| a se l …   Enciclopedia Universal

  • Norma euclídea — Se ha sugerido que este artículo o sección sea fusionado en Dominio euclídeo (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. En un dominio íntegro D, una norma euclídea es una aplicación …   Wikipedia Español

  • Algoritmo de la división — Se ha sugerido que Algoritmo de la división sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. En matemáticas, y más precisamente en la aritmética, la… …   Wikipedia Español

  • ISSN — El ISSN (International Standard Serial Number, Número Internacional Normalizado de Publicaciones Seriadas) es un número internacional que permite identificar de manera única una colección, evitando el trabajo y posibles errores de transcribir el… …   Wikipedia Español

  • 0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad …   Wikipedia Español

  • Divisibilidad — Saltar a navegación, búsqueda Decimos que un número entero b es divisible entre otro entero a (distinto de cero) si existe un tercer entero c tal que: b = a · c Se suele expresar de la forma a|b, que se lee a divide a b, o a es divisor de b, o… …   Wikipedia Español

  • Divisibilidad — ► sustantivo femenino 1 MATEMÁTICAS Fraccionabilidad, cualidad de divisible: ■ la divisibilidad hasta el infinito de un número. ANTÓNIMO indivisibilidad 2 FÍSICA Propiedad que tienen los cuerpos de dividirse en partes o fracciones. * * *… …   Enciclopedia Universal

  • Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …   Wikipedia Español

  • Dominio euclídeo — Saltar a navegación, búsqueda Un dominio euclídeo (o anillo euclídeo) es un par (R,φ) donde R es un dominio de integridad y φ es una aplicación norma euclídea, es decir, una aplicación que cumple las siguientes dos condiciones: cualesquiera que… …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”