Lesson 2.5 · Reasoning and Proof
Proving angle relationships
In the foundations unit you learned that vertical angles are congruent and that a linear pair adds to . You probably believed it because the pictures looked right. Now you have the tools to prove these facts, and once a fact is proven it becomes a theorem you can use as a reason in every proof that follows.
The starting point: the Linear Pair Postulate
Recall that a linear pair is two adjacent angles whose non-shared sides are opposite rays, so together they form a straight line. We accept one fact about them without proof.
- Linear Pair Postulate: If two angles form a linear pair, then they are supplementary.
We also need the definitions of supplementary (measures add to ), complementary (measures add to ) and right angle (measure ). Everything in this lesson is built from those.
Right angles are congruent
Right Angles Congruence Theorem: All right angles are congruent.
Proof. If and are right angles, then and by the definition of a right angle. By the Transitive (or Substitution) Property of Equality, , so by the definition of congruent angles.
Congruent supplements and complements
Suppose and are both supplementary to . If , then both and must measure . That works for any measure of .
Congruent Supplements Theorem: If two angles are supplementary to the same angle (or to congruent angles), then they are congruent.
Congruent Complements Theorem: If two angles are complementary to the same angle (or to congruent angles), then they are congruent.
Worked example: Proving the Congruent Supplements Theorem
Given: and are supplementary; and are supplementary. Prove: .
| # | statement | reason |
|---|---|---|
| 1 | and are supplementary; and are supplementary | Given |
| 2 | ; | Definition of supplementary angles |
| 3 | Substitution (or Transitive) Property of Equality | |
| 4 | Subtraction Property of Equality | |
| 5 | Definition of congruent angles |
Vertical angles
When two lines cross, they form two pairs of vertical angles: angles opposite each other, sharing only the vertex.
In the diagram, and are vertical, and so are and . Neighboring angles, like and , form linear pairs.
Worked example: Proving the Vertical Angles Theorem
Given: and are vertical angles (as in the diagram). Prove: .
The idea: both and form a linear pair with , so both are supplementary to .
| # | statement | reason |
|---|---|---|
| 1 | and are vertical angles | Given |
| 2 | and form a linear pair; and form a linear pair | Definition of linear pair (from the diagram) |
| 3 | and are supplementary; and are supplementary | Linear Pair Postulate |
| 4 | Congruent Supplements Theorem |
Short and clean, because the Congruent Supplements Theorem does the algebra for you.
Angle theorems you can now cite
- Linear Pair Postulate: a linear pair is supplementary.
- Right Angles Congruence Theorem: all right angles are congruent.
- Congruent Supplements Theorem: supplements of the same (or congruent) angles are congruent.
- Congruent Complements Theorem: complements of the same (or congruent) angles are congruent.
- Vertical Angles Theorem: vertical angles are congruent.
Common mistake
Diagrams can show that angles are adjacent or form a linear pair, but not that they're congruent or right. You may read collinearity, betweenness and adjacency from a figure. You may not assume a right angle or equal measures unless they're marked or given. Also, vertical angles are congruent, not supplementary (unless both happen to be right angles).
Using the theorems to find measures
Worked example: Finding all four angles
Two lines intersect, and and , where and are vertical. Find all four angle measures.
Solution. By the Vertical Angles Theorem, , so and . Then . Here forms a linear pair with , so , and too. The lines are perpendicular.
Worked example: A linear pair equation
and form a linear pair, with and . Find both measures.
Solution. By the Linear Pair Postulate, . So , and . Then and . Check: .
Tip
Decide the relationship before writing the equation. Vertical angles: set the expressions equal. Linear pair: make them add to . Complementary: add to .
Practice
Two lines intersect. One of the four angles measures . What is the measure, in degrees, of an angle that forms a linear pair with it?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
and are both complementary to . Which theorem justifies ?
Vertical angles measure and degrees. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
and form a linear pair. If and , find in degrees.
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Which reason justifies step 3?
| # | statement | reason |
|---|---|---|
| 1 | and form a linear pair | Given |
| 2 | Given | |
| 3 | ? |
and are complementary, and and are complementary. If , what is in degrees?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
A student's proof that vertical angles and are congruent is shown. Which reason justifies step 3?
| # | statement | reason |
|---|---|---|
| 1 | and are vertical angles | Given |
| 2 | , form a linear pair; , form a linear pair | Definition of linear pair |
| 3 | ; | ? |
| 4 | Substitution Property of Equality | |
| 5 | ? | |
| 6 | Definition of congruent angles |
Two lines intersect to form angles , , and in order around the point. If and , find in degrees.
Enter a number. Fractions like 3/4 and sqrt(2) are OK.