51 Rational Expressions and Domain Restrictions

Rational Expressions and Domain Restrictions is the study of algebraic fractions whose numerator and denominator are polynomials, together with the identification of input values that must be excluded from such an expression's domain because they would require dividing by zero.

The Scope of Rational Expressions

A rational expression is a fraction in which the numerator and denominator are both polynomials, such as (x + 3)/(x² - 4). Rational expressions generalize ordinary numerical fractions to include variables, and every technique developed for working with numerical fractions — simplifying, multiplying, dividing, adding, and subtracting — extends to rational expressions, with the added requirement of tracking which variable values must be excluded to keep the denominator nonzero.

Determining Denominator Restrictions

Because division by zero is undefined, any value of the variable that makes a rational expression's denominator equal zero must be excluded from that expression's domain. Finding these restrictions requires setting the denominator equal to zero and solving the resulting equation, exactly as solving any polynomial equation, with every solution to that equation excluded from the rational expression's domain.

The restriction values are stated separately from the simplified expression itself, typically written as "x ≠ 2, x ≠ -2," and they remain part of the expression's domain description even if the expression is later simplified in a way that appears to remove the factor causing the restriction.

Preparing a Rational Expression by Factoring

Before a rational expression can be simplified, both its numerator and denominator should be factored completely, using whichever factoring techniques apply — greatest common factor extraction, trinomial factoring, or special patterns such as the difference of squares — since simplification depends entirely on identifying factors shared between the numerator and denominator.

Simplifying by Canceling Common Factors

Once both numerator and denominator are fully factored, any factor appearing in both is canceled — divided out — leaving a simplified rational expression. Continuing the example above, the shared factor (x + 3) cancels, leaving (x - 3)/(x + 2). Only complete factors may be canceled this way, never individual terms within a sum; canceling an x from x² - 9 directly, without first factoring, is not a valid operation, since x is not a factor of the entire numerator as written.

Domain Preservation Through Simplification

A critical rule in this area is that the domain restrictions of the original, unsimplified rational expression must be carried forward and stated alongside the simplified result, even though the simplified expression itself may no longer visibly display the excluded value. In the example above, the original expression excludes x = -3 and x = -2, and even though the simplified form (x - 3)/(x + 2) only visibly excludes x = -2 (since its own denominator is zero there), the value x = -3 remains excluded because it made the original, unsimplified expression undefined, and simplification does not change what values are legitimately substitutable into the underlying relationship.

Evaluating a Rational Expression

Evaluating a rational expression at a specific numerical value follows ordinary substitution and simplification, but only after confirming the chosen value is not one of the expression's excluded restriction values; attempting to evaluate at an excluded value produces an undefined result, consistent with that value's exclusion from the domain.

Restrictions in Multivariable Rational Expressions

When a rational expression involves more than one variable, restrictions are found the same way — setting the denominator equal to zero — but the resulting restriction is typically a relationship between the variables rather than a single excluded numeric value. For the expression 1/(x - y), the restriction is x ≠ y, excluding every pair of values for which the two variables happen to be equal, rather than a single fixed number.

Verifying Rational Expression Work

A simplified rational expression is verified by evaluating both the original and simplified forms at a chosen value not among the excluded restrictions and confirming the two evaluations produce the same result; a completed factoring step is verified by expanding the factored numerator and denominator back out and confirming they match the original unfactored polynomials.

Diagnosing Errors in Rational Expressions

Common errors in this area include canceling individual terms rather than complete shared factors, failing to factor the numerator and denominator fully before attempting to identify common factors, dropping a domain restriction after simplification because it is no longer visible in the simplified form, and finding restrictions from an unfactored denominator's apparent structure rather than from its true, fully factored roots.