Transversal (geometry)

Last updated October 22, 2024

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.

Angles of a transversal

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 α₁, β₁, γ₁ and δ₁; and
4 of which are interior (between the two lines), namely α, β, γ₁ and δ₁ and 4 of which are exterior, namely α₁, β₁, γ 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 ^[1]

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.^[2]^[3]^{: Art. 87}

Alternate 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.

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.29 of Euclid's Elements).

Corresponding angles

Corresponding angles are the four pairs of angles that:

have distinct vertex points,
lie on the same side of the transversal and
one angle is interior and the other is exterior.

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).

Proposition 1.28 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 corresponding 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 corresponding angles of a transversal are congruent (Proposition 1.29 of Euclid's Elements).

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: α=α₁, β=β₁, γ=γ₁ and δ=δ₁.

Consecutive interior angles

Consecutive interior angles are the two pairs of angles that:^[4]^[2]

have distinct vertex points,
lie on the same side of the transversal and
are both interior.

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°).

Proposition 1.28 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 consecutive interior angles are supplementary 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 consecutive interior angles of a transversal are supplementary (Proposition 1.29 of Euclid's Elements).

If one pair of consecutive interior angles is supplementary, the other pair is also supplementary.

Other characteristics of transversals

If three lines in general position form a triangle are then cut by a transversal, the lengths of the six resulting segments satisfy Menelaus' theorem.

Related theorems

Euclid's formulation of the parallel postulate 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".^[5]^{: 308, nfote 1}

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 by contradiction: 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.^[5]^: 307^[3]^{: Art. 88}

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 Proclus, Euclid gives only three of a possible six such criteria for parallel lines.^[5]^{: 309–310}^[3]^{: Art. 89-90}

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.^[5]^{: 311–312}^[3]^{: Art. 93-95}

Euclid's proof makes essential use of the fifth postulate, however, modern treatments of geometry use Playfair's axiom 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.^[5]^: 313^[6]

In higher dimensions

In higher dimensional spaces, a line that intersects each of a set of lines in distinct points is a transversal of that set of lines. Unlike the two-dimensional (plane) case, transversals are not guaranteed to exist for sets of more than two lines.

In Euclidean 3-space, a regulus is a set of skew lines, $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 opposite regulus, $R o$ . In this space, three mutually skew lines can always be extended to a regulus.

Related Research Articles

<span class="mw-page-title-main">Angle</span> Figure formed by two rays meeting at a common point

In Euclidean geometry, an angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays are also known as plane angles as they lie in the plane that contains the rays. Angles are also formed by the intersection of two planes; these are called dihedral angles. Two intersecting curves may also define an angle, which is the angle of the rays lying tangent to the respective curves at their point of intersection.

Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. A triangle has three internal angles, each one bounded by a pair of adjacent edges; the sum of angles of a triangle always equals a straight angle. The triangle is a plane figure and its interior is a planar region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex; the shortest segment between base and apex is the height. The area of a triangle equals one-half the product of height and base length.

<span class="mw-page-title-main">Similarity (geometry)</span> Property of objects which are scaled or mirrored versions of each other

In Euclidean geometry, two objects are similar if they have the same shape, or if one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling, possibly with additional translation, rotation and reflection. This means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is congruent to the result of a particular uniform scaling of the other.

In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or relaxing the metric requirement. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non-Euclidean geometries. When the metric requirement is relaxed, then there are affine planes associated with the planar algebras, which give rise to kinematic geometries that have also been called non-Euclidean geometry.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

Spherical geometry or spherics is the geometry of the two-dimensional surface of a sphere or the $n$ -dimensional surface of higher dimensional spheres.

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

In geometry, parallel lines are coplanar infinite straight lines that do not intersect at any point. Parallel planes are planes in the same three-dimensional space that never meet. Parallel curves are curves that do not touch each other or intersect and keep a fixed minimum distance. In three-dimensional Euclidean space, a line and a plane that do not share a point are also said to be parallel. However, two noncoplanar lines are called skew lines. Line segments and Euclidean vectors are parallel if they have the same direction or opposite direction.

Absolute geometry is a geometry based on an axiom system for Euclidean geometry without the parallel postulate or any of its alternatives. Traditionally, this has meant using only the first four of Euclid's postulates. The term was introduced by János Bolyai in 1832. It is sometimes referred to as neutral geometry, as it is neutral with respect to the parallel postulate. The first four of Euclid's postulates are now considered insufficient as a basis of Euclidean geometry, so other systems are used instead.

<span class="mw-page-title-main">AA postulate</span>

In Euclidean geometry, the AA postulate states that two triangles are similar if they have two corresponding angles congruent.

In geometry, the angle bisector theorem is concerned with the relative lengths of the two segments that a triangle's side is divided into by a line that bisects the opposite angle. It equates their relative lengths to the relative lengths of the other two sides of the triangle.

A Saccheri quadrilateral is a quadrilateral with two equal sides perpendicular to the base. It is named after Giovanni Gerolamo Saccheri, who used it extensively in his 1733 book Euclides ab omni naevo vindicatus, an attempt to prove the parallel postulate using the method reductio ad absurdum. Such a quadrilateral is sometimes called a Khayyam–Saccheri quadrilateral to credit Persian scholar Omar Khayyam who described them in his 11th century book Risāla fī šarḥ mā aškala min muṣādarāt kitāb Uqlīdis.

In a Euclidean space, the sum of angles of a triangle equals a straight angle . A triangle has three angles, one at each vertex, bounded by a pair of adjacent sides.

The exterior angle theorem is Proposition 1.16 in Euclid's Elements, which states that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles. This is a fundamental result in absolute geometry because its proof does not depend upon the parallel postulate.

Foundations of geometry is the study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries. These are fundamental to the study and of historical importance, but there are a great many modern geometries that are not Euclidean which can be studied from this viewpoint. The term axiomatic geometry can be applied to any geometry that is developed from an axiom system, but is often used to mean Euclidean geometry studied from this point of view. The completeness and independence of general axiomatic systems are important mathematical considerations, but there are also issues to do with the teaching of geometry which come into play.

In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's Elements, is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry:

If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.

<span class="mw-page-title-main">Playfair's axiom</span> Modern formulation of Euclids parallel postulate

In geometry, Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid :

In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point.

References

↑ "Transversal". Math Open Reference. 2009. (interactive)
1 2 Rod Pierce (2011). "Parallel Lines". MathisFun. (interactive)
1 2 3 4 Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan.
↑ C.Clapham, J.Nicholson (2009). "Oxford Concise Dictionary of Mathematics" (PDF). Addison-Wesley. p. 582.
1 2 3 4 5 Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press.
↑ A similar proof is given in Holgate 1901, Art. 93

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] "Transversal". Math Open Reference. 2009. (interactive)

[MathisFun-2] 1 2 Rod Pierce (2011). "Parallel Lines". MathisFun. (interactive)

[holgate1901-3] 1 2 3 4 Holgate, Thomas Franklin (1901). Elementary Geometry. Macmillan.

[Oxford-4] C.Clapham, J.Nicholson (2009). "Oxford Concise Dictionary of Mathematics" (PDF). Addison-Wesley. p. 582.

[heath1908-5] 1 2 3 4 5 Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press.

[6] A similar proof is given in Holgate 1901, Art. 93

[1]

[2]

[3]

[4]

[5]

[6]


Eight angles of a transversal. (Vertical angles such as $\alpha$ and $\gamma$ are always congruent.)		Transversal between non-parallel lines. Consecutive angles are not supplementary.	Transversal between parallel lines. Consecutive angles are supplementary.