Generate and justify equivalent expressions

Learning goal: Use properties of operations to generate equivalent expressions and explain why they have equal values for every permissible variable value. Distinguish expressions that are equal for every value from two expressions that happen to agree at one tested value.

Three identical packs each contain x blue cards and two gold cards. Counting pack by pack gives 3(x + 2). Counting all blue cards and then all gold gives 3x + 6. Both expressions count the same complete collection, so 3(x + 2) = 3x + 6 for any permitted pack size x. This is the distributive property: multiply the outside factor by each term inside the grouped sum.

The diagram uses an area representation with height three and widths x and two. The whole rectangle's area is 3(x + 2), while its two nonoverlapping parts have areas 3x and six. The width labeled x is only a sketch because x can vary; the drawing represents the decomposition, not a fixed numerical value for x.

Distribution also works in reverse. The expression 12x + 8 has a common factor four: 12x + 8 = 4(3x + 2). Expanding the factored form returns 12x + 8, verifying the relationship. The terms inside the parentheses represent what remains after each original term is divided by the extracted factor.

Repeated addition of the same quantity can be written as multiplication. y + y + y + y = 4y. The coefficient four counts four copies of the entire quantity y. Adding another three copies gives 4y + 3y = 7y by distribution. The constant three in 4y + 3, however, is not three copies of y, so it cannot be combined into 7y in general.

The commutative property changes order in addition or multiplication: a + b = b + a and ab = ba. The associative property changes grouping: (a + b) + c = a + (b + c). Together they can reorganize 2x + 5 + 3x as (2x + 3x) + 5 = 5x + 5. Neither property holds for subtraction or division: (10 − 4) − 2 = 4 but 10 − (4 − 2) = 8, and (8 ÷ 4) ÷ 2 = 1 but 8 ÷ (4 ÷ 2) = 4.

Equivalent expressions have the same value for every allowed value of the variable, not merely for one example. At x = 2, both x + 2 and 2x equal four. At x = 3, they are five and six. Therefore the expressions are not equivalent despite one matching evaluation. One counterexample is enough to disprove equivalence.

Testing several values can catch errors but does not, by itself, prove equality for every value. A property-based argument or a model that works for the variable relationship explains the general case. To justify 3(x + 2) = 3x + 6, use distribution or the complete pack count, then use a numerical substitution as a check.

Watch for incomplete distribution. Writing 3(x + 2) = 3x + 2 multiplies only the first term. In the pack story, that would count the two gold cards only once instead of in every pack. At x = 4, the original expression is eighteen while the incorrect expression is fourteen. The model explains the error and the substitution exposes it.

Equivalent forms can be useful for different purposes. A grouped expression may show the number and contents of packs; an expanded expression may show totals by type. A factored form can reveal a common grouping. Choose the form that makes the question easier while preserving the underlying quantity.

Worked transformation: 5(2 + t) + 3t = 10 + 5t + 3t = 10 + 8t. Distribution supplies the first equality; combining eight copies of t supplies the second. At t = 1.5, both original and final expressions equal twenty-two, providing a numerical check.

Worked counterexample: Are 2(z + 4) and 2z + 4 equivalent? No. At z = 0 they give eight and four. Correct distribution gives 2z + 8. The outside factor must act on both terms.

Guided modeling: Draw three packs with x blue and two gold cards represented symbolically in each. Count by pack and by color, explaining why the equality does not depend on one chosen x. Translate the same reasoning into an area decomposition.

Independent performance: Expand and factor expressions, combine repeated variable terms and justify each step with an operation property. For one proposed non-equivalence, give a counterexample. For a true equivalence, provide a general argument plus a numerical check. Explain why matching at one value is insufficient proof and why different equivalent forms can help answer different contextual questions.