Definition · Absolute value|a| is the distance from a to 0 on the number line. In cases, |a| = a when a ≥ 0, and |a| = −a when a < 0.
The second case is easy to misread. −a is not a negative number when a is itself negative: |−4| = −(−4) = 4. The minus sign there reverses a sign; it does not impose one.
Theorem · The two-case ruleFor k > 0, the equation |X| = k is true exactly when X = k or X = −k.
For k = 0 it is true exactly when X = 0, a single case. For k < 0 it is never true, because a distance is never negative.
Read the theorem on the number line. The numbers at distance 5 from 0 are 5 and −5, and there are no others. X may be any expression — x − 3, 2x + 1, anything at all — and the rule applies to the whole of what the bars enclose, not to x.
Isolating the bars first
3|x - 1| + 2 = 14
subtract 2 3|x - 1| = 12
divide by 3 |x - 1| = 4 the bars are now alone
split x - 1 = 4 or x - 1 = -4
x = 5 or x = -3
check x = 5: 3|5 - 1| + 2 = 3(4) + 2 = 14 ✓
x = -3: 3|-3 - 1| + 2 = 3(4) + 2 = 14 ✓
Both candidates survive, and both belong in the answer: the solution set is { 5, −3 }. Reporting one of them is not a smaller answer, it is a wrong one, because the question asked which numbers make the statement true and two of them do.
When the count is not two
- |2x + 1| = 0. A distance of zero happens in one place only, so 2x + 1 = 0 and x = −1/2. One solution.
- |x + 4| = −2. No number sits at distance −2 from anything. There are no solutions, and saying so is the complete answer.
- |x − 3| = |2x + 1|. Two absolute values are equal when the expressions are equal or opposite: x − 3 = 2x + 1 or x − 3 = −(2x + 1), giving x = −4 and x = 2/3. Both check.
The middle case repays a closer look. Splitting |x + 4| = −2 mechanically gives x + 4 = −2 and x + 4 = 2, so x = −6 and x = −2. Substituting: |−6 + 4| = 2 and |−2 + 4| = 2, and neither equals −2. The split produced two numbers and neither is a solution, which is exactly what the check exists to discover.
A variable on the right
When the right side contains x, its sign is not known in advance, and the theorem — stated for a positive k — carries no guarantee that the two cases will deliver solutions. Split anyway, then substitute every candidate into the original equation. Here the check is not a safeguard; it is part of the method.
Example · Both candidates survive|2x − 1| = x + 3. Case one: 2x − 1 = x + 3, so x = 4; then the left side is |7| = 7 and the right side is 4 + 3 = 7. Case two: 2x − 1 = −(x + 3) = −x − 3, so 3x = −2 and x = −2/3; then the left side is |−7/3| = 7/3 and the right side is −2/3 + 3 = 7/3. Both check, and the solution set has two members.
A candidate thrown out by the check is called extraneous. It is not the mark of an arithmetic slip: the splitting step can produce equations with solutions the original never had, and only substitution finds out which. The same phenomenon returns in Rational and Radical Expressions, when both sides of an equation get squared.