Vertical Angles
GeometryVertical angles are the pairs of opposite angles formed when two lines intersect, and they are always equal in measure.
Formula
\text{vertical angle } A = \text{vertical angle } B
Definition
When two lines cross, they form four angles. Vertical angles are the two pairs of angles that are directly across from each other at the intersection. Vertical angles are always equal.
Example
When two roads cross at an X shape, the angles diagonally across from each other are vertical angles. If one angle is $50^\circ$, the angle directly across from it is also $50^\circ$.
Key Insight
Vertical angles are equal because they are each supplementary to the same angle. Despite the name, "vertical" angles do not have to be up-down - the name comes from the shared vertex at the crossing point.
Definition
Vertical angles are the non-adjacent angle pairs formed when two lines intersect. They share a vertex but no sides. The Vertical Angles Theorem states: vertical angles are always congruent. Two intersecting lines form two pairs of vertical angles and four linear pairs.
Example
Lines $m$ and $n$ intersect at point $P$, forming angles $1, 2, 3, 4$ in order. Angles $1$ and $3$ are vertical (congruent). Angles $2$ and $4$ are vertical (congruent). Angles $1$ and $2$ are a linear pair (supplementary).
Key Insight
Proof that vertical angles are equal: angle $1$ + angle $2$ = $180$ (linear pair), and angle $3$ + angle $2$ = $180$ (linear pair), so angle $1$ = $180$ - angle $2$ = angle $3$. This is a model proof that students encounter early in formal geometry reasoning.
Definition
Vertical angles arise from the symmetry of two intersecting lines about their point of intersection. The $180^\circ$ rotation about the intersection point maps each line to itself and each angle to its vertical angle, establishing their congruence via the isometry group of the configuration.
Example
In projective geometry, two distinct lines in the projective plane meet in exactly one point, and the concept of vertical angles generalizes to any such intersection. In the affine plane, the point reflection $(x, y) \to (2h - x, 2k - y)$ about intersection $(h, k)$ swaps each angle with its vertical angle.
Key Insight
The proof of vertical angle congruence is one of the first proofs in Euclid's Elements (Book I, Proposition 15). It demonstrates how a single postulate (straight angles sum to $180^\circ$) can prove a non-obvious geometric fact, modeling the deductive structure of all of Euclidean geometry.