Note that the proof corresponds to the diagram given in an example.
We want to rewrite the given proof without using the Congruent Supplements Theorem. We will use the first three steps of the given proof to show that ∠ 5≅ ∠ 7.
Rewriting the Proof
Since we cannot use the theorem, we will possibly need a few more steps to prove this statement. From step three, we know that both pairs of angles ∠ 5 & ∠ 6 and ∠ 6 & ∠ 7 are supplementary. By the definition of supplementary angles, we obtain that the measures of each pair add up to 180^(∘).
Statement4)& m∠ 5 + m∠ 6 = 180^(∘)
& m∠ 6 + m∠ 7 = 180^(∘)
Reason4)& Definition of Supplementary
& Angles
By the Transitive Property of Equality, we can equate these two sums.
m∠ 5 + m∠ 6= 180^(∘)
and
m∠ 6 + m∠ 7= 180^(∘)
⇓
m∠ 5 + m∠ 6 = m∠ 6 + m∠ 7
This equation is our fifth statement.
Statement5)& m∠ 5 + m∠ 6 = m∠ 6 + m∠ 7
Reason5)& Transitive Property of Equality
Notice that the term m∠ 6 is on both sides of the obtained equation. We can subtract this term from both sides by using the Subtraction Property of Equality.
m∠ 5 + m∠ 6 = m∠ 6 + m∠ 7
⇕
m∠ 5 = m∠ 7
Therefore, our sixth statement is the above equation.
Statement6)& m∠ 5 = m∠ 7
Reason6)& Subtraction Property of Equality
We obtained that the measure of ∠ 5 is equal to the measure of ∠ 7. By the definition of congruent angles, these two angles are congruent. This is our final statement.
Statement7)& ∠ 5 ≅ ∠ 7
Reason7)& Definition of Congruent Angles
Complete Proof
Finally, we can complete our two-column table after rewriting the proof. Recall that the first three steps are exactly the same for both proofs.
Statement
Reason
1.
∠ 5 and ∠ 7 are vertical angles
1.
Given
2.
∠ 5 and ∠ 6 are a linear pair. ∠ 6 and ∠ 7 are a linear pair.
2.
Definition of linear pair as shown in the diagram
3.
∠ 5 and ∠ 6 are supplementary. ∠ 6 and ∠ 7 are supplementary.
3.
Linear Pair Postulate
4.
m∠ 5+m∠ 6=180^(∘) m∠ 6+m∠ 7=180^(∘)
4.
Definition of Supplementary Angles
5.
m∠ 5+m∠ 6=m∠ 6+m∠ 7
5.
Substitution Property of Equality
6.
m∠ 5=m∠ 7
6.
Subtraction Property of Equality
7.
∠ 5≅ ∠ 7
7.
Definition of Congruent Angles
In comparison with the given proof, we needed 3 more steps to prove the statement without using the Congruent Supplements Theorem.
