Algoritmo de la división

En matemáticas, y más precisamente en la aritmética, la división euclidiana (o euclídea), también llamada algoritmo de la división, es un teorema que asegura que «el proceso habitual de división entre números enteros» puede llevarse a cabo y que se obtiene un cociente y un residuo únicos.

Un «algoritmo de división entera» es cualquier método efectivo que produce un cociente y un residuo. Existen numerosos métodos para efectuar estos cálculos, como por ejemplo la división larga, la factorización de enteros o la aritmética modular. El algoritmo de la división euclídea (para números enteros) se encuentra a la base de numerosos resultados de la aritmética (como por ejemplo el algoritmo de Euclides para calcular el máximo común divisor de dos enteros) y la teoría de números; en álgebra abstracta, está relacionado con el dominio euclídeo.

Dados dos números naturales, el dividendo, m, y el divisor, d, que debe ser mayor que cero, llamamos cociente, q, al mayor de los números que multiplicado por el divisor es menor o igual que el dividendo.

${displaystyle q;=;max { xin N;|;xdleq m }}$

Llamamos resto, r, a la diferencia entre el dividendo y el producto del cociente y el divisor.

${displaystyle r;=;m-qd}$

El resto verifica la inecuación ${displaystyle 0leq r<d}$ .

De la ecuación anterior, se deduce inmediatamente la siguiente igualdad:

${displaystyle m;=;qd+r}$

Si m = 320 y d = 21, se tiene que:

${displaystyle 320=(21 imes 15)+5}$

debido a la unicidad de q y r para un par determinado de números naturales m y d, se concluye que q = 15 y r = 5.

Dados dos números naturales a y b, con b distinto de 0, la división euclídea asocia un cociente q y un resto r, ambos números naturales, que verifican:

La pareja (q, r) es única.

De manera formal:

Considérese el conjunto E definido por:

E es no vacío pues contiene a. Como E es una parte no vacía de N, por axioma, el mínimo de E existe. Nótese r ese mínimo y q el entero que lo define, es decir, aquel que verifique la igualdad a - b*q = r. Por construction, r es un número natural. El entero r - b no puede ser elemento de E por lo que es estrictamente negativo, de modo que r debe ser estrictamente menor que b. Esto demuestra la existencia.

Supóngase que existen cuatro enteros q₁,q₂, r₁ y r₂ que forman dos parejas de soluciones. Por diferencia, (q₁ - q₂)*b + (r₁ - r₂) es cero.

Esta igualdad muestra que b divide a r₁ - r₂ . Como r₁ y r₂ son estrictamente menores que b y positivos, r₁ - r₂ está comprendido estrictamente entre - b y b, por lo que el único valor posible múltiplo de b para r₁ - r₂ es cero. En conclusión, r₁ es igual a r₂ por lo que q₁ también es igual a q₂.

Dados dos números enteros a y b, siendo b no nulo, la división euclídea asocia un cociente q y un resto r, ambos números enteros, que verifican:

De manera formal:

Un estudio por inspección sobre los signos respectivos de a y b permite establecer la existencia de al menos un cociente y un resto por la división euclídea de a por b:

La unicidad no está siempre garantizada sin la condición r positivo o nulo.

En efecto, si a = bq + r y r es estrictamente positivo, entonces a = b(q+1) + r - b en donde ${displaystyle |r-b|<|b|}$ es otra pareja de soluciones.

Por el algoritmo de la división se deduce que ${displaystyle mathbb {Z} }$ es un dominio euclídeo tomando como norma el valor absoluto. Una consecuencia inmediata del algoritmo de la división es que puede usarse el algoritmo de Euclides para calcular el máximo común divisor de dos números enteros.

Un concepto que generaliza el algoritmo de la división es el de norma euclídea. De este modo cualquier dominio euclídeo cumple con un principio similar al algoritmo de la división, como es el caso, por ejemplo, de un anillo de polinomios ${displaystyle mathbb {K} [x]}$ en que ${displaystyle mathbb {K} }$ es un cuerpo.

La división euclidiana se generaliza a todos los anillos graduados, es decir en los anillos donde existe una función llamada grado que verifique: 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).

Si los polinomios tienen por coeficientes elementos de un cuerpo K, es posible definir una división euclídea sobre los polinomios (llamada división) según el orden decreciente de las potencias.

A dos polinomios A y B, la división euclídea asocia un único cociente Q y un único resto R, ambos polinomios, tales que:

Formalmente:

La unicidad está garantizada, pero es necesario que K sea un cuerpo para que la existencia lo sea también.

---