In calculus you find the highest or lowest point of a graph by solving an equation, and a single false root can send you to an input where nothing special happens, or to one outside the domain. Solving well means knowing, at each line, whether the new equation has exactly the same solutions as the old one. When a step cannot promise that, the fix is simple. Treat the results as candidates and test each one in the equation you started with.
Key terms
Equation and solution
Definition An equation in the real variable is a statement between two expressions. A solution is a real number at which both and are defined and is true. The solution set is the set of all solutions, which may be empty.
In plain words A solution is an input that makes both sides exist and come out equal.
Example The equation has solution set , since . The equation has solution set , and has no solution at all.
Equivalent step
Definition Two equations are equivalent when they have the same solution set. The following steps produce an equivalent equation.
- Add or subtract the same real quantity on both sides, when that quantity is defined at every input where the equation is.
- Multiply or divide both sides by the same nonzero constant.
Multiplying or dividing both sides by a variable expression is reversible only at inputs where is defined and , so it needs that condition stated separately. For a product, the zero product property says that for real numbers exactly when or , so at least one factor is zero. Use it only once one side of the equation is and the other side is written as a product.
In plain words An equivalent step can be undone, so it neither adds nor loses solutions. Dividing by something that might be zero can throw solutions away.
Example Dividing by gives and silently loses . Instead, move everything to one side.
The zero product property needs a zero on one side. From you may not conclude . Expanding gives , whose solutions are and .
Restriction
Definition The restrictions of an equation are the conditions under which both sides are defined, such as every denominator being nonzero and every real even root having a nonnegative radicand. Only numbers that satisfy all restrictions can be solutions, so the restrictions are found from the original equation before any step is taken.
In plain words Write down the forbidden inputs first. Anything later that lands on one of them is thrown out.
Example In the equation
the denominators require and . These two numbers cannot be solutions, whatever the algebra later produces.
Candidate solution
Definition A candidate solution is a number produced by a chain of steps in which at least one step is not known to be reversible, for example multiplying by a variable expression or squaring. Say that a step keeps all solutions when every solution of the equation before the step is also a solution of the equation after it. Equivalent steps keep all solutions. So do squaring both sides and multiplying both sides by an expression that is defined at every input allowed by the restrictions, even where that expression is zero. Dividing both sides by an expression, or cancelling a factor, does not, because a solution at which that expression is zero can be lost. If every step in the chain keeps all solutions, then every solution of the original equation is among the candidates. A candidate still need not be a solution, which is why each one is checked.
In plain words Candidates are suspects. Some are real solutions and some are side effects of the method.
Example Return to the equation above and multiply both sides by , which may be zero.
The candidates are and . The restriction rules out at once. For the left side is and the right side is , so the solution set is .
Squaring
Definition If , then . The converse is false, because holds exactly when or . So squaring both sides gives a necessary condition for a solution, and it may introduce extra candidates that solve instead.
In plain words Squaring hides the sign. A number that made the two sides opposite will look like a solution after squaring.
Example The equation has one solution, but the squared equation also accepts , which solves rather than .
Checking in the original equation
Definition To check a candidate , substitute it into the original equation and confirm that both sides are defined at and equal. Substituting into a later line is not a check, because that line may already contain the extra candidates. After squaring or after multiplying by a variable expression this check is a required part of the solution, not an optional extra.
In plain words Go back to the very first line and test each suspect there.
Example Solve . The radicand requires . Squaring gives
The candidates are and . Check both in the original.
| Candidate | Left side | Right side | Solution? |
|---|---|---|---|
| yes | |||
| no |
The candidate solves , which the squaring step could not tell apart. The solution set is .
Check yourself
- Solve and check every candidate.
Show the answer
Squaring gives , so and the candidates are and . At both sides equal . At the left side is but the right side is . The solution set is .
- Solve the equation below.
Show the answer
The restriction is . Multiplying by gives , so . That candidate is excluded, so the equation has no solution.
- A student divides by and reports . What is the full solution set?
Show the answer
Write . The solution set is . Dividing by lost , since that step assumed .