Denominador Común
Un denominador común es un múltiplo compartido de los denominadores de dos o más fracciones, que permite sumarlas o compararlas.
Definition
Un denominador común es un número que funciona como el número de abajo para dos o más fracciones al mismo tiempo; para sumar fracciones, necesitan tener el mismo "tamaño" de piezas, así que primero se busca un denominador común. Formalmente, un denominador común de las fracciones $a/b$ y $c/d$ es cualquier entero positivo que sea múltiplo tanto de $b$ como de $d$, es decir, $b \mid m$ y $d \mid m$; la opción más simple es el mínimo común denominador, $\text{LCD} = \text{LCM}(b, d) = bd/\gcd(b, d)$. En un anillo conmutativo general, la construcción análoga usa el mínimo común múltiplo de elementos en un dominio de factorización única.
Example
Para sumar $1/4 + 1/3$, busca un denominador común: tanto $4$ como $3$ dividen a $12$, así que $1/4 = 3/12$ y $1/3 = 4/12$, dando $3/12 + 4/12 = 7/12$. Para $5/6 + 7/8$, el mínimo común denominador es $\text{LCM}(6, 8) = 24$: $5/6 = 20/24$ y $7/8 = 21/24$, así que la suma es $41/24 = 1$ y $17/24$ (usar $48$, otro múltiplo común, también funciona pero deja números más grandes por simplificar). La misma idea funciona en $\mathbb{Z}[x]$: sumar $1/(x-1) + 1/(x+1)$ usa el denominador común $(x-1)(x+1) = x^2-1$, dando $(x+1+x-1)/(x^2-1) = 2x/(x^2-1)$.
Key Insight
No puedes sumar manzanas con naranjas, y no puedes sumar directamente tercios con cuartos: un denominador común convierte todo al mismo "sabor" de pieza para que la suma tenga sentido. La regla para sumar fracciones sobre un denominador común, sumar los numeradores y mantener el denominador, refleja directamente la propiedad distributiva: $a/n + b/n = (a+b) \times (1/n)$. Los denominadores comunes son de hecho el paso clave para definir la suma en cualquier cuerpo de fracciones; demostrar que $\mathbb{Q}$ es un cuerpo requiere mostrar que esta construcción está bien definida sin importar qué representantes se elijan, y la comprobación por producto cruzado es exactamente la verificación necesaria.