Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Transversal (geometry)
open-in-new
<h2 id="angles-of-a-transversal">Angles of a transversal</h2> <p>A transversal produces 8 angles, as shown in the graph at the above left: </p> <ul><li>4 with each of the two lines, namely α, β, γ and δ and then α1, β1, γ1 and δ1; and</li> <li>4 of which are interior (between the two lines), namely α, β, γ1 and δ1 and 4 of which are exterior, namely α1, β1, γ and δ.</li></ul> <p>A transversal that cuts two parallel lines at <a href="/facts/Right_angle/psaslRq7">right angles</a> is called a perpendicular transversal. In this case, all 8 angles are right angles <a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> </p><p>When the lines are <a href="/facts/Parallel_lines/16r5yq7D">parallel</a>, a case that is often considered, a transversal produces several <a href="/facts/Congruence_(geometry)/2tKJ6AhB">congruent</a> <a href="/facts/Supplementary_angles/gFUTEQYq">supplementary angles</a>. Some of these angle pairs have specific names and are discussed below: corresponding angles, alternate angles, and consecutive angles.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a><a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a>: Art. 87 </p> <h3>Alternate angles</h3> <p>Alternate angles are the four pairs of angles that: </p> <ul><li>have distinct <a href="/facts/Vertex_(geometry)/ID3cea9z">vertex</a> points,</li> <li>lie on opposite sides of the transversal and</li> <li>both angles are interior or both angles are exterior.</li></ul> <p>If the two angles of one pair are congruent (equal in measure), then the angles of each of the other pairs are also congruent. </p><p>Proposition 1.27 of <a href="/facts/Euclid%27s_Elements/nPKvCIxs">Euclid's <i>Elements</i></a>, a theorem of <a href="/facts/Absolute_geometry/ABKfjdn2">absolute geometry</a> (hence valid in both <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic</a> and <a href="/facts/Euclidean_Geometry/V6cTcoCy">Euclidean Geometry</a>), proves that if the angles of a pair of alternate angles of a transversal are congruent then the two lines are parallel (non-intersecting). </p><p>It follows from Euclid's <a href="/facts/Parallel_postulate/xhSxUX4u">parallel postulate</a> that if the two lines are parallel, then the angles of a pair of alternate angles of a transversal are congruent (Proposition 1.29 of Euclid's <i>Elements</i>). </p> <h3>Corresponding angles</h3> <p class="note">For an alternate use see <a href="/facts/Corresponding_angles_(congruence_and_similarity)/UkX6JvjL">Corresponding angles (congruence and similarity)</a></p> <p>Corresponding angles are the four pairs of angles that: </p> <ul><li>have distinct vertex points,</li> <li>lie on the same side of the transversal and</li> <li>one angle is interior and the other is exterior.</li></ul> <p>Two lines are parallel if and only if the two angles of any pair of corresponding angles of any transversal are congruent (equal in measure). </p><p>Proposition 1.28 of Euclid's <i>Elements</i>, a theorem of <a href="/facts/Absolute_geometry/ABKfjdn2">absolute geometry</a> (hence valid in both <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic</a> and <a href="/facts/Euclidean_Geometry/V6cTcoCy">Euclidean Geometry</a>), proves that if the angles of a pair of corresponding angles of a transversal are congruent then the two lines are parallel (non-intersecting). </p><p>It follows from Euclid's <a href="/facts/Parallel_postulate/xhSxUX4u">parallel postulate</a> that if the two lines are parallel, then the angles of a pair of corresponding angles of a transversal are congruent (Proposition 1.29 of Euclid's <i>Elements</i>). </p><p>If the angles of one pair of corresponding angles are congruent, then the angles of each of the other pairs are also congruent. In the various images with parallel lines on this page, corresponding angle pairs are: α=α1, β=β1, γ=γ1 and δ=δ1. </p> <h3>Consecutive interior angles</h3> <p>Consecutive interior angles are the two pairs of angles that:<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a><a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> </p> <ul><li>have distinct vertex points,</li> <li>lie on the same side of the transversal and</li> <li>are both interior.</li></ul> <p>Two lines are parallel if and only if the two angles of any pair of consecutive interior angles of any transversal are supplementary (sum to 180°). </p><p>Proposition 1.28 of Euclid's <i>Elements</i>, a theorem of <a href="/facts/Absolute_geometry/ABKfjdn2">absolute geometry</a> (hence valid in both <a href="/facts/Hyperbolic_geometry/DjTMKdgy">hyperbolic</a> and <a href="/facts/Euclidean_Geometry/V6cTcoCy">Euclidean Geometry</a>), proves that if the angles of a pair of consecutive interior angles are supplementary then the two lines are parallel (non-intersecting). </p><p>It follows from Euclid's <a href="/facts/Parallel_postulate/xhSxUX4u">parallel postulate</a> that if the two lines are parallel, then the angles of a pair of consecutive interior angles of a transversal are supplementary (Proposition 1.29 of Euclid's <i>Elements</i>). </p><p>If one pair of consecutive interior angles is supplementary, the other pair is also supplementary. </p> <h2 id="other-characteristics-of-transversals">Other characteristics of transversals</h2> <p>If three lines in general position form a triangle are then cut by a transversal, the lengths of the six resulting segments satisfy <a href="/facts/Menelaus%27_theorem/nbRXdFDH">Menelaus' theorem</a>. </p> <h2 id="related-theorems">Related theorems</h2> <p><a href="/facts/Euclid/dHpVyL4R">Euclid</a>'s formulation of the <a href="/facts/Parallel_postulate/xhSxUX4u">parallel postulate</a> may be stated in terms of a transversal. Specifically, if the interior angles on the same side of the transversal are less than two right angles then lines must intersect. In fact, Euclid uses the same phrase in Greek that is usually translated as "transversal".<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a>: 308, nfote 1 </p><p>Euclid's Proposition 27 states that if a transversal intersects two lines so that alternate interior angles are congruent, then the lines are parallel. Euclid proves this <a href="/facts/Proof_by_contradiction/vHtFzFQ5">by contradiction</a>: If the lines are not parallel then they must intersect and a triangle is formed. Then one of the alternate angles is an exterior angle equal to the other angle which is an opposite interior angle in the triangle. This contradicts Proposition 16 which states that an exterior angle of a triangle is always greater than the opposite interior angles.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a>: 307 <a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a>: Art. 88 </p><p>Euclid's Proposition 28 extends this result in two ways. First, if a transversal intersects two lines so that corresponding angles are congruent, then the lines are parallel. Second, if a transversal intersects two lines so that interior angles on the same side of the transversal are supplementary, then the lines are parallel. These follow from the previous proposition by applying the fact that opposite angles of intersecting lines are equal (Prop. 15) and that adjacent angles on a line are supplementary (Prop. 13). As noted by <a href="/facts/Proclus/DRh6TKdX">Proclus</a>, Euclid gives only three of a possible six such criteria for parallel lines.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a>: 309–310 <a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a>: Art. 89-90 </p><p>Euclid's Proposition 29 is a converse to the previous two. First, if a transversal intersects two parallel lines, then the alternate interior angles are congruent. If not, then one is greater than the other, which implies its supplement is less than the supplement of the other angle. This implies that there are interior angles on the same side of the transversal which are less than two right angles, contradicting the fifth postulate. The proposition continues by stating that on a transversal of two parallel lines, corresponding angles are congruent and the interior angles on the same side are equal to two right angles. These statements follow in the same way that Prop. 28 follows from Prop. 27.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a>: 311–312 <a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a>: Art. 93-95 </p><p>Euclid's proof makes essential use of the fifth postulate, however, modern treatments of geometry use <a href="/facts/Playfair%27s_axiom/Gw2g59Hh">Playfair's axiom</a> instead. To prove proposition 29 assuming Playfair's axiom, let a transversal cross two parallel lines and suppose that the alternate interior angles are not equal. Draw a third line through the point where the transversal crosses the first line, but with an angle equal to the angle the transversal makes with the second line. This produces two different lines through a point, both parallel to another line, contradicting the axiom.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a>: 313 <a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> </p> <h2 id="in-higher-dimensions">In higher dimensions</h2> <p>In higher dimensional spaces, a line that intersects each of a set of lines in distinct points is a <i>transversal</i> of that set of lines. Unlike the two-dimensional (plane) case, transversals are not guaranteed to exist for sets of more than two lines. </p><p>In Euclidean 3-space, a <a href="/facts/Regulus_(geometry)/M77LIboa">regulus</a> is a set of <a href="/facts/Skew_lines/2GSpRI8k">skew lines</a>, R, such that through each point on each line of R, there passes a transversal of R and through each point of a transversal of R there passes a line of R. The set of transversals of a regulus R is also a regulus, called the <i>opposite regulus</i>, <i>R</i>o. In this space, three mutually skew lines can always be extended to a regulus. </p> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Transversal". Math Open Reference. 2009. (interactive) <a href="http://www.mathopenref.com/transversal.html" target="_blank">http://www.mathopenref.com/transversal.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Rod Pierce (2011). "Parallel Lines". MathisFun. (interactive) <a href="http://www.mathsisfun.com/geometry/parallel-lines.html" target="_blank">http://www.mathsisfun.com/geometry/parallel-lines.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan. <a href="https://archive.org/details/elementarygeome00holggoog" target="_blank">https://archive.org/details/elementarygeome00holggoog</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>C.Clapham, J.Nicholson (2009). "Oxford Concise Dictionary of Mathematics" (PDF). Addison-Wesley. p. 582. <a href="http://web.cortland.edu/matresearch/OxfordDictionaryMathematics.pdf" target="_blank">http://web.cortland.edu/matresearch/OxfordDictionaryMathematics.pdf</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Rod Pierce (2011). "Parallel Lines". MathisFun. (interactive) <a href="http://www.mathsisfun.com/geometry/parallel-lines.html" target="_blank">http://www.mathsisfun.com/geometry/parallel-lines.html</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press. <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press. <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan. <a href="https://archive.org/details/elementarygeome00holggoog" target="_blank">https://archive.org/details/elementarygeome00holggoog</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press. <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan. <a href="https://archive.org/details/elementarygeome00holggoog" target="_blank">https://archive.org/details/elementarygeome00holggoog</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press. <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan. <a href="https://archive.org/details/elementarygeome00holggoog" target="_blank">https://archive.org/details/elementarygeome00holggoog</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press. <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>A similar proof is given in Holgate 1901, Art. 93 <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> </ol>