Axioms and Theorems

5.1 Euclid's Axioms
In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great esthetic value in the study of geometry.  Much as children assemble a few kinds blocks into many varied towers, mathematicians assemble a few definitions and assumptions into many varied theorems. The blocks are assembled with Hands, the axioms are assembled with Reason.

All of Euclidean Geometry (the thousands of theorems) were all put together with a few different kinds of blocks.  These are called "Euclid's five axioms":

In addition to these axioms, Euclidean Geometry is based on a number of Common Notions or rules of logic that Euclid listed in "The Elements":

Euclid's goal was for these axioms and common notions to be (1) few in number, and (2) so obviously true that they could not possible be argued with.  For over 2000 years many mathematicians believed that the fifth axiom (the Parallel Axiom) was not needed. They believed that it could instead be proved as a theorem of the first four axioms. There were numerous attempts to do so. Early in the nineteenth century, three men working independently, finally put an end to this impossible search.  These men were Ivanovitch Lobachevski in Russia, Karl Gauss in Germany, and János Bolyai in Hungary.  These men each developed theorems using Euclid's first four axioms and a negation of the Parallel Axiom.  Their expectation was to eventually develop two theorems which contradicted each other.   This would prove that their negation of the Parallel Axiom is inconsistent with the first four axioms - thereby proving the Parallel Axiom (and making it the Parallel Theorem). To their surprise, however, they never obtained a contradiction. Instead, they developed a complete and consistent geometry - a non-Euclidean Geometry that is now called Hyperbolic Geometry.  This proved that the Parallel Axiom could not be derived from the other four.  This was of great mathematical and philosophical interest.  From the time of the Greeks, it was believed that geometric theorems were such pure and perfect Truth that they did not need to be scrutinized by observations of the real world.  Now, those statements are only true is some geometries. The only reason to prefer one geometry over another is by comparison to the real world - a heavy blow to a geometor.  In the early twentieth century, Albert Einstein developed The General Theory of Relativity which made extensive use of Hyperbolic Geometry.  This abstract, mathematical philosophical was now firmly in the realm of Science.

There are actually two ways to negate the Euclidean Parallel Axiom:

When thinking about these parallel axioms, it is important to remember that "parallel" does not mean "lines that look like train tracks".  "Parallel" means two lines in the same plane that, no matter how far extended, do not intersect.

The Spherical Geometry Parallel Axiom is inconsistent with Euclid's first four axioms.  In Spherical Geometry,  The "lines" are great circles.  Most pairs of points (A and B) in Spherical Geometry, lie on one and only one great circle; however if A and B happen to be antipodal (on opposite ends of any single axis), then there are an infinite number of different great circles that pass through them.  This violates Euclid's first axiom.   Euclid's second axiom, "any line segment with given endpoints may be continued in either direction" is also violated.  In Spherical Geometry, if points the endpoints of a line segment are moved farther and farther apart, then they will eventually coincide.

Contrary to Lobachevski's, Bolyai's, and Gauss' expectations, the Hyperbolic Geometry Parallel Axiom is perfectly consistent with Euclid's first four axioms.  And what a beautiful world this surprise opened up.

5.2 Betweeness and SAS Axioms:
In addition to the axioms and common notions that Euclid included in "The Elements",  he unknowingly made a number of implicit assumptions.  One of these is called the Betweeness Axiom and can be stated: "Of any three points on a line, exactly one is between the other two."   Another is called the SAS (or Side-Angle-Side) Axiom.

The SAS axiom states that if two sides and the included angle of one triangle are congruent to two sides and an included angle of a second triangle, then the two triangles are congruent.

In "The Elements", Euclid presents what he believed to be a proof for SAS:[Health-56]

ΔABC and ΔDEF, with sides AB ≅ DE, side AC ≅ DF, and ∠A ≅ ∠D.


The flaw in the above argument is that it depends on the undefined term "move".   Let  "move" (in both Euclidean and Hyperbolic Geometry) be defined as a function that maps a set of points, P1, P2, P3, ... to P'1, P'2, P'3..., in such a way that for any two points Pn and Pm of the original set, the distance from Pn to Pm equals the distance from P'n to P'm.  Then, for SAS to hold, it must be that for any two lines L and L', it is always possible to "move" line L so that it coincides with L'.   This condition is commonly called the SAS axiom, and it is a axiom of both Euclidean and Hyperbolic Geometry.  [Moise-74]

5.3 Proofs in Hyperbolic Geometry:
Euclid's 5 axioms, the common notions, plus all of his unstated assumptions together make up the complete axiomatic formation of Euclidean Geometry.  The only difference between the complete axiomatic formation of Euclidean Geometry and of Hyperbolic Geometry is the Parallel Axiom.

This is a powerful statement.  It means that any proof in Euclidean Geometry which does not use the Parallel Axiom is also a proof in Hyperbolic Geometry!

Likewise, it means that Euclidean Geometry theorems that require the Parallel Axiom will be false in Hyperbolic Geometry.  A striking example of this is the Euclidean Geometry theorem that the sum of the angles of a triangle will always total 180°.  Figure 5.4a may help you recall the proof of this theorem - and see why it is false in Hyperbolic Geometry.

Figure 5.4a: Proof for m∠A + m∠B + m∠C = 180°

In Euclidean Geometry, for any triangle ABC, there exists a unique parallel to BC that passes through point A.  Additionally, it is a theorem in Euclidean Geometry that when two parallel lines are cut by a transversal, then the opposite interior angles are congruent; therefore, ∠NAB ≅ ∠ABC and ∠MAC ≅ ∠ACB. In Hyperbolic Geometry, however, there are an infinite number of lines that are parallel to BC and pass through point A, yet there does not exist any line such that both: ∠NAB ≅ ∠ABC and ∠MAC ≅ ∠ACB.

NonEuclid Home
Next Topic - Area
Copyright©: Joel Castellanos, 1994-2002