Sign In
Vertical angles are always congruent.
Based on the characteristics of the diagram, the following relations hold true.
∠ 1 ≅ ∠ 3
∠ 2 ≅ ∠ 4
Therefore, by the Angle Addition Postulate, the sum of m∠ 1 and m∠ 2 is 180^(∘), and the sum of m∠ 2 and m∠ 3 is also 180^(∘). These facts can be used to express m∠ 2 in terms of m∠ 1 and in terms of m∠ 3.
| Angle Addition Postulate | Isolate m∠ 2 |
|---|---|
| m∠ 1+m∠ 2 = 180^(∘) | m∠ 2 = 180^(∘)-m∠ 1 |
| m∠ 2+m∠ 3 = 180^(∘) | m∠ 2 = 180^(∘)-m∠ 3 |
By the Transitive Property of Equality, the expressions representing m∠ 2 can be set equal to each other. m∠ 2= 180^(∘)-m∠ 1 m∠ 2= 180^(∘)-m∠ 3 ⇓ 180^(∘)-m∠ 1= 180^(∘)-m∠ 3 Then the equation can be simplified.
LHS-180^(∘)=RHS-180^(∘)
LHS * (- 1)=RHS* (- 1)
By the definition of congruent angles, this means that the vertical angles ∠ 1 and ∠ 3 are congruent angles. The same process can be used to prove ∠ 2 and ∠ 4 congruent.
The previous proof can be summarized in the following two-column table.
Statements
|
Reasons
|
1. l_1 and l_2 lines
|
1. Given
|
2. ∠ 1 and ∠ 2 supplementary
|
2. Definition of straight angle
|
3. m∠ 1+m∠ 2=180^(∘)
|
3. Definition of supplementary angles
|
4. m∠ 2=180^(∘)-m∠ 1
|
4. Subtraction Property of Equality
|
5. ∠ 2 and ∠ 3 supplementary
|
5. Definition of straight angle
|
6. m∠ 2+m∠ 3=180^(∘)
|
6. Definition of supplementary angles
|
7. m∠ 2=180^(∘)-m∠ 3
|
7. Subtraction Property of Equality
|
8. 180^(∘)-m∠ 1=180^(∘)-m∠ 3
|
8. Transitive Property of Equality
|
9. m∠ 1=m∠ 3
|
9. Subtraction and Multiplication Properties of Equality
|
Suppose that points A and B are rotated 180^(∘) about point E.
The points A and B are mapped onto the points A' and B' after the rotation. This means that ∠ AEB is mapped onto ∠ A'EB'. Since rotations are a rigid motion, ∠ AEB and ∠ A'EB' are congruent angles. ∠ AEB ≅ ∠ A'EB' Since the point A' lies on EC and point B' lies on ED, ∠ A'EB' is congruent to ∠ CED. ∠ A'EB' ≅ ∠ CED By applying the Transitive Property of Congruence, it can be confirmed that ∠ AEB is congruent to ∠ CED. ∠ AEB ≅ ∠ A'EB' ∠ A'EB' ≅ ∠ CED ⇓ ∠ AEB ≅ ∠ CED