When two absolute values appear in an inequality, of the form A(x)|A(x)| and B(x)|B(x)|, we cannot apply the schemes for a single absolute value: we need either a case analysis on the signs of the two arguments, or an algebraic trick.

The “squaring” algebraic trick. When both sides are absolute values, AB|A|\lessgtr|B| (or A=B|A|=|B|), squaring preserves the direction, because both are 0\ge0: the inequality is equivalent to A2B2A^2\lessgtr B^2, that is (AB)(A+B)0(A-B)(A+B)\lessgtr0, which is studied with the sign table. The idea of the “square as a shortcut for getting rid of the absolute value” is one of the basic heuristics discussed by Esty.

Property — Casework for A<B|A|<|B| and A=B|A|=|B|

  • A=B    A=B  A=B|A|=|B| \iff A=B\ \lor\ A=-B (the two absolute values coincide if the arguments are equal or opposite);
  • A<B    A2<B2    (AB)(A+B)<0|A|<|B| \iff A^2<B^2 \iff (A-B)(A+B)<0;
  • AB    (AB)(A+B)0|A|\le|B| \iff (A-B)(A+B)\le0.

Example — x1=2x+3|x-1|=|2x+3|

Equivalent to x1=2x+3  x1=(2x+3)x-1=2x+3\ \lor\ x-1=-(2x+3):

  • x1=2x+3    x=4x-1=2x+3 \implies x=-4;
  • x1=2x3    3x=2    x=23x-1=-2x-3 \implies 3x=-2 \implies x=-\frac23.

Solution: x=4  x=23\boxed{x=-4\ \lor\ x=-\frac23}.

Example — x1<2x+1|x-1|<|2x+1| by squaring

(x1)2<(2x+1)2    (x1)2(2x+1)2<0(x-1)^2<(2x+1)^2 \iff (x-1)^2-(2x+1)^2<0. Using the difference of squares: [(x1)(2x+1)][(x1)+(2x+1)]=(x2)(3x)=3x(x+2)<0,\bigl[(x-1)-(2x+1)\bigr]\bigl[(x-1)+(2x+1)\bigr]=(-x-2)(3x)=-3x(x+2)<0, that is x(x+2)>0x(x+2)>0. Solution: x<2  x>0\boxed{x<-2\ \lor\ x>0}.

Case discussion on the signs. When the squaring trick does not apply (for example A+B=C|A|+|B|=C with CC constant), one fills in the sign table of AA and BB: each region singles out a “without absolute values” version of the inequality.

Example — x2+x+1=5|x-2|+|x+1|=5

Study of the signs: A=x2A=x-2 changes sign at x=2x=2; B=x+1B=x+1 changes sign at x=1x=-1. Three regions:

  • x<1x<-1 (A<0, B<0A<0,\ B<0): (x2)(x+1)=5    2x+1=5    x=2-(x-2)-(x+1)=5 \implies -2x+1=5 \implies x=-2 (compatible);
  • 1x<2-1\le x<2 (A<0, B0A<0,\ B\ge0): (x2)+(x+1)=5    3=5-(x-2)+(x+1)=5 \implies 3=5, false, no solution;
  • x2x\ge2 (both 0\ge0): (x2)+(x+1)=5    2x1=5    x=3(x-2)+(x+1)=5 \implies 2x-1=5 \implies x=3 (compatible).

Solution: x=2  x=3\boxed{x=-2\ \lor\ x=3}.

Geometric interpretation: x2+x+1|x-2|+|x+1| is the sum of the distances of xx from the points 22 and 1-1 on the real line. Since between 22 and 1-1 the distance is 33, the sum equals 55 when xx lies outside the interval [1,2][-1,2], at a distance 532=1\frac{5-3}{2}=1: we obtain x=2x=-2 or x=3x=3.

Example — x+x3<5|x|+|x-3|<5

Sign table of xx and x3x-3:

  • x<0x<0: x(x3)<5    2x+3<5    x>1-x-(x-3)<5 \iff -2x+3<5 \iff x>-1, that is 1<x<0-1<x<0;
  • 0x<30\le x<3: x(x3)<5    3<5x-(x-3)<5 \iff 3<5, always true, the whole of [0,3)[0,3);
  • x3x\ge3: x+(x3)<5    2x<8    x<4x+(x-3)<5 \iff 2x<8 \iff x<4, that is 3x<43\le x<4.

Union: 1<x<4\boxed{-1<x<4}.

In summary — "Mixed cases" decision table

Form of the inequalityRecommended method
AB\lvert A\rvert \lessgtr \lvert B\rvertsquaring (AB)(A+B)0\to (A-B)(A+B)\lessgtr0
A=B\lvert A\rvert = \lvert B\rvertA=B  A=BA=B\ \lor\ A=-B
A+BC\lvert A\rvert+\lvert B\rvert \lessgtr Csign table of AA and BB
ABC\lvert A\rvert\cdot\lvert B\rvert \lessgtr Creplace with ABC\lvert AB\rvert \lessgtr C (scheme Fk\lvert F\rvert \lessgtr k)
AB\lvert A\rvert \lessgtr B with BB arbitrarycasework on the sign of BB (special cases 1 and 2)

Topics: Parabola
Concepts: Absolute value inequalities · Distance on the line · Line · Sign table · Absolute value
Methods: Absolute value mixed cases
Skills: Reasoning by cases · Solving inequalities