Common Denominator
Fractions & DecimalsA common denominator is a shared multiple of the denominators of two or more fractions, allowing them to be added or compared.
Definition
A common denominator is a number that works as the bottom number for two or more fractions at the same time. To add fractions, they need the same bottom number (the same "size" of pieces), so you find a common denominator first.
Example
To add $1/4 + 1/3$, you need a common denominator. Both $4$ and $3$ divide into $12$, so use $12$: $1/4 = 3/12$ and $1/3 = 4/12$. Now add: $3/12 + 4/12 = 7/12$.
Key Insight
You can't add apples and oranges - and you can't directly add thirds and quarters. A common denominator converts everything into the same "flavor" of piece so the addition makes sense.
Definition
A common denominator of fractions $a/b$ and $c/d$ is any positive integer that is a multiple of both $b$ and $d$. The simplest choice is the least common denominator ($\text{LCD} = \text{LCM}(b, d)$). Any common multiple of $b$ and $d$ works; using the LCD keeps numbers smallest.
Example
Add $5/6 + 7/8$. $\text{LCM}(6, 8) = 24$ (LCD). Convert: $5/6 = 20/24$; $7/8 = 21/24$. Sum: $41/24 = 1$ and $17/24$. Using $48$ (another common multiple) also works but produces larger numbers to simplify afterward.
Key Insight
The rule for adding fractions over a common denominator - add the numerators, keep the denominator - directly reflects the distributive property: $a/n + b/n = (a+b) \times (1/n)$.
Definition
A common denominator of rationals $a/b$ and $c/d$ is any $m$ such that $m/b$ and $m/d$ are integers, i.e., $b \mid m$ and $d \mid m$. The LCD is $\text{LCM}(b, d) = bd/\gcd(b, d)$. In a general commutative ring, the analogous construction uses the LCM of elements in a unique factorization domain.
Example
In $\mathbb{Z}[x]$, adding $1/(x-1) + 1/(x+1)$ uses common denominator $(x-1)(x+1) = x^2-1$: the sum is $(x+1+x-1)/(x^2-1) = 2x/(x^2-1)$. The LCD is the LCM of the polynomial denominators.
Key Insight
Common denominators are the key step in defining addition on any field of fractions. The proof that $\mathbb{Q}$ is a field requires showing this construction is well-defined (independent of the choice of representatives) - the cross-multiplication check is exactly the verification needed.