A rational expression is a quotient of polynomials. Its algebra resembles fraction arithmetic, but its denominator also imposes restrictions on the variable.

Simplification must produce an equivalent expression on the original domain. Cancelling, multiplying or dividing can conceal an excluded input unless that information is recorded first.

On this page

Record the domain before simplifying

A rational expression P(x)/Q(x)P(x)/Q(x) requires Q(x)≠0Q(x)\ne0. For

R(x)=x2−9x2−x−6,R(x)=\frac{x^2-9}{x^2-x-6},

factor the denominator:

x2−x−6=(x−3)(x+2).x^2-x-6=(x-3)(x+2).

Therefore the original domain is all real xx except 3 and −2. Factoring the numerator gives

R(x)=(x−3)(x+3)(x−3)(x+2)=x+3x+2,x≠3,−2.R(x)=\frac{(x-3)(x+3)}{(x-3)(x+2)}=\frac{x+3}{x+2},\qquad x\ne3,-2.

The shorter formula is defined at 3, but the original one is not. If the formula is being used to describe the same function, its inherited domain must remain attached. The missing point would be (3,6/5)(3,6/5); at −2 the denominator still vanishes.

The OpenStax rational-function treatment supplies the broader connection between these restrictions and graph behaviour.

Cancel factors, not terms

Cancellation is division of a common nonzero factor in the whole numerator and denominator. It is not deletion of matching symbols across addition.

For example,

x(x+2)x(x+5)=x+2x+5,x≠0,−5.\frac{x(x+2)}{x(x+5)}=\frac{x+2}{x+5},\qquad x\ne0,-5.

But

x+2x+5≠25\frac{x+2}{x+5}\ne\frac25

in general. At x=1x=1, the left side is 3/6=1/23/6=1/2, not 2/52/5. A single counterexample refutes that proposed identity.

Factor before cancelling. If a numerator is 2x+42x+4, write it as 2(x+2)2(x+2). Removing xx from 2x+42x+4 would not divide the entire numerator by xx.

Multiply and divide with all restrictions visible

Multiplication requires each original denominator to be nonzero. Division also requires the divisor expression to be nonzero.

Consider

x2−1x−2÷x+1x2−4.\frac{x^2-1}{x-2}\div\frac{x+1}{x^2-4}.

The first denominator excludes 2. The second excludes 2 and −2. The divisor is zero at −1, which must also be excluded. Thus the original domain has x≠−2,−1,2x\ne-2,-1,2.

Now multiply by the reciprocal and factor:

(x−1)(x+1)x−2⋅(x−2)(x+2)x+1=(x−1)(x+2).\frac{(x-1)(x+1)}{x-2}\cdot\frac{(x-2)(x+2)}{x+1}=(x-1)(x+2).

The final polynomial keeps all three original exclusions. None can be recovered by looking only at its formula. At x=−1x=-1, the original calculation attempts division by zero; at x=±2x=\pm2, one of its component fractions is already undefined.

As a check, choose an allowed input such as x=3x=3. The original calculation is 8÷(4/5)=108\div(4/5)=10, and the product is (3−1)(3+2)=10(3-1)(3+2)=10. This numerical check supports the worked example; the factor cancellation supplies the general equivalence.

Add using a least common denominator

For

1x−1+2x+1,\frac1{x-1}+\frac2{x+1},

the original restrictions are x≠1,−1x\ne1,-1. A common denominator is (x−1)(x+1)(x-1)(x+1). Multiply each fraction by a form of one:

x+1(x−1)(x+1)+2(x−1)(x−1)(x+1)=3x−1x2−1.\frac{x+1}{(x-1)(x+1)}+\frac{2(x-1)}{(x-1)(x+1)}=\frac{3x-1}{x^2-1}.

The numerator is (x+1)+2(x−1)=3x−1(x+1)+2(x-1)=3x-1. Keep the signs attached to the full parenthesised expressions. For subtraction,

1x−1−1x+1=(x+1)−(x−1)x2−1=2x2−1.\frac1{x-1}-\frac1{x+1}=\frac{(x+1)-(x-1)}{x^2-1}=\frac2{x^2-1}.

The minus sign changes both terms in the second numerator. Writing x+1−x−1x+1-x-1 would be a different subtraction and would incorrectly give zero.

When a denominator contains repeated factors, the least common denominator must include the highest power required. For denominators (x−1)2(x+2)(x-1)^2(x+2) and (x−1)(x+2)3(x-1)(x+2)^3, it is (x−1)2(x+2)3(x-1)^2(x+2)^3. Taking only one copy of each factor would not produce a multiple of both denominators.

Simplify a complex fraction without dropping conditions

A complex fraction contains fractions within a numerator or denominator. Suppose

E(x,y)=1/x−1/yx−y.E(x,y)=\frac{1/x-1/y}{x-y}.

Its domain requires x≠0x\ne0, y≠0y\ne0 and x≠yx\ne y. Combine the numerator:

1x−1y=y−xxy=−x−yxy.\frac1x-\frac1y=\frac{y-x}{xy}=-\frac{x-y}{xy}.

Therefore

E(x,y)=−1xy,x≠0,y≠0,x≠y.E(x,y)=-\frac1{xy},\qquad x\ne0,\ y\ne0,\ x\ne y.

At x=y≠0x=y\ne0, the simplified formula has a value, but the original expression has the indeterminate form 0/00/0 and is undefined. An algebraic simplification on allowed inputs does not settle a limit at an excluded input; that is a separate question.

Alternatively, multiply the entire numerator and denominator of the complex fraction by xyxy. Doing so is legal on the already stated domain and gives the same result. Multiplying only selected terms would change the expression.

Keep an expression distinct from an equation

The expression

x2−1x−1\frac{x^2-1}{x-1}

can be simplified to x+1x+1 for x≠1x\ne1. There is nothing to solve until a condition is imposed. If the condition is that the expression equals 2, then the candidate from x+1=2x+1=2 is x=1x=1, which the original domain excludes. That equation has no solution.

By contrast, setting the same expression equal to x+1x+1 produces an identity on all real inputs except 1. The formula and the equation play different roles. See Solving Rational Equations for complete solution-set reasoning.

A domain can change which sign intervals are allowed

For the original R(x)R(x) above, use the simplified quotient (x+3)/(x+2)(x+3)/(x+2) to determine its sign, but retain the extra exclusion at 3.

The numerator changes sign at −3 and the denominator changes sign at −2. Testing one point in each interval gives a positive quotient on (−∞,−3)(-\infty,-3), a negative quotient on (−3,−2)(-3,-2), and a positive quotient on (−2,∞)(-2,\infty). At −3 the value is zero. At −2 it is undefined.

Consequently R(x)≥0R(x)\ge0 holds on

(−∞,−3]∪(−2,3)∪(3,∞).(-\infty,-3]\cup(-2,3)\cup(3,\infty).

The hole at 3 must be removed even though no sign change occurs there. This is why solving a rational inequality by multiplying through by an unknown-sign denominator is unsafe. A sign chart or justified case split preserves the correct inequality.

Practice questions

  1. Simplify (x2−9)/(x2−x−6)(x^2-9)/(x^2-x-6) and state its original exclusions.
  2. Simplify 1/(x−1)+2/(x+1)1/(x-1)+2/(x+1).
  3. Simplify (1/x−1/y)/(x−y)\bigl(1/x-1/y\bigr)/(x-y), preserving all restrictions.
Check your answers
  1. Factor and cancel x−3x-3: the result is (x+3)/(x+2)(x+3)/(x+2) for x≠3,−2x\ne3,-2. The exclusion at 3 remains even though the new formula is defined there.
  2. The least common denominator is x2−1x^2-1. The numerator is x+1+2x−2=3x−1x+1+2x-2=3x-1, giving (3x−1)/(x2−1)(3x-1)/(x^2-1) with x≠±1x\ne\pm1.
  3. The numerator is −(x−y)/(xy)-(x-y)/(xy), so the result is −1/(xy)-1/(xy) for x≠0x\ne0, y≠0y\ne0 and x≠yx\ne y.

Related topics

Use Asymptotes to interpret surviving denominator factors and cancelled points. Solving Rational Equations applies the same domain discipline to finding complete solution sets.

Sources and further reading