Before we examine the particulars of the parallel postulates of Hyperbolic and Elliptical geometries, we must see their logic.

The earliest known attempt to prove the parallel postulates from the other axioms was by Ptolemy in about 150 A.D.

Euclid's parallel postulate may not have seemed so important when you studied geometry in high school, since it is used only once in order to derive the basic result 1 on alternate interior angles, which is then constantly used to derive further results.

In order to understand this section, it is vital to keep in mind an important fact: The "proof" of the parallel postulate presented here is not correct. In fact, there can be no proof of the parallel postulate that relies only on the other axioms and postulates of Euclid.

After enduring twenty centuries of criticism, Euclid's theory of parallels was fully vindicated in 1868 when Eugenio Beltrami proved the independence of Euclid's parallel postulate by constructing a Euclidean model of the hyperbolic plane.

Parallel postulate

Meaning

Noun