Notas de clase

Teorı́a De Números
Departamento de Matemáticas y Estadı́stica
Universidad de Nariño

Prof. John H. Castillo

19 de agosto de 2015
2. Prof. John H. Castillo
Índice general

2. Teorı́a de la divisibilidad en los enteros 5

2.1. El Algoritmo de la División . . . . . . . . . . . . . . . . . . . 5
2.2. El máximo común divisor . . . . . . . . . . . . . . . . . . . . 7
2.3. El Algoritmo de Euclides . . . . . . . . . . . . . . . . . . . . . 10
2.4. La Ecuación Diofántica ax + by = c . . . . . . . . . . . . . . . 13
2.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

3
4. Prof. John H. Castillo ÍNDICE GENERAL
Capı́tulo 2

Teorı́a de la divisibilidad en los

enteros

2.1. El Algoritmo de la División

Teorema 2.1.1. Dados enteros a y b, con b > 0, existen enteros únicos q y
r tales que
a = bq + r, 0 ≤ r < b.

Los enteros q y r se llaman, respectivamente, el cociente y el residuo en la

división de a por b.

Demostración. Considere

S = {a − xb x ∈ Z, a − xb ≥ 0}.

Para demostrar que S 6= ∅ nada más basta con encontrar un entero x tal
que a − xb ≥ 0. Sea x = −|a| y como b ≥ 1 entonces |a|b ≥ |a|

a − (−|a|b) = a + |a|b ≥ a + |a| ≥ 0,

ası́ que a − (−|a|)b ∈ S. Luego por el PBO, S tiene un número mı́nimo r y

en consecuencia existe q ∈ Z tal que

r = a − qb,

5
6. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

ası́ a = qb + r, donde 0 ≤ r. Queda por probar que r < b. Supóngase lo

contrario. Entonces

t = a − (q + 1)b = a − qb − b = r − b ≥ 0.

Luego t ∈ S y además t < r, esto es una contradicción por la forma en

que se escogió r. Por lo tanto r < b. Para demostrar la unicidad de q y r.
Supongase que existen enteros q ′ y r′ tales que

a = qb + r = q ′ b + r′ ,

donde 0 ≤ r < b, 0 ≤ r′ < b. Luego r′ − r = b(q − q ′ ); entonces

|r′ − r| = b|q − q ′ |,

de las desigualdades anteriores −b < r′ − r < b o en forma equivalente

|r′ − r| < b y de aquı́ entonces

0 ≤ |q − q ′ | < 1,

de donde |q − q ′ | = 0 y entonces q = q ′ y r = r′ .

Una versión más general del algoritmo de la división se obtiene al reem-

plazar la restricción de que b tenga que ser positivo por la condición de que
b 6= 0.

Corolario 1. Si a y b son enteros, con b 6= 0, entonces existen enteros únicos

q y r tales que
a = qb + r, 0 ≤ r ≤ |b|.

Teorema 2.1.2. Si a y b son enteros, con b 6= 0, existen enteros c′ y d′ tal

que
−|b| |b|
a = bc′ + d′ < d′ ≤ .
2 2
2.2 El máximo común divisor 7. Prof. John H. Castillo

2.2. El máximo común divisor

Definición 1. Se dice que un entero b es divisible por un entero a 6= 0,
denotado por a|b si existe un entero c tal que

b = ac.

Por a ∤ b se denota que b no es divisble por a.

Además, para decir que b es divisible por a, también se puede decir que

a es un divisor de b;
a es un factor de b;
b es un múltiplo de a.

En lo que sigue cuando se emplee la notación a|b, se sobreentenderá que a es

diferente de cero.
Si a es un divisor de b, entonces b es también divisible por −a, es decir los
divisores de un entero vienen por pares. Para encontrar todos los divisores
de un entero dado es suficiente con obtener los divisores positivos y entonces
unirlos a los divisores negativos correspondientes. Por está razón en lo que
sigue los resultados se limitarán a los divisores positivos.

Teorema 2.2.1. Sean a, b, c enteros, entonces:

1. a|0 , 1|a, a|a;

2. a|1 si y sólo si a = ±1;

3. Si a|b y c|d, entonces ac|bd;

4. Si a|b y b|a, 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 a|c, entonces a|(bx + cy), para x, y ∈ Z;

8. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

8. Si a|bk , k = 1, 2, . . . , n; entonces a|(b1 x1 + · · · + bn xn ).

Si un entero d divide a dos enteros a y b, se dice que d es un divisor común

de a y b. Ası́ pues 1 es un divisor común de todo par de enteros a y b. Además,
como todo entero diferente de cero divide a 0, entonces si a = b = 0 todo
entero es un divisor común de a y b. Sin embargo, cuando al menos uno de
los dos es diferente de cero, únicamente existe un número finito de divisores
comunes. Entre estos, hay uno que es mayor que todos, que se denomina el
máximo común divisor de a y b.

Definición 2. Dados dos enteros a y b (con al menos uno de los dos diferente
de cero), el mayor entero que divide a y b se denomina el máximo común
divisor de a y b, denotado por gcd(a, b).

Es decir, si gcd(a, b) = d entonces

1. d|a y d|b;

2. Si c|a y c|b, entonces c ≤ d.

Observese que la anterior definición da un método para calcular el máximo

común divisor de dos enteros. Si a y b son iguales a cero, el gcd no existe. Si
a = 0 y b 6= 0, el gcd es |b|. Si a y b son diferentes de cero, con |a| ≤ |b|, se
listan los divisores de a, entonces el mayor de estos que divida a b es el gcd.
Esta forma de calcular el gcd en general es muy ineficiente.
El siguiente teorema presenta una caracterización útil del máximo común
divisor de a y b en términos de sus combinaciones lineales, esto es como sumas
de la forma sa + tb, donde s y t son enteros.

Teorema 2.2.2. Sean a y b enteros (con al menos uno de los dos diferente
de cero), y sea d = gcd(a, b). Entonces d es el menor entero positivo que se
puede expresar como una combinación lineal de a y b.

Demostración. Sea S = {sa + tb > 0 s, t ∈ Z} el conjunto de las combina-
ciones lineales positivas de a y b.
2.2 El máximo común divisor 9. Prof. John H. Castillo

S 6= ∅ pues si a 6= 0 entonces |a| = a · u + b · 0 ∈ S donde u = ±1 . Luego por

el PBO este conjunto de enteros positivos tiene un elemento mı́nimo; m, tal
que
m = sa + tb

para t, s ∈ Z. Por el algoritmo de la división existen enteros q y r tales

que a = qm + r, 0 ≤ r < m. Además r = a − qm = a − q(sa + tb) =
(1 − qs)a + (−qt)b; es decir, r es una combinación lineal de a y b y r ≥ 0,
entonces r < m. Ası́ se debe tener que r = 0 y a = qm. Luego m es un divisor
de a, de igual forma se muestra que es un divisor de b, por lo tanto m es un
divisor común de a y b. Sea d = gcd(a, b), entonces d|m lo que implica que
d ≤ m, como d es el máximo común divisor de a y b entonces d = m.

Corolario 2. Si c es cualquier divisor común de a y b, entonces c divide a

gcd(a, b).

Corolario 3. Si a y b son enteros, al menos uno de los dos diferente de cero,

entonces el conjunto

T = {ax + by x, y ∈ Z}

es el conjunto de los múltiplos de d = gcd(a, b).

Definición 3. Dos enteros a y b se dice que son primos relativos si gcd(a, b) =

1; esto es, si el único factor común positivo que tienen es 1.

Teorema 2.2.3. Sean a y b enteros, no ambos cero. Entonces a y b son

primos relativos si y sólo si existen enteros x y y tales que 1 = ax + by.

Demostración. Si a y b son primos relativos entonces gcd(a, b) = 1, entonces

existen enteros x, y tales que 1 = ax + by. Reciprocamente, sea d = gcd(a, b).
Como d|a y d|b entonces d|(1 = ax + by) entonces d|1 lo que implica que
d = 1.

Teorema 2.2.4 (Lema de Euclides). Si a|bc y gcd(a, b) = 1, entonces a|c.

10. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

Demostración. Por suposición 1 = ax + by para algunos x, y ∈ Z multipli-

cando por c
c = c(ax + by) = acx + bcy

como bc = at para t ∈ Z, se tiene que

c = acx + aty = a(cx + ty)

entonces a|c.

2.3. El Algoritmo de Euclides

Antes de ver el Algoritmo de Euclides para calcular el máximo común
divisor de dos números se presenta el siguiente resultado fundamental dentro
del algoritmo.

Lema 2.3.1. Sean a y b enteros. Si a = bq+r, entonces gcd(a, b) = gcd(b, r).

Demostración. Si d|a y d|b entonces d|(a−qb) = r. Ası́ d es un divisor común

de b y r; es decir,
d|b y d|r.

Por otra parte, se a c un divisor común de b y r, entonces c|(bq + r), de aqui

c|a. Esto implica que c es un divisor común de a y b, entonces c ≤ d. Y
entonces d = gcd(b, r).

El algoritmo de Euclides se pude describir como sigue: sean a y b enteros,

dado que
gcd(|a|, |b|) = gcd(a, b),

sin perdida de generalidad se puede suponer que a ≥ b > 0.

El primer paso consiste en aplicar el Algoritmo de la División para a y b,
entonces existen enteros q1 , r1 tales que

a = q 1 b + r1 ; 0 ≤ r1 < b.
2.3 El Algoritmo de Euclides 11. Prof. John H. Castillo

Si r1 = 0 entonces b|a y ası́ gcd(a, b) = b. Cuando r1 6= 0 se divide b por r1

para obtener enteros q2 y r2 tales que

b = q 2 r1 + r2 ; 0 ≤ r2 < r1 .

Si r2 = 0 entonces el algoritmo se detiene pues gcd(a, b) = gcd(b, r1 ) =

gcd(r1 , 0) = r1 . De otra manera, se procede como antes para obtener

r1 = q 3 r2 + r3 ; 0 ≤ r3 < r2 .

Este proceso continua hasta que algún residuo dentro del algoritmo sea cero,
por ejemplo en el (n + 1)-ésimo paso cuando rn−1 , sea divisible por rn (un
residuo igual a cero debe aparecer dado que la sucesión b > r1 > r2 > · · · ≥ 0
no puede contener más de b enteros).
El resultado es el siguiente sistema de ecuaciones

a = q 1 b + r1 ; 0 < r1 < b
b = q 2 r1 + r2 ; 0 < r2 < r1
r1 = q 3 r2 + r3 ; 0 < r3 < r2
..
.
rn−2 = qn rn−1 + rn ; 0 < rn < rn−1
rn−1 = qn+1 rn + 0.

Entonces por el Lema 2.3.1 se tiene que

gcd(a, b) = gcd(b, r1 ) = · · · = gcd(rn−1 , rn ) = gcd(rn , 0) = rn .

Además se sabe que el gcd(a, b) se puede expresar en la forma ax + by, la

prueba de este resultado no da ningún indicio de como determinar los enteros
x, y. El Algoritmo de Euclides que se acaba de presentar da un método para
calcularlos.
Se tiene que rn = rn−2 − qn rn−1 . Sustituyendo rn−1 = rn−3 − qn−1 rn−2 en
la anterior ecuación se tiene

rn =rn−2 − qn (rn−3 − qn−1 rn−2 ) = rn−2 − qn rn−3 + qn qn−1 rn−2

=(1 + qn−1 qn )rn−2 + (−qn )rn−3 ···
12. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

donde esta última ecuación presenta a rn como una combinación lineal de rn−2
y rn−3 . Si se continua sustituyendo cada una de las ecuaciones encontradas,
se podrá representar a rn como una combinación lineal de a y b.
Existe un concepto paralelo al de máximo común divisor de dos enteros,
conocido como el mı́nimo común múltiplo. Se dice que un entero c es un
múltiplo común de dos enteros (diferentes de cero) a y b si a|c y b|c. Eviden-
temente, 0 es un múltiplo común de cualquier par de enteros a y b. Para ver
que existen múltiplos comunes que no son triviales, note que tanto ab como
−(ab) son múltiplos de a y b y uno de estos debe ser positivo. Luego por el
PBO, el conjunto
S = {c > 0 : a|c y b|c},

de los múltiplos comunes de a y b tiene un elemento mı́nimo. A este se le

denomina el mı́nimo común múltiplo de a y b.

Definición 4. El mı́nimo común múltiplo de dos enteros a y b, denotado

por lcm(a, b), es el entero positivo m tal que:

1. a|m y b|m.

2. Si a|c y b|c, con c > 0, entonces m ≤ c.

Dados enteros a y b (diferentes de cero), lcm(a, b) siempre existe y lcm(a, b) ≤

|ab|.

Teorema 2.3.2. Para enteros positivos a y b, gcd(a, b) lcm(a, b) = ab.

ab
Demostración. Sea d = gcd(a, b) y m = . Sea a = dr y b = ds con r, s ∈ Z.
d
ab
Luego m = = rb = as; es decir m es un múltiplo común de a y b. Sea
d
c cualquier entero positivo múltiplo común de a y b, es decir c = au =
bv, u, v ∈ Z. Como se sabe existen enteros x, y tales que d = ax + by. En
consecuencia

c cd c(ax + by)  c  c

= = = x+ y = vx + uy ∈ Z,
m ab ab b a
2.4 La Ecuación Diofántica ax + by = c 13. Prof. John H. Castillo

entonces m|c. Lo que implica finalmente que m ≤ c. Ası́ por definición m =

lcm(a, b).

Por el anterior teorema

ab
lcm(a, b) = .
gcd(a, b)

Corolario 4. Dados dos enteros positivos a y b, lcm(a, b) = ab si y sólo si

gcd(a, b) = 1.

2.4. La Ecuación Diofántica ax + by = c

Ahora la atención recae en el estudio de las ecuaciones diofánticas. El
nombre hace honor al matemático Diofanto, quien inició el estudio de tales
ecuaciones.
Es costumbre utilizar el término Ecuación Diofántica para cualquier ecua-
ción en una o más variables que se resuelve en los números enteros. El tipo
más simple de ecuación diofántica que se considera es la Ecuación Lineal
Diofántica en dos variables
ax + by = c,

donde a, b, c son enteros dados y a, b no son los dos cero. Una solución de
esta ecuación es una pareja de enteros x0 , y0 tales que satisfacen la ecuación
dada, esto es ax0 + by0 = c.
Una ecuación lineal diofántica puede tener varias soluciones, por ejemplo
la ecuación
3x + 6y = 18

tiene las siguientes soluciones

18 = 3 · 4 + 6 · 1 = 3 · (−6) + 6 · 6 = 3 · 10 + 6 · (−2).

Por el contrario, no existe una solución para la ecuación 2x+10y = 17. Puesto
que el lado izquierdo de la ecuación es un entero par, cualquiera que sea la
14. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

escogencia de x y y, mientras que el lado derecho no es par. De acuerdo a

esto, es razonable preguntar por las circunstancias bajo las que una solución
es posible, y cuando una solución existe y cuando se pueden determinar todas
las soluciones explicitamente.
La condición de solución es fácil de establecer : la ecuación diofántica
ax + by = c tiene solución si y sólo si d|c, donde d = gcd(a, b). En efecto,
se sabe que existen enteros r y s tales que a = dr y b = ds. Si existe una
solución de ax + by = c, entonces

c = ax0 + by0 = drx0 + dsy0 = d(rx0 + sy0 ),

lo que implica que d|c. Inversamente, suponga que d|c, ası́ c = dt. Además
existen enteros x0 y y0 tales que d = ax0 + by0 , luego multiplicando esta
última ecuación por t se tiene que

c = dt = t(ax0 + by0 ) = a(tx0 ) + b(ty0 ).

De aquı́ la ecuación diofántica ax + by = c tiene a x = tx0 y y = ty0 como

una solución particular.

Teorema 2.4.1. La ecuación lineal diofántica ax+by = c tiene una solución

si y sólo si d|c, donde d = gcd(a, b). Si x0 , y0 es una solución de esta ecuación,
entonces todas las otras soluciones están dadas por

x = x0 + (b/d)t; y = y0 − (a/d)t

para cualquier t ∈ Z.

Demostración. Para establecer la segunda afirmación del teorema, suponga

que una solución x0 , y0 de la ecuación dada se conoce. Si x′ , y ′ es otra solución
entonces
ax0 + by0 = c = ax′ + by ′ .

Existen enteros primos relativos r y s tales que a = dr, b = ds, entonces

r(x′ − x0 ) = s(y0 − y ′ ),
2.5 Ejercicios 15. Prof. John H. Castillo

luego r|s(y0 − y ′ ) pero como gcd(r, s) = 1. Por el Lema de Euclides, se debe

tener que r|(y0 − y ′ ), en otras palabras

y0 − y ′ = rt,

para algún t ∈ Z y entonces x′ − x0 = st. Luego

x′ = x0 + st = x0 + (b/d)t
y ′ = y0 − rt = y0 − (a/d)t

Ası́ existe un número infinito de soluciones de la ecuación dada.

Es útil tener en cuenta la versión que tiene el teorema anterior cuando

los coeficientes son primos relativos.

Corolario 5. Si gcd(a, b) = 1 y x0 , y0 es una solución particular de la ecua-

ción lineal diofántica ax + by = c, entonces todas las soluciones están dadas
por

x = x0 + bt,
y = y0 − at,

para t ∈ Z.

Ejemplo 1. Considere la ecuación diofántica 3x+6y = 18. Como gcd(3, 6) =

3 divide a 18, el teorema anterior implica que la ecuación planteada tiene
infinitas soluciones y vienen dadas por

x = 6 + 2t,
y = −t,

con t ∈ Z. Observe que x0 = 6 y y0 = 0 es una solución particular.

2.5. Ejercicios
Problemas 2.1
16. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

1. Pruebe que si a y b son enteros, con b > 0, entonces existen enteros

únicos q y r tales que a = qb + r, donde 2b ≤ r < 3b.

2. Muestre que cualquier entero de la forma 6k + 5 también es de la forma

3j + 2, pero no reciprocamente.

3. Use el algoritmo de la división para demostrar que:

a) El cuadrado de cualquier entero es de la forma 3k ó 3k + 1;

b) El cubo de cualquier entero tiene una de las siguientes formas
9k, 9k + 1 ó 9k + 8;
c) La cuarta potencia de un entero es de la forma 5k ó 5k + 1.

4. Pruebe que 3a2 − 1 no es un cuadrado perfecto. [Sugerencia: Utilice

3(a).]

5. Para n ≥ 1, pruebe que n(n + 1)(2n + 1)/6 es un entero.

6. Demuestre que si un entero es un cuadrado y a la vez un cubo (como

en el caso de 64 = 82 = 43 ), entonces debe ser de la forma 7k ó 7k + 1.

7. Demuestre la siguiente versión del algoritmo de la división: Sean a y

b enteros, con b 6= 0, entonces existen enteros únicos q y r tales que
|b| |b|
a = bq + r, donde − < r ≤ .
2 2
8. Pruebe que ningún entero en la sucesión

11, 111, 1111, 11111, . . .

es un cuadrado perfecto. [Sugerencia: Un término 111 · · · 111 se puede

escribir como 111 · · · 111 = 111 · · · 108 + 3 = 4k + 3.]

9. Muestre que el cubo de cualquier entero es de la forma 7k ó 7k ± 1.

10. Para n ≥ 1, demuestre que el entero n(7n2 + 5) es de la forma 6k.

11. Si n es un entero impar, muestre que n4 + 4n2 + 11 es de la forma 16k.

2.5 Ejercicios 17. Prof. John H. Castillo

Problemas 2.2

1. Si a|b, demuestre que (−a)|b, a|(−b), y (−a)|(−b).

2. Dados enteros a, b, c, d, demuestre que

a) Si a|b, entonces a|bc;

b) Si a|b y a|c, entonces a2 |bc;
c) a|b si y sólo si ac|bc, donde c 6= 0;
d ) Si a|b y c|d, entonces ac|bd;

3. Pruebe o refute: si a|(b + c), entonces a|b ó a|c.

4. Para n ≥ 1, use inducción matemática para demostrar cada uno de las

siguientes afirmaciones sobre divisibilidad:

a) 8|52n + 7, [Sugerencia: 52(k+1) + 7 = 52 (52k + 7) + (7 − 52 · 7).];

b) 15|24n − 1;
c) 5|33n+1 + 2n+1 ;
d ) 21|4n+1 + 52n−1 ;
e) 24|2 · 7n + 3 · 5n − 5;

5. Pruebe que para cualquier entero a uno de los enteros a, a + 2, a + 4 es

divisible por 3.[Sugerencia: por el algoritmo de la división, el entero a
debe ser de la forma 3k, 3k + 1, ó 3k + 2.]

6. Para un entero a, demuestre que

a) 2|a(a + 1), y 3|a(a + 1)(a + 2);

b) 3|a(2a2 + 7);
c) Si a es impar, entonces 32|(a2 + 3)(a2 + 7).

7. Pruebe que si a y b son enteros impares, entonces 16|a4 + b4 − 2.

8. Demuestre que :
18. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

a) La suma de los cuadrados de dos enteros impares no puede ser un

cuadrado perfecto;

b) El producto de cuatro enteros consecutivos es un cuadrado per-

fecto menos 1.

9. Demuestre que la diferencia de los cubos de dos enteros consecutivos

no es divisible por 2.

10. Para un entero a 6= 0, demuestre que gcd(a, 0) = |a|, gcd(a, a) = |a|, y

gcd(a, 1) = 1.

11. Si a y b son enteros (al menos uno de los dos diferente de cero), de-
muestre que :

gcd(a, b) = gcd(−a, b) = gcd(a, −b) = gcd(−a, −b)

12. Pruebe que, para un entero positivo n y cualquier entero a, gcd(a, a+n)
divide a n, y de aqui que gcd(a, a + 1) = 1.

13. Dados enteros a y b, pruebe que

a) Existen enteros x y y tales que c = ax + by si y sólo si gcd(a, b)|c;

b) Si existen enteros x y y tales que ax + by = gcd(a, b), entonces

gcd(x, y) = 1.

14. Para cualquier entero a, muestre que

a) gcd(2a + 1, 9a + 4) = 1;

b) gcd(5a + 2, 7a + 3) = 1;

c) Si a es impar, entonces gcd(3a, 3a + 2) = 1.

15. Si a y b son enteros, (al menos uno de los dos diferente de cero), pruebe
que gcd(2a − 3b, 4a − 5b) divide a b; de aqui, gcd(2a + 3, 4a + 5) = 1.
2.5 Ejercicios 19. Prof. John H. Castillo

16. Dado un entero impar a, muestre que

a2 + (a + 2)2 + (a + 4)2 + 1

es divisible por 12.

17. Demuestre que (2n)!/n!(n + 1)! es un entero para todo n ≥ 0.

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

6; el producto de cuatro enteros consecutivos es divisible por 24; el
producto de cinco enteros consecutivos es divisble por 120.

19. Demuestre cada una de las siguientes afirmaciones

a) Si a es un entero, entonces 6|a(a2 + 11).

b) Si a es un entero impar, entonces 24|a(a2 − 1).[Sugerencia: El cua-

drado de un entero impar es de la forma 8k + 1.]

c) Si a y b son impares entonces, 8|(a2 − b2 ).

d ) Si a es un entero que no es divisible por 2 ó 3, entonces 24|(a2 +23).

[Sugerencia: Cualquier entero a es de una de las formas 6k, 6k +
1, . . . , 6k + 5.]

e) Si a es un entero, entonces 360|a2 (a2 − 1)(a2 − 4)

20. Demuestre las siguientes propiedades del máximo común divisor:

a) Si gcd(a, b) = 1, y gcd(a, c) = 1, entonces gcd(a, bc) = 1.

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

c) Si gcd(a, b) = 1, entonces gcd(ac, b) = gcd(c, b).

d ) Si gcd(a, b) = 1, y c|a + b, entonces gcd(a, c) = gcd(b, c) =

1.[Sugerencia: Sea d = gcd(a, c). Entonces d|a, d|c implica que
d|(a + b) − a, ó d|b.]

e) Si gcd(a, b) = 1, d|ac, y d|bc, entonces d|c.

20. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

f ) Si gcd(a, b) = 1, entonces gcd(a2 , b2 ) = 1.[Sugerencia: Primero

muestre que gcd(a, b2 ) = gcd(a2 , b) = 1.]

21. Pruebe que si d|n, entonces 2d −1|2n −1. [Sugerencia: utilice la identidad
xk − 1 = (x − 1)(xk−1 + xk−2 + · · · + x + 1).]

22. Si a|bc, muestre que a| gcd(a, b) gcd(a, c).

23. Pruebe que la expresión (3n)!/(3!)n es un entero para todo n ≥ 0.

Problemas 2.3

1. Encuentre gcd(143, 227), gcd(306, 657) y gcd(272, 1479).

2. Use el algortimo de Euclides para encontrar enteros x, y tales que

a) gcd(56, 72) = 56x + 72y ;

b) gcd(24, 138) = 24x + 138y ;
c) gcd(119, 272) = 119x + 272y ;
d ) gcd(1769, 2378) = 1769x + 2378y ;

3. Pruebe que si d es divisor común de a y b entonces d = gcd(a, b) si y

sólo si gcd(a/d, b/d) = 1.

4. Suponga que el gcd(a, b) = 1 , entonces:

a) gcd(a + b, a − b) = 1 ó 2;
b) gcd(a + 2b, b + 2a) = 1 ó 3 ;
c) gcd(a+b, a2 +b2 ) = 1 ó 2 ; Sugerencia a2 +b2 = (a+b)(a−b)+2b2 .]
d ) gcd(a + b, a2 − ab + b2 ) = 1 ó 3; [Sugerencia :a2 − ab + b2 =
(a + b)2 − 3ab.]

5. Para enteros positivos a, b y n ≥ 1, muestre que

a) Si gcd(a, b) = 1, entonces gcd(an , bn ) = 1.

b) La relación an |bn implica que a|b
2.5 Ejercicios 21. Prof. John H. Castillo

6. Pruebe que si gcd(a, b) = 1, entonces gcd(a + b, ab) = 1.

7. Para enteros a, b diferentes de cero, verifique que las siguientes condi-

ciones son equivalentes

a) a|b
b) gcd(a, b) = |a|
c) lcm(a, b) = |b|

8. Encuentre lcm(143, 227), lcm(306, 657) y lcm(272, 1479).

9. Pruebe que el máximo común divisor de dos enteros positivos siempre

divide a su mı́nimo común múltiplo.

10. Dados enteros a y b diferentes de cero, demuestre los siguentes hechos

concernientes al lcm(a, b):

a) gcd(a, b) = lcm(a, b) si y sólo si a = ±b.

b) Si k > 0, entonces lcm(ka, kb) = k lcm(a, b).
c) Si m es un múltiplo común cualquiera de a y b, entonces lcm(a, b)|m.

11. Sean a, b, c enteros, con por lo menos dos de ellos diferentes de cero, y
d = gcd(a, b, c). Muestre que

d = gcd(gcd(a, b), c) = gcd(a, gcd(b, c)) = gcd(gcd(a, c), b)

12. Encuentre enteros x, y, z; tales que

gcd(198, 288, 512) = 198x + 288y + 512z.

Problemas 2.4

1. Diga cuales de las siguientes ecuaciones Diofánticas no tienen solución

a) 6x + 51y = 22;
b) 33x + 14y = 115;
22. Prof. John H. Castillo Teorı́a de la divisibilidad en los enteros

c) 14x + 35y = 93.

2. Determine todas las soluciones enteras de las siguientes ecuaciones

Diofánticas:

a) 56x + 72y = 40;

b) 24x + 138y = 18;
c) 221x + 35y = 11.

3. Determine todas los soluciones en los enteros positivos de las siguientes

ecuaciones Diofánticas:

a) 18x + 5y = 48;
b) 54x + 21y = 906;
c) 123x + 360y = 99;
d ) 158x − 57y = 7.

4. Si a y b son enteros primos relativos, pruebe que la ecuación Diofánti-

ca ax − by = c tiene un número infinito de soluciones en los enteros
positivos.

5. a) Pruebe que la ecuación Diofántica ax + by + cz = d tiene solución

en los enteros si y sólo si gcd(a, b, c) divide a d.
b) Encuentre todas las soluciones en los enteros de 15x + 12y + 30z =
24 [Sugerencia:Haga y = 3s − 5t y z = −s + 2t.]