What the Equals Sign Promises
An equation asserts that two expressions name the same number, so any operation applied identically to both sides preserves that truth. · 10 min
The equals sign is the most misread symbol in mathematics. Years of arithmetic train you to read it as 'the answer comes next': 3 + 4 =, and you write 7. But in algebra, = makes a claim: the expression on the left and the expression on the right name the same number. x + 3 = 10 does not command you to compute — it asserts that x + 3 and 10 are one number wearing two spellings. Everything you will ever do to an equation follows from taking that claim seriously.
Guess before you learn
x + 7 = 12. Which move finds x and keeps the claim true?
Both sides name the same number, so removing 7 from each keeps them matched — and leaves x alone: x = 5. Subtracting from one side only breaks the match. Adding 7 to both sides keeps the claim true, interestingly, but walks away from x. Most first guesses touch only the side with the letter; the both-sides habit is what this folio builds.
9–12
3–5
x + 3 = 10 asks: what number plus 3 makes 10? You can likely see the answer is 7. Balancing gets the same answer with a method — one that will keep working when seeing is no longer enough.
The 3 was added to x, so take 3 away — from both sides. The left becomes just x; the right becomes 7. Then check: 7 + 3 = 10. True.
6–8
An equation states that two expressions name the same number. The equals sign is a claim, not a command. Because both sides are the same number, doing the identical thing to each — adding, subtracting, multiplying, or dividing by the same amount — leaves the claim true. These are the properties of equality.
To solve a one-step equation: name the operation attached to x, apply its inverse to both sides, and simplify. x − 4 = 9: the 4 was subtracted, so add 4 to both sides — x = 13. 5x = 35: x was multiplied by 5, so divide both sides by 5 — x = 7. Then check the value in the original equation.
9–12
Solving is rewriting: each balanced move produces a simpler equation with exactly the same solution set. Adding or subtracting any number, or multiplying or dividing by any nonzero number, changes neither which values work nor which fail — that reversibility is what makes the moves legal.
The zero exception is real: multiplying both sides by 0 collapses any equation to 0 = 0, quietly admitting every number as a solution. And the final check is not politeness — substituting into the original equation catches arithmetic slips now, and will catch stowaway solutions later, when less innocent moves enter the toolkit.
K–2
A pan balance holds a bag and 4 blocks on one side, 9 blocks on the other. It balances. Take 4 blocks off each side. Still balanced. The bag weighs 5 blocks.
The rule: whatever you take from one side, take from the other. Then the balance keeps telling the truth.
Undergrad
Adding a constant, and multiplying by a nonzero constant, are bijections ℝ → ℝ. Applying a bijection f to both sides sends the solution set of A = B exactly onto that of f(A) = f(B), in both directions — nothing lost, nothing gained. Apply a non-injective map instead (squaring, multiplying by zero) and only one direction survives: solutions persist, impostors join.
The balance picture is the field axioms at work: every real number has an additive inverse, every nonzero real a multiplicative inverse, and 'undoing' an operation means applying the inverse element. Solving ax + b = c is composing two inverse maps in the right order.
Postgrad
Equality is a congruence: reflexive, symmetric, transitive, and respected by every operation of the structure. The substitution property — a = b lets f(a) replace f(b) in any context — is precisely the license behind 'do the same to both sides'; the schoolroom rule is Leibniz's law in working clothes.
Solvability is structural. In a group, a·x = b has the unique solution a⁻¹·b; in a mere monoid it may have none or many. Algebra I's catechism of inverse operations is a tour of the field axioms of ℝ, conducted one undo at a time.
equation
A claim that two expressions name the same number. Solving it means finding every value of the variable that makes the claim true.
The method for one-step equations, in full: name the operation attached to x, undo it with the inverse operation — applied to both sides — and simplify. Undo +3 with −3. Undo −4 with +4. Undo ×5 with ÷5. Undo ÷2 with ×2. Then the step that separates careful algebra from lucky algebra: substitute your value into the original equation and confirm the claim holds. A solution that fails its check was never a solution.
Solve x + 9 = 21, then check — the steps fade as you master them
x + 9 − 9 = 21 − 9
x = 12
12 + 9 = 21 — true
Why is this true?
Why does adding the same number to both sides keep an equation true?
Because both sides already name the same number, and adding equal amounts to equal numbers gives equal results. The two sides move together, so the claim of sameness survives the move.
One claim, one inverse move, one check — that is the whole engine of equation solving, and nothing in this course replaces it; everything ahead only adds gears. The next folio meets equations built from two operations, like 3x + 5 = 20, and answers the natural question: which one do you undo first?
Practice — new ink and old, interleaved
1.A pencil costs 2 dollars. In one sentence with an expression in it: what do p pencils cost, and why?
2.m ÷ 5 = 4. What is m?
3.Put the steps for solving x + 14 = 30 in order.
- Subtract 14 from both sides
- Simplify: x = 16
- Check in the original: 16 + 14 = 30 — true
4.(5 + 2) × 3 = ?
5.To test whether 9 solves x + 6 = 15, substitute it: what is the value of the left side at x = 9?
6.Evaluate 3n + 2 when n = 7.
7.A pencil costs 2 dollars. In one sentence with an expression in it: what do p pencils cost, and why?
8.Without looking back: what is the inverse operation for each of +6, −6, ×6, and ÷6?
Undo +6 with −6, undo −6 with +6, undo ×6 with ÷6, and undo ÷6 with ×6 — always applied to both sides.
How close were you? Grade yourself honestly — it sets your review date.
9.Solve n − 11 = 4.