Distance, Cases, and the Geometry of the Number Line
The absolute value function strips a number of its sign, returning its distance from zero on the number line. When this function wraps around an expression containing an unknown, the resulting equation splits into cases — each case a separate equation to solve, each constrained to the interval where that case applies. Absolute value equations are not inherently difficult, but they demand a structured approach. The case-splitting method is the reliable path, and the geometric interpretation as distance often reveals the answer faster than the algebra.
Definition of Absolute Value
The absolute value of a real number x, written ∣x∣, is defined piecewise:
∣x∣={x−xif x≥0if x<0
The notation −x in the second case does not mean "a negative number." It means "the opposite of x." When x is already negative, −x is positive. The absolute value function takes any input and returns a non-negative output: ∣x∣≥0 for every real x, with equality only when x=0.
Geometrically, ∣x∣ is the distance from x to the origin on the number line. The number −7 sits 7 units from zero, so ∣−7∣=7. The number 4 sits 4 units from zero, so ∣4∣=4. Distance is inherently non-negative, which is why absolute value never produces a negative result.
This non-negativity has an immediate consequence for equations: if ∣f(x)∣=k and k<0, the equation has no solution. No expression inside absolute value bars can produce a negative output. The sign of the right-hand side is the first thing to check before any case analysis begins.
The Basic Equation
The equation ∣A∣=B, where A is an expression and B is a constant, has three possible structures depending on the sign of B.
When B>0, the equation splits into two cases: A=B or A=−B. Both must be solved, and both solutions (if they exist) belong to the solution set. The equation ∣2x−3∣=7 becomes 2x−3=7 or 2x−3=−7, giving x=5 or x=−2.
When B=0, the equation reduces to a single case: A=0. There is no split because zero is its own opposite. The equation ∣4x+1∣=0 gives 4x+1=0, so x=−41.
When B<0, no solution exists. The equation ∣x+3∣=−2 asks for a non-negative quantity to equal −2, which is impossible. The solution set is empty, and no algebra is needed to determine this.
Checking the sign of the right-hand side before proceeding is not a shortcut — it is the logical first step. A negative right-hand side eliminates the equation immediately, and recognizing this saves the effort of setting up cases that cannot produce valid solutions.
Solving Equations of the Form |f(x)| = k
When the expression inside the absolute value is a function of x rather than x alone, the case-splitting method applies in the same way. The equation ∣f(x)∣=k (with k>0) generates two separate equations:
f(x)=kandf(x)=−k
Each equation is solved independently using whatever method the form of f(x) requires. The union of both solution sets is the complete answer.
When f(x) is linear, each case produces a linear equation with exactly one solution, so the original absolute value equation has exactly two solutions (assuming k>0). The equation ∣3x+5∣=11 yields 3x+5=11 (so x=2) and 3x+5=−11 (so x=−316).
When f(x) is quadratic, each case is a quadratic equation that may contribute zero, one, or two solutions. The equation ∣x2−4∣=5 splits into x2−4=5 and x2−4=−5. The first gives x2=9, so x=±3. The second gives x2=−1, which has no real solutions. The complete solution set is {−3,3}.
The method extends to any expression inside the absolute value. The internal structure determines how hard each case is to solve, but the case-splitting framework is always the same.
Equations with Absolute Value on Both Sides
When absolute value appears on both sides — ∣f(x)∣=∣g(x)∣ — the equation asserts that two expressions are equal in magnitude, possibly differing in sign. This decomposes into two cases:
f(x)=g(x)orf(x)=−g(x)
Each case is solved separately, and the results are combined.
The equation ∣2x−1∣=∣x+4∣ produces two equations. From 2x−1=x+4: x=5. From 2x−1=−(x+4): 2x−1=−x−4, so 3x=−3 and x=−1. Both candidates should be verified: ∣2(5)−1∣=∣9∣=9 and ∣5+4∣=∣9∣=9, confirming x=5. Similarly, ∣2(−1)−1∣=∣−3∣=3 and ∣−1+4∣=∣3∣=3, confirming x=−1. The solution set is {−1,5}.
An alternative approach uses the algebraic identity ∣A∣=∣B∣ if and only if A2=B2. Squaring both sides removes all absolute value bars at once, producing the equation (2x−1)2=(x+4)2. Expanding and simplifying yields a polynomial equation. This method is algebraically equivalent to case-splitting but carries a risk: squaring can introduce extraneous solutions, so every candidate must be checked in the original equation.
Equations with Multiple Absolute Value Terms
Equations containing two or more absolute value terms — such as ∣x−1∣+∣x+3∣=8 — cannot be handled by a single case split. Each absolute value expression changes its behavior at a critical point where the expression inside equals zero, and the equation must be analyzed separately on each interval defined by these critical points.
For ∣x−1∣+∣x+3∣=8, the critical points are x=1 and x=−3. These divide the number line into three intervals: x<−3, −3≤x≤1, and x>1. On each interval, every absolute value expression has a definite sign, so the piecewise definition removes the bars entirely.
On x<−3: both x−1<0 and x+3<0, so the equation becomes −(x−1)+(−(x+3))=8, which simplifies to −2x−2=8, giving x=−5. Since −5<−3, this value lies in the interval and is valid.
On −3≤x≤1: x−1≤0 and x+3≥0, so the equation becomes −(x−1)+(x+3)=8, which simplifies to 4=8. This is false, so no solution exists in this interval.
On x>1: both expressions are positive, so the equation becomes (x−1)+(x+3)=8, giving 2x+2=8 and x=3. Since 3>1, this is valid.
The solution set is {−5,3}. The interval method is systematic: identify critical points, solve on each interval using the appropriate piecewise form, and verify that each candidate belongs to the interval where it was derived.
Absolute Value and Extraneous Solutions
The case-splitting method, when applied correctly, does not generate extraneous solutions. Each case defines a condition under which the absolute value expression takes a specific sign, and solving within that condition produces only valid results — provided the solution is checked against the interval constraint.
Extraneous solutions enter through a different route: squaring. The equation ∣x−2∣=3x−4 can be solved by case-splitting (the reliable method) or by squaring both sides to obtain (x−2)2=(3x−4)2. Squaring eliminates the absolute value but is not reversible — it treats ∣A∣=B and ∣A∣=−B identically, and if B takes negative values for some x, those values may appear as solutions to the squared equation without satisfying the original.
For this equation, case-splitting gives two cases. From x−2=3x−4: x=1. Check: ∣1−2∣=1 and 3(1)−4=−1. Since 1=−1, this candidate is extraneous. From −(x−2)=3x−4: −x+2=3x−4, so x=23. Check: ∣23−2∣=21 and 3(23)−4=21. This one holds. The only solution is x=23.
The first candidate failed because the right-hand side 3x−4 was negative at x=1. An absolute value equation ∣A∣=B requires B≥0 at the solution point. This constraint is automatically enforced by careful case-splitting but easily missed when squaring.
Geometric Interpretation
Absolute value measures distance on the number line, and this interpretation converts many equations into geometric statements that can be read directly.
The equation ∣x−a∣=d asks: which points on the number line are exactly d units from a? There are two such points, one on each side: x=a+d and x=a−d. The solutions are symmetric about a, and a is their midpoint. The equation ∣x−5∣=3 has solutions x=8 and x=2, both exactly 3 units from 5.
The equation ∣x−a∣=∣x−b∣ asks: which point is equidistant from a and b? On the number line, exactly one point lies at equal distance from two distinct fixed points — the midpoint x=2a+b. The equation ∣x−1∣=∣x−7∣ has the single solution x=4, the midpoint of 1 and 7.
The equation ∣x−a∣+∣x−b∣=d asks: which points have the property that their total distance to a and b equals d? The minimum possible value of ∣x−a∣+∣x−b∣ is ∣a−b∣ (achieved by any x between a and b). If d<∣a−b∣, no solution exists. If d=∣a−b∣, every point in the closed interval [a,b] is a solution. If d>∣a−b∣, exactly two solutions exist, one beyond each endpoint.
These geometric readings do not replace the algebraic method, but they provide a check on the number and location of solutions before any computation begins.