|In the diagram, if angle ABE plus angle BED is less than two right angles (180°), then lines AC and DF will meet when extended in the direction of A and D.|
This postulate is usually called the "parallel postulate" since it can be used to prove properties of parallel lines. Euclid develops the theory of parallel lines in propositions through I.31.
The parallel postulate is historically the most interesting postulate. Geometers throughout the ages have tried to show that it could be proved from the remaining postulates so that it wasn't necessary to assume it. The process tried was to assume its falsehood, then derive a contradiction. Many strange conclusions follow from denying the parallel postulate, and several geometers found such great absurdities that they concluded that the parallel postulate did follow from the rest.
Nevertheless, these apparent absurdities are not contradictions. In the early nineteenth century, Bolyai, Lobachevsky, and Gauss found ways of dealing with this "non-Euclidean" geometry by means of analysis and accepted it as a valid kind of geometry, although very different from Euclidean geometry. This hyperbolic geometry, as it is called, is just as consistent as Euclidean geometry and has many uses.
Thus, we know now that we must include the parallel postulate to derive Euclidean geometry. For more on noneuclidean geometries, see the notes on hyperbolic geometry after I.29 and elliptic geometry after I.16.
Euclid does not use this parallel postulate until Proposition I.29, but nearly all of the rest of Book I depends on it. For more commentary about the postulate see the Guides to I.29 and I.30.
Next proposition: I.1
© 1996, 2003