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 non-Euclidean 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.