Skip to main content

Rational Expressions

A rational expression is nothing more than a fraction whose numerator and denominator are polynomials — the algebraic cousin of a number like 34\frac{3}{4}. If you can add, simplify, and divide ordinary fractions, you already own most of the machinery you need here. The catch, and the reason this topic trips up so many students, is a single silent rule of arithmetic: you can never divide by zero. Because the denominator now contains a variable, whole clusters of xx-values are quietly forbidden, and keeping track of them is what separates a correct answer from a confidently wrong one.

Master rational expressions and you unlock rational equations, partial fractions, asymptotes in graphing, and the algebra behind rates, mixtures, and optics. This page teaches the why behind each move so the rules stop feeling arbitrary.

Learning Objectives

  • Simplify rational expressions by factoring and cancelling common factors
  • State domain restrictions (excluded values) and understand why they matter
  • Multiply and divide rational expressions confidently
  • Add and subtract rational expressions using a least common denominator (LCD)
  • Simplify complex (stacked) fractions by two reliable methods
  • Recognize and avoid the classic cancellation and sign errors

Quick Answer

A rational expression is a ratio P(x)Q(x)\frac{P(x)}{Q(x)} of two polynomials, defined only where Q(x)0Q(x) \neq 0. To simplify, factor top and bottom completely and cancel common factors (never common terms). To multiply, factor everything, cancel across the fraction bar, then multiply straight across. To divide, multiply by the reciprocal. To add or subtract, rewrite each fraction over the least common denominator, combine the numerators, then simplify. Always find excluded values before you cancel, because cancelling can hide a restriction that still applies.

Where It Came From

The story of rational expressions is the story of algebra slowly learning to speak in general symbols. Fractions themselves are ancient — Egyptian scribes around 1650 BCE (the Rhind Papyrus) worked fluently with unit fractions, and Greek and Indian mathematicians developed rules for combining ratios. But for millennia, "the fraction whose bottom is three more than its top" was a sentence, not an object you could manipulate.

The decisive shift came in the late 1500s and early 1600s. The French mathematician François Viète introduced the systematic use of letters to stand for both unknowns and known quantities, and René Descartes in La Géométrie (1637) gave us essentially the notation we still use — letters near the end of the alphabet for variables, exponents written as superscripts. Once xx could sit inside a fraction, mathematicians naturally asked: do the old rules of fraction arithmetic still hold when the numerator and denominator are polynomials?

The answer, satisfyingly, is yes — the field axioms that govern rational numbers extend cleanly to rational functions. But this generalization exposed a subtlety that plain numbers never forced anyone to confront. With numbers, you always know whether a denominator is zero. With a symbol like x2x - 2, the denominator is zero for one particular value of the variable, and that value must be excluded from the domain. The concept of a domain restriction was thus not a fussy technicality invented to trap students — it was the necessary price of admission for letting variables live inside fractions. The 19th-century push for rigor (Weierstrass, Dedekind) formalized functions and their domains, cementing the idea that a rational expression is inseparable from the set of inputs it is allowed to accept.

Simplifying and Domain Restrictions

Simplifying a rational expression rests on the fundamental principle of fractions: for any nonzero cc,

acbc=ab.\frac{a \cdot c}{b \cdot c} = \frac{a}{b}.

You may cancel a factor that appears in both numerator and denominator. The word factor is doing heavy lifting: a factor is something being multiplied, not a term being added.

Before simplifying, always identify the excluded values — the inputs that make the original denominator zero. These stay excluded even after you cancel, because the simplified expression must describe the exact same function as the original.

Worked example. Simplify x29x2x6\dfrac{x^2 - 9}{x^2 - x - 6} and state the domain.

Factor top and bottom:

x29x2x6=(x3)(x+3)(x3)(x+2).\frac{x^2 - 9}{x^2 - x - 6} = \frac{(x-3)(x+3)}{(x-3)(x+2)}.

The original denominator is zero when x=3x = 3 or x=2x = -2, so those values are excluded: the domain is all real numbers except x=3x = 3 and x=2x = -2. Now cancel the common factor (x3)(x-3):

(x3)(x+3)(x3)(x+2)=x+3x+2,x3,  x2.\frac{(x-3)(x+3)}{(x-3)(x+2)} = \frac{x+3}{x+2}, \quad x \neq 3,\; x \neq -2.

Notice the answer must still carry x3x \neq 3. The simplified form x+3x+2\frac{x+3}{x+2} looks perfectly happy at x=3x = 3, but the original was undefined there, so we drag the restriction along. Graphically, this shows up as a hole at x=3x = 3.

Multiplying and Dividing

Multiplying rational expressions mirrors number fractions exactly: abcd=acbd\frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd}. The smart strategy is to factor everything first and cancel before you multiply, so you never have to expand and re-factor a monster.

Worked example (multiply). Compute

x24x2+6x+9x+3x2.\frac{x^2 - 4}{x^2 + 6x + 9} \cdot \frac{x + 3}{x - 2}.

Factor each piece:

(x2)(x+2)(x+3)(x+3)x+3x2.\frac{(x-2)(x+2)}{(x+3)(x+3)} \cdot \frac{x+3}{x-2}.

Cancel the common factor (x2)(x-2) and one factor of (x+3)(x+3):

(x+2)(x+3)1=x+2x+3,x3,  x2.\frac{(x+2)}{(x+3)} \cdot 1 = \frac{x+2}{x+3}, \quad x \neq -3,\; x \neq 2.

The restrictions come from every denominator that appeared before cancelling: x+3=0x+3=0 and x2=0x-2=0.

Division uses the same reciprocal rule as with numbers — dividing by a fraction means multiplying by its flip.

Worked example (divide). Compute

x21x2+5x+6÷x1x+2.\frac{x^2 - 1}{x^2 + 5x + 6} \div \frac{x - 1}{x + 2}.

Rewrite as multiplication by the reciprocal, then factor:

(x1)(x+1)(x+2)(x+3)x+2x1.\frac{(x-1)(x+1)}{(x+2)(x+3)} \cdot \frac{x+2}{x-1}.

Cancel (x1)(x-1) and (x+2)(x+2):

x+1x+3,x2,  x3,  x1.\frac{x+1}{x+3}, \quad x \neq -2,\; x \neq -3,\; x \neq 1.

Note the extra restriction x1x \neq 1: after flipping, x1x-1 became a denominator, and the value that makes a divisor zero is always forbidden even though (x1)(x-1) was originally on top.

Adding and Subtracting

Just as 16+14\frac{1}{6} + \frac{1}{4} requires a common denominator, so do algebraic fractions. The least common denominator (LCD) is the product of each distinct factor raised to the highest power in which it appears in any denominator.

Worked example (add). Compute

3x+2+5x1.\frac{3}{x+2} + \frac{5}{x-1}.

The denominators share no factors, so the LCD is (x+2)(x1)(x+2)(x-1). Rewrite each fraction:

3(x1)(x+2)(x1)+5(x+2)(x+2)(x1)=3(x1)+5(x+2)(x+2)(x1).\frac{3(x-1)}{(x+2)(x-1)} + \frac{5(x+2)}{(x+2)(x-1)} = \frac{3(x-1) + 5(x+2)}{(x+2)(x-1)}.

Expand the numerator: 3x3+5x+10=8x+7 3x - 3 + 5x + 10 = 8x + 7. So

8x+7(x+2)(x1),x2,  x1.\frac{8x + 7}{(x+2)(x-1)}, \quad x \neq -2,\; x \neq 1.

Worked example (subtract — watch the sign). Compute

xx32x29.\frac{x}{x - 3} - \frac{2}{x^2 - 9}.

Factor the second denominator: x29=(x3)(x+3)x^2 - 9 = (x-3)(x+3). The LCD is (x3)(x+3)(x-3)(x+3). Rewrite the first fraction by multiplying by x+3x+3\frac{x+3}{x+3}:

x(x+3)(x3)(x+3)2(x3)(x+3)=x(x+3)2(x3)(x+3).\frac{x(x+3)}{(x-3)(x+3)} - \frac{2}{(x-3)(x+3)} = \frac{x(x+3) - 2}{(x-3)(x+3)}.

The subtraction applies to the entire second numerator — a common trap. Expand: x2+3x2x^2 + 3x - 2. This does not factor nicely, so:

x2+3x2(x3)(x+3),x3,  x3.\frac{x^2 + 3x - 2}{(x-3)(x+3)}, \quad x \neq 3,\; x \neq -3.

Complex Fractions

A complex fraction is a fraction that contains fractions in its numerator, denominator, or both — for example 1x+1y1x1y\dfrac{\frac{1}{x} + \frac{1}{y}}{\frac{1}{x} - \frac{1}{y}}. There are two reliable methods.

Method 1 (combine, then divide). Turn the top into a single fraction, turn the bottom into a single fraction, then divide.

Method 2 (multiply by the LCD of all little fractions). Often faster: multiply top and bottom by the LCD of every inner denominator.

Worked example. Simplify

1x+12141x2.\frac{\dfrac{1}{x} + \dfrac{1}{2}}{\dfrac{1}{4} - \dfrac{1}{x^2}}.

The inner denominators are xx, 2 2, 4 4, and x2x^2; their LCD is 4x2 4x^2. Multiply top and bottom by 4x2 4x^2:

Numerator: 4x2(1x+12)=4x+2x2 4x^2 \left(\frac{1}{x} + \frac{1}{2}\right) = 4x + 2x^2.

Denominator: 4x2(141x2)=x24 4x^2 \left(\frac{1}{4} - \frac{1}{x^2}\right) = x^2 - 4.

So the complex fraction becomes

2x2+4xx24=2x(x+2)(x2)(x+2)=2xx2,x0,  x2,  x2.\frac{2x^2 + 4x}{x^2 - 4} = \frac{2x(x + 2)}{(x-2)(x+2)} = \frac{2x}{x - 2}, \quad x \neq 0,\; x \neq 2,\; x \neq -2.

The restrictions x0x \neq 0 and x2x \neq -2 come from the inner fractions and the cancelled factor, even though they vanish from the final form.

Real-World Applications

  • Combined work rates. If one pump fills a tank in xx hours and another in x+3x + 3 hours, together they fill 1x+1x+3\frac{1}{x} + \frac{1}{x+3} of the tank per hour. Rational expressions model every "working together" and "combined flow" problem.
  • Electric circuits. The total resistance of two resistors in parallel is 11R1+1R2\frac{1}{\frac{1}{R_1} + \frac{1}{R_2}} — a complex fraction that simplifies to R1R2R1+R2\frac{R_1 R_2}{R_1 + R_2}.
  • Optics and lenses. The thin-lens equation 1f=1do+1di\frac{1}{f} = \frac{1}{d_o} + \frac{1}{d_i} is solved by combining rational expressions.
  • Average cost. A company's average cost per unit, fixed+variablexx\frac{\text{fixed} + \text{variable} \cdot x}{x}, is a rational expression whose behavior for large xx explains economies of scale.
  • Mixtures and concentrations. Diluting a solution — "add xx liters of water" — produces concentration formulas that are rational in xx.

Common Mistakes

Mistake 1: Cancelling terms instead of factors. Students write x+3x=3\frac{x + 3}{x} = 3 by "cancelling the xx." This is wrong because xx is a term being added in the numerator, not a factor multiplying it. Correction: you may only cancel a factor shared by the entire numerator and entire denominator. x+3x\frac{x+3}{x} is already fully simplified.

Mistake 2: Forgetting restrictions that disappear after cancelling. After simplifying (x3)(x+3)(x3)(x+2)\frac{(x-3)(x+3)}{(x-3)(x+2)} to x+3x+2\frac{x+3}{x+2}, students drop x3x \neq 3 because it no longer "shows." Correction: the domain is fixed by the original expression. Record excluded values before cancelling and keep them.

Mistake 3: Mishandling the sign in subtraction. In xx32+xx3\frac{x}{x-3} - \frac{2 + x}{x-3}, students subtract only the first term and write x2+xx3\frac{x - 2 + x}{x-3}. Correction: the minus sign distributes over the whole second numerator: x(2+x)x3=2x3\frac{x - (2 + x)}{x-3} = \frac{-2}{x-3}. Wrap the second numerator in brackets before subtracting.

Comparison and Connections

Rational expressions are the algebraic generalization of rational numbers, and every operation has a numeric twin:

OperationNumber fractionsRational expressions
Simplify1218=23\frac{12}{18} = \frac{2}{3}Factor, cancel common factors
Multiply2394=32\frac{2}{3}\cdot\frac{9}{4} = \frac{3}{2}Factor, cancel, multiply across
DivideMultiply by reciprocalMultiply by reciprocal
Add/subtractUse LCDUse LCD (product of highest-power factors)
RestrictionDenominator 0\neq 0 (automatic)Denominator 0\neq 0 (must be stated)

The key new idea versus numbers is the domain. Rational expressions also connect forward to rational equations (where you clear denominators and must check for extraneous solutions) and to rational functions (whose graphs feature vertical asymptotes at excluded values that don't cancel, and holes at excluded values that do).

Practice Questions

Recall

State the excluded value(s) of x+5x24x\dfrac{x + 5}{x^2 - 4x}.

Answer: Factor the denominator: x(x4)x(x-4). Excluded values are x=0x = 0 and x=4x = 4.

Understanding

Explain why x+22\dfrac{x + 2}{2} cannot be simplified to xx.

Answer: The 2 2 in the denominator is a factor of the whole expression, but in the numerator x+2x + 2 the 2 2 is a term added to xx, not a factor of the whole numerator. Cancellation requires a common factor of the entire top and bottom, which does not exist here.

Application

Simplify x2+7x+12x2+2x3\dfrac{x^2 + 7x + 12}{x^2 + 2x - 3} and state the domain.

Answer: Factor: (x+3)(x+4)(x+3)(x1)=x+4x1\frac{(x+3)(x+4)}{(x+3)(x-1)} = \frac{x+4}{x-1}, with x3x \neq -3 and x1x \neq 1.

Analysis

A student simplifies 2x1+31x\dfrac{2}{x-1} + \dfrac{3}{1-x} and gets 5x1\frac{5}{x-1}. Find and fix the error.

Answer: The denominators are opposites: 1x=(x1) 1 - x = -(x-1). So 31x=3x1\frac{3}{1-x} = \frac{-3}{x-1}. The correct sum is 23x1=1x1\frac{2 - 3}{x-1} = \frac{-1}{x-1}, with x1x \neq 1. The student ignored the sign flip.

FAQ

Q: How do I know which values to exclude — the original or the simplified denominator? Always the original. Any value that made any denominator zero at any stage (including a reciprocal you flipped up) is excluded, even if the factor cancels.

Q: Do I need to state restrictions if the problem doesn't ask? For full correctness, yes — a rational expression is only equal to its simplified form on the shared domain. In graded work, stating restrictions is often required and rarely penalized.

Q: What's the difference between a hole and a vertical asymptote? A factor that cancels produces a hole (a single missing point) at that excluded value. A factor that remains in the denominator produces a vertical asymptote.

Q: Which complex-fraction method should I use? Multiplying top and bottom by the overall LCD (Method 2) is usually faster and less error-prone. Use the "combine then divide" method if you find it clearer.

Q: Can the LCD ever be smaller than the product of the denominators? Yes. When denominators share factors, the LCD uses each distinct factor only to its highest power. For 1x3\frac{1}{x-3} and 1x29\frac{1}{x^2-9}, the LCD is (x3)(x+3)(x-3)(x+3), not (x3)(x29)(x-3)(x^2-9).

Quick Revision

  • Rational expression =P(x)Q(x)= \frac{P(x)}{Q(x)}, defined only where Q(x)0Q(x) \neq 0.
  • Simplify: factor completely, cancel common factors only. Never cancel terms.
  • State excluded values from the original denominator(s); keep them after cancelling.
  • Multiply: factor, cancel across the bar, multiply straight across.
  • Divide: multiply by the reciprocal (add the divisor's restriction).
  • Add/subtract: rewrite over the LCD, combine numerators, distribute the minus sign in full.
  • Complex fractions: multiply top and bottom by the LCD of all inner fractions.
  • Cancelled factor \Rightarrow hole; remaining factor \Rightarrow vertical asymptote.

Prerequisites

  • Algebra overview
  • Rational equations and extraneous solutions
  • Rational functions, asymptotes, and holes

Next Topics

  • Solving rational equations
  • Partial fraction decomposition (used in Calculus)