Algebra · real student question

For which values of a does |x - 2| + |x + 3| + |x - 1| + |x + 1| >= a hold for every real x?

Question

For which values of aa does

x2+x+3+x1+x+1a|x-2|+|x+3|+|x-1|+|x+1|\ge a

hold for every real xx?

Step-by-step solution

  1. Reduce the question to a minimum. The inequality holds for all xx exactly when aa is no larger than the smallest value the left side ever takes. So define

    f(x)=x2+x+3+x1+x+1f(x)=|x-2|+|x+3|+|x-1|+|x+1|

    and find minf\min f. Everything else is bookkeeping.

  2. Use the median shortcut to predict the answer. A sum of absolute deviations xci\sum|x-c_{i}| is minimised at any median of the points cic_{i}. Here the four points are 3,1,1,2-3,\,-1,\,1,\,2; with an even count, every xx in the middle interval [1,1][-1,1] is a median. So the minimum is attained on all of [1,1][-1,1]not on [3,1][-3,1], a claim that is easy to make and wrong.

  3. Confirm by splitting into intervals. The breakpoints 3,1,1,2-3,-1,1,2 cut the line into five pieces, and on each one every absolute value opens with a fixed sign:

    x3: f=4x1;3x1: f=52x;x\le-3:\ f=-4x-1;\qquad -3\le x\le-1:\ f=5-2x;

    1x1: f=7;1x2: f=2x+5;x2: f=4x+1.-1\le x\le 1:\ f=7;\qquad 1\le x\le 2:\ f=2x+5;\qquad x\ge 2:\ f=4x+1.

    On [3,1][-3,-1] the function is the decreasing line 52x5-2x, running from f(3)=5+6=11f(-3)=5+6=11 down to f(1)=5+2=7f(-1)=5+2=7 — it is not constant there.

  4. Read off the minimum. The two outer pieces increase away from the centre, the two middle-adjacent pieces slope down toward [1,1][-1,1], and on [1,1][-1,1] the function is the constant

    f(x)=(2x)+(x+3)+(1x)+(x+1)=7.f(x)=(2-x)+(x+3)+(1-x)+(x+1)=7.

    So minf=7\min f=7, attained exactly on [1,1][-1,1]. Spot checks: f(0)=2+3+1+1=7f(0)=2+3+1+1=7 ✓, f(2)=4+1+3+1=9f(-2)=4+1+3+1=9 ✓ (strictly above the minimum), f(3)=5+0+4+2=11f(-3)=5+0+4+2=11 ✓.

  5. State the condition on aa. The inequality f(x)af(x)\ge a holds for every real xx if and only if

    a7.a\le 7.

    If a>7a>7 the inequality fails on the whole open middle band, and its solution set is then (,5a2][a52,)\left(-\infty,\tfrac{5-a}{2}\right]\cup\left[\tfrac{a-5}{2},\infty\right) for 7<a97<a\le 9, obtained by inverting the two adjacent linear pieces.

Answer

minx(x2+x+3+x1+x+1)=7 attained on [1,1]; the inequality holds for all x    a7\min_{x}\left(|x-2|+|x+3|+|x-1|+|x+1|\right)=7\ \text{attained on }[-1,1];\ \text{the inequality holds for all }x\iff a\le 7

Need to solve a different problem like this? Open the solver →