Absolute Value Equation Solver – Branches, Extraneous Roots & Graphs
An absolute value equation contains an expression wrapped in| | bars, such as |ax + b| = c. Because|expression| strips away the sign of whatever is inside it, every absolute value equation actually represents two possible cases: the expression inside the bars could be non-negative, or it could be negative. Solving the equation means splitting it into these two branches, solving each branch as an ordinary linear equation, and then checking every candidate to make sure it truly satisfies the original equation.
The Three Supported Forms
This tool covers the three forms of absolute value equations that appear throughout algebra courses:
|ax + b| = c
A constant on the right. Two, one, or zero solutions depending on the sign of c.
|ax + b| = cx + d
A linear expression on the right. Requires checking every candidate for extraneous roots.
|ax + b| = |cx + d|
Two absolute values. Every branch root is automatically valid — no extraneous check needed.
Why the Right-Hand Side Sign Matters
For the |ax + b| = c form, the sign of c immediately tells you what to expect. Since an absolute value can never be negative, c < 0 guarantees no solution. When c = 0, the two branches collapse to the same equation, giving exactly one solution. When c > 0, the two branches produce two distinct values, unless they coincide.
|x − k| = r asks: which points are exactly a distance r fromk on the number line? The two solutions are k − r and k + r — the branch split is really just this distance idea in algebraic form.Extraneous Roots in the Linear-RHS Form
When the right-hand side contains x — the |ax + b| = cx + d form — splitting into branches can introduce extraneous solutions: candidate values that solve a branch equation but fail the original equation because they would requirecx + d to be negative. This tool substitutes every branch candidate back into|ax + b| = cx + d and discards any candidate whose left- and right-hand sides do not match, showing the exact numeric check that caused the rejection.
Double Absolute Value Equations
For |ax + b| = |cx + d|, both branch equations — ax + b = cx + d and ax + b = −(cx + d) — are exact algebraic splits of the original equation, so every root found this way is automatically valid. The only cleanup needed is deduplicating roots when both branches happen to produce the same value.
Degenerate Cases (a = 0)
If the coefficient a is zero, the expression inside the bars becomes a plain constant |b|, and the equation no longer depends on x at all. Each branch is still solved through the shared linear-equation logic, which correctly reports an identity (infinitely many solutions) when the constant equation is true for every x, or a contradiction (no solution) when it is false.
Reading the Graph
The graph plots y = |ax + b| — a V-shaped curve with its corner (the vertex) at x = −b/a — against the right-hand side, drawn as a horizontal line, a sloped line, or a second V-curve depending on the selected form. Every accepted solution is marked where the two curves cross; these intersection points are the graphical meaning of "solving the equation."
Exact Fractions and Precision
Solutions are displayed both as decimals, rounded to your chosen precision (0 to 10 places), and as exact simplified fractions when the result is not a whole number. Toggle Show fractions to hide the fraction line if you only need decimal answers.
Practical Applications
- Tolerance and quality control — a part is acceptable when its measurement differs from a target by at most a fixed amount.
- Temperature ranges — finding values a fixed number of degrees away from a set point.
- Error bounds — expressing how far a measured or estimated value can deviate from the true value.
- Distance problems — any "how far apart" question on a number line reduces to an absolute value equation.
Tips for Accurate Results
- Use the Try an example buttons to quickly see two-solution, one-solution, no-solution, extraneous-root, and double-absolute-value cases.
- Toggle Show step-by-step to see the full branch derivation and every verification check.
- Remember: for the
|ax + b| = cform, a negative c always means no solution — no calculation is needed to know that in advance.