Skip to content

Mathematics · Ch 5 — Linear Inequalities

Inequalities Involving the Modulus Function

3

Inequalities Involving the Modulus Function

The modulus (or absolute value) of a real number xx, written ∣x∣|x|, is defined piecewise as

∣x∣={x,x≥0−x,x<0.|x| = \begin{cases} x, & x \ge 0 \\ -x, & x < 0. \end{cases}

Geometrically, ∣x∣|x| is the distance of the point xx from the origin 00 on the number line, always non-negative: ∣x∣≥0|x| \ge 0 for every real xx, with ∣x∣=0|x| = 0 only when x=0x = 0. More generally, ∣x−a∣|x - a| is the distance between the points xx and aa.

Rule A — ∣x∣<a|x| < a, with a>0a > 0.

∣x∣<a  ⟺  −a<x<a.|x| < a \iff -a < x < a.

Proof. Case x≥0x \ge 0: here ∣x∣=x|x| = x, so ∣x∣<a|x| < a becomes x<ax < a; combined with x≥0>−ax \ge 0 > -a, this gives −a<x<a-a < x < a. Case x<0x < 0: here ∣x∣=−x|x| = -x, so ∣x∣<a|x| < a becomes −x<a-x < a, i.e. x>−ax > -a; combined with x<0<ax < 0 < a, this again gives −a<x<a-a < x < a. Both cases give exactly the interval −a<x<a-a < x < a. ■\blacksquare

Rule B — ∣x∣>a|x| > a, with a>0a > 0.

∣x∣>a  ⟺  x<−a  or  x>a.|x| > a \iff x < -a \ \text{ or } \ x > a.

Proof. Case x≥0x \ge 0: ∣x∣=x|x| = x, so ∣x∣>a|x| > a becomes x>ax > a. Case x<0x < 0: ∣x∣=−x|x| = -x, so ∣x∣>a|x| > a becomes −x>a-x > a, i.e. x<−ax < -a. Combining the two cases gives x<−ax < -a or x>ax > a — two separate, disjoint rays, never a single interval, because ∣x∣>a|x| > a says xx is far from 00 in either direction. ■\blacksquare (The slack versions ∣x∣≤a  ⟺  −a≤x≤a|x| \le a \iff -a \le x \le a and ∣x∣≥a  ⟺  x≤−a|x| \ge a \iff x \le -a or x≥ax \ge a follow the same way, replacing every strict sign with a slack one.)

Shifted modulus inequalities. Replacing xx by any linear expression in Rules A and B — valid, since the proof never used any special property of xx itself — gives the forms used constantly in practice:

∣x−c∣<a  ⟺  c−a<x<c+a,∣x−c∣>a  ⟺  x<c−a  or  x>c+a.|x - c| < a \iff c - a < x < c + a, \qquad |x - c| > a \iff x < c - a \ \text{ or } \ x > c + a.

This matches the distance reading directly: ∣x−c∣<a|x - c| < a says "xx is within a distance aa of cc," i.e. xx lies strictly between c−ac-a and c+ac+a.

Worked illustration. Solve ∣x−3∣<4|x - 3| < 4. Here c=3c = 3, a=4a = 4, so directly c−a<x<c+ac - a < x < c + a, i.e. −1<x<7-1 < x < 7. Solution set: (−1,7)(-1, 7). …