McGraw Hill Integrated II, 2012
MH
McGraw Hill Integrated II, 2012 View details
4. Proving Angle Relationships
Continue to next subchapter

Exercise 24 Page 305

Use Theorem 2.9 to help prove this theorem.

Statements
Reasons
1.
l ⊥ m
1.
Given
2.
∠ 1, ∠ 2, ∠ 3, and ∠ 4 are right angles
2.
Theorem 2.9
3.
m∠ 1 = 90, m∠ 2=90, m∠ 3 =90, m∠ 4=90
3.
Definition of Right Angles
4.
m∠ 1 = m∠ 2, m∠ 2 = m∠ 4, m∠ 3 = m∠ 4, and m∠ 1 = m∠ 3
4.
Substitution Method
5.
∠ 1 ≅ ∠ 2, ∠ 2 ≅ ∠ 4, ∠ 3 ≅ ∠ 4, and ∠ 1 ≅ ∠ 3
5.
Definition of Congruent Angles
Practice makes perfect

We will prove one of the Right Angles Theorem which states the following.

Right Angles Theorem

Perpendicular lines form congruent adjacent angles.

To prove it, we will use the given diagram.

Using the diagram above, we can rewrite the theorem as follows. Given:& l ⊥ m Prove:& ∠ 1 ≅ ∠ 2, ∠ 2 ≅ ∠ 4, & ∠ 3 ≅ ∠ 4, and ∠ 1 ≅ ∠ 3 Now we are ready to start the proof by using two-column proof table.

Statements
Reasons
1.
l ⊥ m
1.
Given
2.
∠ 1, ∠ 2, ∠ 3, and ∠ 4 are right angles
2.
Theorem 2.9
3.
m∠ 1 = 90, m∠ 2=90, m∠ 3 =90, m∠ 4=90
3.
Definition of Right Angles
4.
m∠ 1 = m∠ 2, m∠ 2 = m∠ 4, m∠ 3 = m∠ 4, and m∠ 1 = m∠ 3
4.
Substitution Method
5.
∠ 1 ≅ ∠ 2, ∠ 2 ≅ ∠ 4, ∠ 3 ≅ ∠ 4, and ∠ 1 ≅ ∠ 3
5.
Definition of Congruent Angles

Alternative Solution

Another Way
We will prove this theorem without using two-column proof table. Let's consider the figure above. We know that the lines are perpendicular. Since we have a theorem that perpendicular lines intersect to form four right angles, the angles ∠ 1, ∠ 2, ∠ 3, and ∠ 4 are right angles. Also by the definition of the right angles, we can write the following equations. m∠ 1 = 90 ^(∘) m∠ 2 = 90 ^(∘) m∠ 3 = 90 ^(∘) m∠ 4 = 90 ^(∘) We will use the Substitution Method to prove the congruent angles.
m∠ 1 = 90^(∘)
m ∠ 1 = m∠ 2
We can also use the Substitution Method to show the other congruent angles. m∠ 1 = m∠ 2 m∠ 2 =m∠ 4 m∠ 3 =m∠ 4 m∠ 1 =m∠ 3 To show the congruence, we will use the definition of the Congruent Angles. m∠ 1 ≅ m∠ 2 m∠ 2 ≅ m∠ 4 m∠ 3 ≅ m∠ 4 m∠ 1 ≅ m∠ 3 We reach the conclusion of what we wanted to prove.