Why a Common Denominator Is Needed
Adding or subtracting rational expressions follows the same basic principle as adding or subtracting ordinary fractions: the denominators must agree before the numerators can be combined. With algebraic denominators, however, there is an additional responsibility. Each original denominator may exclude particular inputs, and those restrictions remain part of the domain of the expression even if the final formula looks different.
For example, the expression \( \frac{1}{x-2}+\frac{1}{x+3} \) is defined only when \(x\ne 2\) and \(x\ne -3\). Any equivalent formula obtained by combining the fractions must still be understood with those exclusions. Finding the common denominator does not change the inputs on which the original expression was defined.
Rational Expressions and Their Domains
A rational expression is a quotient of polynomials, such as \( \frac{x+1}{x^2-4} \). It is defined for real inputs that make its denominator nonzero. Before combining rational expressions, record the inputs that make any original denominator zero. The domain of the sum or difference is the intersection of the original domains: an input is allowed only if every original term is defined there.
A common denominator is an expression that is a multiple of each denominator. For a pair of denominators, their product is always a common denominator when both are nonzero, though it may include repeated factors that are not needed. A least common denominator uses each distinct factor to the largest power with which it occurs in any original denominator. Factoring first often makes it easier to identify a convenient denominator.
For instance, if the denominators are \(x(x-1)\) and \(x-1\), the LCD is \(x(x-1)\). If they are \(x-2\) and \(x+3\), the LCD is \((x-2)(x+3)\). The LCD is not necessarily the only common denominator, but it usually keeps the algebra more compact.
A Formula and Why It Works
For nonzero denominators \(B\) and \(D\), the familiar common-denominator identities are
These formulas use \(BD\) as a common denominator. If the denominators share factors, a smaller common denominator may be available. The same reasoning works with any common denominator \(L\): rewrite each fraction so its denominator is \(L\), then add or subtract the resulting numerators.
Thus their sum is
The subtraction formula follows in the same way, with a minus sign between the numerators. This derivation requires \(B\ne 0\), \(D\ne 0\), and a common denominator \(L\) that is nonzero at the input being considered. Those conditions hold on the shared domain when \(L\) is built from the original denominators. Combining fractions changes their form, not the set of inputs where the original terms were defined.
A Reliable Procedure
Set each original denominator unequal to zero and collect all excluded inputs.
Use the factored forms to identify shared factors and choose the LCD.
Multiply each numerator by the factor needed to make its denominator the LCD.
Add or subtract the complete numerators, then factor the resulting numerator and denominator when possible.
Retain the original exclusions and, when useful, test an allowed input in both forms.
Worked Examples
Worked Example: Adding Fractions with Different Linear Denominators
Combine \( \frac{2}{x-3}+\frac{5}{x+1} \), and state its domain.
The original denominators are zero when \(x-3=0\), giving \(x=3\), or \(x+1=0\), giving \(x=-1\). Thus \(x\ne 3,-1\). The denominators have no common factor, so take the LCD to be \((x-3)(x+1)\).
To rewrite the first fraction, multiply its numerator and denominator by \(x+1\). To rewrite the second, multiply its numerator and denominator by \(x-3\):
Now combine the numerators over the shared denominator and expand each product:
The numerator \(7x-13\) has no common factor with either denominator factor, so this is a factored-denominator form of the result. The domain remains \(x\ne 3,-1\).
Check at the allowed input \(x=0\). In the original expression, \( \frac{2}{-3}+\frac{5}{1}=-\frac{2}{3}+\frac{15}{3}=\frac{13}{3} \). In the combined expression, \( \frac{-13}{(-3)(1)}=\frac{13}{3} \), as required.
Worked Example: Subtracting with a Factored Denominator
Combine \( \frac{1}{x-2}-\frac{1}{x^2-4} \), and state its domain.
First factor the second denominator: \(x^2-4=(x-2)(x+2)\). The original denominators are zero at \(x=2\) and at \(x=-2\), so both inputs are excluded. The LCD is \((x-2)(x+2)\).
The first fraction needs the factor \(x+2\) in its numerator and denominator. The second fraction already has the LCD. Subtract the entire second numerator:
Combine like terms in the numerator: \((x+2)-1=x+1\). Therefore,
The numerator \(x+1\) does not share either factor with the denominator. Check at \(x=0\), which is allowed. The original expression gives \( \frac{1}{-2}-\frac{1}{-4}=-\frac12+\frac14=-\frac14 \). The combined expression gives \( \frac{1}{(-2)(2)}=-\frac14 \). The two forms agree.
Worked Example: Combining, Factoring, and Preserving Exclusions
Combine \( \frac{x+1}{x^2-1}+\frac{1}{x-1} \), and give the domain of the original expression.
Factor \(x^2-1=(x-1)(x+1)\). The first denominator is zero at \(x=1\) or \(x=-1\), and the second denominator is zero at \(x=1\). Therefore the original expression excludes both \(x=1\) and \(x=-1\). Its LCD is \((x-1)(x+1)\).
The second fraction needs the factor \(x+1\). Rewriting both terms and combining gives
Factor the numerator: \(2x+2=2(x+1)\). The result can be written as
For inputs where the expression is defined, the common factor \(x+1\) may be cancelled, giving \( \frac{2}{x-1} \). But the original expression still excludes \(x=-1\), as well as \(x=1\). The correct description is therefore \( \frac{2}{x-1} \) with \(x\ne -1,1\). Cancellation does not put an originally excluded input back into the domain.
Check at \(x=0\). In the original expression, \( \frac{1}{-1}+\frac{1}{-1}=-1-1=-2 \). In the cancelled form, \( \frac{2}{-1}=-2 \). The values agree at this allowed input, while the domain restrictions remain those of the original expression.
Subtraction Requires Care with Signs
When subtracting rational expressions, the minus sign applies to the entire numerator of the second fraction after the denominators have been made equal. For example, subtracting \( \frac{x-4}{L} \) from \( \frac{2x+1}{L} \) gives \( \frac{(2x+1)-(x-4)}{L} \), whose numerator is \(2x+1-x+4=x+5\). Removing the parentheses without changing the signs would produce an incorrect result.
A related error is combining denominators by adding or subtracting them. In general, \( \frac{A}{B}+\frac{C}{D} \) is not \( \frac{A+C}{B+D} \). The numerators can be combined directly only after both fractions have been rewritten with the same denominator.
Why the Domain Must Be Carried Along
There are two separate pieces of information in a combined rational expression: its algebraic formula and the inputs for which the original terms were defined. A common denominator packages the terms into one quotient, but it does not erase the original restrictions. Factoring the result can reveal common factors; simplifying those factors may give a shorter formula, but it still cannot make an excluded input valid for the original expression.
This matters whenever an algebraic expression is used as a function. Two formulas can give the same values wherever both are defined and still have different domains if their excluded inputs are not recorded. The earlier material on rational-expression domains and cancellation establishes this distinction. In practice, write the restrictions before doing any algebra, and include them with the final result.
Before accepting a result, check three things:
- Does the chosen denominator contain every factor needed to rewrite every original term?
- Were the numerators combined with the correct plus or minus signs?
- Are all inputs excluded by the original denominators still listed?
Summary
To add or subtract rational expressions, first factor the denominators and record their zeroes. Choose a common denominator, rewrite every fraction using the necessary missing factors, and then combine the complete numerators. Factor the final numerator and denominator when possible, but keep the original domain restrictions even if a factor cancels.
The method rests on multiplying numerator and denominator by the same nonzero factor: this changes the form of a fraction without changing its value at allowed inputs. The common-denominator process is therefore valid precisely where the original expressions are defined.
Check Your Understanding
For each question, show enough work to make your common denominator and domain restrictions clear.
- Combine \( \frac{3}{x+2}+\frac{1}{x-1} \), factor the result if possible, and state the domain.
- Combine \( \frac{2}{x-3}-\frac{1}{x^2-9} \). What inputs are excluded by the original denominators?
- Why must the minus sign in \( \frac{A}{L}-\frac{B-C}{L} \) apply to both \(B\) and \(-C\)?
- Suppose a common factor cancels after combining two rational expressions. Does that cancellation restore inputs excluded by an original denominator? Explain.
- Is \( \frac{A}{B}+\frac{C}{D}=\frac{A+C}{B+D} \) generally valid? Give a reason for your answer.
