a = bq + r, con 0 ≤ r < b.
El concepto de Cociente y Residuo, que formalmente lo conocemos como el Algoritmo de la División, es una piedra angular de la teoría de números. Aunque tenga ese nombre, no es un algoritmo (un procedimiento paso a paso) sino un teorema que asegura que existen resultados enteros únicos cuando divides un número entre otro. De forma intuitiva, formaliza el proceso de "agrupar". Si tienes un entero $a$ y quieres agruparlo en paquetes de tamaño $b$, vas a obtener $q$ paquetes completos (el cociente) y tal vez te sobre una cantidad $r$ (el residuo) que no alcanza para formar otro paquete completo.
Este concepto es crucial porque te permite clasificar el conjunto infinito de los enteros en una cantidad finita de categorías según sus residuos módulo $b$. Esta es la base de la aritmética modular. Por ejemplo, puedes ver que cualquier entero tiene la forma $2k$ o $2k+1$ (paridad), y cualquier entero tiene la forma $3k$, $3k+1$ o $3k+2$. En las matemáticas de olimpiada, el Algoritmo de la División es la herramienta principal para demostrar propiedades del máximo común divisor (usando el Algoritmo de Euclides), analizar patrones cíclicos y resolver ecuaciones diofánticas.
La clave está en la desigualdad estricta que controla al residuo: $0 \le r < b$. Esta restricción garantiza que la representación sea única. De forma geométrica,