Text
The parallel lines and are intersected by a transversal , which meets them at the points and respectively. Consider two corresponding angles, one with vertex and one with vertex , and draw their bisectors and . Prove that and are parallel.
Solution
Since and is a transversal, the two corresponding angles with vertices and are congruent; let denote their common measure.
The bisector splits the angle at into two equal parts, each of measure ; likewise the bisector splits the angle at into two equal parts, each of measure .
Take the line (that is, the transversal ) as a transversal of the two lines and . Since the two original angles are corresponding and their bisectors occupy homologous positions with respect to , the angle that makes with and the angle that makes with , taken in the same position (both on the same side of and on the same side of the respective bisected lines), each measure : they are therefore congruent corresponding angles.
By the parallelism criterion (if two lines cut by a transversal form congruent corresponding angles, then they are parallel), we obtain .