Theorem · The less-than ruleFor k > 0, |X| < k is true exactly when −k < X < k.
With ≤ throughout: |X| ≤ k is true exactly when −k ≤ X ≤ k. The three-part form is legitimate here because the connector genuinely is and.
Theorem · The greater-than ruleFor k > 0, |X| > k is true exactly when X < −k or X > k.
With ≥: X ≤ −k or X ≥ k. There is no three-part form for this one, and writing one is the standard error of the topic.
Both are read straight off the number line. The numbers less than 5 away from 0 are those strictly between −5 and 5; the numbers more than 5 away are those below −5 together with those above 5. X may be any expression, and the rule applies to the whole of what the bars enclose.
A worked band
|x - 2| < 5
-5 < x - 2 < 5
add 2 -3 < x < 7
test x = 0 |0 - 2| = 2 < 5 ✓ -3 < 0 < 7 ✓
test x = 7 |7 - 2| = 5 < 5 false 7 < 7 false ✓
test x = -4 |-4 - 2| = 6 < 5 false -3 < -4 false ✓
Turn the relation round and the same two numbers reappear on the outside. |x − 2| > 5 gives x − 2 < −5 or x − 2 > 5, that is x < −3 or x > 7. The two solution sets do not overlap and do not quite cover the line: at x = −3 and at x = 7 the distance is exactly 5, so both strict statements fail.
Isolating the bars first
2|x - 1| + 5 > 11
subtract 5 2|x - 1| > 6
divide by 2 |x - 1| > 3 the bars are now alone
split x - 1 < -3 or x - 1 > 3
x < -2 or x > 4
test x = 5 2|5 - 1| + 5 = 2(4) + 5 = 13 > 11 ✓
test x = 0 2|0 - 1| + 5 = 2(1) + 5 = 7 > 11 false ✓
The divisor there was 2, a positive number, so the relation stood. Had the statement been −2|x − 1| > −6, dividing by −2 would reverse it to |x − 1| < 3 — a band rather than two rays, and a different answer entirely. “Linear Inequalities”'s rule applies to the step that isolates the bars, before any case split exists.
Right-hand sides that end the question
- |2x + 1| < 0. Nothing. No distance is below zero.
- |2x + 1| ≤ 0. A distance is never negative, so the only possibility is 2x + 1 = 0, giving x = −1/2. The solution set has one member.
- |2x + 1| ≥ 0. Everything. Every absolute value is nonnegative.
- |x + 3| < −1. Nothing at all. The solution set is ∅.
- |x + 3| > −1. Everything. Every absolute value is at least 0, and 0 > −1.
- |2x + 1| > 0. Every number except the one where the inside is zero: all x other than x = −1/2.
None of these four needs a split, and none of them is a rule to memorise. Each is read off the two facts that an absolute value is never negative and is zero only where the inside is zero. The two theorems above were stated for k > 0, and reading the right-hand side first is how you stay inside the range they were stated for.
Example · The band and its outside|x − 2| < 5 gives −3 < x < 7, and |x − 2| > 5 gives x < −3 or x > 7. Between them they account for every real number except −3 and 7. Replace both relations by ≤ and ≥ and the two answers instead overlap at exactly those two points, which is where the distance is exactly 5.