Denition 1 n, m ∈ Z, diremos que n divide

Sea a m, o que m es divisible por n, o que n es un divisor de m

o que m es un múltiplo de n, en símbolos n | m si existe un entero z tal que m = n · z . Si n no divide a m lo
denotaremos como n - m

Denition 2 Sea p un entero positivo mayor que 1. Diremos que p es un número primo si los únicos divisores
positivos de p son 1 y p.

Propiedades:
1. Si a | b entonces a | b · c para cualquier entero c.
2. Si a | b y b | c entonces a | c.
3. Si a | b y a | c entonces para todos enteros n, m se tiene que a | nb + mc
4. Si a | b y b | a, entonces a = ±b.
5. Si a | b con a, b > 0 entonces a ≤ b.
6. Si p es un número primo y p | a · b, entonces p | a o p | b
Theorem 3 (Teorema Fundamental de la Aritmética) Sea n un número natural mayor que 1, entonces
αk
existen números primos p1 , ..., pk y enteros positivos α1 , ..., αk tales que n = pα
1 · · · pk
1
y la manera de expresar
a un número natural de esta forma es única. A la expresión de n como producto de números primos dada por
este teorema se le conoce como la factorización canónica de n.

Theorem 4 (Algoritmo de la División) Sean n, m ∈ Z, entonces existen enteros q, r con 0 ≤ r < |m| tales
que n = mq + r y la manera de expresar a n de esta forma es única. A r se le llama el residuo de dividir a n
por m.

Theorem 5 (Expansión de un número en base decimal) Si n un número natural entonces existen en-
k
10i ai
P
teros positivos k y a0 , a1 , ..., ak ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} tales que n=
i=0

Denition 6 Sean a, b ∈ Z no ambos 0. d es un divisor común de a y b si d | a y d | b. El máximo común

divisor de a y b denotado por [Link], b o (a, b) es el mayor divisor común de a y b. También diremos que a y
b son primos relaticos si (a, b) = 1.

Denition 7 Sean a, b ∈ Z. Un múltiplo común de a y b es un número n que es múltiplo de a y de b. El

mínimo entero positivo que es múltiplo común de a y b es el menor entero positivo que es múltiplo común de
a y b y se denota por [Link], b o por [a, b].

Theorem 8 (Lema de Bezout) Si a, b son enteros no ambos cero, entonces existen enteros n, m tales que
a · n + b · m = (a, b). De hecho el máximo común divisor de a y b es el mínimo entero positivo d que se puede
escribir de la forma a·n+b·m con n, m ∈ Z.

1
1 Problemas
P1 Sean n1 , n2 , m ∈ Z, si r1 y r2 son los residuos de dividir a n1 , n2 por m demuestra que el residuo de
dividir n1 · n2 por m es el mismo residuo de dividir r1 · r2 por m. También demuestra que el residuo de
dividir n1 + n2 entre m es el mismo residuo de dividir r1 + r2 entre m.
P2 (Criterio de divisivilidad por 2). Sea n un número natural, demuestra que n es divisible por 2 si y sólo
si termina en 0, 2, 4, 6, 8.
P3 (Criterio de divisibilidad por 3). Sea n un número natural, demuestra que n es divisible por 3 si y sólo
si la suma de los dígitos de n es divisible por 3.
P4 (Criterio de divisibilidad por 4). Sea n un número natural, demuestra que n es divisible por 4 si y sólo
si el número formado por las decenas y unidades de n es divisible por 4.
P5 (Criterio de divisibilidad por 5). Sea n un número natural, demuestra que n es divisible por 5 si y sólo
si termina en 0 o 5.
P6 Demuestra que si 0 | a, entonces a = 0.
P7 Demuestra que si a | bc y (a, b) = 1 entonces a | c
P8 Encuentra todos los enteros positivos n tales que n2 + 1 es divisible por n + 1.
P9 Encuentra todos los enteros n 6= 3 tales que n − 3 | n3 − 3.
P10 Sean 1 · · · pk y m = q1 · · · ql
n = pα1 αk β1 αl
están expresados en su factorización canónica. Demuestra lo
siguiente:
(a) (n, m) = r1γ1 · · · rsγs , donde r1 , ..., rs son los primos que aparecen tanto en la factorización canónica
de n como la de m y γi es el exponente menor en el que el primo ri aparece en la factorización de
n o de m.
(b) [n, m] = tδ11 · · · tδvv , donde t1 , t2 , ..., tv son los primos que aparecen en la factorización de n ó en la
factorización de m y además si ti sólo aparece en la factorización de n (o de m pero no de ambas) el
exponente δi es el exponente que aparece en la factorización de n (o de m) y si ti aparece en ambas
factorizaciones entonces δi es el exponente mas grande de ambos.
(c) Usa lo anterior para probar que (n, m) · [n, m] = n · m.
P11 Demuestra que si a | bc y (a, b) = 1 entonces a | c.
P12 Demuestra que si a | c y b | c y además (a, b) = 1, entonces a · b | c.
P13 Demuestra que si a > 1 y m son enteros positivos entonces a − 1 | am − 1.
P14 Demuestra que si a > 1 y m son enteros positivos entonces
 
am −1
a−1 , a − 1 = (a − 1, m).

P15 Demuestra que si n es un entero positivo, k = 13 + 23 + ... + n3 y m = 3(15 + 25 + ... + n5 ) entonces k | m.

P16 Demuestra que si a, b, c son enteros y 9 | a3 + b3 + c3 entonces 3 | a · b · c.
P17 Sean a, b enteros tales que 7 | a2 + b2 . Prueba que 72 | ab.

2
P18 Demuestra que si p es un número primo, entonces para cualquier entero n se tiene que (n, p) = 1 ó p.
P19 Sea k ∈ N, determina (2k + 1, 9k + 4).
P20 Sea k ∈ N, determina en función de k, (2k − 1, 9k + 4).
P21 Sea n > 3, a, b, c ∈ Z. Demuestra que hay innitos enteros k tales que n - k + a, n - k + b y n - k + c.
P22 Prueba que existen innitos números primos.
P23