Recurrencias y aritmética · Definición
Congruencia modular
Antes de empezar necesitas conocer
Permite trabajar con residuos como si fueran números, y por eso aparece en relojes, calendarios, criptografía y criterios de divisibilidad.
Definición
Dos enteros \(a\) y \(b\) son congruentes módulo un entero positivo \(m\) si \(m\) divide a su diferencia; equivale a que dejen el mismo residuo al dividirse entre \(m\).
La idea es la del reloj: a las 15 h y a las 3 h la manecilla está en el mismo sitio, porque \(15\equiv3\pmod{12}\). Todo entero es congruente módulo \(m\) con exactamente un residuo entre 0 y \(m-1\), llamado \(a\bmod m\). Por eso \(17\equiv5\pmod6\) y \(-7\equiv3\pmod5\): el residuo nunca es negativo. La congruencia es reflexiva, simétrica y transitiva, así que parte los enteros en \(m\) clases de equivalencia.
Lo útil es que la congruencia respeta las operaciones: si \(a\equiv b\) y \(c\equiv d\pmod m\), entonces \(a+c\equiv b+d\), \(a-c\equiv b-d\) y \(ac\equiv bd\). Así se pueden reducir los números antes de operar: \(2^{10}\bmod7\) se obtiene de \(2^3\equiv1\), sin calcular 1024. Con ello se hallan últimas cifras, se demuestra que un cuadrado deja residuo 0 o 1 módulo 4 y se justifican los criterios de divisibilidad entre 3 y 9.
La división es la excepción: de \(ac\equiv bc\) no se puede concluir \(a\equiv b\) (en módulo 6, \(4\cdot1\equiv4\cdot4\)). Solo se cancela \(c\) cuando \(\gcd(c,m)=1\), y entonces \(c\) tiene un inverso módulo \(m\) que se calcula con el algoritmo de Euclides extendido. Un error común es confundir la congruencia \(\equiv\) con la igualdad: \(a\equiv b\pmod m\) afirma una propiedad de la diferencia, no que los números sean iguales.
Para pensar
¿Es cierto que \(38\equiv2\pmod9\)?
Sí: \(38-2=36\) es múltiplo de 9. Equivale a que 38 y 2 dejen residuo 2 al dividirse entre 9, pues \(38=4\cdot9+2\).
Halla el residuo de \(10^{100}\) al dividirse entre 9.
Como \(10\equiv1\pmod9\), \(10^{100}\equiv1^{100}=1\pmod9\). El residuo es 1.
Ejercicios 10
- ¿Cuál de las siguientes congruencias es verdadera?
- Calcula \(53\bmod8\).
- ¿Cuánto vale \(-7\bmod5\)?
- Calcula \((17+25)\bmod6\).
- Calcula \(3^4\bmod5\).
- Calcula \(2^{10}\bmod7\).
- Resuelve \(3x\equiv4\pmod7\) con \(0\le x\le6\).
- ¿Cuál es la última cifra de \(7^{2026}\)?
- Si \(a\equiv b\) y \(c\equiv d\pmod m\), ¿cuál afirmación NO se cumple siempre?
- ¿Qué residuos puede dejar un cuadrado perfecto al dividirse entre 4?
Después de esto
Relacionados
Referencias
- Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th edition, McGraw-Hill, 2019. §4.1
- Susanna S. Epp, Discrete Mathematics with Applications, 5th edition, Cengage, 2019. §8.4