Cuando en la escuela primaria nos enseñan el algoritmo de la división no atisbamos ni de cerca su importancia. En torno a ella, la división de enteros, rondan los conceptos de divisibilidad, máximo común divisor y algoritmo de Euclides, sistemas de numeración, aritmética modular. Ahora daremos un primer paso formalizando el concepto de división entera.
El algoritmo conocido desde la educación primaria para la división entera de entre lo representamos como y llamamos dividendo a , divisor a , cociente a y resto a . Observamos que las igualdades siguientes son todas ciertas Cada incremento de una unidad en el segundo factor nos obliga a disminuir en cinco unidades el último sumando para no alterar el resultado. ¿Pero qué hace distinta a la igualdad señalada? Efectivamente, es la única en la cual después del múltiplo de el sumando es positivo y menor que . Es por ello que recibe el nombre especial de división euclídea de entre . Esto surge del siguiente resultado: Dados , un número entero cualquiera, y , un número natural, existe una única pareja de números entero y natural de forma que Esta expresión se llama división euclídea de entre y Esto nos dice que «el cociente se elige de forma que es el múltiplo de más cercano al número sin superarlo», y los restos posibles son los números . La división entera de entre nos permite expresar es decir, expresamos como un múltiplo de más un número inferior a .
El enunciado se puede extender al caso de ser un número entero negativo haciendo la única variación siguiente: Se divide entre obteniendo un cociente y un resto
La última expresión muestra otra forma de hallar la división entera cuando es negativo: es decir, se halla la división entera entre los números positivos y cambiamos el cociente de signo, conservando el mismo resto. También podemos obtener el cociente moviéndonos en la recta numérica a la izquierda de hasta localizar el primer múltiplo de y el resto, positivo o nulo, se calcula como en la definición.
Una vez comprendido cómo se obtiene el cociente es posible, con algo de cuidado, expresar la división entera cuando alguno o ambos de los números y son negativos. Para hallar la división entera de entre hemos de encontrar una igualdad como , en la que . El mayor múltiplo de que no supera a , es , por tanto, el cociente es ya que . Entonces, el resto será . Luego la división entera que buscamos es
Probemos con el divisor negativo. La división entera de entre comienza por la búsqueda del cociente. Si los números fuesen positivos, el cociente sería y el resto , pues, cambiando el signo del cociente y conservando el resto es la división entera buscada. También podemos proceder según la definición: El primer múltiplo de por debajo de es , que se expresa como , luego el cociente es y el resto . La división entera es
Y para finalizar, la división entera de entre . El primer múltiplo de por debajo de es (¡atento con los negativos!) que expresado como múltiplo de es . El cociente es y el resto . La división entera es Intenta calcular las divisiones enteras siguientes:
Usando la calculadora de bolsillo
El procedimiento que se explica a continuación no funciona cuando el divisor es negativo. Aunque, ya hemos visto en que, en este caso, basta con cambiar el signo del cociente. En las aplicaciones prácticas no se utilizan divisores negativos, por lo que el cociente de la división entera tendrá el mismo signo que el dividendo y, como veremos ahora, su cálculo es muy sencillo. Tomemos los números y y hallemos sus divisiones enteras entre y . Para encontrar cociente y resto vamos a ayudarnos de una calculadora. Calculamos con decimales tomamos para el cociente el entero por debajo de este resultado, es decir , el resto será por tanto, Para la división entre dividimos con decimales y el cociente es y el resto , por tanto . Para el número negativo procedemos de igual forma: tomamos como cociente el entero inmediato por debajo de este valor, es decir y el resto es , por tanto