Math 360: Foundations of Geometry
Offered: Fall 2000
Instructor: Kevin J. Mitchell
Office: Lansing 305
Phone: (315) 781-3619
Fax: (315) 781-3860
E-mail: mitchell@hws.edu
Office Hrs: M & W 1:30 to 2:30, T & T 10:30 to Noon.
Often available at other times by appointment.
Class: M-W-F 11:15 to 12:20 in Napier 102
Text: Euclidean and Non-Euclidean Geometries, (Third Edition)
by Marvin Jay Greenberg
Information Available:
- About the course
- Outline of Weekly Readings
- Assessment
- Office Hours
- Project Guidlines
- Additional Sources on Reserve
This course is about geometry and, in particular, the discovery
(creation) of non-Euclidean geometry less than 200 years ago. At the
same time, the course serves as an example of how the discipline of
mathematics works, illuminating the roles of axioms, definitions, logic,
and proof. In this sense, the course is about the process of doing
mathematics.
The course provides a rare opportunity to see how and why
mathematicians struggled with key ideas---sometimes getting
things wrong, other times having great insights (though occasionally
they did not recognize this fact). History is important to this subject;
this course should convince you that mathematics is a very human
endeavor.
The course focuses on Euclid's Parallel Axiom: "For any line l and any
point P not on l, there is a unique line through P parallel to l." In
particular, could this axiom be deduced as a consequence of the earlier
and more intuitive axioms that Euclid had laid out for his geometry?
Mathematicians struggled with this question for 2000 years before
successfully answering it. The answer had a profound
philosophical effect on all later mathematics, as we will see.
One of the goals of the course is to convince you that if you "believe
in" Euclidean geometry (the ordinary, everyday geometry that you studied
in high school), then you must also "believe in" hyperbolic geometry which
is quite different from and contradictory to Euclidean geometry. For
example, in hyperbolic geometry, triangles have less than 180 degrees
and there are no rectangles! An obvious question, then, is whether the
universe is actually Euclidean or hyperbolic. Note that it is not
possible to "prove" that the world is Euclidean by measuring a physical
triangle and showing that it has 180 degrees. Why? However, if the
universe were hyperbolic, it might be possible to show this by measuring
triangles. How? In fact, the great mathematician Gauss tried to do
exactly this!
The course rewards careful, attentive reading and regular review of
previously covered material. Be sure to read with a pencil in your hand,
especially to draw figures that relate to the material being discussed.

A tiling of the hyperbolic plane by congruent triangles.
- 1. Chapter 1, "Euclid's Geometry", pages 1--9 in Wolfe, and
Chapter 1 in Meschkowski. Introductory and historical
materials.
- 2-3. Chapter 2, "Logic" and Chapter 1 in Wylie. Quick overview of logic that will
be crucial in our development of geometry.
- 4. Chapter 3, "Hilbert's Axioms". The basis of all the geometry
we will study,
as developed by Hilbert in the early part of this century.
- 5. Chapter 3, Completion of "Hilbert's Axioms." Chapter 4, "Neutral Geometry".
Geometry with no parallel postulate, i.e.,
with no assumptions about the existence of parallel lines.
- 6. More on "Neutral Geometry".
- 7-8. Fall Recess. Chapter 5, "History of the
Parallel Postulate". Attempts to "prove" the parallel axiom through the
ages.
- 9-10. Chapter 6, "The Discovery of Non-Euclidean Geometry". Mathematics is
a creative activity. See also Chapter 3 in Wolfe.
Project Topic and Outline Due: October 30.
- 11-13. Chapter 7, "The Independence of the Parallel Postulate" or why the
parallel postulate cannot be derived from the other axioms of Euclidean
geometry. (Thanksgiving)
- 14. Chapter 7, More about "The Independence of the Parallel Postulate" using
the Poincare model of hyperbolic geometry.
Chapter 8, "Philosophical Implications" of the existence
of more than one type of geometry.
- 15. Project Presentations: December 4, 6, and 8. Take Home Final Exam Assigned on
December 6.
- 16. Final Exam Due: Wednesday, 13 December 2000 at 8:30 am in our usual
classroom. Discussion and Answer session.
There will be two take-home exams, one just after mid-term (the week of October 16)
and the other will be due on the
at the time scheduled for the final exam for this course (Wednesday, 13 December 2000 at 8:30 am).
As well, there is a required project for the course (see notes below). It will be due on December 6.
I will ask you to present the key ideas from your project to the class
during the last week of the term.
The take-home final will cover material primarily from the second half of the course
and will include a careful review of hyperbolic geometry that will require a
number of hyperbolic constructions. (E.g., construct an equilateral triangle
with three 45 degree angles!)
Assignments are due at the beginning of class. Late assignments will
incur a substantial penalty and will be rejected entirely if more than
two days late. Since the course builds on each assignment, it is
extremely important for you to get them done on time.
I encourage you to discuss material with each other. However, each
person should write up her or his work individually. On the take-home exams
you should not even discuss the problems with
your classmates.
Together the take-home mid-term and final assignments count for 45\%
of your final grade. The project counts for 15\%.
Homework assignments will make up the remainder (40\%) of your
grade, though I reserve the right to consider class participation as a
factor.
My office is located in Lansing 305. My extension is 3619. I have scheduled
office hours on MW 2:30--3:30, TT 12:30--1:30.
I am often in my office at other times of the day,
and I encourage you to drop in to get hints or
help with course assignments or just to chat.
Your project for the course is due Monday,
4 December 2000 (the beginning of the last week of classes).
Your project should be the equivalent of 7--10 pages typewritten. Feel
free to submit a handwritten copy if your writing is very neat and legible.
Your topic should be approved in advance. I will ask for a project proposal and outline
on Friday, 29 October 2000 if you have not already submitted one.
The following are possible topics that come from our
text. Some are essays or "research papers" while others consist of one of more "Major
Exercises." Other topics are possible, but please seek approval prior to 29 October 2000.
- Page 35 #1: Trisection of Angles (I have another source on this as well).
- Page 69 #2: The isomorphism between a projective plane and its dual.
- Page 119 #2: The axioms of incidence geometry.
- Page 119 #4: Euclidean constructions using a ruler.
- Page 146 #3: An alternate proof of Theorem 4.7 on angle sums of triangles.
- Page 176 #1: Similar triangles and proportionality without algebra (as in Euclid).
- Page 176 #2: Bounded versus undbounded universes and Euclid's Axioms 2 and 3.
- Page 176 #3: Additional attempts to prove the parallel postulate using netural geometry.
- Page 176 #4: The definition of $\pi$ as the ratio of the circumfrence to the diameter
of a circle.
- Page 33 #3: A construction with ruled a straight-edge. Combine with #4 above or another
problem below.
- Page 65 #1 and page 67 #7: The results about projective planes.
- Page 66 #2 and page 67 #8: Additional axioms for the incidence geometry and
the affine plane.
- Page 67 #9 and 10: Coordinatizing the affine and projective planes.
- Page 111 #2: Reflections as plane transformations.
- Page 113 #2: Betweenness on arcs of semi-circles.
- Page 144--145 #4 and 5: Converse to the triangle inequality.
- Page 145 #6 and 7: Right triangles with a specified leg and hypotenuse.
The following texts have been placed On Reserve in the Library. Readings
will be assigned in some of these texts, others are for your reference.
- Bonola, Non-Euclidean Geometry. An amazing book which could be used as a
source for projects or for an independent study. Contains many original sources.
- Heath (trans.), Euclid: The Elements. If you want to know what Euclid
actually said, it's here. It can be rough going because of the style, but all mathematicians
should look at this at least once in their lives. Now is your chance!
- Hilbert, Foundations of Geometry. Concise! From the master himself.
- Kulczycki, Non-Euclidean Geometry. Chapter 1 presents a nice historical
treatment of the subject.
- Meschkowski, Non-Euclidean Geometry. You should read the introduction.
- Moise, Elementary Geometry from and Advanced Standpoint. Lots of nice topics
and a resource for projects.
- Trudeau, The Non-Euclidean Revolution.
It can serve as a companion for our text. Read
it for pleasure, or suggest it to your friends when they ask you what this course is
about.
- Singer, Geometry: Plane and Fancy. A nice source for material on the hyperbolic
plane and especially geometry on the sphere.
- Wolfe, Non-Euclidean Geometry. A bit old-fashioned. It was used as the text
for this course 30 years ago. Has some nice material.
- Wylie, Foundations of Geometry. Another possible choice as a text for this
course.
This document last updated on 24 August 2000. Send comments to: mitchell@hws.edu.