1.16 Equation Equivalence Definitions

Equation equivalence defines when two equations have the same solutions, forming a foundational concept in algebraic problem-solving.

Equation Equivalence Definitions establishes the vocabulary for the structural parts of an equation, the process of checking whether a proposed value satisfies it, and the properties of equality that justify transforming one equation into another equivalent equation without changing its solution set.

Equation Side, Left Side, and Right Side

An equation side is one of the two expressions separated by the equals sign in an equation. The left equation side is the expression appearing before the equals sign, and the right equation side is the expression appearing after it. In the equation 3x + 2 = 11, the left side is 3x + 2 and the right side is 11; both sides must represent equal values for the equation to be true.

3 x + 2 = 11

Candidate Solution and Solution Verification

A candidate solution is a value proposed as a possible solution to an equation, not yet confirmed to actually satisfy it. Solution verification is the process of substituting a candidate solution into both sides of the original equation and confirming that the resulting numerical values on each side are equal; if they are equal, the candidate solution is confirmed as an actual solution, and if not, the candidate is rejected.

x = 3 → 3 (3) + 2 = 11

Equivalent Equations

Equivalent equations are two or more equations that, despite possibly looking different, share exactly the same solution set—every value that satisfies one equation also satisfies the other, and vice versa. Transforming an equation into an equivalent equation is the basic mechanism by which equations are solved: each transformation preserves the solution while moving the equation closer to a form where the variable stands isolated.

Equivalence Step

An equivalence step is a single transformation applied to both sides of an equation, justified by a property of equality, that converts the equation into an equivalent equation. A solved equation is typically the product of a sequence of equivalence steps, each one bringing the equation closer to a form with the variable isolated on one side.

Addition and Subtraction Properties of Equality

The addition property of equality states that adding the same quantity to both sides of an equation produces an equivalent equation. The related subtraction property of equality states that subtracting the same quantity from both sides of an equation likewise produces an equivalent equation. These properties justify eliminating an added or subtracted term from one side of an equation by applying the opposite operation to both sides simultaneously.

a = b ⇒ a + c = b + c

Equality Multiplication and Division Properties

The multiplication property of equality states that multiplying both sides of an equation by the same nonzero quantity produces an equivalent equation. The division property of equality states that dividing both sides of an equation by the same nonzero quantity likewise produces an equivalent equation. These properties justify eliminating a coefficient from a variable term by multiplying or dividing both sides by an appropriate value, provided that value is never zero.

a = b ⇒ \frac{a}{c} = \frac{b}{c} (c \neq 0)

Reflexive, Symmetric, and Transitive Properties of Equality

The reflexive property of equality states that any quantity is equal to itself: a = a. The symmetric property of equality states that if a equals b, then b equals a, meaning an equation may be read in either direction without changing its meaning. The transitive property of equality states that if a equals b, and b equals c, then a must also equal c, allowing equalities to be chained together to connect quantities that are not directly compared to one another.

a = b and b = c ⇒ a = c

Together, these definitions establish both the structural anatomy of an equation—its two sides—and the complete set of properties of equality that justify every legitimate transformation used when solving equations, guaranteeing that each equivalence step preserves the original solution set while progressively isolating the unknown variable.