Resto (división entera)

Definición formal

La formulación habitual del algoritmo de la división para los enteros dice: dados un entero a (el dividendo) y un entero b distinto de cero (el divisor), existen enteros q (cociente) y r (resto) tales que a = bq + r, con 0 ≤ r < |b| cuando se adopta la convención de resto no negativo. Con esta convención, r es único para a y b ≠ 0 fijos. Otras convenciones permiten que r tenga distintos rangos de signo, pero la idea básica es la misma: r mide lo que queda después de restar a un múltiplo entero de b.

Propiedades y convenciones de signo

Entre las propiedades y variaciones principales se incluyen:

• El resto es estrictamente menor en valor absoluto que el valor absoluto del divisor cuando se usa la convención no negativa.
• Para un divisor positivo b, el resto estándar satisface 0 ≤ r < b.
• Cuando intervienen números negativos, algunas convenciones exigen que r sea no negativo, mientras que otras le asignan el signo del dividendo o siguen reglas específicas de la implementación; esto provoca diferencias prácticas en los entornos de cálculo.

Ejemplos y cálculo

Algunos ejemplos numéricos sencillos aclaran la idea: dividir 17 entre 5 da cociente 3 y resto 2, porque 17 = 5·3 + 2. Si el dividendo es menor que el divisor, el cociente es 0 y el resto coincide con el dividendo (por ejemplo, 3 dividido entre 10 da q = 0, r = 3). Con dividendos o divisores negativos, el par (q, r) depende de la convención elegida; la identidad a = bq + r sigue siendo válida con cualquier elección coherente.

Relación con la aritmética modular y usos

El resto sustenta la operación módulo y la aritmética modular, en la que dos números se consideran equivalentes si tienen el mismo resto al dividirse por un módulo fijo. Esta perspectiva es central en la teoría de números y tiene muchas aplicaciones: la aritmética del reloj, el hashing, las sumas de verificación y los algoritmos para el máximo común divisor y la criptografía utilizan restos o residuos.

Distinciones y datos destacados

Es importante distinguir la palabra informal "resto" de términos como "módulo" o "clase de residuos" usados en álgebra abstracta: un resto es un representante entero específico, mientras que una clase de residuos es una clase de equivalencia formada por muchos enteros que comparten el mismo resto módulo un número dado. El cálculo práctico también trata los restos de forma distinta según el sistema, por lo que conviene ser explícito sobre la convención de signo o la semántica del lenguaje de programación cuando se usa la operación en código o en demostraciones.

Para ampliar la lectura sobre conceptos relacionados, véanse tratamientos generales de aritmética, descripciones algorítmicas de la división, propiedades de los enteros y definiciones formales de cociente.