2.1.24 · D5Algebra — Introduction & Intermediate

Question bank — Absolute value equations and inequalities

2,170 words10 min readBack to topic

This is a question bank for the tricky ideas behind Absolute value equations and inequalities — not the arithmetic (that lives in the other decks). Each item below is a concept trap: places where a confident student walks straight into a wall. Read the question, say your answer out loud, then peek.

Before the traps, three anchors you must have in your head — nothing here is a new symbol, just a reminder of what each thing means.

Recall What the bars actually mean

is a distance — how far sits from on the number line. Distance is never negative, and two different points can be the same distance away (that is where the "two cases" come from).

Picture all five grammars on one line first — the figure below is the map every trap in this page tests against. Read it like this: the black square at is the centre (where the inside expression equals zero); the labels and mark the target distance ( in the drawing). A filled dot means the endpoint is included, an open dot means excluded. A teal band between the dots is an "inside/AND" solution; two plum rays running outward are an "outside/OR" solution; two lone orange dots are the two solutions of an equation. Walk one row to fix the reading: on the "" row the teal band with open ends says "every point strictly between and ", and on the "" row the two plum rays with open ends say "everything to the left of or to the right of , endpoints left out."

Figure — Absolute value equations and inequalities

The second figure zooms in on the trap that most students trip over: how the outside/OR picture degenerates as the target shrinks to and then goes negative. Watch the two rays close in, kiss at the centre, and finally swallow the whole line.

Figure — Absolute value equations and inequalities
Recall The five grammars (assume

for the equals/less-than rows)

  • two points at distance (an or of equations). Needs ; if , no solution.
  • → strictly inside the band, endpoints excluded: (an and). Needs ; if , no solution.
  • inside including the band, endpoints included: (an and). Needs ; if , no solution.
  • → strictly outside the band, two rays, endpoints excluded: or (an or). Special cases: if the two rays meet at the centre and the only excluded point is , so the solution is (all nonzero ); if every distance already beats , so the solution is all real .
  • outside including the band, endpoints included: or (an or). Special cases: if the two closed rays cover everything (since always), so the solution is all real ; if likewise all real .

True or false — justify

has two solutions, and .
False. A distance can never equal a negative number, so there are zero solutions — the right side being negative kills it before any casework starts.
has two solutions.
False. Exactly one: . The "two cases" and collapse into one when , since and are the same point.
for every real .
True. and are negatives of each other, and always — the same distance whether you measure left-to-right or right-to-left.
has no solutions whenever .
True. If we need a distance strictly less than a non-positive number, impossible; even fails because can never hold.
is true for all real when .
True. Every distance is , which already beats any negative , so the whole number line is the solution set.
is true for all , so it is a useless statement.
True that it always holds, false that it is useless. It is a genuine identity — it is exactly why equations like have no solution.
The solution of is a single interval.
True. "Less than" gives a connected band ; there is no gap, so it is one interval, not a union.
The solution of is a single interval.
False. "Greater than" gives two disjoint rays, — a union of two pieces with a gap between them.
for every real .
False. , not ; for the left side is , not . The square root always returns the non-negative root.
If then .
False. It only forces or — equal distances allow the two expressions to be exact opposites.
and always have the same solution set.
False. They differ exactly at the endpoints : the version includes them (filled dots), the version excludes them (open dots).

Spot the error

", so , so . Done."
The negative branch is missing. also works, giving ; geometrically both are units from .
" means ."
That chain is self-contradictory (nothing is both below and above ). Greater-than is outside, an or: or .
" means or ."
Wrong connector. It should be and — the two conditions squeeze together into a band, they do not spread apart.
"Solving , I get and , both valid."
is extraneous: it makes the right side negative, which no absolute value can equal, so only survives.
"For I set and separately."
You cannot split a sum of absolute values term by term. You must use critical points (, ) to break the line into regions and rewrite each bar with a definite sign.
", subtract from the middle only: ."
You must subtract from all three parts; the correct band is . What you do to the middle you do to both edges.
" so — always two answers."
Only when . If there is one answer, and if there are none; the "" quietly assumes is positive.
"; I found and accepted it because the algebra was clean."
Clean algebra is not a validity check — substitute back. If the right side turns out negative there, it is extraneous and must be discarded.

Why questions

Why does split into two equations but into one double inequality?
An equation pins to a set of isolated points (two, at distance ), while the inequality allows a whole continuous band, which one statement captures at once.
Why must we check the sign of the right side in ?
The left side is a distance, so it is ; if the right side can go negative for some , those can never be solutions no matter what the casework says.
Why does the "less than" case become an AND while "greater than" becomes an OR?
Near zero there is one connected region (inside the band → both bounds must hold → and); far from zero there are two separate regions (left ray or right ray → or).
Why are the critical points in exactly and ?
Those are the inputs where each inside expression hits zero and flips sign; only at a sign flip does the piecewise rule for change, so the line is naturally cut there.
Why is a distance statement and not just an algebra trick?
Squaring erases the sign and the square root returns the non-negative root, so the output is always the magnitude — precisely the distance from , which is what absolute value measures.
Why can a case in the equation give a number that then fails its own assumption?
Each case is solved under the hypothesis that the inside has a certain sign; the algebra does not enforce that hypothesis, so the answer must be tested against it and thrown out if it violates the region it came from.
Why does shifting from to move the "centre" of every solution to ?
measures distance from , not ; it is a horizontal translation, so all "distance " answers pivot around instead of the origin.

Edge cases

when : how many solutions?
Exactly one — the two branches and are the same equation, so the double answer degenerates into a single point.
: what is the solution set?
Only where . Since can never be negative, "" forces "", collapsing a band to one point.
: solution set?
Empty. No distance is strictly less than , so nothing qualifies — a common trap disguised as an ordinary inequality.
: solution set?
All real numbers. It is always true, so the solution is the entire line .
(i.e. in the greater-than grammar): solution set?
All nonzero — that is, or , written . The two rays close right up to the centre but leave the single point excluded, since is not strictly greater than .
when : solution set?
All real numbers. Every distance already exceeds a negative , so the "outside including" rays swallow the whole line.
(the smallest possible right side): what happens?
is the minimum distance-sum, equal to the gap between the two centres, so the whole interval satisfies it — infinitely many solutions, not two isolated ones.
(below the minimum): solution set?
Empty. The sum of distances to and can never be smaller than the -unit gap between them, so no works.
at the exact boundary, e.g. does solve ?
No — at we get , which is not strictly greater than ; strict inequalities exclude their endpoints, so the boundary point is left out.