MATEMATICAS.NET

Sobre fracciones

Anuncios

Una de las últimas preguntas que me han hecho versaba sobre fracciones. En concreto, se trataba de averiguar, sin efectuar la división, si una fracción dada tenía una expresión decimal periódica o exacta. Esto me ha recordado un problema de Apostol (“Análisis Matemático, 2ª Edición, página 36, problema 1.8”) que dice así:

Demostrar que la expresión decimal de terminará en ceros (o en nueves) si, y sólo si, es un número racional cuyo denominador es de la forma , donde son enteros no negativos.

En resumen, la respuesta a la pregunta que me hacen es que si una vez expresada la fracción en su forma irreducible, el denominador sólo tiene como factores potencias de dos o de cinco o de ambos, entonces la fracción da lugar a un decimal exacto. Por ejemplo, la fracción

se expresa como decimal exacto pues en su forma irreducible es

,

con denominador

.

Pero la fracción se expresa en forma irreducible como

,

siendo el denominador , por lo que su expresión decimal es periódica. En los siguientes párrafos voy a pergeñar una demostración de por qué esto es así.
Partimos de la hipótesis de que

donde y son enteros y son positivos. En virtud del orden total presente en será o bien . Para el primer caso () escribimos
.
Esta fracción resultante termina en ceros (lo que equivale a terminar en infinitos nueves). Para el segundo caso (), escribimos
.
De nuevo esto significa que termina en ceros o en infinitos nueves.

Recíprocamente, si tiene un desarrollo decimal que acaba en ceros, entonces puede ponerse en forma finita:
,
donde . Esto significa que
.
Simplificando y agrupando obtenemos
.
El lector puede observar que en la expresión anterior el sumatorio es un número entero. En consecuencia

y se cumple la condición buscada. Veamos ahora el caso en el que acaba en infinitos nueves:
,
donde . Agrupamos esta expresión en la forma
.
El lector observa fácilmente que el primer sumando finito es equivalente al obtenido para el caso anterior. Así pues, aplicando lo ya visto y operando un poco tenemos
.
La suma infinita es la suma de todos los valores de una progresión geométrica de primer término y razón , luego resulta
,
que sustituyendo en la expresión anterior y simplificando da lugar a
.
Esto prueba que la fracción correspondiente tiene el denominador en la forma buscada.

Anuncios