❧ Book II · Equations, Inequalities, & Systems ❧

The same move, both sides

An equation stays true for the same numbers when you do the same thing to both sides; solving is a chain of true sentences that ends when one of them names x.

The puzzle

Put 1 in for x in 3x + 4 = x + 10 and the two sides disagree: 7 and 11. Put 3 in and they agree: 13 and 13. The equation is a sentence, true for one of those numbers and false for the other. What can you do to it so that 3 stays true and 1 stays false, until the sentence simply says what x is?

The sentence 3x + 4 = x + 10 makes a truth claim about an unknown number x. For x = 1, the claim asserts that 7 = 11, which is demonstrably false. For x = 3, it asserts that 13 = 13, which is undeniably true. To solve an equation is not to manipulate meaningless scratches of graphite; it is to find the exact set of numbers that render the sentence true.

The fundamental law governing all algebraic manipulation is invariance under equal transformation: if two quantities are equal, applying the exact same mathematical operation to both quantities produces two new quantities that remain equal. Subtract 4 from both sides of 3x + 4 = x + 10, and you obtain 3x = x + 6. Test x = 3 again: 9 = 9, still true. Test x = 1 again: 3 = 7, still false.

Now subtract x from both sides: 2x = 6. Divide both sides by 2: x = 3. Every line in this chain of deduction is true for the exact same number, and the terminal line isolates that number by name.

Equations do not originate in textbooks; they originate in the real world as constraints and relationships. A fitness club requires a $25 initiation fee plus $15 per month, and a member has paid $145 in total. How many months have elapsed? To solve this, always begin by naming the unknown quantity with precision: let m be the number of months, not “months” and not “money”.

The monthly charges sum to 15m dollars. The total fee is 25 + 15m. Because the story establishes that this total equals $145, the mathematical constraint is 25 + 15m = 145. Subtract 25 from both sides: 15m = 120. Divide both sides by 15: m = 8. The answer is eight months.

Translating verbal relationships demands vigilance against the word-order trap. Consider the statement: “There are six times as many students as teachers.” Students frequently write 6s = t because the number 6 and the word “students” appear side by side in the sentence. Test this with concrete numbers: if a school has 30 students and 5 teachers, substituting into 6s = t produces 6(30) = 5, or 180 = 5, which is absurd.

The correct translation is s = 6t: the larger group (students) equals six times the smaller group (teachers). Testing small, sensible numbers is the universal diagnostic that distinguishes valid mathematical syntax from word-matching delusion.

In elementary schooling, teachers often teach a procedural shortcut: “Move the term across the equals sign and flip its sign.” While this mnemonic may produce the correct mechanical result, it describes an event that never happens. Nothing hops over an equals sign. The equals sign is not a permeable gate.

What actually occurs is simultaneous subtraction: on 3x + 4 = x + 10, we subtract 4 from the left side (4 − 4 = 0, leaving 3x) and we subtract 4 from the right side (10 − 4 = 6). The term on the left does not travel to the right; it is annihilated by its additive inverse, while the right side is correspondingly diminished.

The danger of the “crossing” myth is that students forget why the sign flipped. When an equation involves division or multiplication, students attempt to “move” numbers across without performing inverse operations on both sides. An algebraic step is legitimate if and only if you can explicitly declare the exact same operation executed simultaneously on both pans of the scale.

Solving an algebraic equation is not arithmetic computation; it is a formal mathematical proof. Each line represents a proposition deduced from the preceding line by an explicit axiom of real numbers. Consider 3(x − 2) = x + 8:

1. 3x − 6 = x + 8 (Distributive Property of Multiplication over Subtraction) 2. 2x − 6 = 8 (Subtraction Property of Equality: subtract x from both sides) 3. 2x = 14 (Addition Property of Equality: add 6 to both sides) 4. x = 7 (Division Property of Equality: divide both sides by 2).

Because each step is reversible, x = 7 implies 3(7 − 2) = 7 + 8 (15 = 15). The logic holds in both directions: if x = 7, the equation is true; and if the equation is true, x must equal 7.

Understanding solving as deductive proof illuminates unsafe operations. For example, dividing both sides by x is invalid if x could equal zero, because division by zero is undefined. Squaring both sides of an equation (e.g., from x = 3 to x² = 9) introduces extraneous solutions because (−3)² is also 9: the implication runs forward, but not backward. A valid algebraic step preserves the exact solution set—neither destroying true solutions nor creating counterfeit ones.

When you get dressed in the morning, you put on your socks first, and then your shoes. When you return home in the evening, in what order do you take them off? You must take off your shoes first, and only then can you remove your socks. Undoing an operation occurs in the strict reverse order of how it was applied.

Consider the expression 2(x + 5) = 18. Trace how x was assembled: start with x, add 5 (the sock), then multiply the entire sum by 2 (the shoe). To solve for x, you unwrap the expression from the outside in. The outermost operation—multiplying by 2—must be undone first. Divide both sides by 2: x + 5 = 9. Now undo the addition of 5: subtract 5 from both sides, yielding x = 4.

The reverse hierarchy is the master key to literal equations (formulas containing multiple variables). Consider the temperature conversion formula F = (9/5)C + 32. To solve for Celsius C, observe the wrapping: C is multiplied by 9/5, then 32 is added. To unwrap, undo the addition first: subtract 32 from both sides to get F − 32 = (9/5)C. Next, undo multiplication by 9/5 by multiplying both sides by its reciprocal 5/9: C = (5/9)(F − 32).

Fractions strike fear into novice algebra students, leading to messy cross-multiplication or arduous attempts to find common denominators line after line. The expert geometer uses a swift, decisive move: clearing denominators in one simultaneous stroke.

Consider the equation x/3 + (x − 2)/4 = 5/6. The denominators are 3, 4, and 6. The Least Common Multiple (LCM) of 3, 4, and 6 is 12. Because multiplying both sides of an equation by the same non-zero number preserves equality, multiply the entire equation by 12:

12 · [x/3 + (x − 2)/4] = 12 · [5/6] 4x + 3(x − 2) = 10 4x + 3x − 6 = 10 7x − 6 = 10 7x = 16 x = 16/7.

By scaling every term by 12, every fraction vanishes on line 2! The problem immediately collapses into a standard linear equation with clean integer coefficients. Clearing fractions is not a trick; it is the distributive property combined with the multiplication property of equality.

Almost every student memorizes the rule: “When you multiply or divide an inequality by a negative number, flip the sign.” But why? Without a geometric reason, students forget the rule under pressure or apply it randomly to any negative number they see.

The reason is the geometric structure of the number line. Consider two positive numbers: 2 and 5. Because 2 sits to the left of 5, 2 < 5. What happens when you multiply both numbers by −1? You get −2 and −5.

Multiplying by −1 performs a geometric reflection across the origin (0). The number that was closer to zero on the right side (2) remains closer to zero on the left side (−2). But on the left side of zero, sitting closer to zero means sitting farther to the right! Therefore, −2 is to the right of −5, which means −2 > −5. The relative ordering has physically reversed.

Whenever you solve an inequality such as −3x ≤ 12, dividing by −3 reflects the coordinate ray across zero: x ≥ −4. The inversion of the symbol is not an arbitrary rule concocted by mathematicians; it is the inescapable geometry of reflection on the real line.

Many students treat the absolute value equation |x − 3| = 5 as a mechanical recipe: “split into two equations, positive and negative.” But absolute value has a vivid geometric meaning: distance on the real line.

The expression |a − b| represents the distance between point a and point b. Therefore, |x − 3| = 5 translates to plain English as: “The distance between x and 3 is exactly 5 units.”

To solve it mentally, stand on the number line at center 3. Take 5 steps to the right: 3 + 5 = 8. Take 5 steps to the left: 3 − 5 = −2. The solutions are x = 8 and x = −2. You solved the equation without memorizing rules, by reading the geometry of center and radius.

The same geometric model instantly solves absolute value inequalities. |x − 3| ≤ 5 means “all numbers whose distance from 3 is at most 5 units”: that is the closed interval from −2 to 8 ([−2, 8]). Conversely, |x − 3| > 5 means “all numbers whose distance from 3 exceeds 5 units”: that is the union of rays x < −2 or x > 8.

A single linear equation in two variables, such as 2x + y = 10, does not have a single numerical solution; it has an infinite family of ordered pairs (x, y) that satisfy the constraint: (0, 10), (1, 8), (2, 6), (5, 0), and so on. Geometrically, this family traces a straight line across the coordinate plane.

When two such relationships hold at the same time—a system of linear equations—we seek the exact pair of numbers (x, y) that makes both sentences true simultaneously. Geometrically, this is the point where the two lines intersect.

Two primary deductive methods solve systems without guessing: 1. Substitution: Solve one equation for one variable, then replace that variable in the second equation. Useful when a variable has coefficient 1 (e.g., in y = 2x + 1 and x + y = 7, substitute 2x + 1 for y: x + (2x + 1) = 7 → 3x = 6 → x = 2, so y = 5). 2. Linear Combination (Elimination): Add or subtract multiples of the two equations to eliminate one variable completely. If coefficients match or are opposites, this computes the solution mentally in seconds flat.

Consider 3x + 2y = 19 and 5x − 2y = 13. Notice the y-coefficients: +2 and −2 are exact opposites. Add the two equations together: (3x + 5x) + (2y − 2y) = 19 + 13 → 8x = 32 → x = 4. Substitute 4 back: 3(4) + 2y = 19 → 12 + 2y = 19 → 2y = 7 → y = 3.5. The system is solved in three lines.