Solving Rational Equations
Learning goals
- List the excluded values before any algebra
- Multiply every term by the LCD to clear fractions
- Treat the roots as candidates until the domain check
- 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.
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 recognise 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
The principle you need here is one you have already proved. In the first lesson of this course you saw that a reversible step produces an equivalent equation, one with exactly the same solution set. You also saw that multiplying both sides by an expression which can equal zero is not reversible: at a zero of the multiplier you cannot divide back. There both sides read regardless of what stood there, and a value can satisfy the new equation for a reason that has nothing to do with the old one. A value that solves the new equation but not the original is extraneous. You met the word there, and you met the discipline again in absolute value equations. In those equations, splitting into quietly drops the condition and hands you candidates that have to be tested.
So the danger is not news. What is new is that for a rational equation it can be pinned down exactly, and earning that is what this section is for.
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. Nothing went wrong. Every line of that algebra is correct. The step imported a solution: at the multiplier is zero, so both sides became , and tells you nothing about the fractions you started with.
It is worth seeing precisely where the intruder came in, because the usual account stops one step early. 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 . Cancelling plugged the hole. The polynomial equation you end up with is defined at the excluded values, and being defined there, it is free to have a root there.
That is the observation this whole method rests on, because the LCD is not just any multiplier. It is built out of the factors of the denominators, so it vanishes at exactly the excluded values and nowhere else. The zeros of the multiplier and the holes in the domain are the same set. Once those two sets coincide, the vague instruction “check your candidates” sharpens into a single question with a yes or no answer, and nothing else can hide.
The argument is short enough to write out in full. It is also worth writing out, because it says precisely how much you have to check and precisely how much you do not.
Clearing the denominators loses nothing and adds only excluded values#
Write the equation as , where and are its two sides, and let be its domain: the real numbers that make none of the denominators zero. Let be the LCD. Because is built out of the factors of those denominators, is zero at exactly the excluded values, so for every in .
Multiplying through by and cancelling produces a polynomial equation . Cancelling a factor is legitimate wherever that factor is nonzero, so for every in we have and . Fix such an . If , multiplying both sides by the number gives . Conversely, if , then , and dividing by the nonzero number gives back . On the domain, then, the two equations have exactly the same solutions.
Two consequences follow, and together they are the entire method. First, every solution of the original lies in , so by that equivalence it satisfies : clearing the denominators cannot lose a solution. Second, a root of solves the original if and only if lies in . One direction is the equivalence just proved. The other is quicker still: if is not in , then some denominator of the original vanishes at . In that case one side of the original is not a number at , and an expression that does not exist cannot equal anything.
So the roots of are candidates, the excluded ones are the frauds, and there is no third possibility.
That is the payoff, and it is a promise about this method and no other. A candidate fails exactly when it is excluded from the original domain. So the check is not a nervous habit but a complete test, and a cheap one: you never have to substitute anything anywhere.
Notice how method-specific that promise is by holding it against the case you already know. To solve you test each candidate against the condition , and not against any domain. The reason is that no value of is excluded from that equation at all: absolute value is defined everywhere. Same word, extraneous, and an entirely different test, because a different step did the damage. Extraneous roots will turn up once more when you solve radical equations, for a third reason again. A guarantee proved for one method never transfers to a method that has not earned it, so what you carry forward from this lesson is the theorem, not the slogan.
The mirror image, which you also met in the first lesson, is worth restating here where the temptation is strongest. If multiplying by a possibly-zero expression can create a solution, dividing by one can destroy a solution. From you might cancel the common and report , but makes both sides zero, and you have just thrown it away. Never divide both sides by an expression holding the variable. Move everything to one side and factor:
which keeps both roots, and .
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. By the proof above, 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 two genuine solutions. There are two separate ways to end with none: every candidate is excluded, as in . In the other, the polynomial equation has no roots at all because the variable cancels and leaves a false statement, as collapses to . Both answers read “no solution”, and both are answers 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. The proof above says exactly this and no more: it matches the original with the cleared equation on , and it claims nothing whatsoever off .
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.
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. That it comes out slower than the large pump is a good sign, since we called it the smaller one.
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 . 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 by the proof above both are genuine solutions of the equation, and indeed checks out for .
What rules out is the boat, not the algebra: a speed in still water cannot be negative. 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
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.