Euclidean Vs Non Euclidean Geometry Essay
3: What is Non-Euclidean Geometry
1.1 Euclidean Geometry:
The geometry with which we are most familiar is called Euclidean geometry. Euclidean geometry was named after Euclid, a Greek mathematician who lived in 300 BC. His book, called "The Elements", is a collection of axioms, theorems and proofs about squares, circles acute angles, isosceles triangles, and other such things. Most of the theorems which are taught in high schools today can be found in Euclid's 2000 year old book.
Euclidean geometry is of great practical value. It has been used by the ancient Greeks through modern society to design buildings, predict the location of moving objects and survey land.
1.2 Non-Euclidean Geometry: non-Euclidean geometry is any geometry that is different from Euclidean geometry. Each Non-Euclidean geometry is a consistent system of definitions, assumptions, and proofs that describe such objects as points, lines and planes. The two most common non-Euclidean geometries are spherical geometry and hyperbolic geometry. The essential difference between Euclidean geometry and these two non-Euclidean geometries is the nature of parallel lines: In Euclidean geometry, given a point and a line, there is exactly one line through the point that is in the same plane as the given line and never intersects it. In spherical geometry there are no such lines. In hyperbolic geometry there are at least two distinct lines that pass through the point and are parallel to (in the same plane as and do not intersect) the given line.
1.3 Spherical Geometry:
Spherical geometry is a plane geometry on the surface of a sphere. In a plane geometry, the basic concepts are points and lines. In spherical geometry, points are defined in the usual way, but lines are defined such that the shortest distance between two points lies along them. Therefore, lines in spherical geometry are great circles. A great circle is the largest circle that can be drawn on a sphere. The longitude lines and the equator are great circles of the Earth. Latitude lines, except for the equator, are not great circles. Great circles are lines that divide a sphere into two equal hemispheres.
Spherical geometry is used by pilots and ship captains as they navigate around the globe. Working in spherical geometry has some non-intuitive results. For example, did you know that the shortest flying distance from Florida to the Philippine Islands is a path across Alaska? The Philippines are south of Florida - why is flying north to Alaska a short-cut? The answer is that Florida, Alaska, and the Philippines are collinear locations in spherical geometry (they lie on a great circle). Another odd property of spherical geometry is that the sum of the angles of a triangle is always greater then 180°. Small triangles, like those drawn on a football field, have very, very close to 180°. Big triangles, however, (like the triangle with veracities: New York, L.A. and Tampa) have significantly more than 180°.
1.4 Hyperbolic Geometry:
hyperbolic geometry is the geometry of which the NonEuclid software is a model. Hyperbolic geometry is a "curved" space, and plays an important role in Einstein's General theory of Relativity. hyperbolic geometry is also has many applications within the field of Topology.
Hyperbolic geometry shares many proofs and theorems with Euclidean geometry, and provides a novel and beautiful prospective from which to view those theorems. Hyperbolic geometry also has many differences from Euclidean geometry. The following sections discuss and explore hyperbolic geometry in some detail.
Next Topic - 2: Using NonEuclid - My First Triangle
Copyright©: Joel Castellanos, 1994-2007
|HPS 0410||Einstein for Everyone|
Back to main course page
A Sample Construction
John D. Norton
Department of History and Philosophy of Science
University of Pittsburgh
From the Eighteenth to the Nineteenth Century
We saw in the last chapter that the earlier centuries brought the nearly perfect geometry of Euclid to nineteenth century geometers. The one blemish was the artificiality of the fifth postulate. Unlike the other four postulates, the fifth postulate just did not look like a self-evident truth.
In the eighteenth century, as in the centuries before, the project had been to rid Euclid's geometry of this flaw. The goal was to derive the fifth postulate from the other four. Then, geometry would need only to posit the first four postulates; the fifth would be deduced from them.
An indirect strategy was used in the efforts to derive the fifth postulate from the other four. The procedure was to take the first four postulates and add the negation of the fifth to them. Then the geometer would proceed to explore the consequences of these five assumptions. The goal was to demonstrate that a contradiction followed. Arriving at a contradiction would show that a false presumption had been made somewhere. The candidates for the false presumption were the five assumptions of the starting point. Four of these were just the first four of Euclid's postulates, which were taken to be secure. So the false presumption had to be the negation of the fifth postulate.
|and||the negation of|
Euclid's fifth postulate
|leads to||a contradiction.|
This assumption must be false.
That is, the finding of a contradiction showed that the negation of the fifth postulate was false. Stripping out the double negative ("...negation...false") we just have that the fifth postulate is true. Or, more carefully, as long as the first four postulates are true, then the fifth is true. And that just means that we have inferred the truth of the fifth postulate from the other four. The postulates needed for Euclid's geometry would thereby be reduced to the first four.
The work was both encouraging and maddening. It was encouraging in that all sorts of very odd results followed. It was maddening in that none of the results, no matter how odd, was actually a flat-out contradiction. None flatly asserted "A and not-A." It was as if the geometers had struggled past many dangers but were perpetually trapped one step short of the end of their journey.
In the nineteenth century, the reason for this frustrating failure was finally recognized by Gauss, Riemann, Bolyai, Lobachevsky and others. When the earlier geometers had posited an alternative to Euclid's fifth postulate, they were not creating a contradiction. Rather they were defining a new geometry.The conclusions they drew were merely facts in the new geometry. These facts seemed odd simply because they belonged in a geometry different from that of Euclid.
The import of this realization was profound. It gradually became clear that geometry did not have to be Euclidean. The success of Euclidean geometry was something to be discovered. It certainly worked where ever we looked. But would it still work if we surveyed volumes of space on the cosmic scale? And what are to we to make of Kant's assurance that space has to be Euclidean, a synthetic a priori fact?
If one has a prior background in Euclidean geometry, it takes a little while to be comfortable with the idea that space does not have to be Euclidean and that other geometries are quite possible. In this chapter, we will give an illustration of what it is like to do geometry in a space governed by an alternative to Euclid's fifth postulate.
Alternative Formulations of Euclid's Fifth Postulate
One of most important by-products of the efforts to derive Euclid's fifth postulate were simpler, alternative formulations of the postulate that could be used in place of Euclid's original. Many were found, including:
There exists a pair of coplanar straight lines, everywhere equidistant from one another.
There exists a pair of similar, non-congruent triangles.
If in a quadrilateral a pair of opposite sides are equal and if the angles adjacent to the third side are right angles, then the other two angles are also right angles. (Saccheri)
There is no upper bound to the area of a triangle.
Of all the reformulations, one proves to be most useful. It was stated by an 18th century mathematician and physicist, Playfair. His postulate, equivalent to Euclid's fifth, was:
5.ONE Through any given point can be drawn exactly one straight line parallel to a given line.
This formulation made it easy to state what the alternatives were. In place of ONE, we could have NONE or MORE than one.
5MORE. Through any given point MORE than one straight line can be drawn parallel to a given line.
|The idea behind this alternative is easy to say but hard to draw The figure below shows its import. All the lines drawn through the point are straight and parallel to the line not passing through the point. The picture cannot really show that, of course, since the screen is a surface that conforms to Euclid's postulates.|
The other possibility is:
5NONE. Through any given point NO straight lines can be drawn parallel to a given line.
Once again the import of the alternative postulate is hard to draw since the screen is a Euclidean surface. In the figure, the line through the point is a straight line. The postulate tells us that no matter which straight line we pick through the point, the outcome is the same. It is not parallel to the line not on the point. If extended it will eventually meet the other line.
Exploring the Geometry of 5NONE
Let us join the explorers of the nineteenth century and take the first steps into the new space of these odd geometries. Let us explore the space of 5NONE.
A Trip Around Space
|To begin, select ANY STRAIGHT LINE at all in our space with two points A and B on it. At each of A and B, we will erect perpendicular, straight lines.|
|The alternative postulate, 5NONE, assures us that these perpendiculars, if projected, will eventually meet at some point. Let us call that point O.|
There is a perfect symmetry in the figure; we could switch A and B and nothing would change, so we can infer that
AO = BO
|Now find the midpoint of AB and call it Q. Erect a perpendicular to AB at Q. Project it until it eventually meets AO and BO. (It must meet them since there are no parallels in this geometry.)|
Where will in meet them? It cannot be to either side of the point O since then there would be an asymmetry. The midpoint Q and its perpendicular do not favor either side.
So the perpendicular must pass through the point O.
What can we say about the length of OQ? In the figure, it looks as if OQ is shorter than OA. Of course little in the figure is really quite as it looks. Both OA and OB are straight lines, for example, but they look curved.
It turns out that OA and OQ are the same length:
OA = OQ
To see this, just consider the triangle OAQ. It is constructed in exactly the same way as the triangle OAB; that is, we erect two perpendiculars and project them until they meet. So the triangle OAQ has the same symmetries that led us to conclude that OA=OB in triangle OAB.
The same reasoning leads us conclude that OQ and OB are the same length. So:
OA = OQ = OB
|Now repeat the construction.|
Bisect AQ and from that point erect a perpendicular that will pass through O.
Bisect QB and from that point erect a perpendicular that will pass through O.
By repeating this process indefinitely, we can divide the original interval AB into as many equal sized parts as we like. Perpendiculars raised from each of these points will all pass through the point O.
As before, all these perpendiculars will have the same length. If we measure distance along these perpendiculars, we conclude that the point O is the same same distance from every point on the line AB.
Clearly the point O has a special significance for the entire straight line through AB.
Recall that every line in the figure to the right is a straight line!
|Let us now do essentially the same construction but in a way that extends past AB.|
As before, we have points A and B on the line we chose earlier with the two perpendiculars erected at A and B.
On AB produced through B we pick a point C such that AB=BC.
|We now erect a perpendicular at C.|
As before, it must intersect the perpendiculars at A and B at the same point O and the perpendiculars OA, OB and OC will have the same length
OA = OB = OC
The argument is essentially the same as before. If the perpendicular at C did not pass through O, it would intersect the perpendicular at A at some other point O' on AO. But that would now mean that the perpendicular at B no longer respects the symmetry in the large triangle AO'C. Continuing the same arguments above gives us the equality of the lengths of all the perpendiculars.
This construction could be continued with points D, E, F, ... each a distance AB advanced from the point before. At each we erect a perpendicular, which will intersect the others at the same point O. Since the triangles produced by this construction, OAB, OBC, OCD, ODE and OEF are congruent, the angles at the apex are all the same:
angle AOB = angle BOC = angle COD = angle DOE = angle EOF.
That is, by extending the base of the triangle, AB to AC to AD etc. we can make the angle at the apex grow as large as we like. So we can certainly make it as big as a right angle. Let us say that this happens with a base AG. And we can keep extending the base to G' until we have a second right angle at GOG'. And we can extend to G" so that we have a third right angle at G'OG''. And finally we can extend the base to G''' so we have a fourth right angle at G''OG'''.
We have arrived at something remarkable in this figure. It is not just that all these lines are straight lines. It is more. The angle AOG''' is four right angles. How can that be? Rather than tell you right away, let me give you a clue. We don't need to draw all the lines as straight in the figure. We just need to remember which are straight--in this case all of them. So we can redraw the figure as:
Think once again what it means for the angle AOG''' to be four right angles. Consider the line OA as it sweeps around O. It passes one right angle to reach OG; two right angles to reach OG'; three right angles to reach OG''; four right angles to reach OG'''. But if a radial arms sweeps four right angles, it has returned to its starting point. That is, the line OG''' has returned to OA; that is OG''' is OA. Or the point G''' just is the same point as A. So the figure is more correctly drawn as:
Notice what has happened. We started with a straight line AB and extended it to G, G', G'' and then finally back to itself. So the straight line on which points A and B lie is actually a straight line that wraps back onto itself.
Now recall that there was nothing special about this line. We started with ANY STRAIGHT LINE at all. It follows that all straight lines in the new geometry wrap back onto themselves. Since these straight lines fill all of space, it follows that that this space wraps back onto itself in every direction.
Circles and Triangles
This last figure has more surprises. To begin, recall that all the lines in it are straight. So it follows that one of the quarter wedges--AOG'' say--is actually a triangle, since it is a figure bounded by three straight lines. Moreover, the angles at each corner are the same--a right angle. That means that we have a triangle the sum of whose angles is three right angles, one more than we are used to for all triangles in Euclidean geometry.
Also it is clear from the symmetry of the three angles, that each side is the same length. This triangle is also an equilateral triangle. So it is more accurately drawn as the triangle on the right.
There is also a circle in the figure. While the line AGG'G''G''' is a straight line, it also has the important property of being the circumference of a circle centered on O. Every point on AGG'G''G''' is the same distance from O. That is the defining property of a circle.
And what an unusual circle it is. It has radius AO. That radius AO is equal in length to each of the four segments AG, GG', G'G'', G''A that make up the circumference.
Radius = AO
Circumference = AG + GG' + G'G'' + G''A
AO = AG = GG' = G'G'' = G''A
That means that the circle AGG'G''G''' has the curious property that
Circumference = 4 x Radius
Contrast that with the properties familiar to us from circles in Euclidean geometry
Circumference = 2π x Radius
A longer analysis would tell us that the area of the circle AGG'G''G''' stands in an unexpected relationship with the radius AO. Specifically
Area = (8/π) x Radius2
In Euclidean geometry, the area of a circle relates to its radius by
Area = π x Radius2
Let us return to our starting point. Euclid's achievement appeared unshakeable to the mathematicians and philosophers of the eighteenth century. The great philosopher Immanuel Kant declared Euclid's geometry to be the repository of synthetic, a priori truths, that is propositions that were both about the world but could also be known true prior to any experience of the world. His ingenious means of justifying their privileged status came from his view about how we interact with what is really in the world. In our perceiving of the world, we impose an order and structure on what we perceive; one manifestation of that is geometry.
The discovery of new geometries in the nineteenth century showed that we ought not to be so certain that our geometry must be Euclidean. In the early twentieth century Einstein showed that our actual geometry was not Euclidean. So what are we to make of Kant's certainty? Einstein gave this diagnosis in his 1921 essay "Geometry and Experience."
|"... an enigma presents itself which in all ages has agitated inquiring minds. How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality? Is human reason, then, without experience, merely by taking thought, able to fathom the properties of real things?|
In my opinion the answer to this question is, briefly, this: as far as the propositions of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality..."
To restate Einstein's point in terms closer to Kant's terminology: in so far as geometry is synthetic its propositions are not certain; they are empirical claims about the world to be investigated by science like any other claim and we can never be absolutely certain of them. In so far as a geometry's propositions are a priori, they are not factual claims about the world; they are "if-then" statement of logic within some logical system whose initial propositions are the postulates of the geometry.
What you should know
- Different versions of Euclid's fifth postulate.
- The alternatives to the fifth postulate that yield alternative geometries.
- How to derive results from the alternative postulate 5NONE in simple geometric constructions.
- How these new geometries changed our view of the certitude of geometrical knowledge.
Copyright John D. Norton. December 28, 2006, February 28, 2007; February 2, 9, 14, September 22, 2008; February 2, 2010.