Juan Camilo Rodríguez

Congruen
Sanín – 20182020163

Sebastian Castañeda –

cias
20172020138

Santiago Gomez -
20191020006
 Definición y propiedades
básicas
es un término usado en la teoría de números, para designar que
dos números enteros a y b tienen el mismo resto al dividirlos
por un número natural  m ≠ 0, llamado módulo; esto se expresa
utilizando la notación
A ≡ b (mod m)

si a no es congruente con b módulo n, escribimos a ≠ b (mod

n).
Si a es un entero, el residuo de dividirlo por n caracteriza el
comportamiento de a modulo n en el siguiente sentido.

Teorema: Dos enteros a y b son congruentes modulo n si y

solo si tienen el mismo residuo al dividirlos por n.

Demostración:
a = b + kn = (qn + r) + kn
= (q + k)n + r
 Como (q + k) es un entero observamos que a y b tienen el
mismo residuo al dividirlos por n.

Recíprocamente, supongamos que a y b tienen el mismo

residuo al dividirlos por n. Tenemos entonces
a = q1n + r b = q2n + r, con 0 ≤ r < n.

En consecuencia, restando termino a termino tenemos

a − b = (q1 − q2)n, es decir a ≡ b (mod n).

Directamente de la definición tenemos el resultado siguiente.

 Teorema: La congruencia modulo n es una relación de
equivalencia sobre Z
Demostración:
1. Reflexiva: Para cualquier entero a, n | (a − a) = 0 es decir a
≡ a (mod n)

2. Simétrica: Si a ≡b (mod n) entonces n | (a − b) y por lo tanto n |

−(a − b) = b − a, luego b ≡ a (mod n)

3. Transitiva: Si a ≡ b (mod n) y b ≡ c (mod n) entonces n

| (a − b) y n | (b − c), por lo tanto n | {(a − b) + (b − c)} = a − c, es
decir a ≡ c (mod n)
 Teorema. Si a ≡ b (mod n) y c ≡ d (mod n) entonces
Demostración:
1. La hipótesis dice que n | (a − b) y n | (c − d) luego, por el Teorema 2.1
tenemos que n | {r(a − b) + s(c − d)} = (ar + cs) − (br + ds) y por lo tanto ar +
cs ≡ br + ds (mod n)

2. Se sigue de (1) tomando r = s = 1

3. Se sigue de (1) tomando r = 1 y s = −1

4. Basta observar que ac − bd = (a − b)c + b(c − d)

 5. La demostración es por inducción sobre k. Para k = 1 la
afirmación es obvia. Además, si suponemos que a^k ≡ b^k (mod
n), puesto que a ≡ b (mod n) obtenemos aplicando 4) que
a^k+1 ≡ b^k+1 (mod n). Por el PIM el resultado es cierto para
todo entero positivo k

6. Es suficiente aplicar (2) a las congruencias a ≡ b (mod n) y r ≡

r (mod n)

7. Se sigue de (1) tomando s = 0

Corolario: Si a ≡ b (mod n) y P(x) es un polinomio con coeficientes
enteros, entonces P(a) ≡ P(b) (mod n)

Ejemplo: Hallemos el residuo obtenido al dividir 7135 por 8.

Observemos que 72 ≡ 1 (mod 8), luego por el Teorema 4.5 tenemos

7^135=(7^2)^67· 7 = 1 · 7 ≡ 7 (mod 8)

y por el Teorema 4.3 el residuo de dividir 7135 por 8 es el mismo

de dividir 7 por 8, es decir 7
 Teorema: Sean n1, n2, . . . , nr enteros positivos. Si para
cada i = 1, . . . , r, a ≡ b (mod ni) entonces
a ≡ b (mod [n1, . . . , nr]).

Demostración:
Por hipótesis, para cada i = 1, . . . , r ni | (a − b) y por (3) del
Teorema 2.37, [n1, . . . , nr] | (a − b)
es decir, a ≡ b(mod [n1, . . . , nr]).
Corolario:
Si n1, n2, . . . , nr son enteros positivos primos relativos dos a
dos y para cada i = 1, . . . , r, a ≡ b (mod ni) entonces
a ≡ b (mod (Yr i=1) ni)

Teorema:
Si ac ≡ bc (mod n) y d = (c, n) entonces a ≡ b (mod n/d ).
Demostración.
Por hipótesis n | (ac−bc) es decir c(a−b) = kn con k entero.
De otra parte como d = (c, n) tenemos por el Corolario 2.12
que c = dC y n = dN donde (C, N) = 1.
Por lo tanto tenemos dC(a − b) = kdN y entonces C(a − b) =
kN.
Luego N | C(a − b) y como (C, N) = 1 entonces N | (a − b).
En otros términos a ≡ b (mod N) o sea a ≡ b (mod n d )
Corolario:

Si ac ≡ bc (mod n) y (c, n) = 1 entonces a ≡ b (mod n)

 divisibilidad
Teorema: Un entero positivo expresado en forma decimal es divisible
por 3 si y solo si la suma de sus dígitos es divisible por 3
Demostración:

Todo entero positivo n lo podemos expresar en la forma n = a0 + a110

+ a2102 + · · · + ak10^k ,
donde 0 ≤ ai < 10 para cada i y k es un entero no negativo.
Al observar el polinomio con coeficientes enteros P(x) = a0 + a1x +
a2x^2 + · · · + akx^k ,
 observamos que
P(10) = n, P(1) = a0 + a1 + a2 + · · · + ak.

Como 10 ≡ 1(mod 3), por el corolario 4.6 tenemos que

n ≡ a0 + a1 + a2 + · · · + ak(mod 3).

Luego n − (a0 + a1 + · · · + ak) = 3t para algún entero t, y de esta

igualdad concluimos que 3 | n si y solo si 3 | (a0 +a1 +· · ·+ak).
Si notamos que todas las congruencias en la demostración
anterior son validas cuando el modulo es 9, tenemos también
el criterio siguiente.
 Teorema: Un entero positivo expresado en forma decimal es
divisible por 9 si y solo si la suma de sus dígitos es divisible por
9

Ejemplo: El número 35.747.826 es divisible por 3 pues la suma

de sus dígitos es
3+5+7+4+7+8+2+6=42
y 42 es divisible por 3. Sin embargo, como 42 no es múltiplo de
9 el número no es divisible por 9
Teorema: Un entero positivo con más de un dígito, expresado en
forma decimal es divisible por 4, si y solo si, el número formado
por sus dos ´ultimo dígitos es divisible por 4.

Demostración:
Supongamos que la representación en base 10 del entero
positivo n es
n = ak10^k + · · · + a110 + a0,
entonces el número formado por sus dos ´últimos dígitos es
a110 + a0
 Como 10^2 ≡ 0 (mod 4), por aplicación repetida de la
propiedad 7) del Teorema 4.5 con r = 10, tenemos que 10^3 ≡
0(mod 4), 10^4 ≡ 0(mod 4), . . . , 10^k ≡ 0(mod 4). Por lo tanto

n ≡ a110 + a0(mod 4).

Luego n−(a110+a0) = 4k para algún entero k, y de esta

ecuación concluimos que 4 | n si y solo si 4 | (a110 + a0),
como queríamos comprobar.
Ejemplo:
El número 624.746.872 es divisible por 4 pues 4 | 72, en
cambio el número 321658 no es divisible por 4 pues 58 no
es multiplo de 4.
 modulo n
a y b se encuentran en la misma "clase de congruencia"
módulo n, si ambos dejan el mismo resto si los dividimos
entre n, o, equivalentemente, si a − b es un múltiplo de n.

Esta relación se puede expresar cómodamente utilizando la

notación de Gauss
a ≡ b (mod n)
Ejemplo:
cuando el módulo es 12, entonces cualesquiera dos
números que divididos entre doce den el mismo resto son
equivalentes (o "congruentes") uno con otro.
Los números
..., −34, −22, −10, 14, 26,....

son todos "congruentes módulo 12" unos con otros, ya

que cada uno deja el mismo resto (2) cuando los
dividimos entre 12. La colección de todos esos números
es una clase de congruencia.
Propiedades principales

Si
a1 ≡ b1 (mod n)
Y
a2 ≡ b2 (mod n)
Entonces
a1+a2 ≡ b1+b2 (mod n)
Y
a1a2 ≡ b1b2 (mod n)
• 

Pequeño teorema de Fermat y teorema de Euler

Un hecho importante sobre aritmética modular, cuando los
módulos son números primos es el pequeño teorema de
Fermat: si p es un número primo, entonces:
Si a es cualquier entero:
(mod p)
Si a es un entero no divisible entre p:
(mod p)