Compound Inequalities Through the Lens of Distance
An absolute value inequality converts into a compound inequality through one of two standard translations — one for "less than," one for "greater than." The less-than form produces a bounded interval, the greater-than form produces two unbounded rays, and the geometric interpretation as distance on the number line makes both conversions intuitive. Once the absolute value is removed, the resulting compound inequality is solved by whatever method its internal structure requires: linear techniques for linear expressions, sign charts for quadratic or polynomial expressions, and so on. The absolute value is the outer shell; the content inside determines the difficulty.
Two Fundamental Forms
Every absolute value inequality involving a single absolute value term and a constant reduces to one of two forms, each with its own conversion rule.
The "less than" form ∣f(x)∣<k states that the expression f(x) is within k units of zero. This converts to a conjunction — a double inequality:
−k<f(x)<k
Both conditions must hold simultaneously. The solution is the set of x values for which f(x) lies strictly between −k and k.
The "greater than" form ∣f(x)∣>k states that f(x) is more than k units from zero. This converts to a disjunction — two separate inequalities:
f(x)<−korf(x)>k
At least one condition must hold. The solution is the set of x values for which f(x) falls outside the interval [−k,k].
The non-strict versions ≤ and ≥ work identically, with the boundary values included rather than excluded. The conversions are the same; only the inequality symbols change from strict to non-strict throughout.
These two translations — less-than becomes a conjunction, greater-than becomes a disjunction — are the entire method. Everything that follows is the application of this principle to increasingly complex expressions inside the absolute value.
Solving the Less-Than Form
The inequality ∣f(x)∣<k converts to −k<f(x)<k. The value of k determines whether a solution exists before any algebra begins.
When k>0, the double inequality defines a bounded region. The two inequalities f(x)>−k and f(x)<k are solved simultaneously, and the solution is their intersection — the set of x values satisfying both.
When k=0, the inequality ∣f(x)∣<0 asks for the absolute value to be strictly negative, which is impossible. The solution set is empty. The non-strict version ∣f(x)∣≤0 has a solution only at the roots of f(x)=0, because zero is the only non-negative value that satisfies ≤0.
When k<0, both ∣f(x)∣<k and ∣f(x)∣≤k have empty solution sets. Absolute value is never negative, so it can never be less than a negative number.
For linear f(x), the double inequality is a three-part chain solved by isolating x in the middle. The inequality ∣2x−3∣<5 becomes −5<2x−3<5. Adding 3 throughout: −2<2x<8. Dividing by 2: −1<x<4. The solution is the open interval (−1,4).
Solving the Greater-Than Form
The inequality ∣f(x)∣>k converts to f(x)<−k or f(x)>k. Each part is solved independently, and the solution is the union of the two individual solution sets.
When k>0, each part contributes a separate region, and the union typically produces two rays — one extending to the left and one to the right.
When k=0, the inequality ∣f(x)∣>0 asks where f(x) is nonzero. The solution is all real numbers except the roots of f(x)=0. The non-strict version ∣f(x)∣≥0 is satisfied by every real number, since absolute value is always non-negative.
When k<0, the inequality ∣f(x)∣>k is satisfied by every real number — absolute value is always at least zero, which exceeds any negative number. The solution is (−∞,∞).
For a linear example: ∣4x+1∣≥7 becomes 4x+1≤−7 or 4x+1≥7. From the first: 4x≤−8, so x≤−2. From the second: 4x≥6, so x≥23. The solution is (−∞,−2]∪[23,∞).
Worked Examples with Linear Expressions
When the expression inside the absolute value is linear, the compound inequality after conversion is also linear, and the solution follows from the methods on the linear inequalities page.
Solve ∣3x−7∣<2. Convert: −2<3x−7<2. Add 7: 5<3x<9. Divide by 3: 35<x<3. The solution is (35,3).
Solve ∣1−2x∣≥5. Convert: 1−2x≤−5 or 1−2x≥5. From the first: −2x≤−6, so x≥3 (direction flips when dividing by −2). From the second: −2x≥4, so x≤−2. The solution is (−∞,−2]∪[3,∞).
Solve ∣5x+3∣<−1. No conversion needed — absolute value is never negative, so it is certainly never less than −1. The solution set is empty.
Solve ∣x−4∣>0. Convert: x−4<0 or x−4>0, meaning x<4 or x>4. This is every real number except x=4. The solution is (−∞,4)∪(4,∞), or equivalently R∖{4}.
In every linear case, the less-than form produces a single bounded interval, and the greater-than form produces two rays. The center of symmetry is the root of f(x)=0, and the radius is determined by k.
Absolute Value Inequalities with Quadratic or Other Expressions
When the expression inside the absolute value is not linear, the compound inequality after conversion requires more powerful methods — typically the sign chart.
Solve ∣x2−4∣<5. Convert to −5<x2−4<5. This is two simultaneous inequalities: x2−4>−5 and x2−4<5.
From x2−4>−5: x2>−1. Since x2≥0 for all real x, this holds everywhere. It imposes no restriction.
From x2−4<5: x2<9, which gives −3<x<3.
The intersection of "all real numbers" and "−3<x<3" is simply (−3,3).
Solve ∣x2−7x+10∣≥2. Convert to x2−7x+10≤−2 or x2−7x+10≥2.
From the first: x2−7x+12≤0. Factor: (x−3)(x−4)≤0. This is a quadratic inequality with roots 3 and 4, positive leading coefficient. The expression is non-positive between the roots: [3,4].
From the second: x2−7x+8≥0. The discriminant is 49−32=17>0. The roots are 27±17, approximately 1.44 and 5.56. With positive leading coefficient, the expression is non-negative outside the roots: (−∞,27−17]∪[27+17,∞).
The solution is the union of both parts: (−∞,27−17]∪[3,4]∪[27+17,∞).
The absolute value conversion reduces the problem to standard inequality types. The difficulty is determined by whatever sits inside the bars, not by the absolute value itself.
Inequalities with Absolute Value on Both Sides
When absolute value appears on both sides — ∣f(x)∣<∣g(x)∣ or ∣f(x)∣>∣g(x)∣ — the standard less-than/greater-than conversion does not apply directly because the right-hand side is not a constant. Two alternative approaches handle these cases.
The squaring method exploits the fact that ∣A∣<∣B∣ if and only if A2<B2 (since both sides are non-negative). The inequality ∣f(x)∣<∣g(x)∣ becomes [f(x)]2<[g(x)]2, which rearranges to [g(x)]2−[f(x)]2>0. Factoring the difference of squares:
(g(x)−f(x))(g(x)+f(x))>0
This is a polynomial inequality solvable by sign chart. The critical points are the roots of g(x)−f(x)=0 and g(x)+f(x)=0.
For ∣2x−1∣<∣x+3∣, square both sides: (2x−1)2<(x+3)2. Rearrange: (x+3)2−(2x−1)2>0. Factor: ((x+3)−(2x−1))((x+3)+(2x−1))>0, which gives (4−x)(3x+2)>0. The roots are x=4 and x=−32. The sign chart yields the solution (−32,4).
The case-splitting method is the alternative: consider the signs of f(x) and g(x) on each interval defined by their roots, remove the absolute value bars using the piecewise definition, and solve the resulting inequality on each interval. This approach is more laborious but avoids squaring and works for non-polynomial expressions as well.
Geometric Interpretation
Absolute value measures distance on the number line, and this interpretation turns every absolute value inequality into a geometric statement about proximity or separation.
The inequality ∣x−a∣<d asks: which points lie within distance d of a? The answer is the open interval (a−d,a+d), centered at a with radius d. The inequality ∣x−5∣<3 describes all points within 3 units of 5: the interval (2,8).
The inequality ∣x−a∣>d asks: which points lie farther than distance d from a? The answer is two rays: (−∞,a−d)∪(a+d,∞). The inequality ∣x−5∣>3 describes all points more than 3 units from 5: (−∞,2)∪(8,∞).
The inequality ∣x−a∣<∣x−b∣ asks: which points are closer to a than to b? On the number line, the set of points closer to a is everything on a's side of the midpoint m=2a+b. If a<b, the solution is (−∞,m). This follows from the squaring method: ∣x−a∣<∣x−b∣ becomes (x−a)2<(x−b)2, which simplifies to a linear inequality whose solution is the ray ending at the midpoint.
These geometric readings provide instant answers for simple absolute value inequalities and serve as sanity checks for more complex ones. If the algebraic solution to ∣x−5∣<3 produces something other than a symmetric interval centered at 5 with radius 3, the algebra contains an error.