Cómo entender los convenios de signo
Los dos convenios dan resultados idénticos mientras ambos números sean positivos, pero divergen en cuanto interviene un valor negativo, tal como se aprecia abajo.
| a | b | Resultado de suelo (signo de b) | Resultado truncado (signo de a) |
|---|---|---|---|
| 13 | 5 | 3 | 3 (igual: ambos positivos) |
| −13 | 5 | 2 | −3 |
| 13 | −5 | −2 | 3 |
| −13 | −5 | −3 | −3 (igual: ambos negativos) |
- El módulo de suelo (que aquí se ofrece como resultado principal) es el convenio habitual en matemática pura y teoría de números, y coincide con el operador % de Python.
- El módulo truncado (mostrado como resultado secundario) coincide con el operador % de JavaScript, C, C++, Java y la mayoría de los lenguajes de la familia C, donde el signo del resto sigue al dividendo.
- El módulo con divisor cero no está definido y esta calculadora no lo calcula: el divisor debe ser un número distinto de cero.
¿Qué es la operación módulo?
La operación módulo, escrita a mod b (o a % b), devuelve el resto de dividir a entre b. Por ejemplo, 13 mod 5 = 3, porque 13 = 2 × 5 + 3: al dividir 13 entre 5 el cociente es 2 y sobran 3. El módulo resulta fundamental en teoría de números (la aritmética modular o «del reloj»), en informática (funciones hash, indexación cíclica, sumas de verificación) y en el razonamiento cotidiano sobre restos y ciclos, como los días de la semana o las horas del reloj.
Existen dos convenios muy extendidos para fijar el signo del resultado cuando intervienen números negativos: el módulo de suelo, en el que el resultado toma siempre el signo del divisor b, y el módulo truncado, en el que toma siempre el signo del dividendo a. Ambos son definiciones matemáticamente válidas de «resto» y coinciden exactamente cuando a y b son positivos; solo se separan si aparece algún valor negativo.
La elección del convenio importa en la práctica porque cada lenguaje de programación adopta uno por defecto: el operador % de Python usa el módulo de suelo, mientras que JavaScript, C, C++, Java y la mayoría de los lenguajes de la familia C emplean el truncado (con el signo del dividendo). Esta calculadora muestra ambos resultados de forma explícita para que puedas leer directamente el que necesites.
Cómo usar esta calculadora de módulo
- Introduce el dividendo (a), el número que se divide.
- Introduce el divisor (b), el número entre el que se divide. No puede ser 0, ya que la división —y con ella el módulo— no está definida entre cero.
- Consulta el resultado con el convenio de suelo (el signo siempre sigue al divisor), el más habitual en teoría de números.
- Compáralo con el resultado truncado (el signo sigue al dividendo) si necesitas reproducir el operador % de un lenguaje concreto, y revisa el cociente y la ecuación completa de la división para ver el desglose.
Las fórmulas del módulo de suelo frente al truncado
El módulo de suelo define el cociente como q = ⌊a ÷ b⌋ (redondeado hacia abajo, hacia menos infinito) y después r = a − b×q. Esto garantiza que el resto r comparta siempre signo con el divisor b (o sea 0) y que cumpla 0 ≤ r < |b| cuando b > 0. Ejemplo resuelto: 13 mod 5: q = ⌊13/5⌋ = 2 y r = 13 − 5×2 = 3.
Ejemplo resuelto con dividendo negativo: −13 mod 5 (suelo): q = ⌊−13/5⌋ = ⌊−2,6⌋ = −3 y r = −13 − 5×(−3) = −13 + 15 = 2. Fíjate en que el resultado es positivo, igual que el divisor, algo que lo distingue del resultado truncado que viene a continuación.
El módulo truncado define el cociente redondeando hacia cero en lugar de hacia menos infinito, y calcula el resto de la misma manera; así el resto comparte siempre signo con el dividendo a (o vale 0). Ejemplo resuelto: −13 mod 5 (truncado, el resultado del % de JavaScript, C o Java): el cociente redondea −2,6 hacia cero y queda −2, de modo que r = −13 − 5×(−2) = −13 + 10 = −3, negativo como el dividendo y distinto del +2 que da el convenio de suelo con los mismos datos.
Errores frecuentes
- Suponer que todos los lenguajes de programación calculan a mod b igual con números negativos: JavaScript, C, C++ y Java usan el módulo truncado, mientras que Python y buena parte de los textos matemáticos usan el de suelo, y los resultados difieren siempre que a es negativo.
- Olvidar que el resultado de suelo comparte el signo del divisor y no el del dividendo, justo lo contrario de lo que devuelve el convenio truncado al estilo de JavaScript.
- Intentar calcular a mod 0: la operación módulo, igual que la división, no está definida cuando el divisor es cero.
- Introducir datos no enteros y esperar una aritmética modular al estilo de los enteros: esta calculadora admite números reales y aplica la misma lógica de suelo o truncamiento, pero muchas propiedades clásicas de la aritmética modular (como la del reloj) se definen específicamente para enteros.
Preguntas frecuentes
¿Qué diferencia hay entre el módulo de suelo y el truncado?
El módulo de suelo redondea el cociente hacia menos infinito, de modo que el resto comparte siempre signo con el divisor. El truncado redondea el cociente hacia cero, con lo que el resto comparte signo con el dividendo. Coinciden mientras ambos números sean positivos, pero difieren si alguno es negativo: −13 mod 5 vale 2 con el convenio de suelo y −3 con el truncado.
¿Por qué −13 mod 5 da resultados distintos según la calculadora?
Porque depende del convenio de signo. El módulo de suelo da 2 (el resultado sigue el signo positivo del divisor y cumple 0 ≤ r < 5). El truncado da −3 (sigue el signo negativo del dividendo). El operador % de Python devuelve 2; los de JavaScript, C y Java devuelven −3. Ninguno es «más correcto»: son dos definiciones matemáticas distintas e igualmente válidas.
¿Cómo se calcula a mod b a mano?
Se divide a entre b para obtener el cociente, se redondea según el convenio elegido (hacia abajo en el de suelo, hacia cero en el truncado) y se resta a a el producto de b por ese cociente redondeado: resto = a − b × cociente. Para 13 mod 5: 13 ÷ 5 = 2,6, que redondea a un cociente de 2 en ambos convenios, así que el resto es 13 − 5×2 = 3.
¿Qué significa «mod» en la aritmética modular y la del reloj?
La aritmética modular trata los números como si «dieran la vuelta» al llegar al módulo; el ejemplo clásico es el reloj de 12 horas, donde el tiempo se calcula mod 12 (o mod 24 en el formato de 24 horas). Así, las 15 horas en notación de 24 horas corresponden a 15 mod 12 = 3 en una esfera de 12. El módulo es precisamente la operación que produce ese resto «enrollado».
¿Se puede calcular el módulo con un divisor negativo?
Sí. Con el convenio de suelo, a mod b con b negativo da un resto del mismo signo que b: por ejemplo, 13 mod −5 = −2, ya que 13 = (−3)×(−5) + (−2). Con el convenio truncado, en cambio, el resto sigue el signo del dividendo: 13 mod −5 = 3, porque el cociente redondea hacia cero y queda −2, de donde 13 − (−5)×(−2) = 13 − 10 = 3.
Referencias
- Rosen KH. Elementary Number Theory and Its Applications. 6th ed. Pearson, 2010. (Division algorithm and modular arithmetic.)
- Leijen D. Division and Modulus for Computer Scientists. Utrecht University Technical Report UU-CS-2001-20, 2001. (Formal comparison of flooring, truncating and Euclidean division conventions.)
- ECMA International. ECMA-262: ECMAScript Language Specification — the remainder operator (%). ecma-international.org.