In geometry, a transversal is a line that passes through two lines in the same plane at two distinct points. Transversals play a role in establishing whether two or more other lines in the Euclidean plane are parallel. The intersections of a transversal with two lines create various types of pairs of angles: consecutive interior angles, consecutive exterior angles, corresponding angles, and alternate angles. As a consequence of Euclid's parallel postulate, if the two lines are parallel, consecutive interior angles are supplementary, corresponding angles are equal, and alternate angles are equal.
A transversal produces 8 angles, as shown in the graph at the above left:
4 with each of the two lines, namely α, β, γ and δ and then α1, β1, γ1 and δ1; and
4 of which are interior (between the two lines), namely α, β, γ1 and δ1 and 4 of which are exterior, namely α1, β1, γ and δ.
A transversal that cuts two parallel lines at right angles is called a perpendicular transversal. In this case, all 8 angles are right angles
When the lines are parallel, a case that is often considered, a transversal produces several congruent supplementary angles. Some of these angle pairs have specific names and are discussed below: corresponding angles, alternate angles, and consecutive angles.
Alternate angles are the four pairs of angles that:
have distinct vertex points,
lie on opposite sides of the transversal and
both angles are interior or both angles are exterior.
It is a very useful topic of mathematics
If the two angles of one pair are congruent (equal in measure), then the angles of each of the other pairs are also congruent.
Proposition 1.27 of Euclid's Elements, a theorem of absolute geometry (hence valid in both hyperbolic and Euclidean Geometry), proves that if the angles of a pair of alternate angles of a transversal are congruent then the two lines are parallel (non-intersecting).
It follows from Euclid's parallel postulate that if the two lines are parallel, then the angles of a pair of alternate angles of a transversal are congruent (Proposition 1.