1.

Divisibilidad
Recordemos la definición de divisibilidad y sus propiedades básicas
Definición 1.1. Decimos que a divide a b si existe c tal que b = ac.

1. a | a.
2. 1 | a.
3. a | 0.
4. a | b si y sólo si ±a | ±b.
5. Si a | b y b | c entonces a | c.
6. Si a | b y b 6= 0 entonces |a| ≤ |b|.
7. Si a | b y b | a entonces |a| = |b|.
8. Si a | b entonces ac | bc
9. Si ac | bc y c 6= 0 entonces a | b.
10. Si a | b entonces a | bx.
11. Si a | b y a | c entonces a | b + c.
12. Si a | b y a | c entonces a | bx + cy para todo x y y.
13. Si a | b y c | d entonces ac | bd.

Veamos la prueba de que si a | b y a | c entonces a | b + c.

Como a | b existe u tal que b = au. Igualmente, como a | c existe v tal que c = av. Sumando obtenemos
b + c = au + av = a(u + v). De esta última igualdad se sigue que a | b + c.

Veamos ahora algunos ejercicios.

Ejercicio 1.1. Si a | b entonces a2 | b2 .
Esto es consecuencia inmediata de la propiedad 13 (tomando c=a y d=b), pero podemos probarla muy
fácilmente a partir de la definición.
Si a | b existe c tal que b = ac. Elevando al cuadrado tenemos que b2 = a2 c2 , por lo que a2 | b2 .
Ejercicio 1.2. ¿Cuáles son los divisores de 4?
La propiedad 6 nos dice que si a | 4 entonces |a| ≤ 4. Esto nos dice que los posibles valores para a estan
entre los números −4, −3, −2, −1, 0, 1, 2, 3, 4. Probando cada uno de estos vemos que los divisores de 4 son
{−4, −2, −1, 1, 2, 4}.
Ejercicio 1.3. Si a | b + 3 y a | b − 2 entonces a | 5
Como a | b + 3 y a | b − 2 tenemos, por la propiedad 12 que a | (b + 3)(1) + (b − 2)(−1) = 5.
Ejercicio 1.4. ¿Para qué valores de n se tiene que n + 1|n2 + 1?
Sea n tal que n + 1 | n2 + 1. Tenemos que n2 + 1 = n2 − 1 + 2 = (n + 1)(n − 1) + 2. Despejando el 2
tenemos que 2 = (n2 + 1) − (n + 1)(n − 1). Pero n + 1 | n2 + 1 y n + 1 | n + 1, entonces, otra vez por la
propiedad 12, n + 1 | (n2 + 1) − (n + 1)(n − 1) = 2. Eso quiere decir que n + 1 debe ser un divisor de 2. Los
divisores de 2 son {−2, −1, 1, 2}. Eso nos da los siguientes valores para n: {−3, −2, 0, 1}.
Ejercicio 1.5. Si a | b y a - c entonces a - b + c.
Supongamos para llegar a una contradicción que a | b + c. Como a | b entonces a | (b + c)(1) + (b)(−1) = c,
que contradice la hipótesis.

La propiedad 11 dice que si a divide a dos enteros entonces divide a su suma. El ejercicio anterios dice
que si divide a un entero pero no al otro, entonces no dividirá a su suma. ¿Qué podemos decir si a no divide
a ninguno de los dos? ¿dividirá a su suma o no?
Resulta que aquı́ no hay un resultado general. Para ver esto basta dar unos ejemplos: Tenenos que 3 - 4
y 3 - 8 pero 3 | 4 + 8. Pero también tenemos que 3 - 4, 3 - 7 y 3 - 4 + 7. Es decir, a partir de a - b y a - c no
podemos decir nada acerca de si b + c es divisible entre a o no.

Ejercicio 1.6. Demuestra que 2 | n(n + 1) para todo n ≥ 1.

Veamos varias demostraciones de este ejercicio.

Combinatoria: Resulta que ya sabemos que 1 + 2 + · · · + n = n(n+1)

2 . Como este cociente es un entero
(porque es la suma de los primeros n enteros positivos) entonces 2 divide a n(n + 1).

Inducción: Para n = 1, n(n + 1) = 2 y 2 | 2. Supongamos ahora que 2 | n(n + 1), y (obviamente)

2 | 2(n + 1), por lo que 2 | n(n + 1) + 2(n + 1) = (n + 1)(n + 2) y esto completa el paso inductivo.

Paridad: Sabemos que todo entero es par o impar. Y también sabemos que el producto de un par con un
impar es par. Entonces, si n es par, n(n + 1) también es par. Si n es impar entonces n + 1 es par, por lo que
n(n + 1) es par también en este caso.

Vale la pena observar que las primeras dos demostraciones lo prueban para enteros positivos, pero la
tercera no usa que n sea positivo, es decir, lo prueba para todos los enteros.
Ejercicio 1.7. Demuestra que 3 | 4n + 5 para todo n ≥ 0.
Por inducción: Para n = 0 tenemos que 3 | 40 + 5 = 6. Supongamos ahora que 3 | 4n + 5. Esto nos dice
que 4n + 5 = 3k para algún k. Entonces 4n+1 + 5 = 4 · 4n + 5 = 4(3k − 5) + 5 = 12k − 15 = 3(4k − 5) lo que
demuestra que 3 | 4n+1 + 5 y esto completa la inducción.

Ejercicio 1.8. Demuestra que para todo n se tiene que 4 - n2 + 2.

Supongamos que existe n tal que 4 | n2 + 2. Vamos a estudiar dos casos:

Si n es par, entonces n = 2k para alguna k y entonces tendrı́amos que 4 | n2 + 2 = (2k)2 + 2 = 4k 2 + 2,

pero como 4 | 4k 2 esto nos llevarı́a que 4 | 2 lo cuál es falso.

Si n es impar, entonces n = 2k +1 para alguna k y tendrı́amos que 4 | n2 +2 = (2k +1)2 +2 = 4k 2 +4k +3,
pero como 4 | 4k 2 + 4k tendrı́amos que 4 | 3 que también es falso.
Ejercicio 1.9. Encuentra todas las soluciones enteras de la ecuación x2 = 5 + y 2

Cuando en una ecuación buscamos sólamente soluciones enteras se le llama ecuación diofántica o diofan-
tina.
La ecuación x2 = 5 + y 2 , como ecuación
p en los reales tiene una infinidad de soluciones, simplemente basta
darle cualquier valor a y y poner x = ± 5 + y 2 , de hecho el conjunto de soluciones (x, y) es una hipérbola.
Pero a nosotros nos interesan sólamente las soluciones enteras, ası́ que se vuelve más interesante.
Empecemos por escribir la ecuación como x2 − y 2 = 5. Factorizando, tenemos que (x + y)(x − y) = 5.
Esto nos dice que x + y | 5, pero los únicos divisores de 5 son −5, −1, 1, 5.
 Supongamos primero que x+y = −5, entonces, sustituyendo en la ecuación, tenemos que (−5)(x−y) = 5,
por lo que x−y = −1. Resolviendo el sistema de ecuaciones x+y = −5, x−y = −1 obtenemos x = −3, y = −2.
De manera similar, si suponemos ahora que x + y = −1, tenemos que x − y = −5 y esto nos da
x = −3, y = 2.
Tomando ahora x + y = 1 obtenemos x − y = 5 que nos lleva a x = 3, y = −2.
Y finalmente si x + y = 5 entonces x − y = 1 y tenemos que x = 3, y = 2.
Entonces las soluciones (x, y) de la ecuación son (−3, −2), (−3, 2), (3, −2) y (3, 2), que podemos escribir
como (±3, ±2).

Para esta ecuación en particular, como x y y estan elevados al cuadrado, era obvio que si tenı́amos una
solución, cambiando los signos de x o y obtendrı́amos otras soluciones, pero ese no será siempre el caso.

Las ecuaciones diofánticas son en general muy distintas a las ecuaciones en los reales, pues son muy
sensibles a pequeños cambios en los parámetros. Por ejemplo, consideremos las ecuaciones

1. x2 − 3y 2 = 12
2. x2 − 3y 2 = 13
3. x2 − 4y 2 = 13

4. x2 + 4y 2 = 13

La primera no tiene soluciones, la segunda tiene una infinidad de soluciones, la tercera y la cuarta tienen
sólo un número finito de soluciones. Además los métodos que se usan para resolver las cuatro ecuaciones son
muy distintos.