Absolute Value Cases: Split Into Two Branches

This guide sits inside the Algebra study map, where you can see the neighboring moves, models, and next-step guides that connect this principle to the rest of algebra.

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | FAQ

---

The Principle

The move: Replace an absolute value equation $\lvert u \rvert = a$ with two branches: $u = a$ or $u = -a$.

The invariant: When $a \ge 0$, the solution set of $\lvert u \rvert = a$ equals the union of the solution sets of $u = a$ and $u = -a$.

Pattern: $\lvert u \rvert = a \iff (u = a \vee u = -a), \qquad a \ge 0$

Legal ✓	Illegal ✗
$\lvert x - 3 \rvert = 5 \Rightarrow (x - 3 = 5) \vee (x - 3 = -5)$	$\lvert x - 3 \rvert = -2 \Rightarrow (x - 3 = -2) \vee (x - 3 = 2)$

The illegal column is the critical near-miss: the expression looks syntactically ready for a case-split, but $a = -2 < 0$ fails the condition. An absolute value can never equal a negative number, so $\lvert x - 3 \rvert = -2$ has no real solution — the correct answer is “no solution,” not two extraneous roots.

---

Conditions of Applicability

Condition: $a \ge 0$

Before applying, check: Is the right-hand side of the absolute value equation non-negative? If there is an expression on the right (e.g. $3k - 1$), verify or assume $a \ge 0$ before splitting.

If the condition is violated: Splitting $\lvert u \rvert = a$ when $a < 0$ produces two equations that have solutions, but those solutions are extraneous — none of them satisfy the original equation because an absolute value can never equal a negative number.

• Negative RHS: If $a < 0$, stop immediately and write “no solution.” Do not perform the case-split.
• Expression on the RHS: If $a$ is a variable expression (e.g. $2k - 4$), you must either restrict to values where $2k - 4 \ge 0$ or handle the two sub-cases separately: one where $a \ge 0$ and one where $a < 0$ yields no solution from the absolute value branch.

Want the complete framework behind this guide? Read Masterful Learning.

This move starts from the meaning established in Absolute Value Definition. Compare it with Square Root Property when two algebraic branches appear for a different reason, and use it next with Multiplicative Inequality when solving the resulting cases requires inequality steps.

---

Common Failure Modes

Failure mode: Split $\lvert u \rvert = a$ without checking the sign of $a$; if $a < 0$, the two resulting equations are solved and the extraneous roots are reported as valid → incorrect solution set.

Debug: Before splitting, glance at the right side: is it a literal negative number, or an expression that could evaluate negatively? If either, the split is blocked.

Failure mode: Write only one branch ($u = a$) instead of both ($u = a$ and $u = -a$) → miss the second solution.

Debug: A case-split always produces exactly two branches when $a > 0$; when $a = 0$ the two branches coincide, so the solution set has exactly one value ($u = 0$). Count branches before moving on.

---

Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

• Where do the two cases $u = a$ and $u = -a$ come from in terms of the absolute value definition?
• If $a = 0$, does the split still produce two distinct solutions? What is the solution set?

For the Principle

• How do you verify, after solving both cases, that neither solution is extraneous?
• If the right-hand side involves a variable (e.g. $\lvert 2x + 1 \rvert = x + 3$), how does the $a \ge 0$ condition change your procedure?

Between Principles

• How does Absolute Value Cases relate to the Absolute Value Definition, which defines $\lvert x \rvert$ as a piecewise function?
• Compare this move to Zero Product Property: both split a single equation into two simpler ones. What is the structural difference?

Generate an Example

• Write an equation of the form $\lvert u \rvert = a$ where $a$ is a variable expression. Then describe a situation where a student could perform the case-split and obtain a false solution because they did not check $a \ge 0$.

---

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the move in one sentence: _____Replace |u| = a with the two cases u = a or u = −a, valid only when a ≥ 0.

Write the canonical equivalence: _____$\lvert u \rvert = a \iff (u = a \vee u = -a)$

State the canonical condition: _____$a \ge 0$

---

Practice Ground

Use these exercises to build move-selection fluency. (See Self-Explanation for how to use worked examples effectively.)

Procedure Walkthrough

Starting from $\lvert 2x - 1 \rvert = 7$, reach the two solution values for $x$. (Note: $a = 7 \ge 0$, so the split is valid.)

Step	Expression	Operation
0	$\lvert 2x - 1 \rvert = 7$	—
1	$2x - 1 = 7 \quad \vee \quad 2x - 1 = -7$	Apply Absolute Value Cases ($a = 7 \ge 0$)
2	$2x = 8 \quad \vee \quad 2x = -6$	Add 1 to both sides of each equation (Additive Equality)
3	$x = 4 \quad \vee \quad x = -3$	Divide both sides of each equation by 2 (Multiplicative Equality)

Both solutions check out in the original: $\lvert 2(4)-1\rvert = \lvert 7 \rvert = 7$ and $\lvert 2(-3)-1\rvert = \lvert -7 \rvert = 7$.

---

Drills

Format D: Goal-Directed Micro-Chain

Micro-chain: Starting from $\lvert x + 4 \rvert = 9$, reach the solution set for $x$. ($a = 9 \ge 0$.)

Reveal

Apply Absolute Value Cases:

$x + 4 = 9 \quad \vee \quad x + 4 = -9$

Subtract 4 from each branch:

$x = 5 \quad \vee \quad x = -13$

Solution set: $\{5,\,-13\}$.

---

Micro-chain: Starting from $\lvert 3x \rvert = 15$, reach the solution set for $x$. ($a = 15 \ge 0$.)

Reveal

Apply Absolute Value Cases:

$3x = 15 \quad \vee \quad 3x = -15$

Divide each branch by 3:

$x = 5 \quad \vee \quad x = -5$

---

Micro-chain: Starting from $\lvert 2x - 5 \rvert = 3$, solve for $x$. ($a = 3 \ge 0$.)

Reveal

Apply Absolute Value Cases:

$2x - 5 = 3 \quad \vee \quad 2x - 5 = -3$

Add 5 to both sides of each branch:

$2x = 8 \quad \vee \quad 2x = 2$

Divide by 2:

$x = 4 \quad \vee \quad x = 1$

---

Micro-chain: Starting from $3\lvert x + 2 \rvert = 12$, isolate the absolute value and then apply the case-split.

Reveal

Divide both sides by 3 first:

$\lvert x + 2 \rvert = 4 \quad (a = 4 \ge 0)$

Apply Absolute Value Cases:

$x + 2 = 4 \quad \vee \quad x + 2 = -4$

Subtract 2:

$x = 2 \quad \vee \quad x = -6$

---

Negative drill — eligibility check: Can you apply Absolute Value Cases to $\lvert x - 1 \rvert = -5$? Explain.

Reveal

No. The right-hand side $a = -5 < 0$ violates the condition $a \ge 0$. An absolute value is always non-negative, so $\lvert x - 1 \rvert = -5$ has no real solution. Performing the split would yield $x - 1 = -5$ and $x - 1 = 5$, giving $x = -4$ and $x = 6$ — both extraneous.

---

Negative drill — identify the legal step: In this three-step chain, which step correctly applies Absolute Value Cases and which one is illegal?

1. $\lvert 2x + 1 \rvert = 0$
2. $2x + 1 = 0 \quad \vee \quad 2x + 1 = 0$
3. $\lvert 2x + 1 \rvert = -1 \quad \Rightarrow \quad 2x + 1 = -1 \quad \vee \quad 2x + 1 = 1$ (proposed)

Reveal

• Step 1 → 2 is legal. $a = 0 \ge 0$, so the split is valid. Both branches are identical ($u = 0$), giving the single solution $x = -\tfrac{1}{2}$.
• Step 3 is illegal. $a = -1 < 0$ violates the condition. The split must not be performed; the correct conclusion is “no solution” for that equation.

---

Micro-chain (variable RHS): Starting from $\lvert 2x + 1 \rvert = x + 3$, find all solutions for $x$. The RHS is an expression — check whether $a \ge 0$ is satisfied at each candidate solution.

Reveal

The RHS is $a = x + 3$, which must be $\ge 0$ for the split to be valid; any solution found must satisfy $x \ge -3$.

Apply Absolute Value Cases:

$2x + 1 = x + 3 \quad \vee \quad 2x + 1 = -(x + 3)$

Branch 1: $2x + 1 = x + 3 \Rightarrow x = 2$. Check condition: $2 \ge -3$ ✓. Verify: $\lvert 2(2)+1\rvert = 5 = 2 + 3$ ✓.

Branch 2: $2x + 1 = -x - 3 \Rightarrow 3x = -4 \Rightarrow x = -\tfrac{4}{3}$. Check condition: $-\tfrac{4}{3} \ge -3$ ✓. Verify: $\lvert 2(-\tfrac{4}{3})+1\rvert = \tfrac{5}{3} = -\tfrac{4}{3} + 3$ ✓.

Solution set: $\left\{2,\,-\tfrac{4}{3}\right\}$.

---

Format A: Forward Step

Apply the principle once. ($a \ge 0$ confirmed.) Write the two-branch result.

$\lvert 5x \rvert = 20$

Reveal

$a = 20 \ge 0$, so apply Absolute Value Cases:

$5x = 20 \quad \vee \quad 5x = -20$

---

Apply the principle once. ($a \ge 0$ confirmed.)

$\lvert x - 7 \rvert = 0$

Reveal

$a = 0 \ge 0$, so apply Absolute Value Cases:

$x - 7 = 0 \quad \vee \quad x - 7 = 0$

Both branches are identical. There is exactly one solution: $x = 7$.

---

Apply the principle once. ($a \ge 0$ confirmed.)

$\lvert 4 - x \rvert = 11$

Reveal

$a = 11 \ge 0$, so apply Absolute Value Cases:

$4 - x = 11 \quad \vee \quad 4 - x = -11$

---

Is this application correct? Explain.

$\lvert x^2 - 4 \rvert = -3 \quad \Rightarrow \quad x^2 - 4 = -3 \quad \vee \quad x^2 - 4 = 3$

Reveal

Incorrect. The right-hand side $a = -3 < 0$ fails the condition $a \ge 0$. The equation $\lvert x^2 - 4 \rvert = -3$ has no real solution — the case-split must not be performed.

---

Apply the principle once. The RHS is an expression — confirm it is non-negative before splitting. Given that $k = 6$:

$\lvert x + k \rvert = k - 2$

Reveal

Substitute $k = 6$: $\lvert x + 6 \rvert = 4$.

$a = 4 \ge 0$ ✓, so apply Absolute Value Cases:

$x + 6 = 4 \quad \vee \quad x + 6 = -4$

---

Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Starting from $2\lvert 3x - 6 \rvert - 4 = 10$, reach both solution values for $x$ using Absolute Value Cases.

Full solution

Step	Expression	Move
0	$2\lvert 3x - 6 \rvert - 4 = 10$	—
1	$2\lvert 3x - 6 \rvert = 14$	Add 4 to both sides (Additive Equality)
2	$\lvert 3x - 6 \rvert = 7$	Divide both sides by 2 (Multiplicative Equality, $2 \neq 0$); $a = 7 \ge 0$ confirmed
3	$3x - 6 = 7 \;\vee\; 3x - 6 = -7$	Apply Absolute Value Cases
4	$3x = 13 \;\vee\; 3x = -1$	Add 6 to both sides of each branch (Additive Equality)
5	$x = \tfrac{13}{3} \;\vee\; x = -\tfrac{1}{3}$	Divide by 3 (Multiplicative Equality)

Check: $\lvert 3 \cdot \tfrac{13}{3} - 6 \rvert = \lvert 7 \rvert = 7$ ✓ and $\lvert 3 \cdot (-\tfrac{1}{3}) - 6 \rvert = \lvert -7 \rvert = 7$ ✓.

---

FAQ

What is Absolute Value Cases?

Absolute Value Cases is the algebraic move that replaces $\lvert u \rvert = a$ with the disjunction $u = a$ or $u = -a$. It works because the definition of absolute value forces $u$ to land on one of two symmetric positions on the number line whenever the distance $a$ is non-negative.

When is Absolute Value Cases valid?

The move is valid whenever the right-hand side satisfies $a \ge 0$. If $a$ is a literal number, simply check its sign. If $a$ is an expression, you must verify or assume that expression is non-negative before splitting.

What goes wrong if I forget the condition?

If $a < 0$, the two resulting equations will have numeric solutions, but those solutions are extraneous — substituting them back into the original equation shows $\lvert u \rvert$ equals a positive number, not $a$. You will report solutions that do not exist.

Why does $a = 0$ produce only one solution?

When $a = 0$, both branches collapse to $u = 0$ — the two branches coincide, so the solution set contains exactly one value. This is not a sign of error — it is the degenerate case of the move.

How does Absolute Value Cases differ from the Absolute Value Definition?

The Absolute Value Definition describes what absolute value is (piecewise: $x$ for $x \ge 0$, $-x$ for $x < 0$). Absolute Value Cases is an operation: a legal move for solving equations. The definition is the theoretical foundation; this move is what you apply when you see $\lvert u \rvert = a$ and want to remove the bars.

Does Absolute Value Cases apply to absolute value inequalities?

No. This guide covers equations of the form $\lvert u \rvert = a$. Absolute value inequalities such as $\lvert u \rvert < a$ or $\lvert u \rvert > a$ use a different case structure and should be treated as a separate topic.

---

How This Fits in Unisium

In the Unisium Study System, Absolute Value Cases appears as a key isolate-type move in the algebra principle map. The system drills condition recognition — not just the mechanical split — so you build the reflex to check $a \ge 0$ before every case-split, not as an afterthought. The spaced repetition scheduler prioritizes this condition check because skipping it is the single most common source of extraneous solutions in absolute value problems.

Explore further:

• Absolute Value Definition — The representational foundation this move is built on
• Elaborative Encoding — Build deep understanding of why $a \ge 0$ matters
• Retrieval Practice — Make the condition and canonical pattern instantly accessible

Ready to master Absolute Value Cases? Start practicing with Unisium or explore the full learning framework in Masterful Learning.

Masterful Learning

The study system for physics, math, & programming that works: retrieval, connection, explanation, problem solving, and more.

Read the book (opens in new tab) ISBN 979-8-2652-9642-9