Mínima Expresión
Una fracción está en su mínima expresión cuando el numerador y el denominador no comparten ningún factor común distinto de 1.
Formula
\frac{a}{b} \text{ where } \gcd(a,b) = 1
Definition
Una fracción está en su mínima expresión (también llamada términos mínimos) cuando no se puede dividir el numerador y el denominador entre ningún número distinto de $1$, la versión más pequeña y simple de la fracción. Formalmente, una fracción $a/b$ está en su mínima expresión cuando $\gcd(a, b) = 1$, es decir, el numerador y el denominador son coprimos, y reducir consiste en dividir ambos entre su MCD: $(a/\gcd)/(b/\gcd)$. La mínima expresión de un número racional $a/b$ es el único representante $(a', b')$ de su clase de equivalencia con $b' > 0$ y $\gcd(a', b') = 1$; su existencia y unicidad se derivan del teorema fundamental de la aritmética y de las propiedades del MCD.
Example
$6/8$ NO está en su mínima expresión porque puedes dividir ambos entre $2$ para obtener $3/4$, que SÍ es la mínima expresión ya que $3$ y $4$ no comparten ningún factor común distinto de $1$. Para reducir $36/48$: como $36 = 2^2 \times 3^2$ y $48 = 2^4 \times 3$, $\gcd(36,48) = 2^2 \times 3 = 12$, entonces $36/48 = (36/12)/(48/12) = 3/4$. La idea se generaliza más allá de los enteros: para una fracción de enteros gaussianos $(a+bi)/(c+di)$ en $\mathbb{Z}[i]$, el análogo de la mínima expresión requiere dividir entre el MCD en $\mathbb{Z}[i]$ (un dominio euclídeo), usando la función norma $N(a+bi) = a^2+b^2$ como el "tamaño" en el algoritmo de Euclides.
Key Insight
La mínima expresión hace que las fracciones sean más fáciles de entender y comparar, es como dar tu dirección como "Calle Principal 123" en lugar de "246/2 Calle Principal", el mismo lugar, mucho más claro. El algoritmo de Euclides calcula el MCD eficientemente incluso para números grandes ($\gcd(48, 36) = \gcd(36, 12) = \gcd(12, 0) = 12$), superando el enfoque de listar todos los factores, y es la base de la generación moderna de claves criptográficas. La coprimalidad ($\gcd = 1$) también controla directamente el periodo de la expansión decimal: $1/b$ termina si y solo si $b$ tiene únicamente factores $2$ y $5$, de lo contrario la longitud del periodo es igual al orden multiplicativo de $10$ módulo ($b$ después de eliminar los $2$ y los $5$).