What Is a Rational Expression?
A rational expression is a ratio of two polynomials---one polynomial on top (the numerator) divided by another polynomial on the bottom (the denominator):
It is just like a numerical fraction (such as ), except the top and bottom can contain variables.
- [leftmargin=*]
- Yes --- a polynomial over a polynomial.
- Yes --- the constant and are both polynomials.
- No --- is not a polynomial (a variable under a root).
Remember: A constant like is a polynomial, so counts. But roots of a variable, or a variable in an exponent, are not allowed in a polynomial.
Excluded Values (Domain Restrictions)
Division by zero is undefined. So a rational expression is undefined for any value that makes the denominator equal to . Those values are called excluded values.
Method: Set the denominator equal to , solve, and exclude those values.
Set the denominator to and factor:
So the excluded values are and .
Tip: Look at the original denominator to find excluded values, before you cancel anything. Canceling can hide a restriction, but the restriction is still there.
Simplifying Rational Expressions
To simplify a rational expression:
- [leftmargin=*]
- Factor the numerator and denominator completely.
- Cancel any factor that appears in both the top and the bottom.
- State the excluded values (from the original denominator).
Factor top and bottom:
Cancel the common factor :
Factor the top: . Then cancel the :
You may only cancel FACTORS, never terms! In you cannot cancel the 's, because is a sum, not a product. Only cancel things that are multiplied. For instance is already simplified---nothing cancels.
Multiplying Rational Expressions
To multiply, factor everything, cancel any factor common to a top and a bottom, then multiply the remaining tops together and the remaining bottoms together. (You do not need a common denominator to multiply.)
Factor each part:
Cancel one and one :
Tip: Cancel before you multiply out---it keeps the numbers small. Collect the excluded values from every original denominator.
Dividing Rational Expressions
To divide, flip the second fraction (take its reciprocal) and multiply. Then factor and cancel as usual.
Flip the divisor and multiply:
Cancel and :
Careful with restrictions when dividing. The factor you flip ( here) was a denominator after flipping, so too. Track excluded values from both the original bottoms and the divisor's top.
Adding & Subtracting with LIKE Denominators
When the denominators are already the same, add or subtract the numerators and keep the common denominator. Then simplify if possible.
Subtract the numerators over the common denominator, then factor and cancel:
Subtracting? Subtract the whole numerator---use parentheses. , and the minus sign hits every term of .
Adding & Subtracting with UNLIKE Denominators
When denominators differ, build a least common denominator (LCD):
- [leftmargin=*]
- Factor each denominator.
- The LCD contains each different factor the greatest number of times it appears in any one denominator.
- Rewrite each fraction over the LCD, then combine the numerators.
The denominators and share no factors, so the LCD is . Rewrite each fraction:
Factor , so the LCD is :
Do not just multiply the denominators blindly. Factor first so the LCD is as small as possible, and only multiply each numerator by the factors its denominator is missing.
Complex Fractions (Intro)
A complex fraction has fractions in its numerator, its denominator, or both. Two ways to simplify:
- [leftmargin=*]
- Multiply through by the LCD of every little fraction, or
- Combine the top into one fraction and the bottom into one fraction, then divide (multiply by the reciprocal).
The only small denominator is , so multiply the top and bottom by :
Tip: Multiplying every part by the LCD clears all the little fractions in one clean step. Watch the excluded values: (the inner denominator) and (the new bottom).
Solving Rational Equations
To solve an equation with rational expressions:
- [leftmargin=*]
- Note the excluded values (denominators ).
- Multiply every term by the LCD to clear all fractions.
- Solve the resulting equation.
- Check each answer---reject any that is an excluded value (an extraneous solution).
Cross-multiply (or multiply by the LCD ):
Since is not excluded (), the solution is .
Excluded value: . Multiply every term by :
But is excluded, so it is extraneous. There is no solution.
Always check for extraneous solutions! An answer that makes any original denominator must be thrown out---even though it came from correct algebra.
Applications: Work & Rate Problems
If one worker (or pipe) finishes a job in units of time and another in units, each does a fraction of the job per unit of time: and . Working together for units:
(Their rates add.)
Pipe A fills a tank in hours; pipe B fills it in hours. Together, how long?
The LCD is : . So , giving hours.
Maria paints a room in hours. With Sam helping, they finish in hours. How long would Sam take alone?
So hours for Sam alone.
Sanity check: Working together must be faster than either person alone. If your “together” time is bigger than one of the individual times, recheck the setup.
Going Deeper: Advanced Rational Expressions
A continued fraction stacks fractions inside fractions many layers deep. Simplify it from the bottom up: fully combine the innermost fraction, then work outward one level at a time. The same two tools from before still work---multiply by an LCD, or combine-then-flip---but here you apply them repeatedly.
Start at the deepest level and climb out. First the inner denominator:
Substitute and flip that little fraction:
Now the whole expression is , so flip once more:
Each inner denominator contributes an excluded value---track them all as you unwind.
A classic trick: if you know the value of , you can find and without ever solving for . The key is that squaring or cubing produces a “” or “” cross-term that you subtract back off.
Let . Square first:
Now cube, using the formula above:
Check the pattern another way: ✓
Why it works: multiplying out or , the “” cross-terms are constants. Rearranging isolates the “symmetric” power sum you want. This is the same idea as with .
Some long sums of rational terms collapse. Split each term into a difference of simpler fractions; then consecutive pieces cancel and only the first and last survive. The workhorse identity is
Adding from to , every cancels the next term's :
Each term is . Write them out and watch the middle vanish:
Only the very first and the very last are left:
(Matches the formula with .)
Recognizing a telescoping split: to break into , clear denominators: . Setting gives ; setting gives . That “cover-up” method is partial-fraction decomposition, and it is the engine behind every telescoping sum.
The graph of is shaped by where the function blows up or flattens. After factoring and canceling:
- [leftmargin=*]
- Hole at : a factor that cancels from top and bottom---the graph is undefined at but has no infinite spike (a single missing point).
- Vertical asymptote at : a factor left in the denominator after canceling---the graph shoots to .
- Horizontal asymptote: compare degrees. Bottom-heavy ; equal degrees ; top-heavy none (a slant asymptote instead).
Factor top and bottom:
The factor cancels, so there is a hole at . What remains is , whose leftover denominator factor gives a vertical asymptote at . Top and bottom have equal degree ( and ) with leading coefficients and , so the horizontal asymptote is .
Cancel first, then classify. A factor that cancels makes a hole; a factor that stays in the denominator makes a vertical asymptote. Same value of can never be both---decide it after simplifying.
For equal distances traveled at two speeds, the average speed is not the plain average of the speeds. Since , cover distance out at speed and back at :
This is the harmonic mean---the same “rates add” idea as the work formula.
You drive to work at mph and return along the same road at mph. The average speed is not . Use the harmonic mean:
Sanity check with a real distance: let each leg be miles. Out takes h, back takes h, total miles in h mph. ✓ The slower leg dominates because you spend more time at the low speed.
Which mean? Equal times at two speeds ordinary average . Equal distances harmonic mean . The harmonic mean is always the smaller of the two---slow stretches cost extra time.
Formulas, Proofs & Tips
What it means. A rational expression exists everywhere except where its denominator vanishes.
Example. is undefined at , so .
Why it works. Division asks "what times the denominator gives the numerator?". If the denominator is , no number works (or every number does, when the numerator is too), so the value cannot be defined.
Tip. Find the excluded values from the original denominator, before cancelling. Cancelling can hide a restriction that still applies.