Teorı́a de números Taller

UNIVERSIDAD SERGIO ARBOLEDA.

Profesor: Luis Fernando Contreras Hernandez

De estos ejercicios va a escoger 10 para entregar.

1. Demostrar que si a y b son enteros, con b > 0, entonces existen enteros únicos q y r que satisface
a = bq + r, donde 2b ≤ r < 3b.
2. Demostrar que cada entero de la forma 6k + 5 es también de la forma 3j + 2, pero no reciprocamente.
3. Use el algoritmo de la división para establecer las siguientes proposiciones.
a) El cuadrado de cada entero es de la forma 3k o 3k + 1.
b) El cubo de cada entero tiene las siguientes formas: 9k, 9k + 1 o 9k + 8.
4. Demostrar que 3a2 − 1 nunca es cuadrado perfecto. (Ayuda: Utilice la parte a del ejercicio anterior)

5. Para n ≥ 1, demostrar que n(n+1)(2n+1)

6 es un entero (Ayuda: Por el algoritmo de la división, n tiene
una de las siguientes formas: 6k, 6k + 1,...,6k + 5; demuestre el resultado para cada uno de los seis
casos)
6. Demostrar que si a|b y c|d entonces ac|bd.
7. Probar que el producto de tres enteros consecutivos es divisible por 6.
8. Para n ≥ 1, use inducción matemática para establecer cada una de las siguientes divisibilidades.
a) 8|(52n + 7).
b) 15|(24n − 1).
c) 5|(33n+1 + 2n+1 ).
d ) 21|(4n+1 + 52n−1 ).
e) 24|(2 · 7n + 3 · 5n − 5).
9. Probar que 100|(1110 − 1).
10. Probar que para todo n ≥ 1, 30|(n5 − n).
11. Probar que si n = rs con r > 0 y s > 0, entonces (r!)s |n!.
12. Probar que todo cuadrado perfecto es de la forma 4k o 4k + 1 para algún entero k.
13. Probar que si a y b son impares entonces a2 + b2 no es un cuadrado perfecto.
14. Use el PBO para demostrar que todo entero mayor que uno tiene un factor primo.
15. Demuestre que si a es un entero, entonces 3 divide a a3 − a.
16. Demuestre que la suma de dos enteros pares o dos enteros impares es par, mientras que la suma de un
entero par y un entero impar es impar.
17. Demuestre que el producto de dos enteros impares es impar, mientras que el producto de dos enteros
es par si cada uno de los enteros es par.
Teorı́a de números Taller - Page 2 of 3

18. Muestre que el producto de dos enteros de la forma 4k + 1 es también de esta forma, mientras que el
producto de dos enteros de la forma 4k + 3 es de la forma 4k + 1.
19. Demuestre que el cuadrado de cada entero impar es de la forma 8k + 1.
20. Demuestre que la cuarta potencia de cada entero impar es de la forma 16k + 1.

21. Demuestre que el producto de dos enteros de la forma 6k + 5 es de la forma 6k + 1.

22. Hallar el MCD de cada para de números y expresarlo como una combinación lineal de ellos

a) 382 y 26 c) 1137 y 419 e) -512 y 1025

b) -275 y 726 d ) -2947 y -3997 f ) 1426 y 343

23. Usar el algoritmo de Euclides para encontrar enteros tales que

a) 1426x + 343y = 3 c) 630x + 132y = 12

b) 936x + 666y = 18 d ) 4001x + 2689y = 4

24. Demuestre que, para cada entero positivo n y cada entero a, (a, a+n) divide a n; luego mcd(a, a+1) = 1.
25. Dados dos enteros a y b, demostrar lo siguiente:
a) Existen enteros x y y para los cuales c = ax + by si y sólo sı́ mcd(a, b)|c.
b) Si existen enteros x y y para los cuales ax + by = mcd(a, b), entonces mcd(x, y) = 1.
26. Para cada entero a, demostrar que:
a) mcd(2a + 1, 9a + 4) = 1
b) mcd(5a + 2, 7a + 3) = 1
c) Si a es impar, entonces mcd(3a, 3a + 2) = 1.
27. Si a y b son enteros, no ambos ceros, demostrar que mcd(2a − 3b, 4a − 5b) divide a b; luego, mcd(2a +
3, 4a + 5) = 1.
28. Demuestre las siguientes propiedades del máximo común divisor.

a) Si mcd(a, b) = 1 y c|a, entonces mcd(b, c) = 1.

b) Si mcd(a, b) = 1, entonces mcd(ac, b) = mcd(c, b).
c) Si mcd(a, b) = 1 y c|(a + b), entonces mcd(a, c) = mcd(b, c) = 1.
d ) Si mcd(a, b) = 1, d|ac, y d|bc, entonces d|c.
e) Si mcd(a, b) = 1, entonces mcd(a2 , b2 ) = 1.
f ) Si a|bc, entonces a|(mcd(a, b)mcd(a, c)).
g) Si mcd(a, b) = 1, entonces mcd(a + b, ab) = 1.
h) Si mcd(a, b) = 1, entonces mcd(2a + b, a + 2b) = 1 o 3.
29. Demostrar que si a|b si y solo sı́ mcm(a, b) = |b|.

30. Demostrar que si mcm(a, b) = mcd(a, b) y a > 0, b > 0 entonces a = b.

31. Demostrar que mcd(a, b) = mcd(a + b, mcm(a, b)).
32. Demostrar que mcm(ka, kb) = |k|mcm(a, b), k ̸= 0.
Teorı́a de números Taller - Page 3 of 3

33. Si k es un múltiplo común de a y b, demostrar que

k
k k

= mcm(a, b).
mcd a, b

34. Sean d y g enteros positivos. Probar que existen enteros a y b tales que mcd(a, b) = d y mcm(a, b) = g
si y sólo sı́ d|g.
35. Hallar enteros a y b tales que a + b = 216 y mcm(a, b) = 480.
36. Hallar todos los números a y b que satisfacen mcd(a, b) = 24 y mcm(a, b) = 1440.

37. Calcular mcd(4410, 1404, 8712) y expresarlo como una combinación lineal de los números dados.
38. Hallar mcd(112, 240, 192, 760) y expresarlo como una combinación lineal de los números dados.
39. Dar un ejemplo para ilustrar que mcd(a, b, c)mcm(a, b, c) no siempre es abc.