Departamento de Matemáticas, Universidad de Alcalá

Álgebra (Ingenierı́a Informática) Curso 2007-2008

Práctica 2-1: Divisibilidad

EJERCICIOS BÁSICOS

1. Demostrar las siguientes propiedades sobre divisibilidad de números enteros:

a) a | b y c | d ⇒ ac | bd b) ac | bc y c 6= 0 ⇒ a | b c) a | b y a | c ⇒ a | (b · c)

2. Encontrar todos los números primos de la forma n4 − m4 , con n, m ∈ Z.

3. Otra demostración de que hay infinitos números primos:

Sea Qn = n! + 1 con n > 1.

(a) Demostrar que todos los divisores primos de Qn son mayores que n.
(b) Concluir que hay infinitos números primos.

4. Demostrar las siguientes propiedades del máximo común divisor:

a
a) mcd(a, b) = mcd(a, b + ac) b) Si a es par y b es impar, mcd(a, b) = mcd( , b)
2

5. Sea a ∈ N.

(a) ¿Cuánto vale mcd(a, a + 1)?

(b) ¿Cuánto vale mcd(a, a + 2)?

6. Utilizar el algoritmo de Euclides para calcular:

a) mcd(594, 396) b) mcd(1287, 975) c) mcd(10241, 7497)

EJERCICIOS DE REFUERZO

1. Demostrar las siguientes propiedades sobre divisibilidad de números enteros:

a) d | 1 ⇒ d = 1 o d = −1 b) a | b y b | a ⇒ a = b o a = −b c) a | b y b | c ⇒ a | c

2. Se dice que a ≡ b (mod m) si m | (a − b). Dados a, b, c, m ∈ Z con m ≥ 2, analizar si es

cierta la siguiente afirmación:

a ≡ b (mod m) ⇐⇒ ac ≡ bc (mod m)

3. Demostrar que 2 es el único número primo que se puede escribir de la forma n3 + 1, con
n ∈ Z.

4. Demostrar que si k es un número entero, los enteros 6k − 1, 6k + 1, 6k + 2, 6k + 3 y 6k + 5

son coprimos dos a dos.
5. Sean a y b enteros positivos con a ≥ b. Demostrar que:

(a) Si a y b son números pares, entonces mcd(a, b) = 2 mcd(a/2, b/2).

(b) Si a es par y b es impar, entonces mcd(a, b) = mcd(a/2, b).
(c) Si a y b son impares, entonces mcd(a, b) = mcd(a − b, b).

6. Supongamos que el máximo común divisor de a y b es un primo p. ¿Cuáles son los posibles
valores del máximo común divisor de a2 y b? ¿Y del máximo común divisor de a3 y b? Si
mcd(a, b) = p, ¿cuánto vale mcd(a3 , b3 )? (Indicación: factorizar).

7. Sean a > b > c enteros positivos, y sea rem(a, b) el resto de dividir a entre b. Demostrar
que mcd(a, b, c) = mcd(c, rem(a, c), rem(b, c)).

8. Calcular
a) mcd(693, 378, 210) b) mcd(855, 513, 418)

EJERCICIOS DE PROFUNDIZACIÓN

1. Utilizar el ejercicio 5 de refuerzo para construir un algoritmo que calcule el máximo común
divisor de dos enteros positivos realizando sólo comparaciones, restas y desplazamientos
(ver 2.5:Ejemplo 8) de expresiones binarias, sin usar divisiones.