Equivalent Fractions
Fractions & DecimalsEquivalent fractions are different fractions that name the same value or represent the same portion of a whole.
Formula
\frac{a}{b} = \frac{an}{bn} \text{ for any nonzero } n
Definition
Equivalent fractions look different but mean the same amount. If you cut a sandwich into $2$ pieces and take $1$, or cut it into $4$ pieces and take $2$, you have the same amount. So $1/2$ and $2/4$ are equivalent fractions.
Example
$1/2 = 2/4 = 3/6 = 4/8$. You can check by folding paper: fold in half ($1/2$ shaded), fold again to get fourths ($2/4$ shaded) - the shaded area is identical.
Key Insight
You can always make an equivalent fraction by multiplying or dividing both the top and bottom by the same number. Think of it as zooming in on the same pizza slice - more cuts, same amount of pizza.
Definition
Two fractions $a/b$ and $c/d$ are equivalent if and only if $ad = bc$ (cross-products are equal). Equivalently, they reduce to the same fraction in simplest form. Multiplying numerator and denominator by the same nonzero integer always produces an equivalent fraction.
Example
Are $4/6$ and $10/15$ equivalent? Check: $4 \times 15 = 60$ and $6 \times 10 = 60$. Equal cross-products confirm they are equivalent. Both reduce to $2/3$.
Key Insight
Equivalent fractions are different names for the same rational number. The rational number $2/3$ has infinitely many fraction names: $2/3$, $4/6$, $6/9$, $-2/-3$, etc. Simplest form is the "official" representative.
Definition
Equivalent fractions are elements of the same equivalence class in $\mathbb{Q} = (\mathbb{Z} \times (\mathbb{Z} \setminus \{0\})) / \sim$, where $(a, b) \sim (c, d)$ iff $ad = bc$. This equivalence relation is the formal foundation of the rational number system. The canonical representative (lowest terms) uses the GCD to normalize.
Example
The equivalence class of $2/3$ contains $(2,3)$, $(4,6)$, $(-2,-3)$, $(6,9)$, $(100,150)$, etc. Any two representatives $(a,b)$ and $(c,d)$ satisfy the cross-multiplication test $ad = bc$. The GCD-normalized representative is the unique pair $(a/\gcd, b/\gcd)$ with $b/\gcd > 0$.
Key Insight
This equivalence-class construction is an instance of localization in ring theory: $\mathbb{Q} = \mathbb{Z}$ localized at $S = \mathbb{Z} \setminus \{0\}$. The same technique builds $p$-adic rationals, function fields, and sheaves in algebraic geometry - equivalent fractions are the simplest case of a universal algebraic construction.