16.4 Fundamental Equality Properties

Fundamental Equality Properties are foundational rules in algebra that define how equality behaves and form the basis for solving equations and manipulating expressions.

Fundamental Equality Properties describes the three basic properties that govern how the equals relation behaves — reflexivity, symmetry, and transitivity — along with how these properties justify reversing an equation's sides, chaining several equalities together, and replacing one quantity with an equal one anywhere it appears.

The Three Basic Properties

Reflexive Equality

The reflexive property of equality states that any quantity is equal to itself, without exception; this is the most basic property of equality, confirming that every quantity trivially satisfies its own equality relation.

a = a

Symmetric Equality

The symmetric property of equality states that if one quantity equals a second quantity, then the second quantity also equals the first; equality does not favor one direction over the other.

a = b \to b = a

Transitive Equality

The transitive property of equality states that if one quantity equals a second, and that second quantity equals a third, then the first quantity also equals the third; equality passes through a shared middle term to connect the two outer quantities.

a = b, b = c \to a = c

Applying These Properties

Reversal of Equation Sides

The symmetric property justifies rewriting any equation with its two sides swapped, so that what was the right side becomes the left side and vice versa, without changing the equation's meaning or its solution set.

12 = x + 3 \Leftrightarrow x + 3 = 12

Equality Chain Construction

The transitive property justifies linking several equalities together into a single chain, such as stating that one quantity equals a second, which equals a third, which equals a fourth, allowing any two quantities in the chain to be directly equated without restating every intermediate step.

a = b = c = d \to a = d

Replacement of Equal Quantities

The transitive property, applied within a larger expression, justifies replacing any quantity with another quantity known to be equal to it, substituting one for the other wherever it appears without changing the value of the surrounding expression or equation.

y = 5, x = y + 2 \to x = 5 + 2

Choosing the Right Property

Equality Property Selection

Selecting which of the three fundamental properties applies to a given situation depends on what is being justified: reflexivity confirms a quantity's trivial equality with itself, symmetry justifies reversing an equation's sides, and transitivity justifies both chaining several equalities and substituting one equal quantity for another within a larger statement.