For our purposes, it is enough to prove the theorem using only ∠1 and ∠2.
Given:& ∠1 ≅ ∠2 and they are supplementary.
Prove:& ∠1 and ∠2 are right angles.
Now we will start the proof by using the two-column proof table.
Statements
Reasons
1.
∠1 ≅ ∠2 and they are supplementary
1.
Given
2.
m∠1 = m∠2
2.
Definition of Congruent Angles
3.
m∠1 + m∠2 = 180
3.
Supplement Theorem
4.
m∠1 + m∠1 = 180
4.
Substitution Method
5.
m∠1 = 90
5.
Simplify
6.
m∠2 = 90
6.
Transitive Property of Equality
Alternative Solution
Another Way
We can also prove this theorem without using two-column proof table. Let's consider the figure above. We know that ∠1 and ∠2 are congruent and supplementary. By the definition of the congruent angles, we know that the measures of the angles are equal. m∠1 = m∠2
Besides by the Supplement Theorem, we know that the sum of the measures of the angles ∠1 and ∠2 are 180^(∘). We will use the Substitution Method to find m∠1.
