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 , and . Most of them say the same thing: do the same thing to both sides and the equation stays true.
| property | statement |
|---|---|
| Addition Property | If , then . |
| Subtraction Property | If , then . |
| Multiplication Property | If , then . |
| Division Property | If and , then . |
| Substitution Property | If , then can replace in any expression or equation. |
| Distributive Property |
Reflexive, symmetric and transitive
Three more properties describe how equality itself behaves.
- Reflexive: . Everything equals itself.
- Symmetric: If , then . You can flip an equation.
- Transitive: If and , then . 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 means (a statement about numbers), and means .
Because congruence is defined through equality, it inherits the reflexive, symmetric and transitive properties.
Properties of congruence
For segments and angles:
| property | segments | angles |
|---|---|---|
| Reflexive | ||
| Symmetric | If , then . | If , then . |
| Transitive | If and , then . | If and , then . |
Common mistake
Use between numbers and between figures. Write (lengths) or (segments), but never or . Likewise, write or , not . 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 and justify each step.
| statement | reason |
|---|---|
| Given | |
| Addition Property of Equality | |
| Division Property of Equality |
Each step does one thing: first add to both sides, then divide both sides by .
Worked example: A longer algebraic proof
Solve with reasons.
| statement | reason |
|---|---|
| Given | |
| Distributive Property | |
| Subtraction Property of Equality | |
| Addition Property of Equality | |
| Division Property of Equality | |
| Symmetric Property of Equality |
The last line just flips the equation so is on the left. That flip has a name, so it gets cited.
Worked example: Using geometry facts
Point lies between and , with , and . Find with reasons.
| statement | reason |
|---|---|
| Segment Addition Postulate | |
| Substitution Property of Equality | |
| Simplify (combine like terms) | |
| Subtraction Property of Equality | |
| Division Property of Equality |
Check: and , and .
Worked example: Naming the property
Name the property that justifies each statement.
- If and , then .
- If , then .
Solutions.
- Transitive Property of Equality (you could also call it Substitution: replaces ).
- Symmetric Property of Congruence.
- 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
Which property justifies: If , then ?
Which property justifies: If and , then ?
Which property justifies ?
Which statement is written correctly?
Solve . (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.
In this algebraic proof, which reason belongs in Step 3?
| step | statement | reason |
|---|---|---|
| 1 | Given | |
| 2 | Subtraction Property of Equality | |
| 3 | ? |
and are adjacent, with , and . By the Angle Addition Postulate, . Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Given , and . Find . Which property lets you write ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.