# División euclídea

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

## División euclídea de números naturales

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.
$q\;=\;\max \ \{\ x\in N\;|\;xd\leq m\ \}$
Llamamos resto, r, a la diferencia entre el dividendo y el producto del cociente y el divisor.
$r\;=\;m-qd$
El resto verifica la inecuación $0\leq r<d$ .
De la ecuación anterior, se deduce inmediatamente la siguiente igualdad:
$m\;=\;qd+r$

### Ejemplos

Si m = 320 y d = 21, se tiene que:
$320=(21\times 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.
Aquí puedes ver divisiones por dos cifras entre números enteros, con las soluciones siguiendo el algoritmo citado.

## Teorema: Algoritmo de la división
### División euclídea con números naturales

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:
* $a=b\ q+r\,$
* $r<b\;$
La pareja (q, r) es única.
De manera formal:
    $\forall (a,b)\in \mathbb {N} \times \mathbb {N} ^{*},\exists !(q,r)\in \mathbb {N} ^{2}/a=b\ q+r\quad {\text{con}}\quad 0\leq r<b$
* Teorema de la división euclídea para los números naturales
* Sean a y b dos enteros positivos, con b no nulo.
* Existencia
* Considérese el conjunto E definido por:
* $E=\left\{x\in \mathbb {N} \quad |\quad \exists z\in \mathbb {N} \,x=a-bz\right\}$
* 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.
* Unicidad
* Supóngase que existen cuatro enteros q$_1$,q$_2$, r$_1$ y r$_2$ que forman dos parejas de soluciones. Por diferencia, (q$_1$ - q$_2$)*b + (r$_1$ - r$_2$) es cero.
* Esta igualdad muestra que b divide a r$_1$ - r$_2$ . Como r$_1$ y r$_2$ son estrictamente menores que b y positivos, r$_1$ - r$_2$ está comprendido estrictamente entre - b y b, por lo que el único valor posible múltiplo de b para r$_1$ - r$_2$ es cero. En conclusión, r$_1$ es igual a r$_2$ por lo que q$_1$ también es igual a q$_2$.

### División euclídea con números enteros

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:
* $a=b\cdot q+r\,$
* $0\leq r<|b|$
* A q se denomina cociente y a r, resto de la división que siempre es un entero no negativo.
De manera formal:
    $\forall (a,b)\in \mathbb {Z} \times \mathbb {Z} ^{*},\exists q,r\in \mathbb {Z} |a=b\cdot q+r\quad {\text{con}}\quad 0\leq r<|b|$
* Teorema de la división euclídea para los números enteros
* La definición de la división euclídea sobre los números naturales permite probar la existencia de q$_1$ et r$_1$ tales que
* $|a|=|b|q_{1}+r_{1}$ con $r_{1}<|b|$
* 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:
* para a y b negativos, cociente q$_1$ y resto - r$_1$;
* para a negativo y b positivo, cociente - q$_1$ y resto - r$_1$;
* para a positivo y b negativo, cociente - q$_1$ y resto r$_1$;
* para a y b positivos, cociente q$_1$ y resto r$_1$.
* 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 $|r-b|<|b|$ es otra pareja de soluciones.

## Propiedades

Por el algoritmo de la división se deduce que $\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 $\mathbb {K} [x]$ en que $\mathbb {K}$ es un cuerpo.

## División de polinomios

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$) = 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:
* $A=B\cdot Q+R\,$
* $\operatorname {grad} (R)<\operatorname {grad} (B)$
Formalmente:
    $\forall (A,B)\in \mathbb {K} [X]\times \mathbb {K} [X]^{*},\quad \exists !Q,R\in \mathbb {K} [X],A=B\cdot Q+R\quad \mathrm {con} \quad \operatorname {grad} (R)<\operatorname {grad} (B)$
La unicidad está garantizada, pero es necesario que K sea un cuerpo para que la existencia lo sea también.