This site is a work in progress. New lessons are added regularly. Contact us

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:

1x+12=52x,1x2+xx+2=8x24.\frac{1}{x} + \frac{1}{2} = \frac{5}{2x}, \qquad\qquad \frac{1}{x-2} + \frac{x}{x+2} = \frac{8}{x^2 - 4}.

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 22 in x2\frac{x}{2}, is never zero and rules nothing out, which is why an equation such as x2+1=4\frac{x}{2} + 1 = 4 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:

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 x=2x = 2 solves the second equation is not a question with an answer: at x=2x = 2 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 xx, 22, and 2x2x, so the LCD is 2x2x:

2x1x  +  2x12  =  2x52x2+x=5x=3.2x \cdot \frac{1}{x} \;+\; 2x \cdot \frac{1}{2} \;=\; 2x \cdot \frac{5}{2x} \qquad\Longrightarrow\qquad 2 + x = 5 \qquad\Longrightarrow\qquad x = 3.

Two habits are worth building right here. Multiply every term, including any term that has no denominator at all (the 12\frac{1}{2} above is easy to remember, but a lone +1+\,1 is easy to forget). And factor the denominators before you choose the LCD, or you will not recognise that x24x^2 - 4 is already made of x2x - 2 and x+2x + 2.

Worked example 1 Solve xx+2+12=3x+2\dfrac{x}{x+2} + \dfrac{1}{2} = \dfrac{3}{x+2}

The denominators are x+2x + 2 and 22, so x=2x = -2 is excluded, and the LCD is 2(x+2)2(x+2).

Multiply each of the three terms by 2(x+2)2(x+2) and cancel:

2(x+2)xx+2=2x,2(x+2)12=x+2,2(x+2)3x+2=6.2(x+2) \cdot \frac{x}{x+2} = 2x, \qquad 2(x+2) \cdot \frac{1}{2} = x + 2, \qquad 2(x+2) \cdot \frac{3}{x+2} = 6.

The equation that survives has no fractions in it at all:

2x+(x+2)=63x=4x=43.2x + (x + 2) = 6 \qquad\Longrightarrow\qquad 3x = 4 \qquad\Longrightarrow\qquad x = \frac{4}{3}.

The only excluded value was 2-2, and 43\frac{4}{3} is not it, so this candidate is a genuine solution. Substituting back confirms the arithmetic: x+2=103x + 2 = \frac{10}{3}, so the left side is 4/310/3+12=25+12=910\frac{4/3}{10/3} + \frac{1}{2} = \frac{2}{5} + \frac{1}{2} = \frac{9}{10}, and the right side is 310/3=910\frac{3}{10/3} = \frac{9}{10}.

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 0=00 = 0 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 X=Y\lvert X \rvert = Y into X=±YX = \pm Y quietly drops the condition Y0Y \ge 0 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:

xx2=2x2.\frac{x}{x-2} = \frac{2}{x-2}.

Reason it out with no machinery at all. Suppose some number rr solves it. Then r2r \neq 2, 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 r=2r = 2. That contradicts r2r \neq 2. So no number whatsoever solves this equation, and its solution set is empty.

Now run the method. Multiply both sides by x2x - 2 and you get x=2x = 2, the one value the equation excludes. Nothing went wrong. Every line of that algebra is correct. The step imported a solution: at x=2x = 2 the multiplier is zero, so both sides became 00, and 0=00 = 0 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 xx2\frac{x}{x-2} by x2x - 2 and cancel, you write down xx. But xx2(x2)\frac{x}{x-2}\cdot(x-2) and xx are not the same object: they agree at every value except x=2x = 2, where the first is undefined and the second is 22. 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.

Clearing a denominator is a one-way stepAn equation with no solution is carried by multiplication into an equation with one solution, and the reverse arrow, division, is crossed out because it fails at the excluded value.x/(x - 2) = 2/(x - 2)no solution (x = 2 is excluded)multiply bothsides by (x - 2)cannot divide backwhen x = 2x = 2one solution (x = 2)
Multiplying by x - 2 carries every solution of the original forward, but it cannot be undone at x = 2. That is exactly where the cleared equation grows a root the original never had.

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 A=BA = B, where AA and BB are its two sides, and let DD be its domain: the real numbers that make none of the denominators zero. Let mm be the LCD. Because mm is built out of the factors of those denominators, mm is zero at exactly the excluded values, so m(r)0m(r) \neq 0 for every rr in DD.

Multiplying through by mm and cancelling produces a polynomial equation P=QP = Q. Cancelling a factor is legitimate wherever that factor is nonzero, so for every rr in DD we have P(r)=m(r)A(r)P(r) = m(r)A(r) and Q(r)=m(r)B(r)Q(r) = m(r)B(r). Fix such an rr. If A(r)=B(r)A(r) = B(r), multiplying both sides by the number m(r)m(r) gives P(r)=Q(r)P(r) = Q(r). Conversely, if P(r)=Q(r)P(r) = Q(r), then m(r)A(r)=m(r)B(r)m(r)A(r) = m(r)B(r), and dividing by the nonzero number m(r)m(r) gives back A(r)=B(r)A(r) = B(r). 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 DD, so by that equivalence it satisfies P=QP = Q: clearing the denominators cannot lose a solution. Second, a root rr of P=QP = Q solves the original if and only if rr lies in DD. One direction is the equivalence just proved. The other is quicker still: if rr is not in DD, then some denominator of the original vanishes at rr. In that case one side of the original is not a number at rr, and an expression that does not exist cannot equal anything.

So the roots of P=QP = Q 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 x1=2x4\lvert x - 1 \rvert = 2x - 4 you test each candidate against the condition 2x402x - 4 \ge 0, and not against any domain. The reason is that no value of xx 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 x(x2)=3(x2)x(x-2) = 3(x-2) you might cancel the common (x2)(x-2) and report x=3x = 3, but x=2x = 2 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:

x(x2)3(x2)=0(x2)(x3)=0,x(x-2) - 3(x-2) = 0 \qquad\Longrightarrow\qquad (x-2)(x-3) = 0,

which keeps both roots, x=2x = 2 and x=3x = 3.

The method, and what checking means

  1. 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.
  2. Multiply every term on both sides by the LCD and cancel. A polynomial equation is left.
  3. 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.
  4. 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 xx2=2x2\frac{x}{x-2} = \frac{2}{x-2}. In the other, the polynomial equation has no roots at all because the variable cancels and leaves a false statement, as 4x3=xx31\frac{4}{x-3} = \frac{x}{x-3} - 1 collapses to 4=34 = 3. 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

3xx2=3+6x23x=3(x2)+63x=3x.\frac{3x}{x-2} = 3 + \frac{6}{x-2} \qquad\Longrightarrow\qquad 3x = 3(x-2) + 6 \qquad\Longrightarrow\qquad 3x = 3x.

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 22. The answer is not “every real number”, however tempting that sounds. An identity holds wherever both sides exist, and at x=2x = 2 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 DD, and it claims nothing whatsoever off DD.

Check your understanding

Which values are excluded from 3x5+xx+1=2\dfrac{3}{x-5} + \dfrac{x}{x+1} = 2?

Answer choices

When the algebra hands you an excluded value

Worked example 2 Solve 1x2+xx+2=8x24\dfrac{1}{x-2} + \dfrac{x}{x+2} = \dfrac{8}{x^2-4}

Factor first: x24=(x2)(x+2)x^2 - 4 = (x-2)(x+2). The excluded values are x=2x = 2 and x=2x = -2, and the LCD is (x2)(x+2)(x-2)(x+2).

Multiply all three terms by the LCD and cancel:

(x2)(x+2)1x2=x+2,(x2)(x+2)xx+2=x(x2),(x2)(x+2)8(x2)(x+2)=8.\begin{aligned} (x-2)(x+2) \cdot \frac{1}{x-2} &= x + 2, \\ (x-2)(x+2) \cdot \frac{x}{x+2} &= x(x-2), \\ (x-2)(x+2) \cdot \frac{8}{(x-2)(x+2)} &= 8. \end{aligned}

So the cleared equation is (x+2)+x(x2)=8(x+2) + x(x-2) = 8. Expand and collect:

x2x+2=8x2x6=0(x3)(x+2)=0.\begin{aligned} x^2 - x + 2 = 8 \qquad&\Longrightarrow\qquad x^2 - x - 6 = 0 \\ &\Longrightarrow\qquad (x-3)(x+2) = 0. \end{aligned}

The candidates are x=3x = 3 and x=2x = -2. Now check them against the list of excluded values, not against the cleared equation, which they both satisfy by construction. The value 2-2 is excluded, so it is extraneous and gets thrown out no matter how correctly it was derived. The value 33 is in the domain, so it is genuine:

11+35=85,8324=85.\frac{1}{1} + \frac{3}{5} = \frac{8}{5}, \qquad \frac{8}{3^2 - 4} = \frac{8}{5}. \qquad \checkmark

The solution is x=3x = 3, and the equation has exactly one.

Solutions sit inside candidatesA containment diagram: the solution set of the original equation is a subset of the root set of the cleared equation, and the extra roots are the excluded values.candidates: the roots of the cleared equationsolutions of the originalx = 3extraneousx = -2
Every solution of the original equation is a root of the cleared equation, so the solutions sit inside the candidates. The gap between the two boxes holds the excluded candidates, and each one of them is an extraneous root. (The other excluded value, 2, is not a root of the cleared equation, so it never becomes a candidate at all.)

Check your understanding

Solve x2x3=9x3\dfrac{x^2}{x-3} = \dfrac{9}{x-3}.

Answer choices

Equations that model a job or a trip

Rational equations are worth solving because rates produce them on their own. If a job takes tt hours, then in one hour you finish 1t\frac{1}{t} of it. Rates add: a worker finishing 1a\frac{1}{a} of the job per hour and a worker finishing 1b\frac{1}{b} of it per hour together finish 1a+1b\frac{1}{a} + \frac{1}{b} per hour. So the time tt they take together satisfies

1a+1b=1t.\frac{1}{a} + \frac{1}{b} = \frac{1}{t}.

Travel is the same story with distance in place of work: time is distancespeed\frac{\text{distance}}{\text{speed}}, so an unknown speed lands in a denominator immediately.

Worked example 3 A large pump drains a tank in 66 hours. Running alongside a smaller pump, it drains in 44 hours. How long would the smaller pump take alone?

Let tt be the hours the smaller pump needs on its own. In one hour the large pump drains 16\frac{1}{6} of the tank and the smaller drains 1t\frac{1}{t} of it, and together they drain 14\frac{1}{4} of it:

16+1t=14.\frac{1}{6} + \frac{1}{t} = \frac{1}{4}.

The only excluded value is t=0t = 0, and the LCD is 12t12t. Multiply every term by it:

2t+12=3tt=12.2t + 12 = 3t \qquad\Longrightarrow\qquad t = 12.

The candidate 1212 is not excluded, so it is a genuine solution: 16+112=212+112=14\frac{1}{6} + \frac{1}{12} = \frac{2}{12} + \frac{1}{12} = \frac{1}{4}.

The smaller pump would take 1212 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 1212 km up a river and 1212 km back down. The current runs at 22 km/h and the round trip takes 88 hours. How fast is the boat in still water?

Let vv be the boat’s speed in still water, in km/h. Going upstream the current subtracts, so the boat makes v2v - 2; coming back it adds, so the boat makes v+2v + 2. Each leg takes distance divided by speed, and the two legs add to 88 hours:

12v2+12v+2=8.\frac{12}{v-2} + \frac{12}{v+2} = 8.

The excluded values are v=2v = 2 and v=2v = -2, and the LCD is (v2)(v+2)(v-2)(v+2). Multiplying every term by it gives 12(v+2)+12(v2)=8(v24)12(v+2) + 12(v-2) = 8(v^2 - 4), and the left side collapses:

24v=8v232v23v4=0(v4)(v+1)=0.\begin{aligned} 24v = 8v^2 - 32 \qquad&\Longrightarrow\qquad v^2 - 3v - 4 = 0 \\ &\Longrightarrow\qquad (v-4)(v+1) = 0. \end{aligned}

The candidates are v=4v = 4 and v=1v = -1. Neither is excluded, so by the proof above both are genuine solutions of the equation, and indeed 123+121=4+12=8\frac{12}{-3} + \frac{12}{1} = -4 + 12 = 8 checks out for v=1v = -1.

What rules 1-1 out is the boat, not the algebra: a speed in still water cannot be negative. So v=4v = 4 km/h, which the story confirms, since the boat then makes 22 km/h upstream (66 hours) and 66 km/h downstream (22 hours).

Look carefully at what just happened to v=1v = -1, 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 xx1=1x1+2\dfrac{x}{x-1} = \dfrac{1}{x-1} + 2.

Answer choices

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Free Response Questions (FRQ)

Longer questions in parts, to be worked out on paper. Progressive hints, the answer on its own so you can check yourself and try again, then the full worked solution, plus a rubric to mark your own work against.

Free response Work it out on paper 5 questions Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (Optional)

You work every line correctly, and still finish holding a number that does not solve the equation you started with. Where did it come from?

The name answers. Extraneous is the Latin extraneus, meaning from outside, foreign, not of the household. That same Latin word took a second road into English, through French. It arrived as strange, and as stranger. So an extraneous root really is a stranger, and the label is exact rather than decorative. The root was never a fact about your equation. It came in from outside, carried by the step in which you multiplied both sides by the LCD.

Naming it that way needs an idea the word cannot supply on its own. You have to accept that an expression may speak only on a stated set of inputs. A value outside that set is then not a wrong answer but no answer at all. Mathematicians settled into that habit during the eighteen hundreds, while rebuilding calculus on careful definitions. Before then a formula and the quantity it computed were usually treated as one object. There was nothing, in those days, for a stranger to be foreign to.

So listing the excluded values first is not caution. It is what turns the final check into a complete test, because a candidate is genuine exactly when it was never a stranger.