Divisibilidad de enteros y algoritmo de Euclides

1. Para los enteros a, b y c demuestre:

(a) a|a (e) Si a | b y a | c entonces para todos m y n

(b) a | ab enteros a | (bn + cm)
(c) Si a | b y b | c, entonces a | c
(d) Si a | b y b | a entonces a = ±b (f) Si a | (b + c) y a | b entonces a | c

2. Determine si existen enteros a, b y c tales que a | bc pero a ! b y a ! c

3. Determine si existen enteros a, b y c tales que a | c, b | c pero ab ! c

4. Determine cociente y resto de la división entera:

(a) 2345 por 12 (c) 2335 por 22 (e) -2335 por 22

(b) 123456 por 23 (d) -2335 por -22
!a b
"
5. Demuestre para a y b son enteros positivos, que si d = M CD(a, b) entonces M CD d, d =1

6. Defina Mı́nimo Común Múltiplo (MCM) y demuestre que para a y b enteros se cumple
M CM (|a|, |b|) · M CD(|a|, |b|) = |a · b|
7. Sean a, b y c enteros positivos. Pruebe:

(a) Si a y b son primos relativos, entonces b (b) Si a y c son primos relativos, y b y c son
y (a + bc) son primos relativos. primos relativos, entonces ab y c son pri-
mos relativos.

8. Encuentre todas las soluciones positivas de 6x + 15y = 51

9. Demuestre usando la definición de MCD y las propiedades de divisibilidad, que para todo par
de enteros positivos a y b se cumple:

M CD(M CD(a, b), b) = M CD(a, b)

10. Demuestre que si a y b enteros y la ecuación x2 + ax + b = 0 admite a un número entero n por

solución, entonces n|b. (ni piense en resolver la cuadrática. . . )

11. Determine cómo medir exactamente 8 litros de agua si dispone de dos recipientes que permiten
medir 12 y 17 litros de agua cada uno, y una gran piscina donde deben quedar los 8 litros.
12. Demuestre que 135 y 56 son primos relativos, y exprese 1 como combinación lineal entera de
135 y 56.

13. Si a, b y c son enteros con a y c primos relativos y existen x e y enteros con bx + cy = 1,

demuestre que ab y c son primos relativos.
14. Demuestre que si a y b son primos relativos, entonces b y (a + bc) son primos relativos.
15. Demuestre que si n es compuesto entonces 2n − 1 es compuesto, pero que el recı́proco no es
cierto.