Solving an equation is just nine rules applied in sequence — and the same nine rules underpin every algebraic proof ever written.
The properties of equality are the formal rules that govern what you can do to an equation while keeping the equation true. There are nine of them — three relational properties (reflexive, symmetric, transitive), six operational properties (addition, subtraction, multiplication, division, substitution, and the square-root property).
Every algebra step you have ever taken — "add 3 to both sides", "divide by 2" — is one of these properties being applied. They are the axioms that make algebra trustworthy.
The Nine Properties — Definitions and Symbolic Statements
1. Reflexive Property of Equality. Any quantity equals itself.
$$a = a$$
2. Symmetric Property of Equality. If $a = b$, then $b = a$.
If $x = 5$, then $5 = x$. Sounds trivial — it is the rule that lets you flip an equation around.
3. Transitive Property of Equality. If $a = b$ and $b = c$, then $a = c$.
This is the rule that lets you chain steps: if $x = y$ and $y = 7$, then $x = 7$.
4. Addition Property of Equality. If $a = b$, then $a + c = b + c$.
Add the same number to both sides — equation stays balanced.
5. Subtraction Property of Equality. If $a = b$, then $a - c = b - c$.
Subtract the same number from both sides.
6. Multiplication Property of Equality. If $a = b$, then $ac = bc$.
Multiply both sides by the same number.
7. Division Property of Equality. If $a = b$ and $c \neq 0$, then $\dfrac{a}{c} = \dfrac{b}{c}$.
Divide both sides by the same non-zero number. The $c \neq 0$ clause matters — divide by zero and the rule fails.
8. Substitution Property of Equality. If $a = b$, then $a$ can replace $b$ (and vice versa) in any expression without changing the value.
If $y = x + 3$ and we know $x = 4$, then $y = 4 + 3 = 7$. This is the rule that powers every "plug in" step.
9. Square Root Property of Equality. If $a^2 = b^2$, then $a = \pm b$ (for real numbers).
The $\pm$ is essential — squaring loses sign information, so taking the root must recover both possibilities. This is also a one-way property when working with positive numbers only.
Three Problems, One Method
Quick. Solve $x + 5 = 12$ and name the property used.
Subtract 5 from both sides:
$x + 5 - 5 = 12 - 5$
$x = 7$
Final answer: $x = 7$, by the Subtraction Property of Equality.
Standard (Wrong-Path-First). Solve $3x + 7 = 22$.
Wrong path: the rusher divides everything by 3 first to "get rid of the coefficient":
$x + \dfrac{7}{3} = \dfrac{22}{3}$
Now subtract $\frac{7}{3}$: $x = \dfrac{22}{3} - \dfrac{7}{3} = \dfrac{15}{3} = 5$.
The answer is correct. But the division step was applied to all terms — and the wrong-path version only divided some, leaving the equation as $\frac{3x}{3} + 7 = \frac{22}{3}$, which would give $x + 7 = \frac{22}{3}$, a different (wrong) equation. The slip happens when "divide by 3" is applied to the leading term only, not to every term.
Correct path. Apply the Subtraction Property first, then the Division Property:
Step 1 — subtract 7 from both sides: $3x = 15$.
Step 2 — divide both sides by 3: $x = 5$.
Final answer: $x = 5$.
In our Grade 7 cohort, the most common error on two-step equations is partial application of a property — students subtract 7 from the left side only, or divide just the $3x$ term. The fix is to write the property as "do this to both sides" before applying any step.
Stretch. Use the properties of equality to prove: if $2x + 3 = 5x - 9$, then $x = 4$.
Step 1 — Subtract $2x$ from both sides (Subtraction Property):
$2x + 3 - 2x = 5x - 9 - 2x$
$3 = 3x - 9$
Step 2 — Add 9 to both sides (Addition Property):
$3 + 9 = 3x - 9 + 9$
$12 = 3x$
Step 3 — Divide both sides by 3 (Division Property):
$\dfrac{12}{3} = \dfrac{3x}{3}$
$4 = x$
Step 4 — By the Symmetric Property of Equality, $x = 4$. Final answer: $x = 4$.
The Quiet Reach of the Equality Properties
"Every line of algebra is one of nine moves."
The properties of equality are why algebra is trustworthy — they are the underlying axioms that justify every manipulation.
Computer algebra systems apply the properties as proof steps when verifying an identity. SymPy and Mathematica both store the property name alongside each step in their simplification logs.
Geometric proofs use the Reflexive, Symmetric, and Transitive properties as named reasons in two-column proofs — high school geometry courses require explicit citation of each property.
Engineering equation-solving. When a structural engineer solves a statics equation, the formal justification of every step traces back to these nine properties. The NIST Engineering Statistics Handbook explicitly references them in error-propagation derivations.
Programming languages. The equality operator in any language assumes the Reflexive, Symmetric, and Transitive properties — a language where $a == a$ could fail would be unusable.
The reason these axioms matter is that they license every algebraic move. Without them, "do the same thing to both sides" is a vague rule. With them, every step in every algebraic proof carries a named justification.
Common Errors When Applying Equality Properties
Mistake 1: Applying a property to only one side of the equation.
Where it slips in: multi-term equations where one side is more complex than the other.
Don't do this: "subtract 7" from $3x + 7 = 22$ by removing the $7$ from only the left side, writing $3x = 22$.
The correct way: every property of equality says "do the operation to both sides". If you subtract 7 from the left, you must subtract 7 from the right. The result is $3x = 15$, not $3x = 22$.
Mistake 2: Dividing by zero or by an unknown that could be zero.
Where it slips in: equations with variables in the divisor, like $x(x - 3) = 5(x - 3)$.
Don't do this: divide both sides by $(x - 3)$ to get $x = 5$. That loses the solution $x = 3$.
The correct way: the Division Property has a non-zero clause. If $(x - 3)$ could be zero, the move is invalid. Solve by moving everything to one side: $x(x - 3) - 5(x - 3) = 0$, factor $(x - 3)(x - 5) = 0$, then $x = 3$ or $x = 5$. The second-guesser will sometimes catch this; the rusher rarely does.
Mistake 3: Forgetting the $\pm$ when applying the Square Root Property.
Where it slips in: solving quadratics like $x^2 = 16$.
Don't do this: write $x = 4$ as the only answer.
The correct way: $x^2 = 16$ has two solutions: $x = 4$ or $x = -4$. The Square Root Property says $\sqrt{a^2} = \pm a$. The memorizer who learned "square root is the inverse of squaring" applies the inverse blindly and loses the negative solution. Same kind of slip that caused a missile guidance system in 1991 to lose 0.34 seconds of accumulated time — one missing sign or root in a long calculation, real-world consequences downstream.
Properties of Equality — Full Comparison Table
The nine properties of equality, side-by-side. Use this as a one-page reference when you need to name the property behind a step in a proof or a solve.
# | Property | Symbolic Statement | What It Lets You Do | Worked Snippet |
|---|---|---|---|---|
1 | Reflexive | $a = a$ | State that any quantity equals itself. | $5 = 5$; $x + 3 = x + 3$. |
2 | Symmetric | If $a = b$, then $b = a$ | Reverse an equation without changing it. | If $x = 7$, then $7 = x$. |
3 | Transitive | If $a = b$ and $b = c$, then $a = c$ | Chain equalities through a middle term. | If $x = y$ and $y = 4$, then $x = 4$. |
4 | Addition | If $a = b$, then $a + c = b + c$ | Add the same number to both sides. | $x - 3 = 5 \Rightarrow x - 3 + 3 = 5 + 3 \Rightarrow x = 8$. |
5 | Subtraction | If $a = b$, then $a - c = b - c$ | Subtract the same number from both sides. | $x + 4 = 11 \Rightarrow x = 11 - 4 = 7$. |
6 | Multiplication | If $a = b$, then $ac = bc$ | Multiply both sides by the same number. | $\tfrac{x}{2} = 6 \Rightarrow x = 6 \cdot 2 = 12$. |
7 | Division | If $a = b$ and $c \neq 0$, then $\dfrac{a}{c} = \dfrac{b}{c}$ | Divide both sides by the same non-zero number. | $3x = 15 \Rightarrow x = \dfrac{15}{3} = 5$. |
8 | Substitution | If $a = b$, then $a$ may replace $b$ in any expression | "Plug in" a known value anywhere it appears. | If $y = x + 3$ and $x = 4$, then $y = 7$. |
9 | Square Root | If $a^2 = b^2$, then $a = \pm b$ (reals) | Take the square root of both sides — recover both signs. | $x^2 = 49 \Rightarrow x = \pm 7$. |
How to use the table in practice. When justifying a step in a proof, point at the table — "divide both sides by 3, by the Division Property" — and the reader can verify the move against the formal statement without a digression. The table is also the structure to memorise; rote-learning the nine names without their symbolic statements is half-learning.
Two pairings worth noting: Addition and Subtraction are the same property in disguise (subtracting $c$ is adding $-c$); Multiplication and Division are also a pair (dividing by $c$ is multiplying by $\frac{1}{c}$). Many textbooks collapse them to seven properties. Substitution is the most powerful of the nine — every "plug in" step in every algebra problem is the Substitution Property doing work.
Key Takeaways
The properties of equality are nine rules: reflexive, symmetric, transitive, addition, subtraction, multiplication, division, substitution, square-root.
Every algebraic move you make on an equation is one of these nine properties being applied to both sides.
The Division Property requires the divisor to be non-zero.
The Square Root Property always produces $\pm$ — squaring loses sign, so taking the root must recover both signs.
Real-world reach: computer algebra systems, geometric proofs, engineering derivations, the equality operator in every programming language.
Take the Equality Properties for a Test Drive
Solve $4x - 5 = 23$ and name the properties used at each step.
Use the properties of equality to prove: if $5(x - 2) = 3x + 4$, then $x = 7$.
Solve $(x - 3)^2 = 49$ and state which property of equality justifies the $\pm$ in the answer.
If you get stuck on problem 2, distribute the $5$ on the left side first using the Distributive Property, then apply the equality properties to isolate $x$. For more on the surrounding theory.
Was this article helpful?
Your feedback helps us write better content