Math Core

Lesson 2.3 · Reasoning and Proof

Properties of equality and congruence

When you solved equations in algebra, you added, subtracted and divided without thinking too hard about why each move was allowed. In geometry, every step of an argument needs a reason. The properties in this lesson are the reasons you'll cite most often, both for equations and for congruent figures.

Properties of equality

These properties hold for any real numbers aa, bb and cc. Most of them say the same thing: do the same thing to both sides and the equation stays true.

propertystatement
Addition PropertyIf a=ba = b, then a+c=b+ca + c = b + c.
Subtraction PropertyIf a=ba = b, then a−c=b−ca - c = b - c.
Multiplication PropertyIf a=ba = b, then ac=bcac = bc.
Division PropertyIf a=ba = b and c≠0c \ne 0, then ac=bc\dfrac{a}{c} = \dfrac{b}{c}.
Substitution PropertyIf a=ba = b, then bb can replace aa in any expression or equation.
Distributive Propertya(b+c)=ab+aca(b + c) = ab + ac

Reflexive, symmetric and transitive

Three more properties describe how equality itself behaves.

  • Reflexive: a=aa = a. Everything equals itself.
  • Symmetric: If a=ba = b, then b=ab = a. You can flip an equation.
  • Transitive: If a=ba = b and b=cb = c, then a=ca = c. Equal to the same thing means equal to each other.

These might seem too obvious to write down, but a proof has to state every step. The reflexive property, for example, is exactly what you'll cite later when two triangles share a side.

Properties of congruence

Recall that segments are congruent when they have equal lengths, and angles are congruent when they have equal measures. So AB‾≅CD‾\overline{AB} \cong \overline{CD} means AB=CDAB = CD (a statement about numbers), and ∠P≅∠Q\angle P \cong \angle Q means m∠P=m∠Qm\angle P = m\angle Q.

Because congruence is defined through equality, it inherits the reflexive, symmetric and transitive properties.

Properties of congruence

For segments and angles:

propertysegmentsangles
ReflexiveAB‾≅AB‾\overline{AB} \cong \overline{AB}∠A≅∠A\angle A \cong \angle A
SymmetricIf AB‾≅CD‾\overline{AB} \cong \overline{CD}, then CD‾≅AB‾\overline{CD} \cong \overline{AB}.If ∠A≅∠B\angle A \cong \angle B, then ∠B≅∠A\angle B \cong \angle A.
TransitiveIf AB‾≅CD‾\overline{AB} \cong \overline{CD} and CD‾≅EF‾\overline{CD} \cong \overline{EF}, then AB‾≅EF‾\overline{AB} \cong \overline{EF}.If ∠A≅∠B\angle A \cong \angle B and ∠B≅∠C\angle B \cong \angle C, then ∠A≅∠C\angle A \cong \angle C.

Common mistake

Use == between numbers and ≅\cong between figures. Write AB=CDAB = CD (lengths) or AB‾≅CD‾\overline{AB} \cong \overline{CD} (segments), but never AB‾=CD‾\overline{AB} = \overline{CD} or AB≅CDAB \cong CD. Likewise, write m∠1=m∠2m\angle 1 = m\angle 2 or ∠1≅∠2\angle 1 \cong \angle 2, not ∠1=∠2\angle 1 = \angle 2. Also: "Addition Property" and "Substitution" are properties of equality only. You add numbers, not segments.

Writing an algebraic proof

An algebraic proof is solving an equation while naming the property that justifies each step. It's great practice for geometry proofs, which use the same format.

Worked example: Solving with reasons

Solve 4x−7=214x - 7 = 21 and justify each step.

statementreason
4x−7=214x - 7 = 21Given
4x=284x = 28Addition Property of Equality
x=7x = 7Division Property of Equality

Each step does one thing: first add 77 to both sides, then divide both sides by 44.

Worked example: A longer algebraic proof

Solve 3(x+2)=5x−83(x + 2) = 5x - 8 with reasons.

statementreason
3(x+2)=5x−83(x + 2) = 5x - 8Given
3x+6=5x−83x + 6 = 5x - 8Distributive Property
6=2x−86 = 2x - 8Subtraction Property of Equality
14=2x14 = 2xAddition Property of Equality
7=x7 = xDivision Property of Equality
x=7x = 7Symmetric Property of Equality

The last line just flips the equation so xx is on the left. That flip has a name, so it gets cited.

Worked example: Using geometry facts

Point BB lies between AA and CC, with AB=2x+1AB = 2x + 1, BC=x+5BC = x + 5 and AC=24AC = 24. Find xx with reasons.

statementreason
AB+BC=ACAB + BC = ACSegment Addition Postulate
(2x+1)+(x+5)=24(2x + 1) + (x + 5) = 24Substitution Property of Equality
3x+6=243x + 6 = 24Simplify (combine like terms)
3x=183x = 18Subtraction Property of Equality
x=6x = 6Division Property of Equality

Check: AB=13AB = 13 and BC=11BC = 11, and 13+11=2413 + 11 = 24.

Worked example: Naming the property

Name the property that justifies each statement.

  1. If m∠1=m∠2m\angle 1 = m\angle 2 and m∠2=40∘m\angle 2 = 40^\circ, then m∠1=40∘m\angle 1 = 40^\circ.
  2. If ∠R≅∠S\angle R \cong \angle S, then ∠S≅∠R\angle S \cong \angle R.
  3. XY‾≅XY‾\overline{XY} \cong \overline{XY}

Solutions.

  1. Transitive Property of Equality (you could also call it Substitution: 40∘40^\circ replaces m∠2m\angle 2).
  2. Symmetric Property of Congruence.
  3. Reflexive Property of Congruence.

Tip

To tell symmetric from transitive, count the statements. Symmetric uses one fact and flips it. Transitive uses two facts that share a middle term.

Practice

Practice 1

Which property justifies: If x−9=4x - 9 = 4, then x=13x = 13?

Practice 2

Which property justifies: If PQ‾≅RS‾\overline{PQ} \cong \overline{RS} and RS‾≅TU‾\overline{RS} \cong \overline{TU}, then PQ‾≅TU‾\overline{PQ} \cong \overline{TU}?

Practice 3

Which property justifies ∠DEF≅∠DEF\angle DEF \cong \angle DEF?

Practice 4

Which statement is written correctly?

Practice 5

Solve 5(x−3)=305(x - 3) = 30. (A full proof would give reasons: Given, Distributive Property, Addition Property, Division Property.)

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

In this algebraic proof, which reason belongs in Step 3?

stepstatementreason
1x3+2=8\dfrac{x}{3} + 2 = 8Given
2x3=6\dfrac{x}{3} = 6Subtraction Property of Equality
3x=18x = 18?
Practice 7

∠ABD\angle ABD and ∠DBC\angle DBC are adjacent, with m∠ABD=3x−5m\angle ABD = 3x - 5, m∠DBC=2x+10m\angle DBC = 2x + 10 and m∠ABC=130∘m\angle ABC = 130^\circ. By the Angle Addition Postulate, m∠ABD+m∠DBC=m∠ABCm\angle ABD + m\angle DBC = m\angle ABC. Find xx.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

Given AB=CDAB = CD, AB=4x−3AB = 4x - 3 and CD=2x+19CD = 2x + 19. Find xx. Which property lets you write 4x−3=2x+194x - 3 = 2x + 19?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.