1.

Congruencia

1.1. Notación:
• a | b : a divide a b
• a ∤ b : a no divide a b
• r d (a) : resto de dividir a por d

0 < r d (a) ⩽ d
1.2. Definición:
Decimos que a es congruente a b módulo m, si m | (a - b).
Lo escribimos como a ≡ b (m) ó a ≡ b mod m
Notemos que se trata de una relación entre números de manera similar a la igualdad, y
no de una operación.

Ejemplos:
• 10 ≡ 2 (4)
• 4 ≡ -1 (5)
• -3 ≢ 3 (10)

Propiedades:
• a ≡ a (m)
• a ≡ b (m) ⇔ b ≡ a (m)
• a ≡ b ∧ b ≡ c (m) ⟹ a ≡ c (m)
• a ≡ b (m) ⇔ a + c ≡ b + c (m) ⇔ a - c ≡ b - c (m)
• a ≡ b (m) ⟹ ac ≡ bc (m) (nota: buscar un ejemplo donde no valga la vuelta)
• a ≡ b (m) ⇔ ac ≡ bc (mc)
• a ≡ b (m) ⟹ a c ≡ b c (m)
• a ≡ r m (a) (m)
• a ≡ b (m) ⇔ r m (a) = r m (b)
• a ≡ 0 (m) ⇔ m|a
• Si a ≡ b (m) ⟹ ∃ !k∈Z : a = b + mk
• ∃ 0⩽b<m / a ≡ b (m) (para todo número a, existe un b entre 0 y m con el que es
congruente)
• ∃ -⌊m/2⌋⩽b<⌈m/2⌉ / a ≡ b (m)
1.3. Nota:
Al igual que con la igualdad, si suele "encadenar", por ejemplo
a ≡ b ≡ c ≡ d (m). Notar que la (m) se suele poner al final de las cadenas, a veces
se puede obviar si mencionamos que vamos a hacer las operaciones modulo m.

Ejemplo:

Deduzcamos el criterio de divisibilidad por 9 y 11:

n = 10 k d k + ... + 10 2 d 2 + 10d 1 + d 0 ≡ 1 k d k + ... + 1 2 d 2 + 1d1 + d 0 ≡ dk + ... + d2 + d 1 + d 0 (9)

n = 10 k d k + ... + 10 2 d 2 + 10d 1 + d 0 ≡ (-1) k d k + ... + (-1) 2 d 2 + (-1)d1 + d 0 (11)

≡ (-1) k d k + ... + d 2 - d1 + d 0 (11)
1.4. Cosas útiles
• Si p > 2 es un número primo, entonces p ≡ ± 1 (4) y p 2 ≡ 1 (4)
• Si p > 3 es un número primo, entonces p ≡ ± 1 (6) y p 2 ≡ 1 (6)
• Si 3 ∤ a entonces a 2 ≡ 1 (3)
• Si 2 ∤ a entonces a 2 ≡ 1 (4)
• Si 5 ∤ a entonces a 2 ≡ ± 1 (5)
• De la última propiedad de 1.3, observar que cuando elevamos al cuadrado, la
cantidad posible de clases de restos es menor o igual a la mitad redondeada para
arriba.

2. Divisibilidad

2.1. Propiedades
• d|a ∧ d|b ⟹ d|(a + b)
• d|a ∧ d|b ⟹ d|(a - b)
• d|a ∧ d|b ∧ a > 0 ⟹ d|r a (b)

2.2. Definición:
• mcd(a, b) : máximo común divisor de a y b. (mayor número que divide a a y a b)
• mcm(a, b) : mínimo común múltiplo de a y b. (menor número que es divisible por a
y por b)
2.2.1. Propiedades
• mcd(a, 0) = a
 • mcd(a, b) = mcd(a, b + a) = mcd(a, b - a)
• a > 0 ⟹ mcd(a, b) = mcd(a, r a (b)) ← Algoritmo de Euclides
• mcd(a, b) ⨯ mcm(a, b) = ab
• mcd(ab, ac) = a × mcd(b, c)
• Si b es coprimo con c ⟹ mcd(ab, c) = mcd(a, c)
• mcd(ab, c) ⩽ mcd(a, c) × mcd(b, c)
2.2.2. Ejemplo de Algoritmo de Euclides
mcd(134, 28) = mcd(22, 28) = mcd(22, 6) = mcd(4, 6) = mcd(2, 4) = mcd(2, 0) = 2
2.3. Definición
Se dice que a es coprimo con b, si no existe un primo que los divida a ambos.
• 3 es coprimo con 5
• 15 es coprimo con 8
• 6 no es coprimo 8, porque los dos son divisibles por 2
2.3.1. Propiedades
• mcd(a, b) = 1 ⇔ a es coprimo con b
• Si a es coprimo con b, y a|bc, entonces a|c
• Si a es coprimo con m entonces b ≡ c (m) ⇔ ab ≡ ac (m) (es decir, vale
"dividir" por a)

2.4. Ecuaciones diofánticas

La ecuación ax + by = c tiene soluciones x, y ∈ Z si y solo si mcd(a, b) | c
2.4.1. Demostración
Probar que c es divisible por mcd(a, b) es trivial:
mcd(a, b) | a ∧ mcd(a, b) | b ⟹ mcd(a, b) | aX + bY ⟹ mcd(a, b) | c

Nos queda probar que si mcd(a, b)|c entonces existe una solución. Notemos que alcanza
con probar que existe para c = mcd(a, b), ya que en los otros casos podemos multiplicar
a x y a y por el c / mcd(a, b)

Probaremos por inducción en el menor de a y b (supongo sin perdida de generalidad que

b ⩽ a):

Caso base: b = 0
mcd(a, 0) = a ⟹ a × 1 + b × 0 = a = mcd(a, 0)

Caso inductivo: Supongo que existe cuando el menor de los números es menor a n.
Veamos que también vale cuando el menor es igual a n.
Recordemos que mcd(a, b) = mcd(b, r b (a))
Como n = b > r b (a), entonces la ecuación bx + r b (a)y = mcd(a, r b (a)) tiene una
solución.
Si x' y y' son esas soluciones, vale que
bx' + r b (a)y' = mcd(a, r b (a)) = mcd(a, b)
pero como existe un k tal que a = bk + r b (a) ⟹ r b (a) = a - bk, reemplazando
tenemos
bx' + r b (a)y' = bx' + (a - bk)y' = bx' + ay' - bky' = ay' + b(x' - ky)
Es decir que:
ay' + b(x' - ky) = mdc(a, b)
Con lo que encontramos una solución.

2.4.2. Corolario 1
• Si a es coprimo con b, la ecuación ax + by = 1 tiene solución.
2.4.3. Propiedad
Inverso modulo m
Si a es coprimo con m, existe un t tal que ax ≡ 1(m)

ax ≡ 1 (m) ⇔ m|(ax - 1) ⇔ ∃y / ax - 1 = my ⇔ ∃y / ax - my = 1

Y lo último sabemos que es verdad por el teorema anterior.

A este numero se denomina el inverso multiplicativo de a, y se lo suele escribir como a -1

3. Primos

3.1. Teorema
Existen infinitos primos

Demostración:
Supongamos que sea falso. Sean p 0 , p 1 , ... p k todos los primos. Tomemos
n = p 0 p 1.. p n + 1.
n no puede ser divisible por ninguno de los primos p 0 , p 1 , ... p k , ya que tiene resto 1 en la
división. Entonces o bien es primo, o bien es divisible por algún primo que no está en
p 0 , p 1 , ... p k , pero habíamos asumido que esos eran los únicos primos posibles, con lo
que llegamos a una contradicción. Por lo tanto existen infinitos números primo.

3.2. Teorema
Todo numero mayor que 1 puede escribirse como producto de números primos de una
única manera:
𝛼 𝛼 𝛼
n = p o 0 p 1 1 ... p k k
3.3. Nota
En general vamos a usar p y q para denominar a números primos y puede pasar que no
se aclare eso. De la misma manera 𝛼 i y 𝛽 i los vamos a usar para nombrar a exponentes
de p i

3.4. Propiedades
• La cantidad de divisores de n es (1 + 𝛼 0 )(1 + 𝛼 k )...(1 + 𝛼 k ).
• Un numero tiene una cantidad impar de divisores si y solo si es un cuadrado
perfecto.
𝛼 +1 𝛼1 +1 𝛼 +1
po 0 - 1 p1 -1 pk k -1
• La suma de los divisores de n es ....
p0 - 1 p1 - 1 pk - 1