Asignatura.

TEORÍA DE NÚMEROS

Licenciatura en Matemáticas
Universidad de Nariño, periodo B-2018

Fernando A. Benavides
Departamento de Matemáticas y Estadística
Semana 3.
DIA 1. DIVISIBILIDAD.
ALGORITMO DE LA DIVISIÓN

Teorema
Sean a cualquier entero y b un entero positivo.Entonces exis-
ten únicos enteros positivos q y r tales que,

a = bq + r

donde 0 ≤ r < b.

3
OPERADORES DIV Y MOD

Sean a cualquier entero y b un entero positivo. Se definen los

operadores div y mod como:

a div b: El cociente de la devisión de a entre b.

a mod b: El residuo de la devisión de a entre b.

Observe que,
⌊a⌋
1. a div b = .
⌊a⌋ b
2. a = b + r.
b

4
EJEMPLOS

1. Considere una baraja de cartas inglesa la cual consta de

52 cartas. Las cuales están distribuidas en 4 palos, 13
corazones, 13 diamantes, 13 picas y 13 treboles. Suponga
que las 52 cartas estan ennumeradas del 0 al 51 donde las
primeras 13 corresponden a los corazones, las siguientes
a diamantes, las que siguen a picas y las últimas a
treboles. Si tomamos una carta que está numerada por x
como se sabe a que palo corresponde y que carta del palo
corresponde?

5
EJEMPLOS

2. (el juego de las dos reinas) Considere un tablero de

ajedrez y dos reinas. Una de ellas puede capturar a la otra
si ellas estan sobre la misma fila, columna o diagonal.
Suponga que las casillas del tablero estan numeradas del
0 al 63, y que las reinas estan ubicadas en las casillas x y
y. Puede capturar una de las reinas a la otra?

56 57 58 59 60 61 62 63
48 49 50 51 52 53 54 55
40 41 42 43 44 45 46 47
32 33 34 35 36 37 38 39
24 25 26 27 28 29 30 31
16 17 18 19 20 21 22 23
8 9 10 11 12 13 14 15
0 1 2 3 4 5 6 7

6
PRINCIPIO DEL DIRICHLET

Teorema
Si m palomas
⌈ m ⌉se encuentran en n nidos, con m > n, entonces
al menos palomas se encuentran en el mismo nido.
n

7
EJEMPLOS

1. 60 personas están comparando sus celulars (cada persona

tiene exactamente un celular). Hay celulares de 4
fabricantes distintos, y cada fabricante produce 5 modelos
distintos. Además, cada modelo puede tener cámara y
bluetooth, tener sólo bluetooth, o no tener ni bluetooth ni
cámara. ¿Podemos garantizar que hay dos móviles
iguales? ¿Y si en vez de 60 personas son 61?
2. Probar que un grupo de 6 personas existen almenos 3 que
se conocen entre si o 3 que son completamente extraños.
3. Dados 5 puntos cualesquiera dentro de un triángulo
equilétero de lado 2, al menos dos de ellos están a una
distancia, el uno del otro, menor que 1.
4. Considerar 5 puntos en el interior de un cuadrado de lado
1. Probar que existen
√ al menos 2 puntos que están a una
2
distancia a lo más .
2
8
RELACIÓN DE DIVISIBILIDAD

Definición
Sean a y b enteros con b ̸= 0. Se dice que b divide a a y se
denota por b | a si existe un entero q tal que a = bq. En otras
palabras, b | a si a mod b = 0.

Probar que:
→ Sea b ≥ 2 un entero positivo. Considere b + 1 enteros
seleccionados aleatoriamente, entonces la diferencia de
dos de ellos es divisible por b.
→ ¿Cuántos números que sean cuadrados perfectos (es
decir, que sean el resultado de elevar al cuadrado un
entero) necesito como mínimo, para garantizar que hay al
menos dos de ellos cuya diferencia es múltiplo de 5?
→ Sean a y b enteros positivos. Determinar el número de
enteros positivos menores que a y divisibles por b.
9
PROPIEDADES

Proposición
Sean a, b, c enteros. Entonces,
1. a | 0, 1 | a y a | a para a ̸= 0.
2. a | 1 si y solo si a = ±1.
3. Si a | b y c | d entonces ac | bd.
4. Si a | b y b | a entonces a = ±b.
5. Si a | b y b | c entonces a | c.
6. Si a | b y b ̸= 0 entonces |a| ≤ |b|.
7. Si a | b y a | c entonces a | (bx + cy) para todo x, y ∈ Z.
8. Si a | bi para i = 1, . . . , k entonces
a | (b1 x1 + b2 x2 + · · · + bk xk ) para todo xi ∈ Z.

10
EJERCICIOS.

Sea n un entero arbitrario. Probar que,

1. Sea a ∈ Z, pruebe que el conjunto Sa = {a, a + 2, a + 4}

contiene un múltiplo de 3.
2. n2 + n es un entero par.
3. 2n3 + 3n2 + n es un entero par.
4. n3 − n es divisible por 2.

Sea n un entero no negativo. Usando inducción probar que,

6. 2n3 + 3n2 + n es divisible por 6.

7. 24n + 3n − 1 es divisible por 9.

11
DIA 2. MÁXIIMO COMÚN DIVISOR.
MÁXIMO COMÚN DIVISOR

Definición
Sean a y b dos enteros (con al menos uno de ellos distinto
de cero), el mayor entero que divide a a y b se denomina el
máximo común divisor de a y b, denotado por gcd(a, b).

Observe que gcd(a, b) = d si y solo si

1. d | a y d | b.
2. Si c | a y c | a entonces c ≤ d.

13
MÁXIMO COMÚN DIVISOR
Teorema
Sean a y b enteros (con al menos uno de los dos diferente de
cero), y sea d = gcd(a, b). Entonces d es el menor entero posi-
tivo que se puede expresar como una combinacióon lineal de
a y b.

Corolario
1. Si c es cualquier divisor común de a y b entonces c divide
al máximo común divisor d = gcd(a, b).
2. Si a y b son dos enteros (con al menos uno distinto de
cero) entonces el conjunto

T = {ax + by : x, y ∈ Z}

es el conjunto de los múltiplos de d = gcd(a, b).

14
MÁXIMO COMÚN DIVISOR

Definición
Dos enteros a y b se dice que son primos relativos si gcd(a, b) =
1. Es decir, si el único factor común positivo que tienen es 1.

Teorema
Sean a y b enteros, no ambos cero. Entonces a y b son primos
relativos si y solo si existen enteros x y y tales que 1 = ax + by.

Teorema
Si a | bc y gcd(a, b) = 1, entonces a | c. (Lema de Euclides)

15
EJERCICIOS

De aqui en adelante tomaremos la siguiente notación gcd(a, b) =

(a, b). Probar que,

1. Si a | c, b | c y (a, b) = 1 entonces ab | c.
2. 30 | (n5 − n).
3. Si d = (a, b) entonces
( )
3.1 ad , db = 1.
3.2 (a, a − b) = d.
4. Si a y b son primos relativos, pruebe que para todo entero
m se tiene
(a, m) · (b, m) = (ab, m)

16