Introducción a la teoría de números

Joseph Höhlen

21 de abril de 2019

1. Introducción
Para el siguiente artículo supondremos que el lector está familiarizado
con los distintos tipos de números (naturales N = {0, 1, 2, 3, . . . }1 , enteros
Z = {0, ±1, ±2, . . . } y racionales Q = {a/b : a, b ∈ Z∧b 6= 0}) al igual que las
operaciones básicas de suma, resta, multiplicación y división. Al contrario de
otros de mis escritos, el presente es independiente de otras lecturas, de forma
que no se piden requisitos avanzados ni será este una lectura obligatoria
para la comprensión de otro. La finalidad principal es el de la preparación
introductiva al tema para afrontar problemas olímpicos.

2. Divisibilidad
En orden para continuar con nuestras demostraciones debemos primero
introducir un axioma local2 :

Axioma del Buen Orden: Todo subconjunto no vacío S de los

naturales N posee elemento mínimo.

Teorema 2.1 – Algoritmo de la división: Dados cualesquiera a, b ∈ Z

con a > 0, existen unos únicos números q, r ∈ Z tales que

b = aq + r, 0≤r<a
Demostración: Vamos a definir un conjunto
S = {x ∈ N : x = b − an, n ∈ Z}
1
En algunos casos se decide no incluir al “0”, sin embargo, al estudiar la matemática
formalmente, aquel elemento es indispensable.
2
Con esto nos referimos a que es demostrable en sistemas que no partan desde los
axiomas de Peano.

1
y veremos que es no vacío.
Si b ≥ 0 entonces para n = 0 se obtiene x = b − a · 0 = b ≥ 0 luego b ∈ S.
Si b < 0 entonces, como a es entero positivo, luego a ≥ 1, multiplicando
por −b obtenemos

−ab ≥ −b =⇒ x = b − ab ≥ 0,

finalmente x ∈ S, es decir, S es siempre no vacío.

Por axioma del buen orden, S posee mínimo al que denotaremos como

r = b − aq.

Ahora hemos de probar la desigualdad con r. Supongamos que (como r es

natural) por contradicción r ≥ a, luego r − a = b − aq − a = b − a(q + 1) ≥ 0,
por lo tanto, r − a ∈ S, lo que contradice el que nuestro r sea el mínimo
elemento.
Finalmente probaremos la unicidad suponiendo que existen múltiples
r1 , r2 y q1 , q2 que satisfacen, la ecuación, luego

aq1 + r1 = aq2 + r2 ,

supongamos que r2 ≥ r1 es positivo, luego

r2 − r1 = a(q1 − q2 )

como a es positivo y entero, q1 − q2 debe ser también entero positivo. Luego

r2 − r1 debe ser múltiplo de a, sin embargo, como

0 ≤ r1 ≤ r2 < a,

entonces debe ser cero; con lo cual se concluye que q1 = q2 .

A tal q en el algoritmo se le dice “cociente”, mientras que a r se le denomina

“resto”.

Definición 2.2 – Divisibilidad : Sean a, b ∈ Z (léase “a y b enteros”),

escribiremos a | b (léase “a divide a b” o “b es múltiplo de a”) si y sólo
si existe un entero q tal que b = aq.

Por ejemplo 2 | 10 o 3 | 6.

2
 Teorema 2.3: Sean a, b, c ∈ Z con a 6= 0 entonces:

1. a | 0, a | ka y 1 | a para todo k ∈ Z.

2. a | b y c | d implican ac | bd.

3. a | b y b | c implican a | c.

4. a | b y a | c implican a | ub + vc, donde u, v ∈ Z.

5. a | b con a, b positivos implica a ≤ b.

6. a | b y b | a implican |a| = |b|.

Demostración: Probaremos el 4:
Por construcción existen q1 , q2 ∈ Z tales que b = aq1 y c = aq2 , finalmente
ub + vc = uaq1 + vaq2 = a(uq1 + vq2 ).

Definición 2.4 – Máximo común divisor : Dados a, b ∈ Z definimos

el máximo común divisor M = (a; b) como aquel que satisface:

a) M | a y M | b.

b) Si c | a y c | b entonces c ≤ M .

Cabe destacar que el máximo común divisor no es una función ordenada, es

decir, (a; b) = (b; a).

Teorema 2.5: Sean a, b, k ∈ Z no nulos, entonces

a) (a; b) = (−a; b) = (−a; −b) = (|a|; |b|).

b) (ak; bk) = |k|(a; b).

c) (a; b) = d. (a/d; b/d) = 1.

Lema 2.6: Sean a, b ∈ Z tales que b = aq + r, entonces (a; b) = (a; r).

Demostración: Sean k = (a; b) y l = (a; r). Es fácil ver que como r =

b − aq, entonces k | r por definición k ≤ l. Asimismo, se deduce que k ≥ l;
con lo cual k = l.

3
 Teorema 2.7 – Algoritmo de Euclides: Sean a, b ∈ Z, una forma de
calcular (a; b) es a través del siguiente método:

b = aq1 + r1 , 0 < r1 < a

a = r1 q2 + r2 , 0 < r2 < r1
r1 = r2 q3 + r3 , 0 < r3 < r2
..
.
rn = rn+1 qn+2 ,

dónde rn+1 = (a; b).

Tomemos dos números cualesquiera: 288 y 560, e intentemos aplicar al mé-
todo de Euclides:
560 = 288 · 1 + 272
288 = 272 · 1 + 16
272 = 16 · 17
por lo tanto 16 = (288; 560).
Teorema 2.8 – Identidad de Bezout: Para todo a, b ∈ Z existen
x, y ∈ Z tales que (a; b) = ax + by.
Demostración: Definamos el conjunto
S = {z > 0 : z = ax + by, x, y ∈ Z}
veamos que no es vacío. Pues a2
+ b2
∈ S. Por principio del buen ordena-
miento posee mínimo g = ax0 + by0 .
Podemos ver que g divide a a y a b pues
a = qg + r, 0≤r<g
con lo cual
r = a − qg
= a − q(ax0 + by0 )
= a(1 − qx0 ) + by0 ∈ S
Si r 6= 0 entonces se contradice con que g era el menor.
Como g es un divisor común de a, b se concluye que g ≤ d = (a; b).
Como d | a, d | b, entonces d | ax0 + by0 = g. Al ser ambos positivos,
d ≤ g. Por antisimetría d = g.

4
 Teorema 2.9: Si se encuentran u, v ∈ Z tales que

ua + vb = 1,

entonces (a; b) = 1.

Demostración: Considere la prueba anterior, demostramos que el mínimo

del conjunto equivale al máximo común divisor, como dicho conjunto admite
únicamente valores positivos, el mínimo valor posible es 1, de ser obtenido,
es inmediato que equivale al mcd.

Teorema 2.10 – Lema de Euclides: Sea a | bc y (a; b) = 1 entonces

a | c.

Demostración: Por identidad de Benzout, 1 = ax0 + by0 , por lo tanto,

c = ax0 c + by0 c. Evidentemente a | ax0 c y por construcción a | y0 bc, luego
a | ax0 c + by0 c = c.

Teorema 2.11: Sea (a; b) = 1 y (a; c) = 1, entonces (a; bc) = 1.

Demostración: Digamos que d = (a; bc). Como d | a y (a; b) = 1, se

obtiene que (d; b) = 1. Por lema de Euclides d | c. Y como (a; c) = 1 entonces
d = 1.

Definición 2.12 – Números coprimos y primos: Decimos que a, b ∈

Z son coprimos syss (a; b) = 1. Un número primo p es aquel que es
positivo y sólo posee dos divisores naturales: el 1 y p. Los números que
son el producto de números primos son llamados compuestos.

Teorema 2.13: Sea p primo tal que p - a entonces (p; a) = 1.

Demostración: Por definición d = (p; a) cumple d | p, luego d | 1 o d | p.

Como d | a y p - a entonces d - p, es decir, d | 1.

Esto podríamos haberlo utilizado como definición auxiliar de primo.

Teorema 2.14: Sea p primo tal que p | ab entonces p | a o p | b. Más

generalmente si p | a1 · · · an entonces divide a por lo menos uno de los
ai .

5
Demostración: Probaremos la primera proposición. Si p | ab pero p -
a, lo que implica (p; a) = 1, por lema de Euclides, p | b. El resto es por
inducción.

Teorema 2.15 – Teorema fundamental de la aritmética: Todo nú-

mero natural mayor que 1 puede escribirse como un único producto de
números de primos.

Demostración: Primero probaremos que todo número o es primo o es

compuesto. Supongamos que tenemos el siguiente conjunto
S = {n ∈ N : n > 1 y n es primo o compuesto},
probaremos que contiene a todo n > 1 por inducción. Evidentemente 2 ∈ S.
Si n + 1 es primo entonces pertenece a S, sino, puede escribirse como n + 1 =
ab donde como a | n + 1 se cumple que a ≤ n + 1 y b ≤ n + 1, luego a, b ∈ S;
es decir, a, b o son primos o son producto de primos, por lo tanto, n + 1 es
compuesto.
Ahora probaremos que la descomposición prima es única. Supongamos
que no lo fuese y hubiesen dos posibles descomposiciones primas:
n = p1 p2 · · · pn = q1 q2 · · · qn
donde p1 ≤ p2 ≤ · · · ≤ pn y q1 ≤ q2 ≤ · · · ≤ qn . Luego p1 | q1 q2 · · · qn .
Por ser primo, p1 | qi para algún 1 ≤ i ≤ n, es decir, p1 ≤ q1 . Por simetría
q1 | p1 · · · pn y q1 ≤ p1 . Como p1 = q1 . Luego podemos aplicar el mismo
método sobre
n
= p2 · · · pn = q2 · · · qn
p1
para ver que, por inducción, p1 = q1 , p2 = q2 , . . . , pn = qn . Es decir, la
factorización es única.

Teorema 2.16: Los números primos son infinitos.

Demostración: Supongamos por contradicción que los primos fueran fini-

tos, entonces podríamos hacer una lista de todos ellos como prosigue:
P := {p1 , p2 , . . . , pn },
como nos hemos asegurado que pi es positivo y mayor que 1, es fácil ver que
si pi | c entonces pi - c + 1. Finalmente el número
c = p1 · p2 · · · pn + 1

6
no sería divisible por ningún de los primos en nuestra lista, y por lo tanto,
por ningún otro número más que si mismo y el 1; es decir, c sería primo,
contradiciendo que los habíamos organizado en una lista.

También, suele ser necesario tener que confirmar si un número es primo,

por lo cual, hay varias formas, la primera es la criba de Eratóstenes
que consiste en denotar los números de 2 hasta n y comenzar tachando los
múltiplos de los primos, los no tachados resultan ser primos:

2 3 4
5 6
7 8
9

10

 11 12

 13 14

 15

 16

 17 18

 19
20

 21

 22

 23 24

 25

 26

 27

 28

 29
30

 31 32

 33

 34

 35

 36

 37 38

 39


40

 41 42

 43 44

 45

 46

 47 48

 49


50

 51

 52

 53 54

 55

 56

 57

 58

 59
60

 61 62

 63

 64

 65

 66

 67 68

 69


70

 71 72

 73 74

 75

 76

 77

 78

 79
80

 81

 82

 83 84

 85

 86

 87

 88

 89
90

 91

 92

 93

 94

 95

 96

 97 98

 99



pero considera que si queremos ver si n es primo debemos comprobar que no

sea divisible por ningún número entre 2 y n − 1 (lo cuál es un proceso terri-
blemente ineficiente). Por lo cuál, el truco está en probar sólo los números
√
primos, del 2 hasta n.
Una identidad muy interesante, y que puede ser de mucho uso es que si
τ (n) es la función que calcula la cantidad de divisores que tiene un natural
n.

Teorema 2.17: Sea n > 1, por lo que, por TFA tiene una única
descomposición prima:
m
Y
n= pα1 1 pα2 2 · · · pαmm = pαi i ,
i=1

entonces
m
Y
τ (n) = (α1 + 1)(α2 + 1) · · · (αm + 1) = (αi + 1).
i=1

7
3. Aritmética modular
Definición 3.1 – Aritmética modular : Sea n > 1, escribiremos a ≡ b
mód n (léase “a y b congruentes en módulo n”) syss n | a − b. Asimismo
definiremos Zn = {0, . . . , n − 1}.

Usualmente se explica la aritmética modular con el comportamiento de un

reloj, pues se puede comprobar que la idea que dos números son congruentes
en un cierto módulo equivale a decir que poseen el mismo resto al aplicarles el
algoritmo de la división. En ese sentido 13 ≡ 1 mód 12 o 22 ≡ 10 mód 12.
En este mismo contexto podemos definir la función f (x) = mód (x, n)
como aquella que le da a todo x el número que le es equivalente en módulo
n pero que satisfaga 0 ≤ f (x) < n (es decir, el resto).

Teorema 3.2: Sea n > 1, a ≡ b mód n y c ≡ d mód n; entonces

a) a + c ≡ b + d mód n.

b) ac ≡ bd mód n.

Demostración: Probaremos la propiedad multiplicativa usando la defini-

ción de módulos para ver que a = nk1 + b y c = nk2 + d, luego

ac = (nk1 + b)(nk2 + d) = n2 k1 k2 + nk2 b + nk1 d + bd ≡ bd mód n

pues todos los múltiplos de n son congruentes con 0 en dicho módulo.

Corolario 3.3: Sea n > 1 y a ≡ b mód n entonces am ≡ bm mód n con

m ∈ N \ {0}.

Teorema 3.4 – Pequeño teorema de Fermat: Sea p primo tal que

p - a, entonces
ap−1 ≡ 1 mód p

Demostración: La demostración es aquella reescrita por Dirichlet y consta

de varios pasos. Primero, consideremos que (a; b) = 1, entonces, la ecuación

ax ≡ ay mód b

implica
x≡y mód b

8
(por lema de Euclides). Consideremos la secuencia

a, 2a, 3a, . . . , (p − 1)a;

como ningún término es múltiplo de p, ninguno es congruente a 0 en módulo

p, y por “ley de la cancelación” nos queda que

ka ≡ ma mód p ⇐⇒ k ≡ m mód p

por lo que ningún par de términos en la lista es congruente en módulo p. Por

lo tanto, la secuencia, en módulo p, puede reordenarse en

1, 2, . . . , (p − 1);

por lo que

a × 2a × · · · × (p − 1)a ≡ 1 × 2 × · × (p − 1) mód p
p−1
a (p − 1)! ≡ (p − 1)! mód p

Finalmente, por “ley de la cancelación” nos queda el enunciado.

Usualmente se aplica el pequeño teorema de Fermat en la forma

ap ≡ a mód p

4. Problemas
1. Probar que todo primo de la forma 3k + 1 es de la forma 6k + 1.

2. Probar que si x, y son impares entonces x2 +y 2 no es un cuadrado perfecto.

3. ¿Cuál es el exponente de 7 en la descomposición de 2011! en producto de

factores primos?

4. ¿Cuántos ceros tiene 2011!?

5. Demuestre que para todo n entero n3 − n es divisible por 6.

6. (Canguro 2007) Si dividimos 336 en un tal n obtenemos resto 2. ¿Cuál es

el resto obtenido al dividir 2007 en dicho n?

7. Probar que todo entero es divisible por 3 syss la suma de sus dígitos es
divisible por 3.

9
 8. Probar que para todo primo p > 2 y todo natural n se cumple que
n n n
p | 1p + 2p + · · · + (p − 1)p .

9. (OIM 1959) Probar que la ecuación

21n + 4
14n + 3
es irreductible para todo n entero.

10. (TT 2001) Si en la pizarra está escrito un número natural n, una operación
permitida consiste en sustituirlo por el producto ab, si a y b son naturales
tales que a + b = n. Inicialmente está escrito el número 22. ¿Existe una
secuencia de operaciones permitidas que nos conduzca al número 2001?

11. (SOMACHI 2018) Encuentre todos los primos p tales que p2 + 2 es primo.

12. (OIM 1999). Halle todos los enteros positivos que son menores que 1000
y cumplen con la siguiente condición: el cubo de la suma de sus dígitos es
igual al cuadrado de dicho entero.

13. (SOMACHI 2018) ¿Se pueden elegir cinco enteros positivos tales que la
suma de todos los grupos de a tres sea un número primo?

14. (Eötvös 1894) Demuestre que 17 | 2m + 3n syss 17 | 9m + 5n.

15. Demostrar que 22225555 + 55552222 es divisible por 7.

10
Soluciones*
1. Veamos que dicho k puede escribirse en base 2 como k = 2q + r con
r ∈ {0, 1}, supongamos que r = 1 entonces p = 3 · (2q + 1) + 1 =
6q + 4 = 2(3q + 2), que es creciente con valor mínimo q = 0 es decir
p = 4 lo que es mayor que 2, es decir, siempre será un número par
mayor que 2; por ende r = 0 y p = 3k + 1 = 6q + 1.

2. Como son impares x = 2a + 1 e y = 2b + 1, luego

x2 + y 2 = 4(a2 + b2 ) + 4(a + b) + 2 = 2(2(a2 + b2 + a + b) + 1)

lo que no es un cuadrado perfecto pues a la izquierda tenemos un

divisible por 2 (pero no por 4 = 22 ) y a la derecha un término que no
es divisible por 2.

3. Vamos a utilizar un ejemplo, ¿cuál es el máximo exponente de 2 en 3!?

Evidentemente cada múltiplo de 2 le suma uno al exponente, por lo
cual el resultado es  
3
= 1.
2
¿Y de 4!? Nuestro procedimiento dice b4/2c = 2, pero la respuesta
correcta es 3, pues 4 = 22 , es decir, la segunda potencia aumenta dos
veces el índice, eso lo arreglamos sumando los múltiplos del cuadrado:
   
4 4
+ 2 = 3.
2 2

¿Y para 8!? Aquí 8 = 23 , por lo que también suma otro. En general,

el exponente de n en m! es la suma de la función suelo3 de la división
de m con todas las potencias de n menores o iguales a m. Aplicado al
problema, nótese que

71 = 7, 72 = 14, 73 = 343, 74 = 2401 > 2011

por lo que el resultado correcto es

     
2011 2011 2011
+ + = 287 + 41 + 5 = 333.
7 72 73
3
A veces llamada truncamiento.

11
4. Este problema es similar al anterior pero hay que ver que 10 = 5 · 2,
los múltiplos de dos son demasiado frecuentes, por lo que se reduce
a contar el exponente de 5 (pues es más que evidente que para cada 5
hay al menos un múltiplo de 2). Aplicando la misma lógica vemos que
el resultado es
       
2011 2011 2011 2011
+ + + = 402 + 80 + 16 + 3
5 52 53 54
= 501.

5. n3 − n = n(n2 − 1) = n(n − 1)(n + 1), lo que corresponde al producto

de tres números consecutivos. Como lema es fácil probar por inducción
que en un conjunto de n números consecutivos hay siempre uno que es
divisible por n. Con ello vemos que aquí hay por lo menos un múltiplo
de 2 y un múltiplo de 3, por lo tanto, el producto entero es un múltiplo
de 6.
6. Esto quiere decir que 336 = nq + 2, o que 334 = nq. Vemos que los
divisores de 334 son 1, 2, 167 y 334. El 1 y el 2 se descartan pues no
darían resto 2 con 336. Finalmente si aplicamos algoritmo de la división
a 2007 con cualquiera obtenemos
2007 = 167 · 12 + 3.

7. Veamos que todo número, debido a su expansión decimal, puede ser

escrito como
a = a0 + 10a1 + 102 a2 + · · ·
Por lo que 3 | a0 + 10a0 + 102 a2 + · · · syss 3 | a0 + 10a1 + 102 a2 +
· · · − 9a1 − 99a2 − · · · , y evidentemente lo último es “valido” puesto que
9 = 3 · 3, 99 = 33 · 3 y así sucesivamente.
8. Se obtiene por inducción y con el pequeño teorema de Fermat. Caso
n = 0:
p−1
1 + 2 + · · · + (p − 2) + (p − 1) = · p ≡ 0 mód p
2
Esto se debe a que p − 1 es par puesto que todo primo mayor que 2 es
impar. Caso n + 1:
n+1 n+1 n+1 n n n
1p + 2p + · · · + (p − 1)p = (1p )p + (2p )p + · · · + ((p − 1)p )p
n n n
≡ 1p + 2p + · · · + (p − 1)p mód 7
que es equivalente a 0 en módulo 7 por hipótesis inductiva.

12
 9. Nótese que
3(14n + 3) − 2(21n + 4) = 1,
es decir, siempre serán coprimos.

10. Observe que para todo n > 1 se cumple que n = (n − 1) + 1 y 1 ·

(n − 1) = n − 1, es decir, si obtenemos a n, obtenemos a todos sus
antecesores. 22 = 10 + 12, luego 10 · 12 = 120 y 120 = 60 + 60, con lo
que 60 · 60 = 3600; por lo tanto, podemos obtener a 2001.

11. Nótese que para todo primo p distinto de 3, se puede escribir como
3q + 1 o 3q + 2 y que

(3q + 1)2 + 1 = 9q 2 + 6q + 1 + 2 = 3(3q 2 + 2q + 1),

(3q + 2)2 + 2 = 9q 2 + 6q + 4 + 2 = 3(3q 2 + 2q + 2).

Como ve, todos son múltiplos de 3, luego no son primos. En cambio

32 + 2 = 9 + 2 = 11. Es decir, sólo el 3 satisface la condición.

12. Los enteros n pedidos deben satisfacer que n2 es un cubo perfecto,

equivalentemente, n es cubo perfecto. Los cubos perfectos menores a
1000 son 1, 8, 27, 64, 125, 216, 343, 512 y 729; y los únicos de esta lista
en satisfacer dicha propiedad son el 1 y el 27.

13. Consideremos un conjunto de tres enteros a, b, c. Si los tres poseen el

mismo resto en base 3, entonces su suma será divisible por 3:

a + b + c ≡ r + r + r = 3r ≡ 0 mód 3.

Por trabajar en módulo 3, los únicos tres restos posibles son 0, 1, 2; si

los tres poseen restos distintos su suma es divisible por 3:

a+b+c≡0+1+2=3≡0 mód 3.

Finalmente no podemos tomar cinco números sin que al menos en un

grupo de a tres todos tengan mismos restos o distintos entre sí.

14. Nótese que 13(2m + 3n) − 17(m + 2n) = 9m + 5n, como (13; 17) = 1
(por ser primos) entonces la equivalencia es clara.

15. Primero ver que 2222 = 317 · 7 + 3 y 5555 = 793 · 7 + 4, por lo que

22225555 + 55552222 ≡ 35555 + 42222 mód 7,

13
 observe 2222 = 370 · 6 + 2 y 5555 = 925 · 6 + 5, con teorema de Fermat:

35555 + 42222 = (33 70)6 · 32 + (49 25)6 · 45

≡ 32 + 45 mód 7
= 9 + 1024 ≡ 2 + 5 ≡ 0 mód 7.

Referencias
1. Andreescu, T., Andrica, D. y Feng, Z. 104 number theory problems:
from the training of the USA IMO team (Springer Science & Business
Media, 2007).
2. Conrad, K. Fermat’s little theorem https://kconrad.math.uconn.
edu/blurbs/ugradnumthy/fermatlittletheorem.pdf.
3. Conrad, K. Modular Arithmetic https://kconrad.math.uconn.edu/
blurbs/ugradnumthy/modarith.pdf.
4. Conrad, K. The Division Theorem in Z and F[T] https://kconrad.
math.uconn.edu/blurbs/ugradnumthy/divthmZF[T].pdf.
5. Gauss, C. F. Disquisitiones arithmeticae (Yale University Press, 1966).
6. Jiménez B., L. R. y Gordillo A. Jorge E. y Rubiano O., G. N. Teoría
de números. Para principiantes 2.a ed. http://ciencias.uis.edu.co/
conjuntos/doc/Tmerospaprinci.pdf (Pro–Offset, 2004).
7. Niven, I., Zuckerman, H. S., Pérez Castellanos, J. H. y col. In-
troducción a la Teoría de los Números (1969).
8. Said, J. H. N. Teoría de Números para Olimpíadas Matemáticas. Aso-
ciación Venezolana de Competencias Matemáticas: Caracas (2014).

14