DIVISIBILIDAD EN ℤ

DEFINICIÓN DE DIVISIBILIDAD

Sean a, b𝜖ℤ con b≠0. Decimos que “b” divide a “a” si existe c𝜖ℤ tal que a=bc.

También se dice que “b” es factor de “a”, o que “b” es divisor de “a”, o que “a” es
un múltiplo de “b”.

NOTACIÓN:

Escribimos b | a cuando un número entero “b” divide a un número entero “a”. Sino
lo divide escribimos b ∤ a (“b” no divide a “a”).

La definición de divisibilidad en forma simbólica seria: b ∣ a ⇔ Ǝc𝜖ℤ/ a = bc

Ejemplos:

3 ∣ 6, porque existe 2𝜖ℤ tal que 6 = 3(2)

15 ∣ –90, porque existe –6𝜖ℤ tal que –90 = 15(–6)
–5 ∣ 35, porque existe –7𝜖ℤ tal que 90 = –5(–7)
9 ∤ 15, porque no existe un c 𝜖ℤ tal que 15 = 9∙c
0 ∤ 7, porque no existe un c 𝜖ℤ tal que 7 = 0∙c

Observación: En general, para a𝜖ℤ con a ≠ 0; se verifica que 0 ∤ a, puesto no

existe un c 𝜖ℤ tal que a = 0∙c

PROPIEDADES BÁSICAS DE DIVISIBILIDAD

Propiedad 1: ∀a𝜖ℤ con a≠0, a ∣ a

Pa
a ∣ a ⇒ ∃ c𝜖ℤ/ a = ac; def. de divisibilidad
⇒ a∙1 = a∙c; a = a∙1
⇒ 1 = c; ab = ac ⇒ b = c
⇒ ∃ 1𝜖ℤ/ a = a∙1

∴ ∀a𝜖ℤ con a≠0, a ∣ a

Propiedad 2: ∀a,b𝜖ℤ con a,b≠0 y a ∣ b y b ∣ a ⇒ a = ± b

Pa

Por hipótesis tenemos que:

a ∣ b ⇒ ∃ p𝜖ℤ/ b = ap - - - - (1)

b ∣ a ⇒ ∃ q𝜖ℤ/ a = bq - - - - (2)

De (1) tenemos que b = ap. Así:

b = ap ⇒ b = (bq)p; por (2)

⇒ b = b(qp); (ab)c = a(bc)
⇒ 1 = qp; ab = ac ⇒ b = c
⇒ 1 = pq; ab = ba

Para pq = 1 tenemos 2 casos

Caso 1

pq = 1 ⇒ p = 1 ^ q = 1; ab = 1 ⇒ a = 1 ^ b = 1
⇒ b = a(1) ^ a = b(1); Sustituyendo en 1 y 2
⇒ b = a ^ a = b; a(1) = a

Caso 2

pq = 1 ⇒ p = –1 ^ q = –1; ab = 1 ⇒ a = –1 ^ b = –1
⇒ b = a(–1) ^ a = b(–1); Sustituyendo en 1 y 2
⇒ b = –a ^ a = –b; a(–1) = –a
⇒ –1(b) = –1(–a) ^ a = –b; b = c ⇒ ab = ac
⇒ –b = a ^ a = –b; a(–1) = –a ^ – 1(–a) = a

∴ ∀a,b𝜖ℤ con a,b≠0 y a ∣ b y b ∣ a ⇒ a = ± b L.Q.Q.D

Propiedad 3: ∀a,b,c𝜖ℤ con a,b≠0 y a ∣ b y b ∣ c ⇒ a ∣ c

Pa

a ∣ b ⇒ ∃ m𝜖ℤ/ b = am - - - - (1)

b ∣ c ⇒ ∃ n𝜖ℤ/ c = bn - - - - (2)

Sustituyendo (1) en (2) tenemos:

c = bn ⇒ c = (am)n; por (1)

⇒ c = a (mn); (ab)c = a(bc)
⇒ c = ap; p = mn𝜖ℤ

⇒ ∃ p𝜖ℤ/ c = ap
⇒ a ∣ c; Def. de divisibilidad

∴ ∀a,b,c𝜖ℤ con a,b≠0 y a ∣ b y b ∣ c ⇒ a ∣ c L.Q.Q.D

Propiedad 4: ∀a𝜖ℤ con a≠0, a ∣ a ⇒ a ∣ ak con k𝜖ℤ

Pa

Por hipótesis tenemos:

a ∣ a ⇒ ∃ m𝜖ℤ/ a = am; Def. de divisibilidad

⇒ ak = (am)k; a = b ⇒ ac = bc
⇒ ak = a(mk); (ab)c = a(bc)
⇒ ak = aq; q = mk𝜖ℤ

⇒ ∃ q𝜖ℤ/ ak = aq
⇒ a ∣ ak; Def. de divisibilidad

∴∀a𝜖ℤ con a≠0, a ∣ a ⇒ a ∣ ak con k𝜖ℤ L.Q.Q.D

Propiedad 5: ∀a𝜖ℤ con a≠0, a ∣ 0

Pa

Por hipótesis tenemos que:

a ∣ 0 ⇒ ∃ b𝜖ℤ/ 0 = a∙b; Def. de divisibilidad

⇒ a∙0 = a∙b; 0 = m∙0
⇒ 0 = b; ab = bc ⇒ b = c
⇒ ∃ 0𝜖ℤ/ 0 = a∙0

∴ ∀a𝜖ℤ con a≠0, a ∣ 0 L.Q.Q.D

Propiedad 6: ∀a𝜖ℤ con a≠0, 1 ∣ a ^ –1 ∣ a

Pa

Probaremos que: ∀a𝜖ℤ con a≠0, 1 ∣ a

1 ∣ a ⇒ ∃ k𝜖ℤ/ a = 1∙k; Def. de divisibilidad

⇒ a = 1∙k
⇒ a = k; 1∙a = a
⇒ ∃ a𝜖ℤ/ a = 1∙a

Ahora demostraremos que: ∀a𝜖ℤ con a≠0, –1 ∣ a

–1 ∣ a ⇒ ∃ p𝜖ℤ/ a = –1∙p; Def. de divisibilidad

⇒ a = –1∙p
⇒ a = –p; –1∙a = –a

⇒ –p 𝜖ℤ

∴ ∀a𝜖ℤ con a≠0, 1 ∣ a ^ –1 ∣ a L.Q.Q.D

Propiedad 7: ∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ a ∣ –b, –a ∣ b y –a ∣ –b

Pa

Demostraremos que: ∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ a ∣ –b

a ∣ b ⇒ ∃ k𝜖ℤ/ b = ak; Def. de divisibilidad

⇒ –1(b) = –1(ak); b = c ⇒ ab = ac
⇒ – b = – (ak); –1(a) = –a
⇒ – b = a(–k); –(ab) = a(–b)
⇒ ∃ –k 𝜖ℤ/ – b = a(–k)
⇒ a ∣ –b; Def. de divisibilidad

Ahora demostraremos que: ∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ –a ∣ b

a ∣ b ⇒ ∃ p𝜖ℤ/ b = ap; Def. de divisibilidad

⇒ b = (–a)(–p); ab = (–a)( –b)
⇒ ∃ –p 𝜖ℤ/ b = (–a)(–p)
⇒ –a ∣ b

Por ultimo probaremos que: ∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ –a ∣ –b

a ∣ b ⇒ ∃ q𝜖ℤ/ b = aq; Def. de divisibilidad

⇒ –1(b) = –1(ak); b = c ⇒ ab = ac
⇒ – b = – (ak); –1(a) = –a
⇒ – b = (–a)k; –(ab) = a(–b)
⇒ ∃ k 𝜖ℤ/ – b = (–a)k
⇒ –a ∣ –b; Def. de divisibilidad

∴∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ a ∣ –b, –a ∣ b y –a ∣ –b

Propiedad 8: ∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ | | ≤ | |

Pa

a ∣ b ⇒ ∃ c𝜖ℤ/ b = ac; Def. de divisibilidad

⇒| | | |; Aplicando valor absoluto
⇒| | | || |; | | | || |

Como:

| || | | |⇒| | | |
⇒| |≤ | |

∴∀a,b𝜖ℤ con a≠0 y a ∣ b ⇒ | | ≤ | | L.Q.Q.D

Propiedad 9: ∀a,b,c𝜖ℤ con a≠0; a ∣ b y a ∣ c ⇒ a ∣ (b ± c)

Pa
a ∣ b ⇒ ∃ m𝜖ℤ/ b = am - - - - (1)

a ∣ c ⇒ ∃ n𝜖ℤ/ c = an - - - - (2)

Sumando (1) y (2) tenemos:

b + c = am + an ⇒ b + c = a(m + n); ab + ac = a(b + c)

⇒ b + c = ap; p = m + n 𝜖ℤ

⇒ ∃ p𝜖ℤ/ b + c = ap
⇒ a ∣ (b + c); Def. de divisibilidad

Restando (1) y (2) tenemos:

b – c = am – an ⇒ b – c = a(m – n); ab – ac = a(b + c)

⇒ b – c = aq; q = m – n 𝜖ℤ

⇒ ∃ p𝜖ℤ/ b – c = aq
⇒ a ∣ (b – c); Def. de divisibilidad

∴ ∀a,b,c𝜖ℤ con a≠0; a ∣ b y a ∣ c ⇒ a ∣ (b ± c)

Propiedad 10: ∀a𝜖ℤ con a≠0, a ∣ –a ^ –a ∣ a

Pa

Primero probemos que: a ∣ –a

a ∣ –a ⇒ ∃ p𝜖ℤ/ –a = ap; Def. de divisibilidad

⇒ –a = pa; ab = ba

⇒ –1(a) = pa; –a = –1(a)

⇒ –1 = p; ac = bc ⇒ a = b

⇒ ∃ –1𝜖ℤ/ –a = a(–1)

∴∀a𝜖ℤ con a≠0, a ∣ –a L.Q.Q.D

Ahora probaremos que: –a ∣ a

–a ∣ a ⇒ ∃ q𝜖ℤ/ a = (–a)q; Def. de divisibilidad

⇒ a = a(–q); (–a)b = a (–b)

⇒ a∙1 = a(–q); a = a∙1

⇒ 1 = –q; ab = ac ⇒ b = c

⇒ –1(1) = –1(–q); b = c ⇒ ab = ac

⇒ –1 = q; –1(a) = –a ^ –1(–a) = a

⇒ ∃ –1𝜖ℤ/ a = –a(–1)

∴∀a𝜖ℤ con a≠0, –a ∣ a L.Q.Q.D

Ejercicios

1. Demuestre que: ∀a,b,c𝜖ℤ con a≠0; a ∣ b y a ∣ c ⇒ a ∣ (bx + cy)

2. Pruebe que: ∀a𝜖ℤ con a≠0; 0 ∤ a

3. Demuestre que: ∀a,b𝜖ℤ con b≠0; b ∣ a ⇒ b ∣ ap

4. Evalué cada una de las siguientes afirmaciones como verdadera o falsa. Para
ello, ayúdese con ejemplos, contraejemplos (para refutar), argumentos...

a) Si un número es divisor de varios otros, entonces divide a la suma de todos

ellos.
b) Si un número divide a otro, entonces divide a cualesquiera dos sumandos en
que se puede descomponer el segundo número.
c) Todo número distinto de 0 tiene un número infinito de divisores.
d) Si un número entero “a” distinto de cero es divisor de uno “b” que también es
diferente de cero, y éste a su vez es divisor de “c”, entonces “a” no tiene por
qué ser divisor de “c”.
e) Si los números enteros “a” y “b” son divisores de un número N, con a y b
distintos de cero, entonces “a+b” también es divisor de N.
f) Si los números enteros “a” y “b” son divisores de un número N, con a y b
diferentes de cero, entonces “ab” también es divisor de N.
g) Si un número entero diferente de cero es divisor de otro, entonces también
es divisor de los múltiplos de éste.
h) Si el entero “a” es divisor del entero “b”, entonces es divisor de “b+c” (c:
cualquier número entero).
i) Si el entero “a” es divisor del entero “b”, entonces es divisor de “a + b”.
j) Si el número entero a es divisor del número entero “b”, entonces es divisor de
“bc” (c: cualquier número entero).

5. ¿Es cierto que si a ∣ bc, entonces a ∣ b o a ∣ c?

6. ¿Es cierto que si a ∣ b+c, entonces a ∣ b o a ∣ c?

7. ¿Es cierto que si a ∣ b y c ∣ d, entonces ac ∣ b?

8. Pruébese que: ∀a,b,c𝜖ℤ con a, c ≠ 0; a ∣ b ⇒ ac ∣ bc

9. Demuéstrese que: Todo número entero que divide al dividendo y al divisor de

una división inexacta, divide al resto.

10. Demuestre que: Todo número entero que divide al divisor y al resto de una
división inexacta, divide al dividendo.

11. Pruébese que: ∀m,n,k𝜖ℤ con k≠0; k ∣ (m + n) y k ∣ m ⇒ k ∣ n

12. Demuestre que: ∀a,b,c,d𝜖ℤ con a,c≠0; a ∣ b y c ∣ d ⇒ ac ∣ bd

13. Demuestre que: ∀a,b,c𝜖ℤ con c≠0; ac ∣ bc ⇒ a ∣ b

14. Probar que la suma de dos números impares consecutivos es divisible por 4.

15. Probar que la suma de tres números impares consecutivos es divisible por 3.

16. Demuestre que: ∀a,b,c𝜖ℤ con a≠0; a ∣ b y a ∣ c ⇒ a ∣ bc

17. Demostrar que el producto de dos enteros consecutivos es divisible por 2.

18. Pruebe que el producto de tres enteros consecutivos es divisible por 3.

19. Demuestre que para todo a𝜖ℤ, si a | 1 entonces a = ± 1.

20. Si a es un número impar. Pruebe que a2 – 1 es divisible por 8.

21. De un contraejemplo de la afirmación: a | bc y a ∤ c entonces a | b.

22. Demostrar que si d | a y d | (a+1) entonces d = ± 1.

23. Si d | a y d | b y si a = bq + r entonces d | r.

24. Pruébese que: ∀a,b,c𝜖ℤ con a, c ≠ 0; ac ∣ bc ⇒ a ∣ b.

25. Si d | a y d | b y si a = bq + r, entonces d | r.

26. Demuestre que si d | a y d | (a + 1), entonces d = ± 1.