Mathematical-Reasoning Β· Unit 9 Β· Video 3 Β· Interactive Practice

Absolute Value by Cases: Proving |x| = a and |βˆ’x| = |x|

IKey Formulas

FormulaNameWhat it gives the proof
∣x∣={xifΒ xβ‰₯0βˆ’xifΒ x<0|x| = \begin{cases} x & \text{if } x \ge 0 \\ -x & \text{if } x < 0 \end{cases}Definition of absolute valueOne formula for each sign of xx; both lines give ∣x∣β‰₯0|x| \ge 0
∣x∣=aβ€…β€ŠβŸΊβ€…β€Š(x=aΒ orΒ x=βˆ’a)|x| = a \iff (x = a \text{ or } x = -a), for a>0a > 0Theorem, Part 1Turns one absolute-value equation into two ordinary equations
βˆ£βˆ’x∣=∣x∣|-x| = |x| for every x∈Rx \in \mathbb{R}Theorem, Part 2Proved with three cases: x>0x > 0, x=0x = 0, x<0x < 0
((P∨Q)β†’R)≑((Pβ†’R)∧(Qβ†’R))\big((P \vee Q) \to R\big) \equiv \big((P \to R) \wedge (Q \to R)\big)A hypothesis that is an "or"The converse of Part 1 is proved one case at a time

Key Insight: Whenever an absolute value appears, in a proof or an equation, first ask which sign the inside has, and handle each sign as its own labelled case. Here βˆ’x-x means the opposite of xx, not a negative number: when x<0x < 0, βˆ’x>0-x > 0.

IIVisualization 1 β€” Which Line of the Definition Applies?

Each line of the definition handles one sign, and xx and βˆ’x-x fall on opposite lines unless x=0x = 0.

∣u∣=u|u| = u if uβ‰₯0u \ge 0
∣u∣=βˆ’u|u| = -u if u<0u < 0

IIIVisualization 2 β€” Why Part 1 Needs a>0a > 0

For a>0a > 0, ∣x∣=a|x| = a holds exactly when x=ax = a or x=βˆ’ax = -a; for a<0a < 0 the converse fails.

IVVisualization 3 β€” Solving Equations with Part 1

Part 1 splits each equation in two: the inside sits at distance aa from 00, on one side or the other.

Step 1 β€” Identify xx and aa. In ∣t∣=12|t| = 12 the inside is tt itself, and a=12>0a = 12 > 0, so Part 1 applies.
Step 2 β€” Split into two cases. Part 1 with x=tx = t gives t=12t = 12 or t=βˆ’12t = -12.
Step 3 β€” Solve each case. Nothing is left to solve: t=12t = 12 or t=βˆ’12t = -12.
Step 4 β€” Check. ∣12∣=12|12| = 12, and βˆ£βˆ’12∣=βˆ’(βˆ’12)=12|-12| = -(-12) = 12.
Step 1 β€” Identify xx and aa. In ∣t+3∣=5|t + 3| = 5 the expression t+3t + 3 plays the role of xx, and a=5>0a = 5 > 0.
Step 2 β€” Split into two cases. t+3=5t + 3 = 5 or t+3=βˆ’5t + 3 = -5.
Step 3 β€” Solve each case. Subtract 33 in each case: t=2t = 2 or t=βˆ’8t = -8.
Step 4 β€” Check. ∣2+3∣=∣5∣=5|2 + 3| = |5| = 5, and βˆ£βˆ’8+3∣=βˆ£βˆ’5∣=5|-8 + 3| = |-5| = 5. Keeping only the positive case would lose t=βˆ’8t = -8.
Step 1 β€” Identify xx and aa. In ∣3tβˆ’4∣=8|3t - 4| = 8 the expression 3tβˆ’43t - 4 plays the role of xx, and a=8>0a = 8 > 0.
Step 2 β€” Split into two cases. 3tβˆ’4=83t - 4 = 8 or 3tβˆ’4=βˆ’83t - 4 = -8.
Step 3 β€” Solve each case. Add 44: 3t=123t = 12 or 3t=βˆ’43t = -4. Divide by 33: t=4t = 4 or t=βˆ’43t = -\tfrac{4}{3}.
Step 4 β€” Check. 3(4)βˆ’4=83(4) - 4 = 8, and 3(βˆ’43)βˆ’4=βˆ’83\left(-\tfrac{4}{3}\right) - 4 = -8 with βˆ£βˆ’8∣=8|-8| = 8. The solution t=βˆ’43t = -\tfrac{4}{3} is negative, which is allowed: the theorem needs only a>0a > 0.

VQuiz Questions

Problem 1 Β· Apply Part 1

Solve ∣tβˆ’2∣=7|t - 2| = 7 for the real number tt.

βœ… Correct! With tβˆ’2t - 2 in the role of xx and a=7>0a = 7 > 0, Part 1 gives tβˆ’2=7t - 2 = 7 or tβˆ’2=βˆ’7t - 2 = -7, so t=9t = 9 or t=βˆ’5t = -5.
❌ Only half the cases. t=9t = 9 is a solution, but Part 1 also allows tβˆ’2=βˆ’7t - 2 = -7, which gives t=βˆ’5t = -5, and βˆ£βˆ’5βˆ’2∣=βˆ£βˆ’7∣=7|-5 - 2| = |-7| = 7.
❌ The minus sign goes on the right side, not on tt. The second case is tβˆ’2=βˆ’7t - 2 = -7, not t=βˆ’9t = -9; indeed βˆ£βˆ’9βˆ’2∣=11|-9 - 2| = 11.
❌ Check the arithmetic. To undo tβˆ’2t - 2, add 22: tβˆ’2=7t - 2 = 7 gives t=9t = 9, not 55, and ∣5βˆ’2∣=3β‰ 7|5 - 2| = 3 \ne 7.
Show solution

Part 1 holds for each real number xx, so it holds for x=tβˆ’2x = t - 2. Since a=7>0a = 7 > 0,

∣tβˆ’2∣=7β€…β€ŠβŸΊβ€…β€Štβˆ’2=7Β orΒ tβˆ’2=βˆ’7.|t - 2| = 7 \iff t - 2 = 7 \text{ or } t - 2 = -7.

Case 1: tβˆ’2=7t - 2 = 7, so t=9t = 9. Case 2: tβˆ’2=βˆ’7t - 2 = -7, so t=βˆ’5t = -5.

Check: ∣9βˆ’2∣=∣7∣=7|9 - 2| = |7| = 7 and βˆ£βˆ’5βˆ’2∣=βˆ£βˆ’7∣=7|-5 - 2| = |-7| = 7. So t=9t = 9 or t=βˆ’5t = -5.

Problem 2 Β· Reading the Second Line

Given: xx is a real number with x<0x < 0. Which statement is true?

βœ… Correct! Since x<0x < 0, the second line gives ∣x∣=βˆ’x|x| = -x, and the opposite of a negative number is positive.
❌ Wrong line. The first line, ∣x∣=x|x| = x, applies only when xβ‰₯0x \ge 0. Here x<0x < 0, so ∣x∣=x|x| = x would make ∣x∣|x| negative.
❌ βˆ’x-x is not a negative number. The minus sign means "the opposite of xx". With x=βˆ’7x = -7, βˆ’x=7-x = 7, so ∣x∣=7>0|x| = 7 > 0.
❌ Apply the definition to βˆ’x-x. Since x<0x < 0, βˆ’x>0-x > 0, so the first line gives βˆ£βˆ’x∣=βˆ’x|-x| = -x, which is positive and not equal to xx. For example, βˆ£βˆ’(βˆ’7)∣=∣7∣=7β‰ βˆ’7|-(-7)| = |7| = 7 \ne -7.
Show solution

Because x<0x < 0, the second line of the definition applies: ∣x∣=βˆ’x|x| = -x. Multiplying x<0x < 0 by βˆ’1-1 reverses the inequality, so βˆ’x>0-x > 0. Statement (a) is true.

(b) fails because ∣x∣=x<0|x| = x < 0 would contradict ∣x∣β‰₯0|x| \ge 0. (c) misreads βˆ’x-x as a negative number. (d) fails because βˆ’x>0-x > 0 gives βˆ£βˆ’x∣=βˆ’x|-x| = -x, and βˆ’xβ‰ x-x \ne x when xβ‰ 0x \ne 0.

Problem 3 Β· A Negative Coefficient

Solve ∣5βˆ’2t∣=3|5 - 2t| = 3 for the real number tt.

βœ… Correct! Both cases give positive solutions here: 5βˆ’2t=35 - 2t = 3 gives t=1t = 1, and 5βˆ’2t=βˆ’35 - 2t = -3 gives t=4t = 4.
❌ Watch the sign when dividing by βˆ’2-2. βˆ’2t=βˆ’2-2t = -2 gives t=1t = 1, and βˆ’2t=βˆ’8-2t = -8 gives t=4t = 4. Check: ∣5βˆ’2(βˆ’1)∣=7β‰ 3|5 - 2(-1)| = 7 \ne 3.
❌ Only half the cases. Part 1 also gives 5βˆ’2t=βˆ’35 - 2t = -3, so βˆ’2t=βˆ’8-2t = -8 and t=4t = 4; indeed ∣5βˆ’8∣=βˆ£βˆ’3∣=3|5 - 8| = |-3| = 3.
❌ The second case has a sign slip. 5βˆ’2t=βˆ’35 - 2t = -3 gives βˆ’2t=βˆ’8-2t = -8, so t=4t = 4. Check: ∣5βˆ’2(βˆ’4)∣=13β‰ 3|5 - 2(-4)| = 13 \ne 3.
Show solution

Here 5βˆ’2t5 - 2t plays the role of xx and a=3>0a = 3 > 0, so Part 1 gives two cases.

Case 1: 5βˆ’2t=35 - 2t = 3. Subtract 55: βˆ’2t=βˆ’2-2t = -2. Divide by βˆ’2-2: t=1t = 1.

Case 2: 5βˆ’2t=βˆ’35 - 2t = -3. Subtract 55: βˆ’2t=βˆ’8-2t = -8. Divide by βˆ’2-2: t=4t = 4.

Check: ∣5βˆ’2∣=3|5 - 2| = 3 and ∣5βˆ’8∣=βˆ£βˆ’3∣=3|5 - 8| = |-3| = 3. So t=1t = 1 or t=4t = 4. The case labels refer to the sign of the inside, not of tt: both solutions are positive.

Problem 4 Β· Where the Hypothesis Matters

Consider the statement "for each real number xx, if x=ax = a or x=βˆ’ax = -a, then ∣x∣=a|x| = a." For which value of aa is this statement false?

βœ… Correct! With a=βˆ’3a = -3, the value x=βˆ’3x = -3 satisfies x=ax = a, but βˆ£βˆ’3∣=3β‰ βˆ’3|-3| = 3 \ne -3.
❌ This is the theorem itself. For a=3>0a = 3 > 0, both ∣3∣=3|3| = 3 and βˆ£βˆ’3∣=3|-3| = 3, so the statement holds.
❌ The boundary case still works. The theorem assumes a>0a > 0, but for a=0a = 0 the hypothesis forces x=0x = 0, and ∣0∣=0=a|0| = 0 = a. The statement is true.
❌ Try a negative aa. An absolute value is never negative, so ∣x∣=a|x| = a cannot hold when a<0a < 0, yet x=ax = a is still possible.
Show solution

The proof of the converse used a>0a > 0 in both cases: it put aa in the first line of the definition and βˆ’a-a in the second.

For a=βˆ’3a = -3, take x=βˆ’3x = -3. Then x=ax = a is true, but since βˆ’3<0-3 < 0, ∣x∣=βˆ’(βˆ’3)=3|x| = -(-3) = 3, and 3β‰ βˆ’33 \ne -3. One counterexample makes the "for each" statement false.

For a=3a = 3 the statement is Part 1 of the theorem. For a=0a = 0 the hypothesis says x=0x = 0, and ∣0∣=0|0| = 0, so the statement is true even though the theorem does not cover this case.

Solved: 0 / 4