Math Core

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 180∘180^\circ. 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 180∘180^\circ), complementary (measures add to 90∘90^\circ) and right angle (measure 90∘90^\circ). Everything in this lesson is built from those.

Right angles are congruent

Right Angles Congruence Theorem: All right angles are congruent.

Proof. If ∠A\angle A and ∠B\angle B are right angles, then m∠A=90∘m\angle A = 90^\circ and m∠B=90∘m\angle B = 90^\circ by the definition of a right angle. By the Transitive (or Substitution) Property of Equality, m∠A=m∠Bm\angle A = m\angle B, so ∠A≅∠B\angle A \cong \angle B by the definition of congruent angles.

Congruent supplements and complements

Suppose ∠1\angle 1 and ∠2\angle 2 are both supplementary to ∠3\angle 3. If m∠3=70∘m\angle 3 = 70^\circ, then both ∠1\angle 1 and ∠2\angle 2 must measure 110∘110^\circ. That works for any measure of ∠3\angle 3.

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: ∠1\angle 1 and ∠3\angle 3 are supplementary; ∠2\angle 2 and ∠3\angle 3 are supplementary. Prove: ∠1≅∠2\angle 1 \cong \angle 2.

#statementreason
1∠1\angle 1 and ∠3\angle 3 are supplementary; ∠2\angle 2 and ∠3\angle 3 are supplementaryGiven
2m∠1+m∠3=180∘m\angle 1 + m\angle 3 = 180^\circ; m∠2+m∠3=180∘m\angle 2 + m\angle 3 = 180^\circDefinition of supplementary angles
3m∠1+m∠3=m∠2+m∠3m\angle 1 + m\angle 3 = m\angle 2 + m\angle 3Substitution (or Transitive) Property of Equality
4m∠1=m∠2m\angle 1 = m\angle 2Subtraction Property of Equality
5∠1≅∠2\angle 1 \cong \angle 2Definition of congruent angles

Vertical angles

When two lines cross, they form two pairs of vertical angles: angles opposite each other, sharing only the vertex.

Two intersecting lines form four angles. Angles 1 and 3 are vertical, and so are angles 2 and 4.

In the diagram, ∠1\angle 1 and ∠3\angle 3 are vertical, and so are ∠2\angle 2 and ∠4\angle 4. Neighboring angles, like ∠1\angle 1 and ∠2\angle 2, form linear pairs.

Worked example: Proving the Vertical Angles Theorem

Given: ∠1\angle 1 and ∠3\angle 3 are vertical angles (as in the diagram). Prove: ∠1≅∠3\angle 1 \cong \angle 3.

The idea: both ∠1\angle 1 and ∠3\angle 3 form a linear pair with ∠2\angle 2, so both are supplementary to ∠2\angle 2.

#statementreason
1∠1\angle 1 and ∠3\angle 3 are vertical anglesGiven
2∠1\angle 1 and ∠2\angle 2 form a linear pair; ∠2\angle 2 and ∠3\angle 3 form a linear pairDefinition of linear pair (from the diagram)
3∠1\angle 1 and ∠2\angle 2 are supplementary; ∠2\angle 2 and ∠3\angle 3 are supplementaryLinear Pair Postulate
4∠1≅∠3\angle 1 \cong \angle 3Congruent 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 m∠1=4x+10m\angle 1 = 4x + 10 and m∠3=6x−30m\angle 3 = 6x - 30, where ∠1\angle 1 and ∠3\angle 3 are vertical. Find all four angle measures.

Solution. By the Vertical Angles Theorem, 4x+10=6x−304x + 10 = 6x - 30, so 40=2x40 = 2x and x=20x = 20. Then m∠1=m∠3=4(20)+10=90∘m\angle 1 = m\angle 3 = 4(20) + 10 = 90^\circ. Here ∠2\angle 2 forms a linear pair with ∠1\angle 1, so m∠2=180∘−90∘=90∘m\angle 2 = 180^\circ - 90^\circ = 90^\circ, and m∠4=90∘m\angle 4 = 90^\circ too. The lines are perpendicular.

Worked example: A linear pair equation

∠ABD\angle ABD and ∠DBC\angle DBC form a linear pair, with m∠ABD=3x+15m\angle ABD = 3x + 15 and m∠DBC=2x−10m\angle DBC = 2x - 10. Find both measures.

Solution. By the Linear Pair Postulate, (3x+15)+(2x−10)=180(3x + 15) + (2x - 10) = 180. So 5x+5=1805x + 5 = 180, 5x=1755x = 175 and x=35x = 35. Then m∠ABD=3(35)+15=120∘m\angle ABD = 3(35) + 15 = 120^\circ and m∠DBC=2(35)−10=60∘m\angle DBC = 2(35) - 10 = 60^\circ. Check: 120+60=180120 + 60 = 180.

Tip

Decide the relationship before writing the equation. Vertical angles: set the expressions equal. Linear pair: make them add to 180180. Complementary: add to 9090.

Practice

Practice 1

Two lines intersect. One of the four angles measures 62∘62^\circ. 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.

Practice 2

∠A\angle A and ∠B\angle B are both complementary to ∠C\angle C. Which theorem justifies ∠A≅∠B\angle A \cong \angle B?

Practice 3

Vertical angles measure 5x−125x - 12 and 3x+203x + 20 degrees. Find xx.

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

Practice 4

∠PQR\angle PQR and ∠RQS\angle RQS form a linear pair. If m∠PQR=2x+10m\angle PQR = 2x + 10 and m∠RQS=x+20m\angle RQS = x + 20, find m∠PQRm\angle PQR in degrees.

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

Practice 5

Which reason justifies step 3?

#statementreason
1∠1\angle 1 and ∠2\angle 2 form a linear pairGiven
2∠1≅∠2\angle 1 \cong \angle 2Given
3m∠1+m∠2=180∘m\angle 1 + m\angle 2 = 180^\circ?
Practice 6

∠1\angle 1 and ∠2\angle 2 are complementary, and ∠2\angle 2 and ∠3\angle 3 are complementary. If m∠1=37∘m\angle 1 = 37^\circ, what is m∠3m\angle 3 in degrees?

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

Practice 7

A student's proof that vertical angles ∠1\angle 1 and ∠3\angle 3 are congruent is shown. Which reason justifies step 3?

#statementreason
1∠1\angle 1 and ∠3\angle 3 are vertical anglesGiven
2∠1\angle 1, ∠2\angle 2 form a linear pair; ∠2\angle 2, ∠3\angle 3 form a linear pairDefinition of linear pair
3m∠1+m∠2=180∘m\angle 1 + m\angle 2 = 180^\circ; m∠2+m∠3=180∘m\angle 2 + m\angle 3 = 180^\circ?
4m∠1+m∠2=m∠2+m∠3m\angle 1 + m\angle 2 = m\angle 2 + m\angle 3Substitution Property of Equality
5m∠1=m∠3m\angle 1 = m\angle 3?
6∠1≅∠3\angle 1 \cong \angle 3Definition of congruent angles
Practice 8

Two lines intersect to form angles ∠1\angle 1, ∠2\angle 2, ∠3\angle 3 and ∠4\angle 4 in order around the point. If m∠1=4xm\angle 1 = 4x and m∠2=xm\angle 2 = x, find m∠4m\angle 4 in degrees.

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