From Magnitude Bounds to Inequalities
An absolute value inequality restricts how large or how small a number’s magnitude can be. The previous tutorial used the reverse triangle inequality to compare magnitudes. Here we turn magnitude comparisons into conditions on the number itself, then use ordinary order rules to solve inequalities involving expressions such as \(|2x-3|\).
The key distinction is whether the absolute value is bounded above or below. A bound above confines a number between two endpoints. A bound below places it outside those endpoints. This distinction determines whether the solution is one interval or two separated regions.
We will use the Absolute-Value Bound Criterion from Absolute Value: for \(r\geq0\), \(|x|\leq r\) is equivalent to \(-r\leq x\leq r\). The strict and lower-bound versions below extend that idea. The distance result from Absolute Value as Distance gives the same interpretation for expressions of the form \(|x-a|\).
Bounds Above: Staying Between Two Endpoints
Proof. The non-strict statement is the Absolute-Value Bound Criterion established earlier. For the strict statement, first suppose \(|x|<r\). The basic properties of absolute value give \(-|x|\leq x\leq|x|\), so
The strict outer comparisons imply \(-r<x<r\). Conversely, suppose \(-r<x<r\). If \(x\geq0\), then \(|x|=x<r\). If \(x<0\), then \(|x|=-x\), and \(-r<x\) implies \(-x<r\) by order reversal under negation. Thus \(|x|<r\) in either case. This proves the equivalence. \(\square\)
The strict criterion requires \(r>0\), while the non-strict criterion allows \(r=0\). At \(r=0\), the non-strict inequality \(|x|\leq0\) holds exactly when \(x=0\); the strict inequality \(|x|<0\) has no solutions because absolute values are nonnegative.
Worked Example: A Strict Upper Bound
Solve \(|2x-3|<5\). Apply the strict criterion to the expression \(2x-3\):
Add \(3\) to all three parts, preserving both inequalities, and then divide by the positive number \(2\):
Thus the solutions are precisely the \(x\) strictly between \(-1\) and \(4\). For a check, \(x=0\) gives \(|2(0)-3|=3<5\). At the boundary \(x=4\), the left side is \(|8-3|=5\), so equality holds and \(x=4\) is correctly excluded.
The same reasoning works when the expression is centered at a number \(a\). The distance theorem from Absolute Value as Distance states that, for \(r\geq0\), \(|x-a|\leq r\) is equivalent to \(a-r\leq x\leq a+r\). With \(r>0\), the strict version is \(a-r<x<a+r\). Thus a distance bound describes the numbers within the specified distance of \(a\).
Worked Example: A Non-Strict Distance Bound
Solve \(|(x-2)/3|\leq2\). The non-strict criterion gives
Multiplying all three parts by \(3>0\) preserves the order. Adding \(2\) then gives
Both endpoints are included. Indeed, at \(x=-4\), the expression inside the absolute value is \(-2\), and at \(x=8\) it is \(2\). In each case its absolute value is \(2\), so both endpoints satisfy the original non-strict inequality.
Bounds Below: Being Outside Two Endpoints
Proof. First consider the strict comparison. If \(|x|>r\), then either \(x\geq0\) or \(x<0\). When \(x\geq0\), \(|x|=x\), so \(x>r\). When \(x<0\), \(|x|=-x>r\), and order reversal under negation gives \(x<-r\). Hence one of the two stated alternatives holds. Conversely, if \(x>r\), then \(x>0\) and \(|x|=x>r\). If \(x<-r\), then \(x<0\) and \(|x|=-x>r\). Therefore either alternative implies \(|x|>r\).
For the non-strict comparison, suppose \(|x|\geq r\). If \(x\geq0\), then \(|x|=x\geq r\), so \(x\geq r\). If \(x<0\), then \(|x|=-x\geq r\), so \(x\leq-r\). Conversely, if \(x\geq r\), then \(x\geq0\) and \(|x|=x\geq r\); if \(x\leq-r\), then \(x\leq0\) and \(|x|=-x\geq r\). This proves both directions. The alternatives also cover \(r=0\): every real number satisfies \(x\leq0\) or \(x\geq0\), and every nonzero real number satisfies \(x<0\) or \(x>0\). \(\square\)
The word “or” is essential: a lower bound permits values on either side, not just values to the right. The result therefore usually gives two separate solution regions. For a shifted expression \(|x-a|\), the corresponding regions lie at least \(r\) units to the left or right of \(a\).
Worked Example: A Non-Strict Lower Bound
Solve \(|3x+1|\geq7\). Apply the lower-bound criterion:
Subtract \(1\) in each case and divide by \(3>0\):
The endpoints are included because the original inequality is non-strict. Substitution verifies them: at \(x=-8/3\), \(3x+1=-7\), and at \(x=2\), \(3x+1=7\); both absolute values equal \(7\).
Coefficients, Thresholds, and Common Pitfalls
When solving a two-sided inequality, every operation must preserve the order. Adding or subtracting the same number preserves both comparisons. Multiplying or dividing by a positive number preserves their direction; multiplying or dividing by a negative number reverses their direction. For an exterior inequality, solve each of the two cases separately and apply the same rules within each case.
For example, if the coefficient of \(x\) is negative, the endpoints can be easy to reverse accidentally. Starting from \(|-2x+1|<3\), the inside-bound criterion gives \(-3<-2x+1<3\). Subtracting \(1\) gives \(-4<-2x<2\). Dividing by \(-2\) reverses both comparisons, yielding \(2>x>-1\), or equivalently \(-1<x<2\). The final form lists the smaller endpoint first.
It is also important to check the threshold before applying a criterion. Absolute values are always nonnegative, so thresholds below zero have immediate consequences. The following cases summarize what happens for real \(x\):
| Inequality | Threshold condition | Solution |
|---|---|---|
| \(|x|<r\) | \(r\leq0\) | No real solutions |
| \(|x|\leq r\) | \(r<0\) | No real solutions |
| \(|x|\leq0\) | \(r=0\) | \(x=0\) |
| \(|x|>r\) | \(r<0\) | Every real number |
| \(|x|\geq r\) | \(r\leq0\) | Every real number |
These cases follow directly from \(|x|\geq0\). For instance, if \(r<0\), then \(|x|>r\) for every \(x\), since a nonnegative number is greater than a negative one. At \(r=0\), however, \(|x|>0\) excludes \(x=0\), whereas \(|x|\geq0\) includes every real number. Strict and non-strict signs cannot be interchanged at the boundary.
Worked Example: A Negative Threshold
Solve \(|4x-5|\leq-1\). Since \(|4x-5|\geq0\) for every real \(x\), it cannot be less than or equal to \(-1\). Therefore the inequality has no real solutions. Trying to use the usual inside-bound criterion would require a nonnegative threshold, so applying it with \(-1\) would be invalid.
In contrast, the inequality \(|4x-5|>-1\) holds for every real \(x\), because \(|4x-5|\geq0>-1\). This comparison illustrates why the sign of the threshold should be checked before rearranging.
A frequent mistake is to treat \(|x|>r\) as though it meant \(x>r\) alone. That discards all sufficiently negative numbers. For example, \(x=-10\) satisfies \(|x|>3\), even though \(-10\) is not greater than \(3\). The two-case form \(x<-r\) or \(x>r\) retains both possibilities. Conversely, an upper bound is a between condition, not an outside condition.
After solving, it is useful to test an interior point, an exterior point, and any proposed endpoint in the original inequality. This does not replace the equivalence used in the solution, but it can reveal a reversed sign or an incorrectly included boundary. In particular, equality holds at the endpoints of a non-strict bound, while a strict bound excludes them.
Check Your Understanding
Use the criteria and order rules from this tutorial to solve or interpret each inequality.
- Rewrite \(|x|<6\) as a two-sided inequality. Are either endpoint included?
- Solve \(|x+2|\geq4\). Why are there two cases?
- Solve \(|5-2x|\leq3\), taking care when dividing by a negative number.
- How many real solutions does \(|x-1|<0\) have? Explain using nonnegativity.
- Does \(|x|>-2\) hold for every real \(x\), or only for some real numbers?