Difference between revisions of "The Axioms of Spherical Geometry Exploration"

From EscherMath
Jump to navigationJump to search
Line 14: Line 14:
  
 
'''Spherical Geometry:''' <br>
 
'''Spherical Geometry:''' <br>
Case 1: Points P and Q are not antipodal. <br>
+
Case 1: Points A and B are not antipodal. <br>
 +
[[Image:AB-not-anti.jpg|250px]]
  
  
Line 21: Line 22:
  
  
Case 2: Points P and Q are antipodal. <br>
+
Case 2: Points A and B are antipodal. <br>
 +
[[Image:AB-antipode.jpg|250px]]
  
 
===Segments===
 
===Segments===

Revision as of 15:29, 20 October 2009

  • Objective: Understand the axioms of spherical geometry.


The axioms of Euclidean geometry give us the basic statements from which the rest of Euclidean geometry can be deduced. They basically describe the behavior of lines, segments, circles, angles and parallel lines.

Below write down the respective axioms for spherical geometry.

Remember that the role of lines is played by the great circles - also known as geodesics - in spherical geometry.

A geodesic on a sphere

Lines

Euclidean Geometry: Any two points can be joined by a straight line. (This line is unique given that the points are distinct).

Spherical Geometry:
Case 1: Points A and B are not antipodal.
AB-not-anti.jpg




Case 2: Points A and B are antipodal.
AB-antipode.jpg

Segments

Euclidean Geometry: Any straight line segment can be extended indefinitely in a straight line.


Circles

Euclidean Geometry: Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.


Angles

Euclidean Geometry: All right angles are congruent.

Parallel Lines

Euclidean Geometry: Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.