Detección de decimal finito desde la fracción irreductible
Resumen inicial
Una fracción irreductible $\frac{a}{b}$ da origen a un decimal finito si y solo si la descomposición en primos de $b$ no contiene factores distintos de $2$ y $5$.
Explicación en palabras simples
Podemos saber con certeza si una fracción se convertirá en un decimal finito antes de hacer la división. Para lograrlo, primero simplificamos la fracción hasta que sea irreductible y luego descomponemos en factores primos el denominador: si solo aparecen los factores primos $2$, $5$ o ambos, el decimal será definitivamente finito.
Explicación formal
Dada la fracción irreductible $\frac{a}{b}$ con $\operatorname{MCD}(a, b) = 1$, el Teorema de Caracterización del Decimal Finito establece que:
$$\frac{a}{b} \text{ genera un decimal finito} \iff b = 2^m \cdot 5^n \quad (m, n \in \mathbb{N}_0)$$
Desglose formal de la fórmula:
- $\operatorname{MCD}(a, b) = 1$: Condición previa de irreductibilidad estricta para evitar factores espurios en el denominador.
- $2^m \cdot 5^n$: Primos que dividen a la base decimal ($10 = 2 \cdot 5$), lo que asegura que la fracción pueda amplificarse a una fracción decimal con denominador $10^{\max(m,n)}$.
- Cantidad de cifras decimales: El número exacto de cifras decimales finitas que tendrá el número es $k = \max(m, n)$.
Complemento didáctico: Si el denominador simplificado contiene algún factor primo distinto ($3, 7, 11, 13, \dots$), la fracción generará obligatoriamente un decimal infinito periódico.
La alternativa correcta es 'La cantidad exacta de cifras decimales finitas que tendrá el número resultante'.
Definiciones clave
- Fracción irreductible: Fracción $\frac{a}{b}$ donde $a$ y $b$ son coprimos (su máximo común divisor es $1$).
- Criterio de factores primos $2$ y $5$: Condición necesaria y suficiente para que un número racional tenga expansión decimal finita.
- Exponente máximo: $\max(m,n)$ que determina la cantidad exacta de dígitos tras la coma.
Propiedades y relaciones importantes
- Teorema de clausura en base 10: Solo los divisores de las potencias de 10 generan representaciones decimales finitas.
- Longitud finita: La cantidad de cifras decimales es exactamente $\max(m, n)$ en $b = 2^m \cdot 5^n$.
Ejemplo guiado
Determine sin dividir si la fracción $\frac{9}{40}$ genera un decimal finito y cuántas cifras decimales tendrá.
- Paso 1: Verificar irreductibilidad: $\operatorname{MCD}(9, 40) = 1$.
- Paso 2: Descomponer el denominador en factores primos: $40 = 8 \cdot 5 = 2^3 \cdot 5^1$.
- Paso 3: Analizar primos: solo contiene los factores $2$ y $5 \implies$ es un decimal finito.
- Paso 4: Hallar la cantidad de cifras decimales: $\max(3, 1) = 3$ cifras decimales.
- Conclusión: $\frac{9}{40}$ genera un decimal finito de exactamente 3 cifras decimales ($0,225$).
La alternativa correcta es '3 cifras decimales (porque $\max(3, 1) = 3$)'.
Procedimiento
- Paso 1: Reducir la fracción a su expresión irreductible $\frac{a}{b}$.
- Paso 2: Descomponer el denominador $b$ en factores primos $b = 2^m \cdot 5^n \cdot p_1 \dots$
- Paso 3: Si los únicos factores primos son $2$ y/o $5$, concluir que es un decimal finito de $\max(m,n)$ cifras decimales.
Errores frecuentes y cómo corregirlos
- Error 1: Aplicar la prueba a una fracción no simplificada (ej: $\frac{6}{15}$). Cómo corregirlo: $15 = 3 \cdot 5$ parece generar período, pero al simplificar $\frac{6}{15} = \frac{2}{5}$ se comprueba que SÍ es finito ($0,4$).
- Error 2: Confundir los factores primos con la paridad de los números. Cómo corregirlo: La regla se basa estrictamente en los primos $\{2, 5\}$, no en si el denominador es par o impar.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $20 = 2^2 \cdot 5 \implies$ solo primos 2 y 5 $\implies$ finito ($0,35$).
- La presencia del primo 3 en el denominador irreductible impide que sea finito.
- Sí, $16 = 2^4 \implies$ decimal finito de 4 cifras ($0,0625$).
- Sí, $50 = 2 \cdot 5^2 \implies \max(1,2) = 2$ cifras ($0,06$).
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Determinar a priori si una fracción genera un decimal finito y calcular su cantidad exacta de cifras decimales sin efectuar la división.
Reduciendo la fracción a su forma irreductible $\frac{a}{b}$, factorizando el denominador en primos ($b = 2^m \cdot 5^n$) y comprobando que no existan factores primos distintos de 2 y 5, con una cantidad de cifras decimales igual a $\max(m, n)$.