Suma de Fracciones
Sumar fracciones requiere un denominador común; luego se suman los numeradores y el denominador se mantiene igual.
Formula
\frac{a}{c} + \frac{b}{c} = \frac{a+b}{c}; \quad \frac{a}{b} + \frac{c}{d} = \frac{ad+bc}{bd}
Definition
Para sumar fracciones, los denominadores deben ser iguales: si ya coinciden, simplemente suma los numeradores y mantén el denominador; si no, primero busca un denominador común (idealmente el MCD) antes de sumar. Formalmente, para $a/b + c/d$: si $b = d$, la suma es $(a+c)/b$; si $b \neq d$, reescribe ambas fracciones sobre el MCD, suma los numeradores resultantes, y simplifica a su mínima expresión. En el lenguaje de las clases de equivalencia, la suma en $\mathbb{Q}$ se define como $[a/b] + [c/d] = [(ad+bc)/(bd)]$, y demostrar que esto está bien definido, que representantes equivalentes siempre dan sumas equivalentes, confirma que $\mathbb{Q}$ es un grupo bajo la suma.
Example
Con el mismo denominador, $2/7 + 3/7 = 5/7$; con denominadores distintos, $1/3 + 1/4$ se convierte en $4/12 + 3/12 = 7/12$ usando $12$ como denominador común. Para $3/8 + 5/12$, el MCD es $24$: $3/8 = 9/24$ y $5/12 = 10/24$, dando $19/24$ (ya en mínima expresión). Para verificar que la fórmula está bien definida sin importar el representante: como $1/2 \sim 2/4$, calcular $(1 \times 3 + 2 \times 5)/(2 \times 5) = 13/10$ y $(2 \times 3 + 4 \times 5)/(4 \times 5) = 26/20$ da resultados equivalentes, confirmado por $13 \times 20 = 260 = 26 \times 10$.
Key Insight
Sumar fracciones con distintos denominadores es como sumar manzanas y naranjas: primero conviertes todo a la misma "unidad" (el denominador común), y luego simplemente sumas las cantidades. La fórmula general $a/b + c/d = (ad+bc)/(bd)$ siempre funciona sin necesidad de hallar el MCD, pero a menudo da una fracción que necesita más simplificación, por lo que usar el MCD es más eficiente ya que el resultado ya está sobre el menor denominador posible. La definición abstracta de la suma en $\mathbb{Q}$ mediante clases de equivalencia es un ejemplo de cómo se construyen las estructuras algebraicas a partir de construcciones cociente, y verificar que está bien definida es el precio algebraico de trabajar con clases de equivalencia en lugar de representantes canónicos.