52 Rational Expression Operations

Rational Expression Operations is the study of multiplying, dividing, adding, and subtracting algebraic fractions whose numerators and denominators are polynomials, extending the arithmetic rules for numerical fractions to expressions involving variables while tracking the domain restrictions those variables introduce.

The Scope of Rational Operations

Every arithmetic operation available for ordinary numerical fractions — multiplication, division, addition, and subtraction — extends directly to rational expressions, following the identical structural rules, with the added requirement that any factor introduced into a denominator during the operation contributes a new domain restriction that must be tracked alongside the operation's result.

Multiplying Rational Expressions

Multiplying two rational expressions is performed exactly as multiplying two numerical fractions: numerators are multiplied together, and denominators are multiplied together. Before multiplying, both rational expressions should be factored completely, since this allows any factor common to a numerator and a denominator — even across the two different expressions — to be canceled prior to carrying out the multiplication, simplifying the arithmetic.

Dividing Rational Expressions

Dividing by a rational expression is defined as multiplying by its reciprocal, exactly as with numerical fractions: the divisor is flipped, and the operation proceeds as ordinary rational expression multiplication.

Because flipping the divisor moves its original denominator into the numerator's position, any factor that was a domain restriction in the divisor's original denominator does not disappear from the overall problem's restrictions, since that value would have made the divisor zero, and dividing by zero remains undefined regardless of the flipping performed during this method.

Constructing a Least Common Denominator

Adding or subtracting rational expressions, like adding or subtracting numerical fractions, requires a common denominator. The least common denominator (LCD) of two or more rational expressions is built by factoring each denominator completely and then taking every distinct factor that appears, each raised to the highest power it appears with in any single denominator.

Adding Rational Expressions

Adding rational expressions with different denominators requires rewriting each expression as an equivalent fraction over the constructed LCD, multiplying each numerator by whatever factor was needed to convert its original denominator into the LCD, and then adding the resulting numerators over that shared denominator.

Subtracting Rational Expressions

Subtracting rational expressions follows the identical LCD-based procedure as addition, with the numerators subtracted instead of added once both fractions share the constructed LCD as their denominator; particular care is required to distribute the subtraction sign across every term of the second numerator, exactly as with polynomial subtraction generally, since omitting this distribution is a frequent source of sign errors.

Sequences of Multiple Rational Operations

A single problem may combine several rational operations in sequence, such as an addition followed by a division, or an expression nested within a larger complex fraction. These are resolved by applying order of operations, working through any grouped or nested rational expressions from the innermost level outward, simplifying each intermediate result before it participates in the next operation in the sequence.

Verifying Rational Operation Results

A computed rational expression result is verified by substituting a chosen numerical value, not among any of the domain restrictions from any of the original expressions involved, into both the original operation as stated and the final simplified result, and confirming the two evaluate to the same number.

Diagnosing Errors in Rational Expression Operations

Common errors in this area include forgetting to flip the divisor when dividing rational expressions, constructing an incomplete LCD that omits a needed factor or uses too low a power of a shared factor, failing to distribute a subtraction sign across every term of a numerator when subtracting, and dropping domain restrictions accumulated from every denominator encountered during a multi-step operation, not only the denominator appearing in the final simplified result.