Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2020
Facultad de Humanidades y Ciencias
UNL
Guia de Trabajo 1
Un número racional
a
b
tal que mcd(a, b) = 1 (es decir, el máximo comun divisor o mayor número que divide a a y b es 1,
que es lo mismo que decir a y b son coprimos)
si y solo si
existe n ∈ Z+ tal que b|k n (b divide a k n , es decir el resto de dividir k n por b es 0).
Demostración
Supongamos que existe n ∈ Z+ tal que b|k n . Entonces existe q ∈ Z tal que k n = bq y podemos
escribir
a aq aq
= = k
b bq b
que tiene representación finita.
Ejemplos:
1 1 · 125 125
= = = 0, 125
8 8 · 125 1000
2. Tomemos la base del sistema sexagesimal, k = 60 = 22 · 3 · 5, y tomemos a = 1, b = (75)10 =
(1, 20)60 . Lo que acabamos de probar nos asegura que si existe un n ∈ Z+ tal que 75|60n el
número
1
75
1
Historia de la Matemática
2020
Facultad de Humanidades y Ciencias
UNL
en este ejemplo n = 2 y q = 48
y podemos escribir:
1 1 · 48 48
= =
75 75 · 48 3600
Escrito en notación sexagesimal es:
1
= 0; 0, 48
1, 15
1
Notar que 75 tiene representación finita sexagesimal pero no decimal:
1 1
= = (0; 0, 48)60 = (0, 01333...)10
(75)10 (1, 15)60
a
Reciprocamente, si b tiene una representación finita podemos encontrar r ∈ Z y n ∈ Z+ tal que
a r
= n
b k
y asi,
a.k n = r.b
y como mcd(a,b)=1, necesariamente será
b|k n
Ejemplos:
3
1. El número racional representado en forma fraccionaria por 20 (a = 3, b = 20) tiene en el
sistema decimal (k = 10) representación finita. Buscamos cuales son r y k (cuya existencia
esta asegurada por el teorema) tales que
3 · 10n = r · 20 y 20|10n
En efecto,
3 15 15
= 0, 15 = = 2
20 100 10
Asi, con r = 15 y n = 2 tenemos que
7 · 60n = r · 18 y 18|60n
2
Historia de la Matemática
2020
Facultad de Humanidades y Ciencias
UNL
En efecto,
7 7 7 · 23 · 52 7 · 200 1400 23 · 60 + 20 23 20
= = = 2 = = = +
18 2 · 32 24 · 32 · 52 (2 · 3 · 5)2 602 602 60 602
7
= (0; 23, 48)60 = (0, 3888...)10
18
Corolario
Un número racional ab , mcd(a, b) = 1 tiene representación finita en base k si y sólo si los
únicos primos que dividen a b también dividen a k