Proposition 30
Straight lines parallel to the same straight line are also parallel to one another.
Let each of the straight lines AB and CD be parallel to EF.
I say that AB is also parallel to CD.
Let the straight line GK fall upon them.
Since the straight line GK falls on the parallel straight lines AB and EF, therefore the angle AGK equals the angle GHF.
Again, since the straight line GK falls on the parallel straight lines EF and CD, therefore the angle GHF equals the angle GKD.
But the angle AGK was also proved equal to the angle GHF. Therefore the angle AGK also equals the angle GKD, and they are alternate.
Therefore AB is parallel to CD.
Therefore straight lines parallel to the same straight line are also parallel to one another.
Q.E.D.
Guide
For this proposition it is supposed that the three lines lie in one plane. Proposition XI.9 applies to the case where the three lines do not lie in a plane.
Playfair’s axiom
A number of the propositions in the Elements are equivalent to the parallel postulate Post.5 in the sense that if the rest of the postulates are assumed and any one of these propositions is assumed, then the parallel postulate can be proved as a proposition. This one I.30, the last I.29, either part of I.32, and almost any later one. Thus, Euclid had many statements to choose from to take as a postulate.
In many modern expositions of synthetic geometry, Playfair’s axiom (John Playfair, 1748–1819) is chosen as that postulate instead of Euclid’s parallel postulate Post.5. Playfair’s axiom states that there is at most one line parallel to a given line passing through a given point. (That there is at least one follows from the next proposition I.31, which doesn’t depend on the parallel postulate.)
Two advantages of Playfair’s axiom over Euclid’s parallel postulate are that it is a simpler statement, and it emphasizes the distinction between Euclidean and hyperbolic geometry.
Two disadvantages are that it does not have the historical importance of Euclid’s parallel postulate, and the proof of the parallel postulate from Playfair’s axiom is nonconstructive. That proof is a proof by contradiction that begins assuming that a point does not exist, deriving a contradiction, and concluding that the point must exist, but does not construct it. It may well be that Euclid chose to make the construction an assumption of his parallel postulate rather rather than choosing some other equivalent statement for his postulate.
Elegance in mathematics
Euclid’s Elements form one of the most beautiful works of science
in the history of humankind. This beauty lies more in the logical development
of geometry rather than in geometry itself. It is not the diagrams that
excite our interest; rather it is the concepts, the way the concepts interconnect,
and the way Euclid selected and presented these concepts and their interconnections.
The Elements are elegant. Elegance in mathematics is characterized by
simplicity and clarity. An elegant presentation is easy for the reader to follow.
But elegance is not only in the presentation, it is in the selection of definitions
and proofs. The elegant definition is the one that makes the rest of the theory
easy. The elegant proof is the one that is easiest to follow, one that is designed
just right to fit the goal. Extraneous concepts should not be involved. Even
the goals need to be adjusted to the right level of generality to cover the concepts,
but not so abstract that the abstraction itself obscures the goal.
One of the criticisms of Euclid’s parallel postulate was that it isn’t simple.The statement of this proposition, I.30, is much simpler, and Playfair’s axiom is much simpler. As they’re each logically equivalent to Euclid’s parallel postulate, if elegance were the primary goal, then Euclid would have chosen one of them in place of his postulate. Perhaps the reasons mentioned above explain why Euclid used Post.5 instead.
Use of Proposition 30
This proposition is used in I.45 and IV.7.
