Solving Rational Equations
Learning goals
- List the excluded values before any algebra
- Multiply every term by the LCD, then treat the roots as candidates, not answers
- Reject an extraneous root however correctly it was derived
- Distinguish no solution from an identity over the domain
- Apply a second filter in a word problem, and name it
What a rational equation is
A rational equation is an equation whose sides are built from rational expressions:
The case worth all the care, and the one this lesson is about, is when the variable appears in a denominator. A constant denominator, like the in , is never zero and rules nothing out, which is why an equation such as behaves like any linear equation. Put the variable underneath and the denominator can vanish, and where it vanishes the equation stops saying anything at all.
That is the thread of this chapter. A rational expression is undefined wherever its denominator is zero, so an equation built from rational expressions carries a domain: the real numbers that make none of its denominators zero. The rest are its excluded values, and you find them exactly as you did when simplifying, by factoring each denominator and setting each factor to zero:
- In the denominators are , , and , so is excluded and nothing else is.
- In the last denominator factors as , so and are both excluded.
An excluded value is not a value where the equation is false. It is a value the equation does not speak about at all. Asking whether solves the second equation is not a question with an answer: at one of the expressions in it does not exist. Write the excluded values down first, before you touch the algebra, because in a moment the algebra will erase every trace of them.
Check your understanding
Which values are excluded from ?
Set each denominator to zero and solve.
The domain is every real number except and . Note that the excluded values are the roots of the denominators, not their opposites.
Clearing the denominators
The least common denominator is the least common multiple of all the denominators in the equation. Multiply both sides by it, term by term, and every denominator divides into it and cancels. What is left is a polynomial equation, which you know how to solve.
Take the first equation above. Its denominators are , , and , so the LCD is :
Two habits are worth building right here. Multiply every term, including any term that has no denominator at all (the above is easy to remember, but a lone is easy to forget). And factor the denominators before you choose the LCD, or you will not recognize that is already made of and .
Worked example 1 Solve
The denominators are and , so is excluded, and the LCD is .
Multiply each of the three terms by and cancel:
The equation that survives has no fractions in it at all:
The only excluded value was , and is not it, so this candidate is a genuine solution. Substituting back confirms the arithmetic: , so the left side is , and the right side is .
The one thing that can go wrong
In the first lesson of this course you proved that multiplying both sides of an equation by an expression that can equal zero is not reversible: at a zero of the multiplier, both sides collapse to , which is true no matter what stood there a moment ago. A value can then satisfy the new equation for a reason that has nothing to do with the old one. That value is extraneous, meaning it solves the new equation but not the original. You met the word there, and again in absolute value equations, where a different step manufactures the same kind of impostor.
A rational equation can pin that danger down exactly, because the variable sits in a denominator. Start from the equation the first lesson opened with:
Reason it out with no machinery at all. Suppose some number solves it. Then , or neither side would exist. The two fractions have the same nonzero denominator, so they are equal exactly when their numerators are equal, which forces . That contradicts . So no number whatsoever solves this equation, and its solution set is empty.
Now run the method. Multiply both sides by and you get , the one value the equation excludes. Every line of that algebra is correct, and the step still imported a solution: solves the cleared equation even though the original equation cannot even be evaluated there, since its denominator is zero at exactly that point.
Look at exactly where the impostor got in. When you multiply by and cancel, you write down . But and are not the same object: they agree at every value except , where the first is undefined and the second is . Canceling plugged the hole, and the polynomial equation you end up with is defined right where the original was not, so it is free to have a root there.
That single example shows what goes wrong, and the same reasoning explains why it can only go wrong there. The LCD is built from the same factors as the denominators, so it is zero at exactly the excluded values and nowhere else. That means for every allowed value of , the LCD is some ordinary nonzero number, and multiplying or dividing both sides of a true equation by a nonzero number never changes whether it is true. So on the allowed values, the original equation and the cleared equation agree completely: clearing the denominators cannot lose a solution there, and it cannot invent one there either. The two equations can only disagree at an excluded value, exactly as they just did at .
So the roots of the cleared equation are candidates, and a candidate fails exactly when it is excluded from the original domain. There is no third possibility, which is why the check is a complete test and not a nervous habit: you never have to substitute anything back in to know a genuine root is genuine.
That promise belongs to this method and does not transfer automatically. To solve you test each candidate against the condition , not against any domain, because absolute value is defined everywhere and nothing is excluded to begin with. Same word, extraneous, but an entirely different test, because a different step did the damage. Radical equations will earn their own version of this promise later, for a different reason again.
There is a mirror mistake worth a warning here too: dividing both sides by an expression that holds the variable can lose a solution instead of adding one.
The method, and what checking means
- Factor every denominator and list the excluded values. This is the domain, and the original equation fixes it. Nothing you do afterwards can change it.
- Multiply every term on both sides by the LCD and cancel. A polynomial equation is left.
- Solve the polynomial equation. Its roots are candidates, not answers. If the variable cancels away entirely, read whatever statement is left standing. A false one means there are no candidates at all, and a true one means every value is a candidate.
- Reject every excluded candidate. What survives is the solution set, and it is allowed to be empty.
Step 4 is where the check lives, and it pays to know exactly what it must do. As the reasoning above showed, membership in the domain is the whole test, so you never have to substitute a candidate back into the original to know it is genuine. Substituting back is still worth doing whenever the arithmetic is kind. The reason is not that the theory demands it, but that it catches slips in steps 2 and 3, which no domain check can see.
In the first lesson you sorted equations by their solution set into conditional, identity, and contradiction. A rational equation can be any of the three, with the excluded values punched out of the answer, and step 3 is where you find out which one you have. Usually it is conditional, and you get one or more genuine solutions, however many the cleared polynomial equation turns out to have. There is more than one way to end with none. Every candidate can be excluded, as in . The variable can cancel and leave a false statement, as collapses to . Or the cleared polynomial equation can simply have no real roots at all, the same way a plain quadratic sometimes does, with no cancellation and nothing excluded in sight. Every one of those reads “no solution”, and each is an answer rather than evidence of a mistake.
The third outcome is the one that catches people out. The variable can cancel and leave a statement that is true for every value, which is what happens to
Every value is now a candidate, so every value in the domain is a solution, and the answer is the domain itself: every real number except . The answer is not “every real number”, however tempting that sounds. An identity holds wherever both sides exist, and at they do not exist, so the original equation still has nothing to say there. That matches the reasoning above exactly: the original and the cleared equation agree only on the allowed values, so was never part of either one’s solution set, no matter how the cleared equation reads.
Check your understanding
Solving leads to , which simplifies to . What is the solution set?
The variable cancels into a true statement, , so this is an identity: every candidate passes the cleared equation. But the original equation excludes , and that exclusion never goes away just because the cleared equation no longer shows it. The solution set is every real number except , not every real number.
When the algebra hands you an excluded value
Worked example 2 Solve
Factor first: . The excluded values are and , and the LCD is .
Multiply all three terms by the LCD and cancel:
So the cleared equation is . Expand and collect:
The candidates are and . Now check them against the list of excluded values, not against the cleared equation, which they both satisfy by construction. The value is excluded, so it is extraneous and gets thrown out no matter how correctly it was derived. The value is in the domain, so it is genuine:
The solution is , and the equation has exactly one.
Check your understanding
Solve .
The value is excluded. Multiplying both sides by leaves a quadratic.
The candidate is excluded, so it is extraneous. The candidate is in the domain, so it is the only solution: both sides equal there.
Equations that model a job or a trip
Rational equations are worth solving because rates produce them on their own. If a job takes hours, then in one hour you finish of it. Rates add: a worker finishing of the job per hour and a worker finishing of it per hour together finish per hour. So the time they take together satisfies
Travel is the same story with distance in place of work: time is , so an unknown speed lands in a denominator immediately.
Worked example 3 A large pump drains a tank in hours. Running alongside a smaller pump, it drains in hours. How long would the smaller pump take alone?
Let be the hours the smaller pump needs on its own. In one hour the large pump drains of the tank and the smaller drains of it, and together they drain of it:
The only excluded value is , and the LCD is . Multiply every term by it:
The candidate is not excluded, so it is a genuine solution: .
The smaller pump would take hours alone. Check that the rate makes sense: alone it drains of the tank per hour, less than the large pump’s , and together the two rates add to exactly , which is what the problem promised.
Worked example 4 A boat covers km up a river and km back down. The current runs at km/h and the round trip takes hours. How fast is the boat in still water?
Let be the boat’s speed in still water, in km/h. Going upstream the current subtracts, so the boat makes ; coming back it adds, so the boat makes . For the boat to travel upstream at all, must be positive, so the model already requires . Each leg takes distance divided by speed, and the two legs add to hours:
The excluded values are and , and the LCD is . Multiplying every term by it gives , and the left side collapses:
The candidates are and . Neither is excluded, so both are genuine solutions of the equation, and indeed checks out for .
But fails the restriction stated at the start: it is not the domain that rules it out, since the equation is perfectly happy to evaluate at , it is the boat. So km/h, which the story confirms, since the boat then makes km/h upstream ( hours) and km/h downstream ( hours).
Look carefully at what just happened to , because it is a second kind of rejection and it is easy to confuse with the first. That root is not extraneous. It lies in the domain and it satisfies the equation exactly. A rational equation used as a model carries two independent filters. The domain rejects values the equation cannot even evaluate, and it does so for every rational equation. The context rejects values the equation evaluates perfectly well but that cannot describe a boat, an hour, or a length. Run both filters, and say out loud which one you are running, because “reject the negative root” is a statement about rivers, not about mathematics.
Check your understanding
Solving a rational equation that models a rectangle's width gives the candidates and , and neither value is excluded from the equation. Which is the correct classification?
For a rational equation cleared by the LCD, a candidate is extraneous exactly when it is excluded from the domain, and neither candidate here is. Both are genuine roots of the equation. A width still cannot be negative, so is thrown out, but by the context, not by the domain check. Naming which filter did the rejecting is part of a correct answer, not just picking the positive number.
Check your understanding
Solve .
The value is excluded. Multiply every term by the LCD , remembering the .
The only candidate is the excluded value, so it is extraneous and there is nothing left. The equation has no solution.