Equivalent Fractions
Equivalent 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. Formally, two fractions $a/b$ and $c/d$ are equivalent if and only if $ad = bc$ (their cross-products are equal), which is the same as saying they reduce to the same fraction in simplest form. This equivalence is the formal foundation of the rational number system: 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$, with the canonical representative (lowest terms) using the GCD to normalize.
Example
$1/2 = 2/4 = 3/6 = 4/8$; you can check by folding paper, folding in half shades $1/2$, folding again to get fourths shades $2/4$, and the shaded area is identical. To check whether $4/6$ and $10/15$ are equivalent, compare cross-products: $4 \times 15 = 60$ and $6 \times 10 = 60$, so they are equivalent (both reduce to $2/3$). The equivalence class of $2/3$ contains $(2,3)$, $(4,6)$, $(-2,-3)$, $(6,9)$, $(100,150)$, and so on; any two representatives $(a,b)$ and $(c,d)$ satisfy the cross-multiplication test $ad = bc$, and the GCD-normalized representative is the unique pair $(a/\gcd, b/\gcd)$ with $b/\gcd > 0$.
Key Insight
You can always make an equivalent fraction by multiplying or dividing both the top and bottom by the same number, like zooming in on the same pizza slice: more cuts, same amount of pizza. Equivalent fractions are really just different names for the same rational number, the number $2/3$ has infinitely many fraction names ($2/3$, $4/6$, $6/9$, $-2/-3$, etc.), with simplest form serving as the "official" representative. 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 that builds $p$-adic rationals, function fields, and sheaves in algebraic geometry, making equivalent fractions the simplest case of a universal algebraic construction.