Identificación de fracción irreductible
Resumen inicial
Una fracción $\frac{a}{b}$ es irreductible cuando su numerador y su denominador son coprimos, es decir, $\operatorname{MCD}(a, b) = 1$.
Explicación en palabras simples
Una fracción irreductible es aquella que ya no se puede simplificar más porque el número de arriba y el número de abajo no comparten ningún divisor en común aparte del 1. Representa la forma más simple y limpia de escribir esa cantidad racional.
Explicación formal
Una fracción $\frac{a}{b} \in \mathbb{Q}$ se define como Irreductible (o Canónica) si y solo si sus términos verifican la condición de ser coprimos:
$$\operatorname{MCD}(|a|, |b|) = 1 \iff D^+(|a|) \cap D^+(|b|) = \{1\}$$
Desglose de la fórmula:
- $\operatorname{MCD}(|a|, |b|) = 1$: Ausencia de divisores primos comunes entre numerador y denominador.
- Representante canónico: Cada clase de equivalencia contiene un único representante irreductible con $b > 0$.
Complemento didáctico: La fracción $\frac{3}{4}$ es irreductible porque $\operatorname{MCD}(3, 4) = 1$, mientras que $\frac{6}{8}$ no lo es porque $\operatorname{MCD}(6, 8) = 2$.
La alternativa correcta es 'Deben ser números coprimos, es decir, MCD(a, b) = 1'.
Definiciones clave
- Fracción irreductible (canónica): Expresión racional simplificada al máximo donde $\operatorname{MCD}(a, b) = 1$.
Propiedades y relaciones importantes
- Representante de clase: Toda clase de equivalencia posee una única representación irreductible canónica.
Ejemplo guiado
Determine si la fracción $\frac{8}{15}$ es una fracción irreductible calculando su $\operatorname{MCD}$.
- Paso 1: Obtener los divisores de 8: $D^+(8) = \{1, 2, 4, 8\}$.
- Paso 2: Obtener los divisores de 15: $D^+(15) = \{1, 3, 5, 15\}$.
- Paso 3: Calcular la intersección: $D^+(8) \cap D^+(15) = \{1\} \implies \operatorname{MCD}(8, 15) = 1$.
- Conclusión: Como el M.C.D. es igual a $1$, $\frac{8}{15}$ es una fracción irreductible.
La alternativa correcta es 'Porque no comparten divisores en común excepto el 1 (MCD = 1)'.
Procedimiento
- Paso 1: Calcular el máximo común divisor entre el numerador y el denominador.
- Paso 2: Verificar si $\operatorname{MCD}(|a|, |b|) = 1$.
- Paso 3: Declarar la fracción como irreductible si no se pueden aplicar más divisiones exactas.
Errores frecuentes y cómo corregirlos
-
Error 1: Creer que para ser irreductible el numerador y denominador deben ser primos. Cómo corregirlo: Fracciones como $\frac{8}{9}$ son irreductibles porque $\operatorname{MCD}(8, 9) = 1$, aunque 8 y 9 sean compuestos.
-
Error 2: Detener la simplificación antes de llegar a la irreductible (dejar $\frac{6}{8}$). Cómo corregirlo: $\frac{6}{8}$ se puede seguir dividiendo por 2 hasta llegar a $\frac{3}{4}$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $\operatorname{MCD}(5, 9) = 1 \implies$ 5/9 es irreductible.
- $\operatorname{MCD}(14, 21) = 7 \neq 1$, por lo que se simplifica a 2/3.
- Sí, para cualquier $1/b$, el $\operatorname{MCD}(1, b) = 1$ siempre.
- No, se puede simplificar entre 5 dando 2/5.
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 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
Identificar y obtener la fracción irreductible como representante canónico de una clase de equivalencia.
Verificando la condición de coprimalidad $\text{mcd}(|a|, |b|) = 1$ asegurando que no existen factores comunes mayores que 1 entre numerador y denominador.