Transitivity of Parallelism
The transitivity of parallelism is one of the most elegant and useful properties in Euclidean geometry. It states: if a line ℓ is parallel to a line m, and m is parallel to a third line n, then ℓ must also be parallel to n. In symbolic shorthand, if ℓ ∥ m and m ∥ n, then ℓ ∥ n. This mirrors the familiar algebraic idea of transitivity — that a relationship can 'pass through' a middle object — applied here to the geometric notion of parallel lines. This property is not just a curiosity; it is a workhorse of geometric proof. Whenever you need to establish that two lines never meet, you can do so indirectly by finding a third line that is parallel to both. Engineers laying out parallel railway tracks, architects drawing floor plans, and computer graphics programmers rendering three-dimensional scenes all rely — explicitly or implicitly — on the transitivity of parallelism to maintain consistent spacing and direction across a design. Formally, the transitivity of parallelism follows from Euclid's famous fifth postulate (the parallel postulate), which guarantees that through any point not on a given line there is exactly one line parallel to it. Because that line is unique, two lines that are each parallel to the same reference line must in fact be the same line or must be parallel to each other — they cannot cross without violating uniqueness. Understanding this argument gives you genuine insight into why Euclidean geometry is built the way it is, and prepares you for later studies in non-Euclidean geometries where this uniqueness — and hence transitivity — can fail.
- State the Given Information
- Assume the Opposite (Proof by Contradiction)
- Apply the Parallel Postulate
- Reach the Contradiction
- Conclude the Proof
- Checking the Reflexive and Symmetric Companions
State the Given Information
Suppose we are given three distinct lines ℓ, m, and n in the same plane. We know that ℓ ∥ m (line ℓ is parallel to line m) and m ∥ n (line m is parallel to line n). Our goal is to prove that ℓ ∥ n.
Assume the Opposite (Proof by Contradiction)
Assume for the sake of contradiction that ℓ is NOT parallel to n. If ℓ is not parallel to n, then the two lines must intersect at some point — call it P — because in Euclidean geometry, two distinct coplanar lines either are parallel or they intersect.
Apply the Parallel Postulate
We now have point P, and we know that n passes through P. We also know that m ∥ n. By the parallel postulate (Playfair's axiom): through any given external point, there is exactly one line parallel to a given line. Since m ∥ n and P lies on n... wait — that is not quite the right framing. Let us reconsider: P is on ℓ, and ℓ ∥ m means P is NOT on m. So through point P, line ℓ is parallel to m. But we also said n passes through P, and n ∥ m. So through the same point P, BOTH ℓ and n are parallel to m.
Reach the Contradiction
By Playfair's axiom, through any point there is at most one line parallel to a given line m. We have found two distinct lines through P (namely ℓ and n) that are both parallel to m. This is a contradiction — unless ℓ and n are actually the same line. Since we specified the lines are distinct (ℓ ≠ n), the contradiction stands.
Conclude the Proof
Because the assumption 'ℓ is not parallel to n' leads to a contradiction with Playfair's axiom, the assumption must be false. Therefore ℓ ∥ n. ∎ This proof is concise but powerful — it shows that transitivity of parallelism is a direct consequence of the uniqueness built into the parallel postulate, not an independent fact we have to accept without reason.
Checking the Reflexive and Symmetric Companions
Parallelism also satisfies two companion properties that together with transitivity make it an equivalence relation (when we include the convention that a line is parallel to itself). Reflexive: ℓ ∥ ℓ (trivially, a line does not intersect itself). Symmetric: if ℓ ∥ m then m ∥ ℓ (the relationship is mutual). Combined with transitivity, these three properties mean that parallelism partitions all lines in a plane into classes — every line in a class shares the same direction.
The Key Equation
- \ell — Line ℓ (dimensionless): The first line under consideration; an infinite straight object in the plane.
- m — Line m (dimensionless): The middle (reference) line; it is the common line to which both ℓ and n are declared parallel.
- n — Line n (dimensionless): The third line; once shown parallel to m (and given ℓ ∥ m), it must be parallel to ℓ by transitivity.
- \parallel — Parallel symbol (dimensionless): Denotes that two lines lie in the same plane and never intersect, maintaining a constant perpendicular distance from each other.
- \Longrightarrow — Logical implication (dimensionless): Reads 'implies'; the left-hand condition being true forces the right-hand conclusion to be true.
Worked Example
Problem. In the figure below, lines a, b, and c are coplanar. A transversal t crosses all three lines. You are told that a ∥ b. The transversal makes an angle of 65° with line b at their intersection, and makes the same 65° corresponding angle with line c. (1) What can you conclude about lines b and c? (2) What can you conclude about lines a and c? Justify each answer.
Answer. b is parallel to c (corresponding angles equal); a is parallel to c by transitivity of parallelism.
Origins · 1 minEuclid of Alexandria and how this was discovered
Euclid systematised the geometry of his era in his monumental work Elements (c. 300 BCE), a 13-book treatise that remained the standard geometry textbook for over 2000 years. His fifth postulate — the parallel postulate — is the logical foundation for transitivity of parallelism. Euclid stated it as: 'If a straight line falls on two straight lines making the interior angles on the same side less than two right angles, the two lines, if produced indefinitely, will meet on that side.' From this single postulate (or its equivalent, Playfair's axiom), the entire structure of parallel-line theorems — including transitivity — can be rigorously derived. Legend has it that when King Ptolemy I asked Euclid for a shortcut to learning geometry, Euclid replied: 'There is no royal road to geometry.' The phrase 'royal road' has since become a general metaphor for easy shortcuts in learning.
Related Concepts
- The Parallel Postulate (Euclid's Fifth Postulate) — Transitivity of parallelism is a direct consequence of the parallel postulate; understanding the postulate explains WHY transitivity must hold in Euclidean geometry.
- Corresponding Angles Postulate — Corresponding angles provide the practical tool for detecting and proving parallelism, which is used within proofs that apply transitivity.
- Alternate Interior Angles Theorem — Like corresponding angles, alternate interior angles offer another method to establish the initial parallel relationships (ℓ ∥ m and m ∥ n) before applying transitivity.
- Proof by Contradiction (Reductio ad Absurdum) — The standard proof of transitivity of parallelism uses proof by contradiction; mastering this technique is essential for constructing and understanding the argument.
- Equivalence Relations (Reflexive, Symmetric, Transitive) — Parallelism (augmented by the convention that a line is parallel to itself) forms an equivalence relation; transitivity is one of the three defining properties of equivalence relations.