Rule

Vertical Angles Theorem

Vertical angles are always congruent.

Based on the characteristics of the diagram, the following relations hold true.

∠ 1 ≅ ∠ 3
∠ 2 ≅ ∠ 4

Proof

Geometric Approach
Analyzing the diagram, it can be seen that ∠ 1 and ∠ 2 form a straight angle, so these are supplementary angles. Similarly, ∠ 2 and ∠ 3 are also supplementary angles.

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.

180^(∘)-m∠ 1=180^(∘)-m∠ 3
- m∠ 1=- m∠ 3
m∠ 1=m∠ 3

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.

Two-Column Proof

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

Proof

Using Transformations
Consider the points A, B, C, and D on each ray that starts at the point of intersection E of the two lines.

Suppose that points A and B are rotated 180^(∘) about point E.

Vertical Angles Proof Rotation About Intersection Point

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

Exercises
Edit Lesson