When the inequality has the form A(x)B(x)|A(x)|\le B(x) (a modulus less than something), there is a shortcut that avoids the splitting: you turn it into a system with a double inequality.

Property — A(x)B(x)|A(x)|\le B(x)

The inequality A(x)B(x)|A(x)|\le B(x) (or with <<) is equivalent to the system {B(x)0B(x)A(x)B(x)\begin{cases} B(x)\ge0 \\ -B(x)\le A(x)\le B(x) \end{cases} where the first condition B(x)0B(x)\ge0 is necessary: an absolute value, which is always 0\ge0, cannot be less than a negative number. If B(x)<0B(x)<0 the inequality is impossible.

Observation — Why the double inequality

Under the condition B(x)0B(x)\ge0, writing A(x)B(x)|A(x)|\le B(x) means ”A(x)A(x) is no further than B(x)B(x) from zero”, that is B(x)A(x)B(x)-B(x)\le A(x)\le B(x). It is exactly like solving x35|x-3|\le5: it is equivalent to 5x35-5\le x-3\le5, whence 2x8-2\le x\le8.

Example

2x13|2x-1|\le3. Here A(x)=2x1A(x)=2x-1 and B(x)=3B(x)=3 is a positive constant, so the condition B0B\ge0 is automatic. From the double inequality: 32x13    22x4    1x2.-3\le2x-1\le3 \iff -2\le2x\le4 \iff \boxed{-1\le x\le2}.

Example

x24x+2|x^2-4|\le x+2. Here A(x)=x24A(x)=x^2-4 and B(x)=x+2B(x)=x+2. System: {x+20(x+2)x24x+2\begin{cases} x+2\ge0 \\ -(x+2)\le x^2-4\le x+2 \end{cases}

  • First condition: x2x\ge-2.
  • Right-hand part: x24x+2    x2x60    2x3x^2-4\le x+2 \iff x^2-x-6\le0 \iff -2\le x\le3.
  • Left-hand part: (x+2)x24    x2+x20    x2  x1-(x+2)\le x^2-4 \iff x^2+x-2\ge0 \iff x\le-2\ \lor\ x\ge1.

Intersecting the three conditions gives {x=2}[1,3]\{x=-2\}\cup[1,3].

Solution: x=2  1x3\boxed{x=-2\ \lor\ 1\le x\le3}.

Topics: Parabola
Concepts: Inequalities with absolute value · Absolute value
Skills: Solving inequalities · Solving systems