Facultad de Educación e Idiomas

Departamento de Enseñanza de las Ciencias

Carrera de Física – Matemática

Álgebra I Año: Segundo

Objetivos:

Calcular en la estructura aritmética de los números enteros.

Efectuar las operaciones fundamentales entre enteros expresados en bases
distintas de diez.
Identificar ecuaciones diofánticas lineales en dos variables.
Resolver ecuaciones diofánticas lineales en dos variables.
Valorar la importancia de los números enteros en el desarrollo histórico de la
humanidad.

Contenidos:

El anillo de los enteros.

Relación de orden en ℤ.
La estructura aritmética de los números enteros. Divisibilidad y congruencia.
Operaciones básicas entre números enteros expresados en bases distintas de
diez.

Teorema Fundamental de la Aritmética.

Ecuaciones diofánticas en dos variables y congruencias lineales.

METODOLOGÍA Y ACTIVIDADES

Desarrollaremos una lectura interactiva del presente material, con intervención de los
otros compañeros y la mediación del profesor. Recuerde lo que dice el notable
matemático argentino Enzo Gentile: “La Matemática, igual que la música, hay que
interpretarla, el ejecutante es fundamental”. En este caso, usted es el ejecutante
insustituible. Por otro lado, el mismo autor dice lo siguiente: “La teoría, los ejemplos
y la resolución de problemas forman el triángulo de equilibrio de toda enseñanza
eficaz”

Lea atentamente la definición de semianillo de los números naturales dado en la guía

anterior. Si dijéramos que un anillo es un semianillo donde cada elemento tiene

1
opuesto, escriba la definición completa de anillo, luego compárela con la que damos
a continuación:

El conjunto ℤ = {… , −2, −1, 0, 1, 2, … } forma un anillo si cumple lo siguiente:

𝐴0 : Existe una función 𝑓: ℤ × ℤ → ℤ llamada adición. Si 𝑎, 𝑏 ∈ ℤ, 𝑓(𝑎, 𝑏) la denotamos por

𝑎 + 𝑏, la suma de 𝑎 y 𝑏.

𝐴1 : Si 𝑎, 𝑏, 𝑐 ∈ ℤ, entonces (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐 ) (ley asociativa)

𝐴2 : Existe un único entero 0 (cero) tal que 𝑎 + 0 = 𝑎 para todo 𝑎 ∈ ℤ (0 es el idéntico

para la adición)

𝐴3 : Si 𝑎 ∈ ℤ, entonces existe un único entero denotado por −𝑎 tal que 𝑎 + (−𝑎) = 0. −

𝑎 se llama el negativo de 𝑎, o el inverso aditivo de 𝑎.

𝐴4 : Si 𝑎, 𝑏 ∈ ℤ, entonces 𝑎 + 𝑏 = 𝑏 + 𝑎. (ley conmutativa de la adición).

𝑀0 : Existe una función 𝑔: ℤ × ℤ → ℤ llamada multiplicación. Si 𝑎, 𝑏 ∈ ℤ, 𝑔(𝑎, 𝑏) la

denotamos por 𝑎 ∙ 𝑏 o 𝑎𝑏, el producto de 𝑎 y 𝑏.

𝑀1 : Si 𝑎, 𝑏, 𝑐 ∈ ℤ, entonces (𝑎 ∙ 𝑏) ∙ 𝑐 = 𝑎 ∙ (𝑏 ∙ 𝑐 ) (ley asociativa)

𝑀2 : Existe un único entero 1 ≠ 0 (cero) tal que 𝑎 ∙ 1 = 𝑎 para todo 𝑎 ∈ ℤ (1 es el idéntico

para la multiplicación)

𝑀3 : Sean 𝑎, 𝑏, 𝑐 ∈ ℤ. Si 𝑎𝑏 = 𝑎𝑐 y 𝑎 ≠ 0, entonces 𝑏 = 𝑐 (ley cancelativa de la

multiplicación)

𝑀4 : Si 𝑎, 𝑏 ∈ ℤ, entonces 𝑎 ∙ 𝑏 = 𝑏 ∙ 𝑎. (ley conmutativa de la multiplicación)

𝐷: Si 𝑎, 𝑏, 𝑐 ∈ ℤ, entonces 𝑎 ∙ (𝑏 + 𝑐 ) = 𝑎 ∙ 𝑏 + 𝑎 ∙ 𝑐 (ley distributiva)

El conjunto de los números enteros ℤ con el producto también cumple otra propiedad
importante que lo convierte en dominio íntegro:

∀ 𝑎, 𝑏 ∈ ℤ: 𝑎 ∙ 𝑏 = 0 ⟹ 𝑎 = 0 ∨ 𝑏 = 0.

Esta propiedad nos dice que el anillo ℤ carece de divisores de cero.

TEOREMA 1. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ. Si 𝑎 + 𝑏 = 𝑎 + 𝑐, entonces 𝑏 = 𝑐.

Prueba. Por 𝐴3 , existe un entero (−𝑎) tal que 𝑎 + (−𝑎) = 0, y por 𝐴4 , 𝑎 + (−𝑎) = (−𝑎) +
𝑎, de donde (−𝑎) + 𝑎 = 0. Por 𝐴0 , (−𝑎) + (𝑎 + 𝑏) = (−𝑎) + (𝑎 + 𝑐 ), y por 𝐴1 , ( (−𝑎) + 𝑎) +
𝑏=(−𝑎)+(𝑎 + 𝑏)=(−𝑎)+(𝑎 + 𝑐 )=( (−𝑎) + 𝑎) + 𝑐. Luego, 0 + 𝑏 = 0 + 𝑐, y por 𝐴4 , 𝑏 + 0 = 0 +
𝑏 = 0 + 𝑐 = 𝑐 + 0. Finalmente, por 𝐴2 , 𝑏 = 𝑏 + 0 = 𝑐 + 0 = 𝑐, es decir, 𝑏 = 𝑐.

2
EJERCICIOS.

1. Pruebe que −0 = 0.
2. Pruebe que si 𝑎, 𝑏, 𝑐 ∈ ℤ y 𝑎 + 𝑏 = 𝑐 + 𝑏, entonces 𝑎 = 𝑐.
3. Muestre que 𝑀3 se puede deducir a partir de que ℤ carece de divisores de cero.

TEOREMA 2. Si 𝑎 ∈ ℤ, entonces 𝑎 ∙ 0 = 0 ∙ 𝑎 = 0.

Prueba. Por 𝐴2 , 0 = 0 + 0. Usando 𝐷, 𝑎 ∙ 0 = 𝑎 ∙ (0 + 0) = 𝑎 ∙ 0 + 𝑎 ∙ 0. Igualmente, por 𝐴2 ,

𝑎 ∙ 0 + 0 = 𝑎 ∙ 0, luego 𝑎 ∙ 0 + 0 = 𝑎 ∙ 0 + 𝑎 ∙ 0. Usando el Teorema 1, 0 = 𝑎 ∙ 0. Por 𝑀4 , 0 ∙
𝑎 = 0.

EJERCICIOS.

1. ¿Dónde se usa 𝐴0 en la prueba anterior?

2. Escriba las variantes de los teoremas anteriores, que como usted puede
observar, están escritos en forma condicional.
3. Seguramente usted aprendió en la escuela que 𝑎 ∙ 0 = 0 ¿Qué importancia
educativa tiene demostrar ahora esa igualdad?
4. Escriba este teorema de manera fácil, usando el lenguaje común.

TEOREMA 3. Sea 𝑎 ∈ ℤ, entonces −(−𝑎) = 𝑎.

Prueba. Por 𝐴3 , 𝑎 + (−𝑎) = 0 y (−𝑎) + [−(−𝑎)] = 0. Por 𝐴4 , (−𝑎) + 𝑎 = 0. De esto se tiene

(−𝑎) + [−(−𝑎)] = (−𝑎) + 𝑎. Por el Teorema 1, −(−𝑎) = 𝑎.

TEOREMA 4. Sean 𝑎, 𝑏 ∈ ℤ, entonces (−𝑎)𝑏 = 𝑎 (−𝑏) = −(𝑎𝑏).

Prueba. 𝑎 ∙ 0 = 𝑎[𝑏 + (−𝑏)] = 𝑎𝑏 + 𝑎(−𝑏) ¿Por qué? Por el Teorema 2, 𝑎 ∙ 0 = 0, por tanto
𝑎𝑏 + 𝑎(−𝑏) = 0. ¿Qué propiedades se usan para obtener esta ecuación? También, por
𝐴3 , 𝑎𝑏 + [−(𝑎𝑏)] = 0, luego 𝑎𝑏 + 𝑎(−𝑏) = 𝑎𝑏 + [−(𝑎𝑏)]. Ahora, por el Teorema 1, tenemos
que 𝑎(−𝑏) = −(𝑎𝑏). Similarmente, (−𝑎)𝑏 = −(𝑎𝑏).

EJERCICIOS.

1. Pruebe que si 𝑎, 𝑏 ∈ ℤ, entonces (−𝑎)(−𝑏) = 𝑎𝑏.

2. Sean 𝑎, 𝑏 ∈ ℤ. Pruebe que −(𝑎 + 𝑏) = (−𝑎) + (−𝑏).
3. Trate de convencerse de que el signo – antepuesto a un número entero 𝑎 solo
significa que – 𝑎 es el opuesto de 𝑎.
4. Para simplificar la notación, frecuentemente se escribe 𝑎 − 𝑏 en lugar de 𝑎 +
(−𝑏). ¿Cuáles son las propiedades de esta nueva operación?

3
PROPIEDADES DE ORDEN

Existe un subconjunto ℕ, llamado el conjunto de los enteros positivos, tal que:

𝑂1 : Si 𝑎 ∈ ℤ, entonces sucede exactamente una de las siguientes posibilidades:

i) 𝑎 ∈ ℕ, ii) 𝑎 = 0, iii) −𝑎 ∈ ℕ (ley de tricotomía)
𝑂2 : Si 𝑎, 𝑏 ∈ ℕ, entonces 𝑎 + 𝑏 ∈ ℕ y 𝑎 ∙ 𝑏 ∈ ℕ.

Es interesante observar que las propiedades aritméticas, 𝑂1 y 𝑂2 implican que 1 ∈ ℕ.

TEOREMA 5. 1 ∈ ℕ.

Prueba. Por 𝑀2 , 1 ≠ 0, por tanto 1 ∈ ℕ o − 1 ∈ ℕ, pero si −1 ∈ ℕ, (−1)(−1) = 1 ∈ ℕ por

𝑂2 y uno de los ejercicios ¿Cuál?

ACTIVIDADES

a) Si 𝑎, 𝑏 ∈ ℤ, decimos que 𝑎 es menor que 𝑏 si 𝑏 − 𝑎 es positivo. Decimos también

que 𝑏 es mayor que 𝑎 y escribimos 𝑏 > 𝑎. Si 𝑎 < 𝑏 o 𝑎 = 𝑏, escribimos 𝑎 ≤ 𝑏. Escriba
tres parejas de números enteros y relaciónelos entre sí mediante el signo ≤.
b) Compare la definición de ≤ en ℕ dada en la guía anterior con la reciente ≤ en ℤ.

Divisibilidad

Definición 1. Sean 𝑎, 𝑑 ∈ ℤ con 𝑑 ≠ 0. Se dice que 𝑑 divide a 𝑎, y se denota 𝑑|𝑎, si

existe un entero 𝑘 tal que 𝑎 = 𝑘 ⋅ 𝑑. En símbolos:

𝑑|𝑎 ⟺ ∃𝑘 ∈ ℤ ∶ 𝑎 = 𝑘 ⋅ 𝑑.

El conjunto de los divisores positivos y negativos de un entero 𝑎 se notará por Div(𝑎)

y el de los divisores positivos por Div+ (𝑎).

Nota: En algunos textos no excluyen el caso 𝑑 = 0 pero se conviene que 0 divide

únicamente al 0, pues 𝑎 = 𝑘 ∙ 0 implica 𝑎 = 0. Igualmente en estas notas excluiremos
el caso 𝑑 = 0 para “no dividir por cero”.

Ejemplo 1.

1. 7|56, 7| − 56, 7 ∤ 54, −7| − 56.

2. Div(−12) = {−12, −6, −4, −3, −2, −1, 1, 2, 3, 4, 6, 12} , Div+ (−12) = {1, 2, 3, 4, 6, 12}

Propiedades de la divisibilidad

1. Todo número entero distinto de cero divide a cero.

2. ∀ 𝑎, 𝑑 ∈ ℤ , 𝑑 |𝑎 ⟺ −𝑑 |𝑎 ⟺ 𝑑|−𝑎 ⟺ −𝑑 | − 𝑎. Es decir, 𝑑 |𝑎 ⟺ |𝑑 | | |𝑎|.
4
3. Si 𝑎 ≠ 0, 𝑑|𝑎, entonces |𝑑 | ≤ |𝑎| .
4. ∀𝑎 ∈ ℤ ∶ 1|𝑎, −1|𝑎, −𝑎|𝑎, 𝑎| − 𝑎.
5. 𝑑 |𝑎 ∧ 𝑎| − 𝑑 ⟺ 𝑎 = ±𝑑.
6. 𝑑 |𝑎 ∧ 𝑑 |𝑏 ⟹ 𝑑|𝑎 ± 𝑏.
7. 𝑑 |𝑎 + 𝑏 y 𝑑|𝑎 ⟹ 𝑑|𝑏.
8. 𝑑 |𝑎 ⟹ 𝑑 |𝑘 ∙ 𝑎, ∀ 𝑘 ∈ ℤ.
9. 𝑑 |𝑎 ⟹ 𝑑 2 |𝑎2 y 𝑑 𝑛 |𝑎𝑛 , ∀ 𝑛 ∈ ℕ.

Demostración. Veamos la prueba de 5. y 7. Las restantes propiedades son también

de fácil demostración (a cargo del lector).

Para 5., 𝑑 |𝑎 ∧ 𝑎| − 𝑑 es equivalente a 𝑎 = 𝑘 ∙ 𝑑, 𝑑 = 𝑗 ∙ 𝑎, 𝑗, 𝑘 ∈ ℤ, de donde 𝑎 = (𝑘 ∙ 𝑗) ∙

𝑎, es decir que 𝑗, 𝑘 son enteros que satisfacen 𝑘 ∙ 𝑗 = 1, luego 𝑘 = ±1.
Para 7. Si 𝑑 |𝑎 + 𝑏 y 𝑑 |𝑎 entonces 𝑑 |𝑎 + 𝑏 y 𝑑 | − 𝑎, luego 𝑑 |(𝑎 + 𝑏) − 𝑎, es decir, 𝑑|𝑏.

Observación. No es verdadero que ∀ 𝑎, 𝑏, 𝑑 ∈ ℤ, 𝑑|𝑎 + 𝑏 ⟹ 𝑑 |𝑎 ∧ 𝑑 |𝑏, por ejemplo

6|4 + 8 pero 6 ∤ 4 y 6 ∤ 8.

Ejemplo 2.

1. Hallar todos los 𝑎 ∈ ℤ, 𝑎 ≠ 1, tales que 𝑎 − 1|𝑎2 + 5.

Para resolver esto, se trata de poner a la derecha del símbolo | un número fijo,
de manera de trabajar después con los divisores de ese número. Usaremos por
ejemplo el hecho que 𝑎 − 1|𝑎 − 1, lo que implica que 𝑎 − 1|(𝑎 + 1)(𝑎 − 1), es decir,
𝑎 − 1|𝑎2 − 1 y 𝑎 − 1|𝑎2 + 5. luego se tiene 𝑎 − 1 divide a la diferencia, es decir
𝑎 − 1|6. De esto concluimos que 𝑎 − 1 ∈ {±1, ±2, ±3, ±6}. Por lo tanto 𝑎 ∈
{ −5, −2, −1, 0, 2, 3, 4, 7}.

2. Probar que para cualesquiera 𝑎 ∈ ℤ, 𝑎 ≠ 1, 𝑛 ∈ ℕ, 𝑎 − 1|𝑎𝑛 − 1.

Por inducción en 𝑛. La proposición es 𝑝(𝑛): 𝑎 − 1|𝑎𝑛 − 1.

𝑝(1) es verdadera pues 𝑎 − 1|𝑎 − 1. Veamos el caso 𝑝(ℎ) verdadera ⟹ 𝑝(ℎ + 1)
verdadera. La HI es 𝑎 − 1|𝑎ℎ − 1 y se quiere probar 𝑎 − 1|𝑎ℎ+1 − 1. Pero 𝑎ℎ +1 − 1 =
𝑎 (𝑎ℎ − 1) + (𝑎 − 1), y también 𝑎 − 1|𝑎ℎ − 1, 𝑎 − 1|𝑎 − 1, por lo tanto 𝑎 − 1 divide
a l 𝑎(𝑎ℎ − 1) + (𝑎 − 1), es decir 𝑎 − 1|𝑎ℎ +1 − 1.

ACTIVIDADES

1. Decida cuáles de las siguientes afirmaciones son verdaderas ∀𝑎, 𝑏, 𝑐 ∈ ℤ; en el caso

de que sea falsa dé un contraejemplo.

5
 i) 𝑎𝑏|𝑐 → 𝑎|𝑐 y 𝑏|𝑐,
ii) 𝑎𝑏|𝑐 → 𝑎|𝑐 o 𝑏|𝑐
iii) 1|0,
iv) 2|𝑎 → 4|𝑎2 ,
v) 3|𝑎, 3|𝑏 → 3|𝑎 + 𝑏2 ,
vi) 0|0,
vii) Un número es múltiplo de 6 cuando es múltiplo de 2 y de 3.
viii) 𝑎|𝑏 + 𝑎2 → 𝑎| 𝑏.
ix) 𝑎|𝑏 y 𝑎|𝑐 → 𝑎|𝑏 + 𝑐.

2. Demuestre y ejemplifique cada una de las propiedades de divisibilidad.

3. Muestre que los únicos enteros que son inversibles son 1 y −1.
4. Muestre que todo número entero 𝑎 no nulo tiene solo un número finito de
divisores, todos pertenecientes al conjunto {−|𝑎|, … , −1,1, … , |𝑎|}.
5. Calcule Div(−1) y Div(0), Div +(−1) y Div +(0).
6. Calcule Div(𝑎) y Div(−𝑎) ¿Qué relación hay entre estos conjuntos?
7. ¿Div(𝑎) es siempre un conjunto finito?

ALGORITMO DE LA DIVISIÓN

Teorema 6. Dados 𝑎, 𝑑 ∈ ℤ con 𝑑 ≠ 0, existen 𝑘, 𝑟 ∈ ℤ únicos que satisfacen 𝑎 =

𝑘𝑑 + 𝑟 con 0 ≤ 𝑟 < |𝑑 |. 𝑘 es el cociente y 𝑟 = 𝑟𝑑 (𝑎) es el resto de la división de 𝑎 por
𝑑.

¿Por quién es divisible la diferencia 𝑎 − 𝑟 ?

Ejemplo 3.

▪ 𝑎 = 1038, 𝑑 = 14:

1038 = 74 ∙ 14 + 2 ⟹ 𝑘 = 74, 𝑟 = 2 ya que 0 ≤ 2 < 14 = |𝑑 |.

▪ 𝑎 = 1038, 𝑑 = −14:

1038 = 74 ∙ 14 + 2 = (−74) ∙ (−14) + 2 ⟹ 𝑘 = −74, 𝑟 = 2 ya que 0 ≤ 2 < 14 = |𝑑 |.

▪ 𝑎 = −1038, 𝑑 = 14:

1038 = 74 ∙ 14 + 2 ⟹ −1038 = (−74) ∙ (−14) − 2, pero −2 < 0. Hay que corregir, se

hace restando y sumando el (módulo del) divisor 14:

−1038 = (−74 ∙ 14 − 14) + (14 − 2) = −75 ∙ 14 + 12

6
 ⟹ 𝑘 = −75, 𝑟 = 12 ya que 0 ≤ 12 < 14 = |𝑑 |

▪ 𝑎 = −1038, 𝑑 = −14:
1038 = 74 ∙ 14 + 2 ⟹ −1038 = (74) ∙ (−14) − 2, pero −2 < 0. Hay que corregir, se
hace como el caso anterior:

−1038 = (74 ∙ (−14) − 14) + (14 − 2) = 75 ∙ (−14) + 12

⟹ 𝑘 = 75, 𝑟 = 12 ya que 0 ≤ 12 < 14 = |𝑑 |

EJEMPLO 4. Sabiendo que el resto de la división de un entero 𝑎 por 18 es 5 calcular

el resto de la división de 𝑎2 por 18.

SOLUCIÓN: Por el algoritmo de la división 𝑎 se puede expresar en la forma 𝑎 = 18𝑞 +

5, luego 𝑎2 = (18𝑞 + 5)2 = 324𝑞2 + 180𝑞 + 25 = 18(18𝑞2 + 10𝑞 + 18) + 7. Mencione el
cociente y el residuo.

EJERCICIOS

1. Revise en un texto de Primaria la división entre enteros positivos y compare con el

que hemos aprendido.

2. Escriba una regla que facilite la comprensión de la división general entre enteros.

3. Calcular el cociente y el resto de la división de 𝑎 por 𝑏 en los casos

a) 𝑎 = 133, 𝑏 = −14
b) 𝑎 = 13, 𝑏 = 111
c) 𝑎 = 1024, 𝑏 = −53
d) 𝑎 = −540, 𝑏 = 11.

4. Sabiendo que el resto de la división de un entero 𝑎 por 18 es 5 calcular el resto

de
a) La división de 𝑎2 − 3𝑎 + 11 por 18
b) La división de 𝑎 por 3
c) La división de 𝑎2 + 7 por 36
d) La división de 4𝑎 + 1 por 9
e) La división de 1 − 3𝑎 por 27
f) La división de 7𝑎2 + 12 por 28.

A continuación, estudiaremos una de las múltiples aplicaciones del algoritmo de la

división entera.

7
SISTEMAS DE NUMERACIÓN

El siguiente teorema es muy importante para los sistemas de numeración en diferentes

bases:

TEOREMA 7. Sea 𝑑 ∈ ℕ con 𝑑 ≥ 2. Todo número 𝑎 ∈ ℕ 0 admite un desarrollo en base

𝑑 de la forma 𝑎 = 𝑟𝑛 𝑑 𝑛 + 𝑟𝑛−1 𝑑 𝑛−1 + ⋯ + 𝑟1 . 𝑑 + 𝑟0 , con 0 ≤ 𝑟𝑖 < 𝑑 para 0 ≤ 𝑖 ≤ 𝑛 y 𝑟𝑛 si
𝑎 ≠ 0.

Además, dicho desarrollo, con las exigencias 0 ≤ 𝑟𝑖 < 𝑑 impuestas para los símbolos,
es único. Se denota 𝑎 = (𝑟𝑛 … 𝑟0 )𝑑 .

Ejemplo 5. Exprese el número 25 en el sistema binario.

Empleando sucesivamente el algoritmo de la división con 25 y la base 2, luego el

cociente entre la base 2, etc. obtenemos

25 = 2 ∗ 12 + 1,
12 = 2 ∗ 6 + 0,
6 = 2 ∗ 3 + 0,
3 = 2 ∗ 1 + 1.

El número binario se forma escribiendo primero el último cociente y después los

residuos desde el último al primero. Es decir 25 = (11001)2 .

Este procedimiento será el mismo para cualquier base.

Ejemplo 6.

6789 = (6789)10 = (25536)7 = (1101010000101 )2 = (2204124)5 .

Se obtiene el desarrollo a como en el ejemplo anterior realizando divisiones sucesivas:

6789 = 969 ∙ 7 + 6 = (138 ∙ 7 + 3) ∙ 7 + 6

= ((19 ∙ 7 + 5) ∙ 7 + 3) ∙ 7 + 6

= (((2 ∙ 7 + 5) ∙ 7 + 5) ∙ 7 + 3) ∙ 7 + 6

= 2 ∙ 74 + 5 ∙ 73 + 5 ∙ 72 + 3 ∙ 7 + 6,

De modo que 6789 = (6789)10 = (25536)7 .

Ejemplo 7. Exprese el número (11011)2 en base decimal.

(11011)2 = 1 ∙ 24 + 1 ∙ 23 + 0 ∙ 22 + 1 ∙ 2 + 1 = 27.

Ejemplo 8. Expandir 34 en notación binaria.

8
Dividimos 34 por 2 y los respectivos cocientes también los dividimos por 2
hasta que obtengamos 0 de cociente.

Luego el número en expansión binaria (de base 2) se forma escribiendo los

residuos de manera ascendente (el último residuo, el penúltimo residuo y así
sucesivamente hasta llegar al primer residuo), así el número es (100010) 2. Esto
es

(34)10 = (100010)2 .

Ejemplo 9. Criterio de divisibilidad por 3: Sea 𝑎 un número entero y su desarrollo

decimal 𝑎 = ±𝑟𝑛 𝑟𝑛−1 … 𝑟1 𝑟0 . Entonces

3|𝑎 ⟺ 3|𝑟𝑛 + 𝑟𝑛−1 + ⋯ 𝑟1 + 𝑟0 .

Como 10 ≡ 1(𝑚𝑜𝑑 3), entonces 10𝑖 ≡ 1(𝑚𝑜𝑑 3), ∀ 𝑖 ∈ ℕ 0 . Luego

𝑎 = 𝑟𝑛 ∙ 10𝑛 + 𝑟𝑛−1 ∙ 10𝑛−1 + ⋯ +𝑟1 ∙ 10 + 𝑟0 ≡ 𝑟𝑛 + 𝑟𝑛−1 + ⋯ 𝑟1 + 𝑟0 (𝑚𝑜𝑑 3)

De esto se deduce que

3|𝑎 ⟺ 𝑎 ≡ 0 (𝑚𝑜𝑑 3)

⟺ 𝑟𝑛 + 𝑟𝑛−1 + ⋯ 𝑟1 + 𝑟0 ≡ 0(𝑚𝑜𝑑 3)

⟺ 3| 𝑟𝑛 + 𝑟𝑛 −1 + ⋯ 𝑟1 + 𝑟0 .

Observación: En computación se utiliza, además del sistema binario, el sistema

hexadecimal, o en base 16, que permite expresar cualquier número natural a partir
de los símbolos siguientes {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹 }. En esta base, el símbolo
𝐴 representa el número 10 en base 10, es decir 10 = (𝐴)16 . Análogamente, 11 =
(𝐵)16 , 12 = (𝐶)16 , 13 = (𝐷)16 , 14 = (𝐸)16 , 15 = (𝐹)16 . Para escribir el 16 en base 16,
necesitamos dos símbolos: 16 = (10)16 .

EJERCICIOS.

5. Enuncie el teorema dado en la página anterior cuando 𝑑 = 2, 3, 5, 8.

9
6. Hallar el desarrollo
a) en base 2 de 13, 2800, 1365, 3. 24
b) en base 16 de 435, 1024
c) en base 5 de 100, 625, 3240.

7. Convertir sin usar conversor.

a) 85910 al sistema octal
b) 1011112 al sistema decimal
c) 32114 al sistema octal
d) 𝐶𝐴𝐵14 al sistema base 12
e) 76538 al sistema base 6.

Sugerencia: para resolver c), d) y e) investigue el procedimiento

8. Si el número decimal 87 se representa en la base 𝑑 como (57)𝑑. ¿Cuál es la base 𝑑?

OPERACIONES FUNDAMENTALES EN LOS SISTEMAS DE NUMERACIÓN.

Para sumar números en sistemas diferentes del decimal será necesario tener en cuenta
las tablas que definen las operaciones binarias de suma y producto en los respectivos
sistemas. Veremos a continuación algunos ejemplos de estas tablas en los sistemas
binario y quinario.

EJEMPLO 10. Escribir las tablas de suma y multiplicación en el sistema binario.

SOLUCIÓN.

+ 0 1

0 0 1

1 1 10

× 0 1

0 0 0

1 0 1

Observe que 1 + 1 = 10 ¿por qué?

EJEMPLO 11. Sume y multiplique los números 1011012 y 10112 .

10
SOLUCIÓN. Colocamos un número debajo del otro

1011012

10112

Sumamos de derecha a izquierda:

1 + 1 = 1 ∙ 2 + 0 = 102

Escribimos en la última línea el cero y nos llevamos 1, luego sumamos este al 0 y 1

de la siguiente columna de la izquierda, resultando 1 + 0 + 1 = 102.

Igualmente escribimos en esta columna 0 y nos llevamos 1, hasta en la última columna

que tenemos
1 + 1 + 1 = 1 ∙ 2 + 1 = 112

Lo anterior se resume como sigue

1 0 1 1 0 1
+
1 0 1 1

1 1 1 0 0 0

El resultado final es el número (111000)2. Ahora dediquémonos a la multiplicación

1 0 1 1 0 1

× 1 1 0 1

1 0 1 1 0 1

0 0 0 0 0 0

1 0 1 1 0 1

1 0 1 1 0 1

1 0 0 1 0 0 1 0 0 1

El producto es entonces (1001001001)2.

EJEMPLO 12. Elaborar las tablas de la suma y multiplicación en base 5.

SOLUCIÓN.

11
 1. Tabla de la suma

+ 0 1 2 3 4

0 0 1 2 3 4

1 1 2 3 4 10

2 2 3 4 10 11

3 3 4 10 11 12

4 4 10 11 12 13

2. Tabla de la multiplicación

× 0 1 2 3 4

0 0 0 0 0 0

1 0 1 2 3 4

2 0 2 4 11 13

3 0 3 11 14 22

4 0 4 13 22 31

Recuerde que por ejemplo 4 ∙ 4 = 3 ∙ 5 + 1 = (31)5.

EJEMPLO 13. Sume los números (2543)5 y (6438)5 (6438)5

Verifiquemos este resultado transformándolo al sistema decimal

12
EJEMPLO 14. Elaborar las tablas de la suma y multiplicación en el sistema senario
(base 6).
+ 0 1 2 3 4 5

0 0 1 2 3 4 5

1 1 2 3 4 5 10

2 2

3 11

EJERCICIOS.

I) Complete la tabla anterior.

II) Dada la suma siguiente
(23651)8

+ (17043)8

(42714)8

a) Escriba los dígitos en este sistema.

b) Elabore la tabla para sumar y multiplicar
c) Explique cómo funciona la operación llevar.

III) En la entrada de la residencial Xochitlán hay un anuncio que dice: Adquiera su

vivienda, todavía nos queda un total de 1212, de ellas 1010 son del tipo A y 202
del tipo B. Un transeúnte aficionado a hacer cuentas ve el rótulo y piensa que existe
un error en la suma. ¿Está en lo correcto?

IV) Realice las siguientes sumas en base 6.

a) 23456 + 31026
b) 23056 + 1436
c) 13516 + 2226
d) 230156 + 1436

V) Escriba su edad en el sistema binario y en el sistema hexadecimal.

13
VI) Sea 𝑎 = (11 … 1)𝑑 un número con 𝑛 unos en el sistema de numeración con base 𝑑 >
1. Pruebe que 𝑎 ∙ (𝑑 − 1) = 𝑑 𝑛 − 1.

VII) En una clase hay 100 alumnos, de los cuales 24 son chicos y 32 son chicas. ¿En
qué base la frase anterior es cierta?

VIII) Beremiz Amir, El Hombre que Calculaba, prosiguió:

“Aquel árbol, por ejemplo, tiene doscientas ochenta y cuatro ramas. Sabiendo que
cada rama tiene como promedio, trescientas cuarenta y siete hojas, es fácil concluir
que aquel árbol tiene un total de noventa y ocho mil quinientos cuarenta y ocho
hojas”. Exprese el número de hojas y ramas en el sistema octal, realice la
multiplicación entre ambos números y el resultado expréselo en notación decimal.
¿Coinciden las respuestas?

Hasta este momento hemos estudiado propiedades fundamentales de divisibilidad las

que facilitarán el trabajo en la resolución de ecuaciones diofánticas y congruencias
lineales; previo al estudio de esto último estudiaremos el concepto de máximo común
divisor, su cálculo a través del algoritmo de Euclides, que viene a complementar las
herramientas para el tratamiento del contenido a desarrollar. Además, estudiaremos
números primos y el teorema fundamental de la aritmética.

Definición 2. Máximo común divisor. Sean 𝑎, 𝑏 ∈ ℤ, no ambos nulos. El máximo común

divisor entre a y b, que se denota (𝑎: 𝑏), es el mayor de los divisores comunes de 𝑎 y
𝑏. Es decir:

(𝑎: 𝑏)|𝑎, (𝑎: 𝑏)|𝑏 y si 𝑑|𝑎, 𝑑|𝑏, entonces 𝑑 ≤ (𝑎: 𝑏).

Claramente este número existe, ya que la lista de divisores comunes en no vacía (1 es

divisor común) y finita (por ser al menos uno entre 𝑎 y 𝑏 no nulo), y es único (por ser
el mayor de todos). Además, es positivo por la misma razón.

Notaremos en lo que sigue con 𝐷𝑖𝑣𝐶𝑜𝑚({𝑎, 𝑏}) el conjunto de los divisores comunes
de 𝑎 y 𝑏 y con 𝐷𝑖𝑣𝐶𝑜𝑚+ ({𝑎, 𝑏}) el conjunto de los divisores comunes positivos, es decir:

𝐷𝑖𝑣𝐶𝑜𝑚({𝑎, 𝑏}) = {𝑑 ∈ ℤ: 𝑑|𝑎 y 𝑑|𝑏 } = 𝐷𝑖𝑣(𝑎) ∩ 𝐷𝑖𝑣(𝑏)

𝐷𝑖𝑣𝐶𝑜𝑚+ ({𝑎, 𝑏}) = {𝑑 ∈ ℕ: 𝑑|𝑎 y 𝑑|𝑏 } = 𝐷𝑖𝑣+ (𝑎) ∩ 𝐷𝑖𝑣+ (𝑏).

Luego el máximo común divisor es el elemento más grande de cualquiera de esos dos
conjuntos.
14
EJEMPLO 15.

• (12: 18) = 6, pues 𝐷𝑖𝑣+ (12) = {1, 2, 3, 4, 6, 12}, 𝐷𝑖𝑣+ (18) = {1, 2, 3, 6, 9, 18} de
ahí que 𝐷𝑖𝑣𝐶𝑜𝑚 + ({12, 18}) = {1, 2, 3, 6}.

• (12: −35) = 1, pues 𝐷𝑖𝑣+ (35) = {1, 5, 7, 35}, de ahí que 𝐷𝑖𝑣𝐶𝑜𝑚 +({12, −35}) = {1}.

Propiedades del máximo común divisor

1) (𝑎: 𝑏) = (𝑏: 𝑎), ∀𝑎, 𝑏 ∈ ℤ no ambos nulos

2) (𝑎: 𝑏) = (−𝑎: 𝑏) = (𝑎: −𝑏) = (−𝑎: −𝑏) = (|𝑎|: |𝑏|), ∀𝑎, 𝑏 ∈ ℤ no ambos nulos.

3) (𝑎: 1) = 1, ∀𝑎 ∈ ℤ.

4) (𝑎: 0) = |𝑎| , ∀𝑎 ∈ ℤ − {0} .

5) ∀𝑎, 𝑏 ∈ ℤ con 𝑏 ≠ 0, se tiene que si 𝑏|𝑎, entonces (𝑎: 𝑏) = |𝑏|.

Algoritmo de Euclides

Existe un algoritmo para calcular el máximo común divisor entre dos números, que no
depende de calcular sus divisores. Este algoritmo fue introducido o recopilado por
Euclides (325-265 AC) en “Los Elementos”, y se le llama directamente Algoritmo de
Euclides.

Es el algoritmo más eficiente que existe para calcular el máximo común divisor, mucho
más eficiente que encontrar los divisores comunes.

Proposición 1. Sean 𝑎, 𝑏 ∈ ℤ no ambos nulos, y sea 𝑘 ∈ ℤ , entonces

𝐷𝑖𝑣𝐶𝑜𝑚({𝑎, 𝑏}) = 𝐷𝑖𝑣𝐶𝑜𝑚({𝑏, 𝑎 − 𝑘 ∙ 𝑏})
y
𝐷𝑖𝑣𝐶𝑜𝑚+ ({𝑎, 𝑏}) = 𝐷𝑖𝑣𝐶𝑜𝑚+ ({𝑏, 𝑎 − 𝑘 ∙ 𝑏}).
En particular, ∀𝑘 ∈ ℤ, (𝑎: 𝑏) = (𝑏: 𝑎 − 𝑘 ∙ 𝑏).

Aplicando esto a 𝑟𝑏 (𝑏) = 𝑎 − 𝑘 ∙ 𝑏, se obtiene que (𝑎: 𝑏) = (𝑏: 𝑟𝑏 (𝑏)).

Demostración. Alcanza con probar la igualdad de conjuntos:

Sabemos que si 𝑑 |𝑎 y 𝑑|𝑏 entonces 𝑑 |𝑎 − 𝑘 ∙ 𝑏 y también si 𝑑 |𝑏 y 𝑑|𝑎 − 𝑘 ∙ 𝑏 entonces

𝑑 |𝑎. Por lo tanto,

𝑑 ∈ 𝐷𝑖𝑣𝐶𝑜𝑚({𝑎, 𝑏}) ⇔ 𝑑 |𝑎 y 𝑑|𝑏 ⇔ 𝑑 |𝑏 y 𝑑|𝑎 − 𝑘 ∙ 𝑏 ⇔ 𝑑 ∈ 𝐷𝑖𝑣𝐶𝑜𝑚({𝑏, 𝑎 − 𝑘 ∙ 𝑏}).

Veamos un ejemplo práctico: Calcule (120: −84).

15
Sabemos que (120: −84) = (120: 84), calculamos este último para simplificar las
divisiones (esto no es esencial para el algoritmo). Se tiene

120 = 1 ∙ 84 + 36 ⟹ (120: 84) = (84: 36)

84 = 2 ∙ 36 + 12 ⟹ (84: 36) = (36: 12)

36 = 3 ∙ 12 + 0 ⟹ (36: 12) = (12: 0).

Pero (12: 0) = 12, luego (120: −84) = 12.

Teorema 8. (Algoritmo de Euclides) Sean 𝑎, 𝑏 ∈ ℤ, no nulos. Existe 𝑙 ∈ ℕ 0 tal que en

una sucesión finita de 𝑙 + 1 divisiones

𝑎 = 𝑘1 ∙ 𝑏 + 𝑟1 con 0 ≤ 𝑟1 < |𝑏|

𝑏 = 𝑘2 ∙ 𝑟1 + 𝑟2 con 0 ≤ 𝑟2 < 𝑟1

𝑟1 = 𝑘3 ∙ 𝑟2 + 𝑟3 con 0 ≤ 𝑟3 < 𝑟2
⋮
𝑟𝑙−2 = 𝑘𝑙 ∙ 𝑟𝑙−1 + 𝑟𝑙 con 0 ≤ 𝑟𝑙 < 𝑟𝑙−1
𝑟𝑙−1 = 𝑘𝑙+1 ∙ 𝑟𝑙 + 𝑟𝑙+1 con 0 ≤ 𝑟𝑙+1 < 𝑟𝑙,

Se llega por primera vez al resto nulo 𝑟𝑙+1 = 0. Entonces (𝑎: 𝑏) = 𝑟𝑙, el último resto no
nulo.

Demostración. Siempre se llega en un numero finito de pasos (acotado a simple vista

por |𝑏|) a un resto nulo ya que
|𝑏| > 𝑟1 > 𝑟2 > 𝑟3 > ⋯ ≥ 0,

Y esta sucesión estrictamente decreciente de restos ≥ 0 no puede ser infinita. Cuando

en el procedimiento se llega a un resto nulo, 𝑟𝑙+1 = 0, se tiene

(𝑎: 𝑏) = (𝑏: 𝑟1 ) = (𝑟1 : 𝑟2 ) = ⋯ = (𝑟𝑙−1 : 𝑟𝑙 ) = (𝑟𝑙 : 0) = 𝑟𝑙 .

Una consecuencia crucial del Algoritmo de Euclides para la teoría de números enteros
es que el máximo común divisor entre dos números siempre se puede escribir como
una combinación lineal entera de esos dos números (y de hecho es el número no nulo
más chico con esa propiedad). Este hecho trae consecuencias importantísimas y
sorprendentes que detallaremos adelante.

16
Teorema 9. (Mcd y combinación entera) Sean 𝑎, 𝑏 ∈ ℤ, no ambos nulos. Entonces
existen 𝑠, 𝑡 ∈ ℤ tales que
(𝑎: 𝑏) = 𝑠 ∙ 𝑎 + 𝑡 ∙ 𝑏.
Este resultado se demuestra con el esquema de Euclides extendido, mirándolo de atrás
para adelante.

EJEMPLO 16. Sabemos que (120: −84) = 12. Mirando las dos divisiones que
permitieron obtener a 12 como último resto no nulo, pero al revés, se tiene

84 = 2 ∙ 36 + 12 ⇒ 12 = 84 − 2 ∙ 36
120 = 1 ∙ 84 + 36 ⇒ 12 = 84 − 2 ∙ (120 − 1 ∙ 84)
= 3 ∙ 84 − 2 ∙ 120.
Por lo tanto, 12 = −2 ∙ 120 + 3 ∙ 84 = −2 ∙ 120 + (−3)(−84). Aquí, 𝑠 = −2 y 𝑡 = −3.

Este algoritmo es también intrínsecamente recursivo, ya que si 𝑎 = 𝑘 ∙ 𝑏 + 𝑟 y (𝑏: 𝑟) =

𝑠 ∙ 𝑏 + 𝑡 ∙ 𝑟, entonces
(𝑎: 𝑏) = (𝑏: 𝑟) = 𝑠 ∙ 𝑏 + 𝑡 ∙ 𝑟 = 𝑠 ∙ 𝑏 + 𝑡 ∙ (𝑎 − 𝑘 ∙ 𝑏) = 𝑡 ∙ 𝑎 + (𝑠 − 𝑡 ∙ 𝑘) ∙ 𝑏.

Proposición 2. (Combinaciones enteras de 𝑎 y 𝑏) Sean 𝑎, 𝑏 ∈ ℤ no ambos nulos y 𝑐 ∈

ℤ.
𝑐 = 𝑠´ ∙ 𝑎 + 𝑡´ ∙ 𝑏 para 𝑠´, 𝑡´ ∈ ℤ ⇔ (𝑎: 𝑏)|𝑐.
Demostración.
▪ (⇒) Dado que (𝑎: 𝑏)|𝑎 y (𝑎: 𝑏)|𝑏, se tiene (𝑎: 𝑏)|𝑠´ ∙ 𝑎 + 𝑡´ ∙ 𝑏, luego (𝑎: 𝑏)|𝑐.

▪ (⇐) Si (𝑎: 𝑏)|𝑐, entonces 𝑐 = 𝑘 ∙ (𝑎: 𝑏). Como sabemos que existen 𝑠, 𝑡 ∈ ℤ tales
que (𝑎: 𝑏) = 𝑠 ∙ 𝑎 + 𝑡 ∙ 𝑏, se tiene

𝑐 = 𝑘 ∙ (𝑎: 𝑏) = 𝑘 (𝑠 ∙ 𝑎 + 𝑡 ∙ 𝑏) = (𝑘 ∙ 𝑠)𝑎 + (𝑘 ∙ 𝑡) 𝑏.

Luego 𝑠´ = 𝑘 ∙ 𝑠 y 𝑡´ = 𝑘 ∙ 𝑡.

Proposición 3. (Mcd y divisores comunes) Sean 𝑎, 𝑏 ∈ ℤ no ambos nulos y 𝑑 ∈ ℤ con

𝑑 ≠ 0. Entonces
𝑑 |𝑎 y 𝑑|𝑏 ⇔ 𝑑 |(𝑎: 𝑏).

Demostración. ( ⟹ ): Recordemos que existen 𝑠, 𝑡 ∈ ℤ tales que (𝑎 ∶ 𝑏) = 𝑠𝑎 + 𝑡𝑏.

Ahora, dado que por hipótesis 𝑑 |𝑎 y 𝑑|𝑏, se tiene 𝑑 |𝑠𝑎 + 𝑡𝑏 = (𝑎: 𝑏).

(⟸) ∶ Esta implicación es obvia por la transitividad de la divisibilidad.

Las siguientes proposiciones muestran importantes propiedades del máximo común
divisor.

17
Proposición 4. (Mcd de múltiplo común de dos números). Sean 𝑎, 𝑏 ∈ ℤ, no ambos
nulos, y sea 𝑘 ∈ ℤ con 𝑘 ≠ 0. Entonces (𝑘𝑎 ∶ 𝑘𝑏) = |𝑘|(𝑎 ∶ 𝑏).

Demostración. Sin pérdida de generalidad podemos suponer 𝑘 > 0. Por propiedades

del Mcd y divisibilidad tenemos
(𝑎 ∶ 𝑏)|𝑎 y (𝑎 ∶ 𝑏)|𝑏 ⟹ 𝑘 (𝑎 ∶ 𝑏)|𝑘𝑎 y 𝑘(𝑎 ∶ 𝑏)|𝑘𝑏
⟹ 𝑘(𝑎 ∶ 𝑏)|(𝑘𝑎 ∶ 𝑘𝑏).

Por otro lado, se tienen las implicaciones

(𝑎 ∶ 𝑏) = 𝑠𝑎 + 𝑡𝑏 ⟹ 𝑘 (𝑎 ∶ 𝑏) = 𝑠(𝑘𝑎) + 𝑡 (𝑘𝑏) ⟹ (𝑘𝑎 ∶ 𝑘𝑏)|𝑘(𝑎 ∶ 𝑏).

Como ambos términos son positivos, se concluye que son iguales.

Teorema 10 (Equivalencias del mcd). Sean 𝑎, 𝑏 ∈ ℤ, no ambos nulos, y sea 𝑑 ∈ ℕ. Son

equivalentes:

1. 𝑑 |𝑎, 𝑑 |𝑏 y si 𝑐 |𝑎 y 𝑐 |𝑏, entonces 𝑐 ≤ 𝑑.

2. 𝑑 |𝑎, 𝑑 |𝑏 y existen 𝑠, 𝑡 ∈ ℤ tales que 𝑑 = 𝑠𝑎 + 𝑡𝑏.
3. 𝑑 |𝑎, 𝑑 |𝑏 y si 𝑐 |𝑎 y 𝑐 |𝑏, entonces 𝑐 |𝑑.

Un número 𝑑 ∈ ℕ que cumple cualquiera de las propiedades de este teorema es el

máximo común divisor (𝑎 ∶ 𝑏).

Números coprimos

Definición 3. Sean 𝑎, 𝑏 ∈ ℤ, no ambos nulos. Decimos que 𝑎 y 𝑏 son coprimos si y

sólo si (𝑎 ∶ 𝑏) = 1, es decir si y sólo si los únicos divisores comunes de 𝑎 y 𝑏 son ±1.

Si 𝑎 y 𝑏 son coprimos, escribiremos 𝑎 ⊥ 𝑏.

EJEMPLO 17.

• 103 ⊥ 98, pero 12 202 y 43 554 no son coprimos.

• 𝑎 ⊥ 0 ⟺ 𝑎 = ± 1.

• ∀ 𝑏 ∈ ℤ ± 1 ⊥ 𝑏.

Propiedades de divisibilidad y coprimalidad.

1. 𝑎 ⊥ 𝑏 ⟺ ∃ 𝑠, 𝑡 ∈ ℤ ∶ 1 = 𝑠𝑎 + 𝑡𝑏
2. Si 𝑐 ⊥ 𝑑, entonces 𝑐 |𝑎 y 𝑑|𝑎 ⟺ 𝑐𝑑|𝑎.
3. Si 𝑑 ⊥ 𝑎 entonces 𝑑 |𝑎𝑏 ⟺ 𝑑 |𝑏.

18
Demostración. Dejamos 1. a cargo del lector. Para 2. y 3. tenemos:
2. 𝑐 ⊥ 𝑑 ⟹ 1 = 𝑠𝑐 + 𝑡𝑑 ⟹ 𝑎 = 𝑠(𝑐𝑎) + 𝑡 (𝑑𝑎), pero 𝑑 |𝑎 ⟹ 𝑐𝑑 |𝑐𝑎 y 𝑐 |𝑎 ⟹ 𝑐𝑑 |𝑑𝑎,
luego 𝑐𝑑 |𝑠(𝑐𝑎) + 𝑡 (𝑑𝑎) = 𝑎.
3. 𝑑 ⊥ 𝑎 ⟹ 1 = 𝑠𝑑 + 𝑡𝑎, luego 𝑏 = (𝑠𝑏)𝑑 + 𝑡 (𝑎𝑏), pero 𝑑 |𝑎𝑏, y 𝑑 |𝑑. Por lo tanto,
𝑑 |(𝑠𝑏)𝑑 + 𝑡 (𝑎𝑏) = 𝑏.

Proposición 5. (“Coprimizando”). Sean 𝑎, 𝑏 ∈ ℤ, no ambos nulos. Entonces

𝑎 𝑏
⊥ .
(𝑎 ∶ 𝑏) (𝑎 ∶ 𝑏)
𝑎 𝑏
Por lo tanto 𝑎 = (𝑎 ∶ 𝑏)𝑎′ y 𝑏 = (𝑎 ∶ 𝑏)𝑏′ siendo 𝑎′ = (𝑎∶𝑏) , 𝑏′ = (𝑎∶𝑏).

Demostración. Se sabe que (𝑎 ∶ 𝑏) = 𝑠𝑎 + 𝑡𝑏. Luego, dividiendo por (𝑎 ∶ 𝑏) se obtiene

𝑎 𝑏 𝑎 𝑏
1=𝑠 +𝑡 , es decir y son coprimos.
(𝑎∶𝑏) (𝑎∶𝑏) (𝑎∶𝑏) (𝑎∶𝑏)

EJEMPLO 18. Sea 𝑎∈ℤ tal que (𝑎 ∶ 8) = 4. ¿Cuáles son los posibles valores de
(𝑎2 + 𝑎 + 32 ∶ 16)?

La condición (𝑎 ∶ 8) = 4 implica que 4|𝑎, o sea 𝑎 = 4𝑎′ . Luego

4 = (𝑎 ∶ 8) = (4𝑎′ : 4 ∙ 2) = 4(𝑎′ : 2) ⟹ 1 = (𝑎′ : 2),

o sea, 𝑎′ impar. Por lo tanto,

(𝑎2 + 𝑎 + 32 ∶ 16) = (16𝑎′ 2 + 4𝑎′ + 32 ∶ 16)

= (4(4𝑎′ 2 + 𝑎′ + 8) ∶ 4 ∙ 4) = 4(4𝑎′ 2 + 𝑎′ + 8 ∶ 4),

siendo 𝑎′ impar. Ahora bien, (4𝑎′ 2 + 𝑎′ + 8 ∶ 4) ∈ {1, 2, 4} pues tiene que ser un divisor
positivo de 4. Se concluye que (4𝑎′ 2 + 𝑎′ + 8 ∶ 4) = 1 ya que 𝑎′ es impar. De modo
que (𝑎2 + 𝑎 + 32 ∶ 16) = 4(1) = 4.

EJERCICIOS.

1. Dé ejemplo de números coprimos.

2. Sean 𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ con 𝑐 ≠ 0, 𝑑 ≠ 0. Entonces:
a. 𝑐 ⊥ 𝑑, 𝑐 |𝑎 y 𝑑|𝑎 ⟹ 𝑐𝑑|𝑎.
b. 𝑑 ⊥ 𝑎 y 𝑑 |𝑎𝑏 ⟹ 𝑑|𝑏.
3. ¿Son válidas las implicaciones anteriores cuando no se pide coprimalidad? Dar
ejemplos.
4. Sean 𝑎, 𝑏 ∈ ℤ no ambos nulos tales que (𝑎: 𝑏) = 6. ¿Cuáles son los posibles valores
de (6𝑎 + 12𝑏 ∶ 6𝑎 − 6𝑏)?

19
 𝑎 𝑏
5. Sean 𝑎, 𝑏 ∈ ℤ no ambos nulos. Si 𝑑 ∈ ℕ satisface que 𝑑 |𝑎, 𝑑 |𝑏 y ⊥ 𝑑 , demuestre
𝑑
que 𝑑 = (𝑎 ∶ 𝑏).

Primos y factorización.

Recordemos que un número 𝑝 ∈ ℤ es primo si y sólo si es diferente de 0, ±1 y

Div(𝑝) = { ±1, ±𝑝} . También, un número 𝑎 ∈ ℤ es compuesto si es diferente de 0, ±1 y
existe 𝑑 ∈ ℤ con 1 < 𝑑 < |𝑎| tal que 𝑑 |𝑎.
Los números primos juegan un papel fundamental en el conjunto de los números
enteros, y su estudio es la base de la Teoría de Números o Aritmética. Una de las
propiedades esenciales de los números primos es que todo número entero es divisible
por algún primo.

Proposición 6. Sea 𝑎 ∈ ℤ, 𝑎 ≠ 0, ±1. Entonces existe un número primo (positivo) tal

que 𝑝|𝑎.

Demostración. Por inducción en 𝑎. Claramente alcanza probar la proposición para 𝑎

positivo, es decir para 𝑎 ≥ 2 (𝑎 ≠ 0, ±1) ya que se sabe que 𝑝|𝑎 ⟺ 𝑝||𝑎|.
Establecemos

𝑝(𝑎) ∶ ∃ 𝑝 primo positivo tal que 𝑝|𝑎.

▪ Caso base: 𝑝(2) es V pues 2|2.

▪ Paso inductivo: Dado 𝑎 > 2, ¿ 𝑝(2), … , 𝑝(𝑎 − 1) verdaderas ⟹ 𝑝(𝑎) verdadera?
La HI es: ∀ 𝑑, 1 < 𝑑 < 𝑎, existe un número primo (positivo) 𝑝 tal que 𝑝|𝑑. Se
quiere demostrar que existe un primo (positivo) 𝑝 tal que 𝑝|𝑎. Se tiene
- Si 𝑎 es primo, 𝑝(𝑎) es verdadera pues se cumple 𝑎 |𝑎.
- Si 𝑎 no es primo, entonces es compuesto, y por tanto existe 𝑑 ∈ ℤ, 1 < 𝑑 <
𝑎 tal que 𝑑 |𝑎. Por hipótesis inductiva, como 1 < 𝑑 < 𝑎, existe un primo
positivo 𝑝 tal que 𝑝|𝑑. Se concluye que 𝑝|𝑎 por transitividad de la
divisibilidad.

Es decir, hemos probado tanto el caso base como el paso inductivo. Se concluye
entonces que 𝑝(𝑎) es verdadera ∀ 𝑎 ≥ 2. Así, todo número distinto de 0, ±1 es
divisible por algún primo positivo.

Antes de enunciar una importante consecuencia de la proposición anterior

describimos un método de demostración muy útil en matemáticas: prueba por
contradicción o reducción al absurdo, técnica usada por Euclides para demostrar que
existen infinitos primos distintos.

Una prueba por contradicción es una forma de demostración indirecta utilizada en

matemática que sigue los siguientes pasos cuando es aplicada para demostrar alguna
proposición:
20
 1. Se quiere demostrar que una proposición 𝑃 es verdadera.
2. Se asume que 𝑃 es falsa.
3. Se muestran las consecuencias del hecho de que 𝑃 es falsa.
4. Se llega a un absurdo o imposibilidad.
5. Como la proposición 𝑃 es verdadera o falsa, y ya se demostró que no puede ser
falsa ya que esto conlleva a contradicciones matemáticas, se prueba así que 𝑃
debe ser verdadera.

Corolario 1. (Cantidad de primos). Existen infinitos primos (positivos) distintos.

Demostración. Supongamos que no es así y que hay solo un número finito 𝑁 de

primos positivos. O sea que el conjunto 𝑃 de primos positivos es 𝑃 = {𝑝1 , … , 𝑝𝑁 }.
Consideremos el siguiente número natural:

𝑀 = 𝑝1 ∙ 𝑝2 ⋯ 𝑝𝑁 + 1.

Dado que 𝑀 ≥ 2 pues 2 ∈ 𝑃, existe por la proposición anterior un primo positivo

𝑝𝑖 ∈ 𝑃 que divide a 𝑀. Pero

𝑝𝑖 |𝑀 𝑦 𝑝𝑖 |𝑝1 ∙ 𝑝2 ⋯ 𝑝𝑁 ⟹ 𝑝𝑖 |1,

Lo cual es imposible, esta contradicción proviene de suponer que solo hay finitos
primos. En conclusión, hay infinitos primos positivos.

Teorema 11. (Propiedad Fundamental de los números primos). Sea 𝑝 un primo y

sean 𝑎, 𝑏 ∈ ℤ. Entonces

𝑝|𝑎 ∙ 𝑏 ⟹ 𝑝|𝑎 ∨ 𝑝|𝑏.

Demostración. De las propiedades de divisibilidad y coprimalidad de la página 2
sabemos que 𝑝|𝑎 ∙ 𝑏 ∧ 𝑝 ⊥ 𝑎 ⟹ 𝑝|𝑏, pero también, la condición 𝑝 ⊥ 𝑎 es equivalente
a 𝑝 ∤ 𝑎. Luego, la implicación mencionada nos dice que 𝑝|𝑎 ∙ 𝑏 ∧ 𝑝 ∤ 𝑎 ⟹ 𝑝|𝑏. Esto
es claramente lo mismo que decir que si 𝑝|𝑎 ∙ 𝑏 entonces 𝑝|𝑎 o 𝑝|𝑏.

Esta es la propiedad más importante que cumplen los números primos, más aún, esta
propiedad caracteriza los números primos:

𝑝 es primo si y sólo si cada vez que 𝑝 divide a un producto divide a alguno de los
factores.

21
Teorema Fundamental de la Aritmética

El siguiente teorema es la piedra angular de toda la teoría de números, el cual

establece la factorización única de los números como producto de primos.

Teorema 12. (Teorema Fundamental de la aritmética). Sea 𝑎 ∈ ℤ, 𝑎 ≠ 0, ±1. Entonces

𝑎 se escribe en forma única como producto de primos (positivos), es decir:
✓ ∀𝑎 ∈ ℤ, 𝑎 ≠ 0, ±1, existe 𝑟 ∈ ℕ y existen primos positivos 𝑝1 , … , 𝑝𝑟 distintos y
𝑚 1 , … , 𝑚 𝑟 ∈ ℕ tales que
𝑎 = ±𝑝1𝑚1 ∙ 𝑝2𝑚2 ⋯ 𝑝𝑟𝑚𝑟 .
✓ Esta escritura es única salvo permutación de los primos.

EJEMPLO 19. Al conocer 𝑎 = 84 = 22 ∙ 3 ∙ 7, 𝑏 = 188650 = 2 ∙ 52 ∙ 73 ∙ 11 tenemos que

𝑎 ∙ 𝑏 = 23 ∙ 3 ∙ 5 ∙ 74 ∙ 11 y 𝑎9 = 218 ∙ 39 ∙ 79

Son las factorizaciones en primos de 𝑎 ∙ 𝑏 y 𝑎9 .

ECUACIONES LINEALES DIOFANTICAS

Aplicaremos ahora toda la teoría estudiada a la resolución de ciertas ecuaciones en

enteros, que se llaman Ecuaciones Lineales Diofánticas, es decir, ecuaciones con
coeficientes enteros de las cuales se buscan las soluciones enteras. Reciben este
nombre en honor a Diofanto de Alejandría, quién desarrollo ese tipo de ecuaciones en
su obra La Aritmética.

Definición 4. Una ecuación lineal diofántica es una ecuación de la forma 𝑎𝑋 + 𝑏𝑌 = 𝑐

donde 𝑎, 𝑏, 𝑐 son números enteros, 𝑎 y 𝑏 no ambos nulos.

Proposición 7. (Ecuación diofántica y máximo común divisor)

Sean 𝑎, 𝑏, 𝑐 ∈ ℤ con 𝑎, 𝑏 no nulos. La ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 𝑐 admite soluciones
enteras si y sólo si (𝑎: 𝑏)|𝑐. Es decir:
∃ (𝑥 0 , 𝑦0 ) ∈ ℤ2 : 𝑎𝑥 0 + 𝑏𝑦0 = 𝑐 ⇔ (𝑎: 𝑏)|𝑐.
Demostración.
▪ (⇒) Sea (𝑥 0 , 𝑦0 ) ∈ ℤ2 una solución entera, entonces como siempre, dado que
(𝑎: 𝑏)|𝑎 y (𝑎: 𝑏)|𝑏, se concluye que (𝑎: 𝑏)|𝑎𝑥 0 + 𝑏𝑦0 = 𝑐, es decir, (𝑎: 𝑏)|𝑐.

▪ (⇐) Sabemos que existen 𝑠, 𝑡 ∈ ℤ tales que (𝑎: 𝑏) = 𝑠 ∙ 𝑎 + 𝑡 ∙ 𝑏. Luego dado que
(𝑎: 𝑏)|𝑐, existe 𝑘 ∈ ℤ tal que 𝑐 = 𝑘(𝑎: 𝑏), y por lo tanto se tiene que 𝑐 =
𝑘(𝑠 ∙ 𝑎 + 𝑡 ∙ 𝑏) = 𝑎 (𝑘𝑠) + 𝑏(𝑘𝑡). Podemos tomar 𝑥 0 = 𝑘𝑠, 𝑦0 = 𝑘𝑡.

22
Corolario 2. (Ecuación diofántica con 𝒂 y 𝒃 coprimos)
Sean 𝑎, 𝑏 ∈ ℤ no nulos y coprimos. Entonces la ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 𝑐 tiene
soluciones enteras, para todo 𝑐 ∈ ℤ.

Demostración. Es evidente pues 1 = (𝑎: 𝑏)|𝑐, ∀𝑐 ∈ ℤ.

Definición 5. (Ecuaciones diofánticas equivalentes) Sean 𝑎𝑋 + 𝑏𝑌 = 𝑐 y 𝑎𝑋´ + 𝑏𝑌´ =

𝑐´ dos ecuaciones diofánticas. Decimos que son equivalentes si tienen exactamente las
mismas soluciones (𝑥, 𝑦) ∈ ℤ2 .

Proposición 8. (Ecuación diofántica y ecuación “coprimizada”) Sean 𝑎, 𝑏, 𝑐 ∈ ℤ con

𝑎, 𝑏 no nulos tales que (𝑎: 𝑏)|𝑐. Entonces la ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 𝑐 es
equivalente a 𝑎𝑋´ + 𝑏𝑌´ = 𝑐´, donde
𝑎 𝑏 𝑐
𝑎´ ≔ , 𝑏´ ≔ y 𝑐´ ≔ .
(𝑎: 𝑏) (𝑎: 𝑏) (𝑎: 𝑏)

Demostración. Cuando (𝑎: 𝑏)|𝑐, es claro que ∀(𝑥, 𝑦) ∈ ℤ2 , 𝑎𝑥 + 𝑏𝑦 = 𝑐 ⇔ 𝑎´𝑥 + 𝑏´𝑦 = 𝑐´.
Luego las dos ecuaciones tienen las mismas soluciones.

Vamos a tratar en detalle un caso particular, el caso 𝑐 = 0, es decir, el caso de una

ecuación diofántica de tipo 𝑎𝑋 + 𝑏𝑌 = 0, que siempre tiene solución pues (𝑎: 𝑏)|0
independientemente de quien sea (𝑎: 𝑏).

EJEMPLO 20. Encontrar las soluciones a la ecuación diofántica 18𝑋 + 27𝑌 = 0.

La solución más simple es 𝑥 0 = 0, 𝑦0 = 0. O también 𝑥 1 = 27, 𝑦1 = −18. Así que la

solución no es única. También por ejemplo 𝑥 2 = −27, 𝑦2 = 18 o 𝑥 3 = 3, 𝑦3 = −2 sirven.
Vamos a ver que son infinitas. ¿Cómo se consiguen todas?

Por lo mencionado anteriormente, la ecuación original es equivalente a la ecuación

coprimizada 2𝑋 + 3𝑌 = 0. Ahora bien, sea (𝑥, 𝑦) ∈ ℤ2 solución:

2𝑥 + 3𝑦 = 0 ⇔ 2𝑥 = −3𝑦
⇒ 2|3𝑦 y 3|2𝑥
⇒ 2|𝑦 y 3|𝑥
⇒ 𝑦 = 2𝑗 y 𝑥 = 3𝑘.

Volviendo al primer renglón, resulta:

2(3𝑘) = −3(2𝑗) ⇒ 𝑗 = −𝑘.

23
Es decir: 𝑥 = 3𝑘 e 𝑦 = −2𝑘 para algún 𝑘 entero.

Ahora, si 𝑥 = 3𝑘 e 𝑦 = −2𝑘 para algún 𝑘 entero, entonces (𝑥, 𝑦) es solución de la

ecuación. Efectivamente, se tiene 2𝑥 + 3𝑦 = 2(3𝑘) + 3(−2𝑘) = 0.

Luego, el conjunto de soluciones enteras de esta ecuación es

𝑆0 = {(𝑥, 𝑦) ∈ ℤ2 : 𝑥 = 3𝑘, 𝑦 = −2𝑘; 𝑘 ∈ ℤ}.

(Observemos que si nos olvidamos de coprimizar la ecuación y nos quedamos, usando

la misma estructura, con las soluciones del tipo 𝑥 = 27𝑘, 𝑦 = −18𝑘, perdemos
soluciones ya que se nos escapa por ejemplo la solución 𝑥 3 = 3, 𝑦3 = −2.

Proposición 9. Sean 𝑎, 𝑏 ∈ ℤ no nulos. El conjunto 𝑆0 de soluciones enteras de la

ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 0 es
𝑎 𝑏
𝑆0 = {(𝑥, 𝑦) ∈ ℤ2 : 𝑥 = 𝑏´𝑘, 𝑦 = −𝑎´𝑘; 𝑘 ∈ ℤ}, donde 𝑎´ ≔ y 𝑏´ ≔ .
(𝑎: 𝑏) (𝑎: 𝑏)
Demostración. Tenemos que la ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 0 es equivalente a 𝑎´𝑋 +
𝑏´𝑌 = 0 donde
𝑎 𝑏
𝑎´ ≔ y 𝑏´ ≔ son coprimos.
(𝑎: 𝑏) (𝑎: 𝑏)

Ahora bien, sea (𝑥, 𝑦) ∈ ℤ2 solución:

𝑎´𝑥 + 𝑏´𝑦 = 0 ⇔ 𝑎´𝑥 = −𝑏´𝑦
⇒ 𝑎´|𝑏´𝑦 y 𝑏´|𝑎´𝑥
⇒ 𝑎´|𝑦 y 𝑏´|𝑥
⇒ ∃𝑗, 𝑘 ∈ ℤ: 𝑦 = 𝑗 𝑎´ y 𝑥 = 𝑘 𝑏´.

Volviendo al primer renglón, resulta:

𝑎´(𝑘𝑏´) = −𝑏´(𝑗 𝑎´) ⇒ 𝑗 = −𝑘.

Es decir: 𝑥 = 𝑏´𝑘 e 𝑦 = −𝑎´𝑘 para algún 𝑘 ∈ ℤ.

Hemos probado: (𝑥, 𝑦) solución entera entonces existe 𝑘 ∈ ℤ tal que 𝑥 = 𝑏´𝑘 e 𝑦 =
−𝑎´𝑘.

Verifiquemos la reciproca: Si 𝑥 = 𝑏´𝑘 e 𝑦 = −𝑎´𝑘 para el mismo 𝑘 ∈ ℤ, entonces (𝑥, 𝑦)

es solución de la ecuación. Efectivamente, se tiene 𝑎´𝑥 + 𝑏´𝑦 = 𝑎´(𝑏´𝑘) + 𝑏´(−𝑎´𝑘) = 0.

24
Teorema 13. Sean 𝑎, 𝑏, 𝑐 ∈ ℤ con 𝑎, 𝑏 no nulos. El conjunto 𝑆 de soluciones enteras de
la ecuación diofántica 𝑎𝑋 + 𝑏𝑌 = 𝑐 es:
▪ Cuando (𝑎: 𝑏) ∤ 𝑐, 𝑆 = ∅.
▪ Cuando (𝑎: 𝑏)|𝑐, 𝑆 = {(𝑥, 𝑦) ∈ ℤ2 : 𝑥 = 𝑥 0 + 𝑏´𝑘, 𝑦 = 𝑦0 − 𝑎´𝑘; 𝑘 ∈ ℤ} donde (𝑥 0 , 𝑦0 )
es una solución particular de la ecuación y
𝑎 𝑏
𝑎´ ≔ y 𝑏´ ≔ .
(𝑎: 𝑏) (𝑎: 𝑏)

Demostración. Sabemos que si (𝑎: 𝑏) ∤ 𝑐, la ecuación no admite solución, luego 𝑆 = ∅.

Cuando (𝑎: 𝑏)|𝑐, tenemos una solución particular (𝑥 0 , 𝑦0 ) ∈ ℤ2 de la ecuación, es decir,
𝑎𝑥 0 + 𝑏𝑦0 = 𝑐. Sea ahora (𝑥, 𝑦) ∈ ℤ2 una solución cualquiera. Se tiene
𝑎𝑥 + 𝑏𝑦 = 𝑐 ⇔ 𝑎𝑥 + 𝑏𝑦 = 𝑎𝑥 0 + 𝑏𝑦0 ⇔ 𝑎(𝑥 − 𝑥 0 ) + 𝑏(𝑦 − 𝑦0 ) = 0.

Es decir, (𝑥, 𝑦) es solución de la ecuación 𝑎𝑋 + 𝑏𝑌 = 𝑐 si y sólo si (𝑥 − 𝑥 0 , 𝑦 − 𝑦0 )

es solución de 𝑎𝑋 + 𝑏𝑌 = 0, es decir, por la proposición anterior, si y sólo si existe 𝑘 ∈
ℤ tal que 𝑥 − 𝑥0 = 𝑏´𝑘, 𝑦 − 𝑦0 = −𝑎´𝑘, o sea 𝑥 = 𝑥 0 + 𝑏´𝑘, 𝑦 = 𝑦0 − 𝑎´𝑘; 𝑘 ∈ ℤ.

EJEMPLO 21. Resuelva la ecuación lineal diofántica 172𝑥 + 20𝑦 = 1000.

Aplicando el algoritmo de Euclides a la evaluación del (172: 20) que

172 = 8 ∙ 20 + 12

20 = 1 ∙ 12 + 8

12 = 1 ∙ 8 + 4

8 = 2 ∙ 4.

Por tanto, (172: 20) = 4 y dado que 4|1000, esta ecuación tiene solución. Para obtener
a 4 como una combinación lineal de 172 y 20, empezamos a sustituir de abajo hacia
arriba utilizando los cálculos anteriores

4 = 12 − 8

= 12 − (20 − 12)

= 2 ⋅ 12 − 20

= 2(172 − 8 ⋅ 20) − 20

= 2 ⋅ 172 + (−17)20.

Multiplicando esta relación por 250 obtenemos

1000 = 250 ⋅ 4 = 250[2 ⋅ 172 + (−17)20]

25
 500 ⋅ 172 + (−4250)20,

de modo que 𝑥 = 500 y 𝑦 = −4250 representan una solución de la ecuación diofántica

dada. Las otras soluciones están dadas por

𝑥 = 500 + (20 ∕ 4)𝑘 = 500 + 5𝑘, 𝑦 = −4250 − (172⁄4)𝑘 = −4250 − 43𝑘

para cierto entero 𝑘 .

Con un poco más de esfuerzo podríamos encontrar las soluciones en los enteros
positivos, para ello 𝑘 debe escogerse de tal manera que

5𝑘 + 500 > 0 y −43𝑘 − 4250 > 0,

36
lo que es igual a −98 > 𝑘 > −100 y como 𝑘 debe ser un entero concluimos que 𝑘 =
43
−99. En conclusión, nuestra ecuación diofántica tiene una única solución positiva 𝑥 =
5, 𝑦 = 7 que corresponde al valor 𝑘 = −99.

EJEMPLO 22. Le solicitamos la solución de la ecuación lineal 172𝑥 + 20𝑦 = 1000 al

solucionador Solve Linear Diophantine Equations, ubicado en el sitio de internet
[Link]

El solucionador responde:

Calculando 𝑚𝑐𝑑 (172, 20) resulta:

20 = 0 ∗ 172 + 20

172 = 8 ∗ 20 + 12

20 = 1 ∗ 12 + 8

12 = 1 ∗ 8 + 4

8 = 2∗ 4 + 0

Luego aplicando el algoritmo de Euclides:

Una solución particular es 𝑥 0 = 500 y 𝑦0 = −4250. La solución completa es 𝑥 = 500 + 5𝑛,

𝑦 = −4250 − 43𝑛.

Observe que el solucionador comienza dividiendo 20 entre 172 ¿Qué ocurriría si el

dividendo fuese 172 y el divisor 20?

26
EJERCICIOS.

1. ¿Cuáles de las siguientes ecuaciones tienen solución? Emplee el criterio del

máximo común divisor.

a) 6𝑥 + 51𝑦 = 22.
b) 33𝑥 + 14𝑦 = 115.
c) 14𝑥 + 35𝑦 = 93.

2. Busque en internet un solucionador de ecuaciones diofánticas lineales en dos

variables. Compruebe los resultados del solucionador con los que usted obtuvo a
mano.

3. Construya ecuaciones diofánticas lineales en dos variables que no cumplan el

criterio de divisibilidad y verifique con el solucionador de internet que n o tienen
solución.

4. Suponga que usted tiene un barril grande de leche y quiere medir 3 galones de
esta para un cliente, pero el inconveniente es que sólo tiene recipientes de 4 y 5
galones. ¿Cómo podría medir los 3 galones utilizando únicamente los recipientes
que tiene?

5. Si se sabe que cada unidad de un cierto producto 𝐴 cuesta 39 córdobas y que cada
unidad de un cierto producto 𝐵 cuesta 48 córdobas, ¿cuántas unidades de cada
producto se pueden comprar con 135 córdobas?

6. Un coleccionista de obras de arte ha adquirido varios cuadros y dibujos de un

artista moderno. Las pinturas le han costado 649 euros cada una y los dibujos se
los han dejado a 132 euros cada uno. Cuando el coleccionista llega a su casa, no
recuerda si el coste total de las obras de arte ha sido de 2716 o 2761 euros.
a) ¿Cuánto les han costado exactamente? Sol: 2761 euros.
b) ¿Cuántos cuadros y cuantos dibujos ha comprado? Sol: 1 cuadro y 16 dibujos.

27