Skip to Content
Matemática Discreta 1Aritmética Modular

Congruencia

Sean a,bZa, b \in \mathbb{Z} y mZ+m \in \mathbb{Z}+ decimos que aa es congruente a bb módulo mm
ab(modm)    m(ab)a \equiv b \pmod{m} \iff m \mid (a - b). Equivalente a decir que aa y bb tienen el mismo resto al dividirlos por mm.

Propiedades básicas de la congruencia

Sean x,y,zZ    mZ+x, y, z \in \mathbb{Z} \; \land \; m \in \mathbb{Z}+, entonces:

1) x0(modm)    mxx \equiv 0 \pmod{m} \iff m \mid x

x0(modm)    m(x0)    mxx \equiv 0 \pmod{m} \iff m \mid (x - 0) \iff m \mid x

2) xy(modm)    xy0(modm)x \equiv y \pmod{m} \iff x - y \equiv 0 \pmod{m}

xy(modm)    m(xy)    xy0(modm)x \equiv y \pmod{m} \iff m \mid (x - y) \iff x - y \equiv 0 \pmod{m}

D1) xx(modm)x \equiv x \pmod{m} (Reflexividad)

xx=0=m0    m(xx)x - x = 0 = m \cdot 0 \implies m \mid (x - x)

D2) xy(modm)    yx(modm)x \equiv y \pmod{m} \implies y \equiv x \pmod{m} (Simetría)

xy(modm)    m(xy)    m(xy)    m(yx)    yx(modm)x \equiv y \pmod{m} \implies m \mid (x - y) \implies m \mid -(x - y) \implies m \mid (y - x) \implies y \equiv x \pmod{m}

D3) xy(modm)    yz(modm)    xz(modm)x \equiv y \pmod{m} \; \land \; y \equiv z \pmod{m} \implies x \equiv z \pmod{m} (Transitividad)

xy(modm)    yz(modm)    m(xy)    m(yz)    m(xy+yz)    m(xz)    xz(modm)\begin{aligned} x \equiv y \pmod{m} \; \land \; y \equiv z \pmod{m} \implies m \mid (x - y) \; \land \; m \mid (y - z) \\ \implies m \mid (x - y + y - z) \implies m \mid (x - z) \implies x \equiv z \pmod{m} \end{aligned}

Teorema - Operaciones con congruencias

La congruencia es una relación de equivalencia compatible con la suma y el producto.
Sean x1,x2,y1,y2Z    mZ+x_1, x_2, y_1, y_2 \in \mathbb{Z} \; \land \; m \in \mathbb{Z}+, tal que:

x1x2(modm)    y1y2(modm)x_1 \equiv x_2 \pmod{m} \; \land \; y_1 \equiv y_2 \pmod{m}

1) x1+y1x2+y2(modm)x_1 + y_1 \equiv x_2 + y_2 \pmod{m}

2) x1y1x2y2(modm)x_1 \cdot y_1 \equiv x_2 \cdot y_2 \pmod{m}

3) Si xy(modm)    jN    xjyj(modm)x \equiv y \pmod{m} \; \land \; j \in \mathbb{N} \implies x^j \equiv y^j \pmod{m}

Ecuación lineal de congruencia

La ecuación lineal de congruencia es una ecuación de la forma axb(modm)ax \equiv b \pmod{m} donde debemos encontrar los xZx \in \mathbb{Z} que cumplan la congruencia.

Algunas ecuaciones lineales no tienen solución, otras tienen infinitas soluciones. Por ejemplo:

Teorema - mcd en congruencias

Sean a,bZ    mZ+a, b \in \mathbb{Z} \; \land \; m \in \mathbb{Z}+, y denotamos d=mcd(a,m)d = \textnormal{mcd}(a, m),
entonces hay solución para la ecuación axb(modm)    dbax \equiv b \pmod{m} \iff d \mid b.

En este caso dada una solución x0x_0, todas las soluciones son de la forma x=x0+kn,  kZ    n=mdx = x_0 + kn, \; k \in \mathbb{Z} \; \land \; n = \frac{m}{d}

Ejercicios resueltos - Ecuación lineal de congruencia

1.

Encontrar todos los xZx \in \mathbb{Z} que cumplan la congruencia:

2x3(mod2)2x \equiv 3 \pmod{2}

No tiene solución, ya que 2x2x siempre será par y 33 es impar.


2.

Encontrar todos los xZx \in \mathbb{Z} que cumplan la congruencia:

712x(mod11)7^{12} \equiv x \pmod{11}

Para resolver esta ecuación, veamos que:

725(mod11)72757(mod11)732(mod11)\begin{aligned} 7^2 &\equiv 5 \pmod{11} \\ 7^2 \cdot 7 &\equiv 5 \cdot 7 \pmod{11} \\ 7^3 &\equiv 2 \pmod{11} \end{aligned}

Por lo que podemos usar propiedad de las potencias para:

712=(73)4245(mod11)7125(mod11)\begin{aligned} 7^{12} &= (7^3)^4 \\ 2^4 &\equiv 5 \pmod{11} \\ 7^{12} &\equiv 5 \pmod{11} \end{aligned}

Por lo que 7127^{12} es congruente a 55 módulo 1111, y también congruente a los enteros de la forma 11k+5,  kZ11k + 5, \; k \in \mathbb{Z}.


3.

Encontrar todos los xZx \in \mathbb{Z} que cumplan la congruencia:

3x7(mod11)3x \equiv 7 \pmod{11}

Una forma de resolver este problema es encontrar soluciones con enteros no tan grandes:

300(mod11)313(mod11)326(mod11)339(mod11)341(mod11)354(mod11)367(mod11)3710(mod11)382(mod11)395(mod11)3108(mod11)3110(mod11)...\begin{aligned} &3 \cdot 0 \equiv 0 \pmod{11} \\ &3 \cdot 1 \equiv 3 \pmod{11} \\ &3 \cdot 2 \equiv 6 \pmod{11} \\ &3 \cdot 3 \equiv 9 \pmod{11} \\ &3 \cdot 4 \equiv 1 \pmod{11} \\ &3 \cdot 5 \equiv 4 \pmod{11} \\ &\color{green}{3 \cdot 6 \equiv 7 \pmod{11}} \\ &3 \cdot 7 \equiv 10 \pmod{11} \\ &3 \cdot 8 \equiv 2 \pmod{11} \\ &3 \cdot 9 \equiv 5 \pmod{11} \\ &3 \cdot 10 \equiv 8 \pmod{11} \\ &3 \cdot 11 \equiv 0 \pmod{11} \\ &... \end{aligned}

La solución general es x=6+11k,  kZx = 6 + 11k, \; k \in \mathbb{Z}. El patrón se repite cada 1111.

Otra forma de resolver el problema, es mediante el mcd(3,11)\textnormal{mcd}(3, 11).

11=33+23=21+1  ()2=12+0mcd(3,11)=117\begin{aligned} 11 &= 3 \cdot 3 + 2 \\ 3 &= 2 \cdot 1 + 1 \; (*) \\ 2 &= 1 \cdot 2 + 0 \\ \textnormal{mcd}(3, 11) &= 1 \\ 1 &\mid 7 \end{aligned}

Con esto sabemos que hay solución para la ecuación. Expresando el mcd en términos de 33 y 1111:

1=11(1)+34134(mod11)341(mod11)3(47)17(mod11)3287(mod11)    286(mod11)367(mod11)\begin{aligned} 1 &= 11 \cdot (-1) + 3 \cdot 4 \\ 1 &\equiv 3 \cdot 4 \pmod{11} \\ 3 \cdot 4 &\equiv 1 \pmod{11} \\ 3 \cdot (4 \cdot 7) &\equiv 1 \cdot 7 \pmod{11} \\ 3 \cdot 28 &\equiv 7 \pmod{11} \; \land \; 28 \equiv 6 \pmod{11} \\ 3 \cdot 6 &\equiv 7 \pmod{11} \end{aligned}

En este caso, fue necesario reducir el 2828 a 66 en módulo 1111 para encontrar la solución x=6x = 6.

6+k111=6+11k,  kZ6 + k \cdot \frac{11}{1} = 6 + 11k, \; k \in \mathbb{Z}

4.

Encontrar todos los xZx \in \mathbb{Z} que cumplan la congruencia tal que 0x1000 \leq x \leq 100:

6x3(mod57)6x \equiv 3 \pmod{57}

Para resolver este problema, primero encontramos el mcd(6,57)\textnormal{mcd}(6, 57) y comprobamos si divide a 33:

57=69+36=32+0mcd(6,57)=333\begin{aligned} 57 &= 6 \cdot 9 + 3 \\ 6 &= 3 \cdot 2 + 0 \\ \textnormal{mcd}(6, 57) &= 3 \\ 3 &\mid 3 \end{aligned}

Por lo que hay solución para la ecuación. Expresamos el mcd en términos de 66 y 5757:

3=(9)6+5713(9)6+5713(9)6(mod57)6(9)3(mod57)\begin{aligned} 3 &= (-9) \cdot 6 + 57 \cdot 1 \\ 3 &\equiv (-9) \cdot 6 + 57 \cdot 1 \\ 3 &\equiv (-9) \cdot 6 \pmod{57} \\ 6 \cdot (-9) &\equiv 3 \pmod{57} \end{aligned}

Todas las soluciones son (9)+k573=9+19k,  kZ(-9) + k \cdot \frac{57}{3} = -9 + 19k, \; k \in \mathbb{Z}.
Sin embargo, necesitamos las soluciones que cumplan con 0x1000 \leq x \leq 100:

09+19k100919k109919k109190,...k5,...1k5\begin{aligned} 0 &\leq -9 + 19k \leq 100 \\ 9 &\leq 19k \leq 109 \\ \frac{9}{19} &\leq k \leq \frac{109}{19} \\ 0,... &\leq k \leq 5,... \\ 1 &\leq k \leq 5 \end{aligned}

Por lo que las soluciones son 9+19k,  k{1,2,3,4,5}-9 + 19k, \; k \in \{1, 2, 3, 4, 5\} (fue necesario redondear a 11 y 55).


5.

Hallar todos los xx que satisfacen:

x21(mod4)x^2 \equiv 1 \pmod{4}

Si xx es solución, entonces x+4kx + 4k también lo es:

4k0(mod4)x+4kx(mod4)(x+4k)2x2(mod4)x21(mod4)\begin{aligned} 4k &\equiv 0 \pmod{4} \\ x + 4k &\equiv x \pmod{4} \\ (x + 4k)^2 &\equiv x^2 \pmod{4} \\ x^2 &\equiv 1 \pmod{4} \end{aligned}

Por lo que debemos buscar las soluciones para x=0,1,2,3x = 0, 1, 2, 3:

020(mod4)121(mod4)220(mod4)321(mod4)\begin{aligned} 0^2 &\equiv 0 \pmod{4} \\ 1^2 &\equiv 1 \pmod{4} \\ 2^2 &\equiv 0 \pmod{4} \\ 3^2 &\equiv 1 \pmod{4} \end{aligned}

Por lo que las soluciones son x=1x=3x = 1 \land x = 3.


6.

Hallar la solución al sistema de congruencias:

{x8(mod13)x3(mod11)x5(mod8)\left\{ \begin{array}{ll} x \equiv 8 \pmod{13} \\ x \equiv 3 \pmod{11} \\ x \equiv 5 \pmod{8} \\ \end{array} \right.

Primero debemos determinar si este sistema tiene solución. De acuerdo al Teorema chino del resto, si los módulos son coprimos entre sí, entonces el sistema tiene solución. En este caso si se cumple.

Viendo la primera ecuación, podemos determinar que:

x=8+13k,  kZx = 8 + 13k, \; k \in \mathbb{Z}

Sustituyendo en la segunda ecuación:

8+13k3(mod11)13k5(mod11)11k+2k5(mod11)2k5(mod11)2k+116(mod11)2k6(mod11)k3(mod11)\begin{aligned} 8 + 13k &\equiv 3 \pmod{11} \\ 13k &\equiv -5 \pmod{11} \\ 11k + 2k &\equiv -5 \pmod{11} \\ 2k &\equiv -5 \pmod{11} \\ 2k + 11 &\equiv 6 \pmod{11} \\ 2k &\equiv 6 \pmod{11} \\ k &\equiv 3 \pmod{11} \end{aligned}

Por lo que k=3+11t,  tZk = 3 + 11t, \; t \in \mathbb{Z}. Sustituyendo en el valor de xx:

x=8+13(3+11t)=8+39+143t=47+143tx = 8 + 13(3 + 11t) = 8 + 39 + 143t = 47 + 143t

Sustituyendo en la tercera ecuación:

47+143t5(mod8)7+7t5(mod8)7t2(mod8)8tt2(mod8)t2(mod8)t2(mod8)\begin{aligned} 47 + 143t &\equiv 5 \pmod{8} \\ 7 + 7t &\equiv 5 \pmod{8} \\ 7t &\equiv -2 \pmod{8} \\ 8t - t &\equiv -2 \pmod{8} \\ - t &\equiv -2 \pmod{8} \\ t &\equiv 2 \pmod{8} \end{aligned}

Sabemos el valor de tt, por lo que podemos encontrar el valor de xx:

x=47+143(2)=47+286=333x = 47 + 143(2) = 47 + 286 = 333

Por lo que la solución al sistema de congruencias es x=333x = 333.

Teorema de Fermat

Si pp es un número primo y aZa \in \mathbb{Z} entonces:
apa(modp)a^{p} \equiv a \pmod{p}

Si a,pa, p coprimos entonces:
ap11(modp)a^{p-1} \equiv 1 \pmod{p}


Teorema de Wilson

Si pp es un número primo, entonces:
(p1)!1(modp)(p - 1)! \equiv -1 \pmod{p}

Teorema chino del resto

Sean m1,m2,...,mkm_1, m_2, ..., m_k enteros positivos dos a dos coprimos, entonces el sistema de congruencias:

xb1(modm1)xb2(modm2)...xbk(modmk)\begin{aligned} x &\equiv b_1 \pmod{m_1} \\ x &\equiv b_2 \pmod{m_2} \\ &... \\ x &\equiv b_k \pmod{m_k} \end{aligned}

Tiene solución única módulo m1m2...mkm_1 \cdot m_2 \cdot ... \cdot m_k

Última vez actualizado el