Everything in this topic comes down to one uncomfortable fact: the moment you multiply both sides of an equation by something containing , you have multiplied by a quantity that might be zero. Doing that can create answers that solve the new equation but not the original one. The fix is simple and it is worth marks on every test — write the restrictions before you start, and check every root against them at the end.
Solving rational equations
- Factor every denominator and state the restrictions.
- Find the lowest common denominator (LCD) and multiply every term on both sides by it.
- Simplify — every fraction should disappear — leaving a linear or quadratic equation.
- Solve that polynomial equation by any method you know.
- Compare each root to the restrictions. Reject any root that equals a restriction and say explicitly that it is extraneous.
- If every root is rejected, the correct answer is "no solution" — that is a real answer, not a mistake.
Why extraneous roots appear
Multiplying both sides by is a legitimate move only when . If , you multiplied both sides by zero, which turns any false statement into the true statement . That is why the transformed equation can have a solution the original does not. The equation below is the classic example: the algebra is flawless and the answer is still rejected.
Rational inequalities
An inequality looks similar but must be handled completely differently. With an equation you may multiply both sides by anything non-zero. With an inequality, multiplying by a negative number reverses the inequality sign — and an expression like is positive for some values of and negative for others. You do not know which, so you are not allowed to multiply by it at all.
Instead, move everything to one side, combine over a single common denominator, and compare the result to zero. Now the question is only "where is this expression positive / negative?", which a sign chart answers. The critical values are the zeros of the numerator and the zeros of the denominator, because the expression can only change sign by passing through zero or by being undefined.
| Interval | x − 1 | x + 2 | Quotient | Satisfies ? |
|---|---|---|---|---|
| − | − | + | yes | |
| − | + | − | no | |
| + | + | + | yes |
Read the brackets off carefully. A numerator zero satisfies or , so it gets a square bracket. A denominator zero is undefined, so it always gets a round bracket, no matter which inequality symbol appears. For the chart above the solution is : round at because the function is undefined there, square at because and is true.