Mathematics 138/E-138
Classical Geometry
Syllabus for Spring 2005
Last revised: December 9, 2004
Instructor: Dr. Paul Bamberg, Senior Lecturer
on Mathematics (to be addressed as "Paul," please)
Email: bamberg@tiac.net
Best phone number (Monday noon - Thursday noon) 617-493-3100 (in Quincy
House 102)
Other phone number (Thursday PM - Monday AM) 508-460-6569
Science Center office: Science Center 423. Office hours there:
Thursday 10:30-11:30 AM
Office Hours in Quincy 102: almost any time between 3PM Monday and 10AM
Thursday, excluding Tu 10-1 and TuW 7-10PM. The best way to
arrange
a meeting is by email.
Web site:
The offical site is www.courses.fas.harvard.edu/~math138
For the benefit of "shoppers" I have left last year's notes and
assignments on the site. These will be replaced by revised
versions.
Most of the handouts from class are created in Mathcad so that I can
use SmartSketch to produce diagrams. I save these in .rtf
format and put them in the NoteRTF folder. If you lose the copy handed
out at lecture, you can read and print these from Microsoft Word or
from Wordpad.
If you are a computer purist who refuses to touch anything connected
with
Microsoft, you may be out of luck.
Beware- some of these files are enormous because of the graphics that
they contain.
Homework problems are in the HWRTF folder. Beware: some problems may require diagrams that can only be done by hand, so you will probably need hard copies of problem sets, which will be handed out in class.
Windows executable software is in the WindowsExe folder, frequently zipped up with any necessary data files. You will see this demonstrated in class.
Things like instructions for the term project, review guides for exams, and this syllabus can be found in the documents folder.
For interactive Web pages go to the Interactive folder, where you will find a link to my own server. These pages were tested with Netscape version 7, but they should display correctly in any standard browser.
Prerequisites:
A good knowledge of linear algebra before the end of the term, for
example, Math 21b or E-21b (even this term) or Math 23a.
Calculus is not needed, although it's hard to take a linear algebra
course without learning calculus first.
An elementary understanding of Newtonian mechanics and the special
theory of relativity would make things easier but will not be assumed.
Group theory will be presented "from scratch."
Freshmen are encouraged to take the course -- those who took it in the
past two years did extremely well!
Some Extension school students (especially high school seniors) have
done extremely well in this course in the past three years, but others
have found it a bit too challenging. Last year all Extension students
did OK on the online placement test and also did well in the
course. Extension students who are interested
in the material but who do not have plenty of time to spend on it
should seriously consider enrolling for noncredit. This lets you
do everything but take the final exam. Undergraduates in a similar
situation could register pass-fail (and will then take the final exam).
Placement tests:
Extension school students should take the online placement test. Here
is a link. http://www.extension.harvard.edu/2004-05/courses/math.jsp#oltest
Notice that you can take the test twice. If you are weak in one
of the areas covered by the test (algebra and trig, geometry, vectors
and matrices), brush up on the subject and try again.
Textbooks:
Ryan, Euclidean and Non-Euclidean Geometry, an Analytic Approach (in
the Coop)
This book, although short, has a number of nice features:
1. It emphasizes the isometries of various plane geometries and their
representation by 2x2 and 3x3 matrices.
2. Group theory is introduced in an appendix and used where
appropriate.
3. Hyperbolic (Bolyai-Lobachevsky) geometry is presented using the
terminology of the physics of space-time.
Like most books on "non-Euclidean geometry" it considers only two of
the eight alternatives to Euclidean plane geometry. It also
touches only lightly on the axiomatic approach and on the rich history
of geometry.
Yaglom, A Simple Non-Euclidean Geometry and its Physical Basis (as
a Course Pack from www.hpps.harvard.edu/coursepackets)
This book, translated from the Russian, is a flawed masterpiece.
It presents in detail two alternatives to Euclidean geometry in which
the
"points" and "lines" of the geometry correspond to concepts of physics,
and it then explains how these examples fit into the set of nine
Cayley-Klein
geometries, to which Ryan's Euclidean, elliptic, and hyperbolic
geometries
also belong.
The flaw is that much of the text is devoted to Yaglom's "Galilean"
geometry, while the big picture is relegated to "supplements" at the
end of the book.
Other useful books:
M.K. Bennett, Affine and projective geometry
This is a great reference on finite geometries, a topic that will
appear mainly at the start of the course. Those with a taste for
the discrete may find it a good source of ideas for term projects. A
copy is on reserve in Cabot Library, and there is also one in the math
library on the third floor of the Science Center.
H. Meschkowski, Noneuclidean Geometry
This short book has a nice discussion of Euclid and Hilbert's axiomatic
approach to geometry. It is out of print. I asked the
publisher
for permission to make copies, but the royalty they wanted was twice
the
original cost of the book!
David Hilbert, Foundations of Geometry(10th edition, Open
Court Press, a bargain at $13.95 from amazon.com or elsewhere)
This is the book that straightened out Euclid's approach after 2000
years. It looks elementary but is very subtle. Read it only
after you get
into the subject. Good inspiration for projects.
Euclid, Elements, online at
http://aleph0.clarku.edu/~djoyce/java/elements/elements.html
The copyright has expired on this classic textbook, but it is still
useful. From time to time there will be references to Euclid in
the problem sets, and this is where you can look them up by book and
proposition number. This version has nice Java applets and good
navigational features.
When you ask yourself, "How could Euclid ever have proved that?" this
is
the place to look.
Lawyers are still trying to decide whether the rules that forbid you to
download copyrighted music and movies also forbid you to download
copyrighted
translations of theorems of Euclid.
Software:
You should have access to a computer that will run Windows
applications. Many features of the geometries that are presented
will by illustrated by an elaborate application program named CK, whose
development was generously funded by the Dean for Undergraduate
Education and the Extension School, that
makes it easy to work interactively with five different plane
geometries. Students who enjoy programming will be able to "get
under the hood" of this application and see how everything is
implemented with 3x3 matrices.
Thanks to the efforts of Luke Gustafson, who took the course two years
ago,
there is a PHP program on the Web site that does finite affine and
projective
geometry interactively. You can use this to do calculations for
your
homework. There is also an equivalent Windows application that
does
finite affine geometry. Download affine.zip from the Web site to
get
the application and the three data files. Creating more data
files
for this application makes a nice project.
For computational term projects the development environments of choice
are Visual C++ (version 6 if you can find it), KDevelop under
Linux,
and Mathematica (available for free download by Harvard undergraduates
and
not too expensive for Extension students). I will be happy to
provide
expert assistance to anyone using one of these. Use Java or
old-fashioned
C and you're on your own!
Making a thorough study of one of the four Cayley-Klein plane
geometries not covered in this course and enhancing the existing
software to support it would make a nice ALM project for an Extension
student, one that I will be
happy to supervise.
A couple of computationally messy proofs will be done in
Mathematica. Harvard
undergraduates can get their own copy from http://www.fas.harvard.edu/computing/download.
Allow a couple of days to
get a password. Extension students who are degee or certificate
candidates may be eligible to get Mathematica, but it is not worth
fussing about.
Tools of the trade:
You should own a nice long straightedge, a triangle, a protractor, and
a good compass. Staples on JFK St. is a good place to shop for
these. Don't put the compass in your carry-on luggage when you
travel by air!!
Homework and sections:
Weekly problem sets will be due at class on Wednesdays. Optional
sections will be held by the course assistants on Tuesday evenings.
Course requirements:
Weekly problem sets
A 1 1/2 hour midterm
A final exam (Extension students will have to be available 2:15-5:15 PM
to take this)
A course project, which may be purely mathematical or computational or
historical. Students are strongly encouraged to work in pairs.
Some or all of these projects will be presented
during
Reading Period. Extension students enrolled for graduate credit should
do
a project with a computational component in order for the course to
count
toward the CAS or the ALM in IT.
Grading policy:
Midterm exam: 60 points
Final exam: 100 points
Problems sets: 60 points
Term Project: 30 points (15 for written version, 15 for presentation)
Up
to 3 points extra credit for an early presentation
Point totals (out of 250) will be converted to letter grades according
to the following scale:
Points
Grade
235
A
225
A-
210
B+
190
B
175
B-
160
C+
145
C
135
C-
130
D+
125
D
120
D- = pass
Pass-fail status:
This should be a good fifth (or even sixth) course for concentrators in
physics, appled mathematics, or computer science. Such students
are
encouraged to register pass-fail and concentrate on the aspects of the
course
that especially appeal to them. Any pass-fail student who attends
class regularly, does a reasonable job on the homework, and shows up
for
both exams will pass the course. Pass-fail students who miss classes
and/or
neglect homework will be held to a higher standard on the exams.
The course project is not required for pass-fail students, though it
could be an alternative to some of the homework. If you register
pass-fail and then do A work, I will be happy to write a letter to that
effect for
your file.
Mathematics concentrators should enroll for a letter grade.
Pass-fail is not available in the Extension School, so I have added a
non-credit option for Extension students. Non-credit students
will be treated
just like credit students, except that they will not receive course
credit
or an official grade.
Topics that will not be covered in any detail in lecture but that
might be good for course projects:
Three-dimensional geometries, except to the extent that they are used
to create models of plane geometry
Finite subgroups of the rotation group, regular polygons, and Platonic
solids (Ryan, Chapter 3)
Co-Euclidean and co-Minkowski geometries (Yaglom, Supplements)
Differential geometry and Riemannian geometry
Hilbert's axiomatization of Euclidean geometry (Meschkowski, Chapter 2)
Analytic models of plane geometries based on complex numbers and their
generalizations (Yaglom, Supplement C)
Lie groups in general, beyond the groups of 3x3 matrices that arise
naturally as isometries of the geometries that we study.
Tentative schedule of lectures:
Wednesday, February 2 2500 years
of history of plane geometry: axioms for affine geometry (Ryan
and Yaglom introductions)
Monday, February 7
Addition and
multiplication in a finite affine plane (excerpts from Bennett)
Wednesday, February 9 Introducing
coordinates into a finite affine plane (excerpts from Bennett)
Wednesday, February 14
Overview of models for the nine Cayley-Klein plane geometries (Yaglom,
Supplement
A)
Wednesday, February 16 Elliptic, parabolic, and
hyperbolic measure of angle and length (Yaglom, Supplement A)
Monday, February 21
Holiday
Wednesday, February 23 Representing Euclidean
reflections and rotations by matrices (Ryan, Chapter 2)
Monday, February 28 Building
Euclidean isometries as products of reflections (Ryan, Chapter 2)
Wednesday, March 2 The connection between affine
geometry and linear algebra (Ryan, Chapter 2 and Appendix E)
Monday, March 7
Galilean geometry and its isometry group. (Yaglom, Chapter I)
Wednesday, March 9
Duality in
Galilean geometry (Yaglom, Chapter I)
Monday, March 14
Doublets and self-dual axioms for Galilean geometry Yaglom, Chapter I
and supplement B)
Wednesday, March 16 Cycles and
cyclic rotations in Galilean geometry (Yaglom, Chapter II)
Monday, March 21
Special relativity; Lorentz transformations as the isometry group of
Minkowski geometry (Yaglom, Conclusion)
Wednesday, March 23 Midterm exam
on material through March 12
Monday, April 4
Spherical geometry and trigonometry (Ryan, Chapter 4)
Wednesday, April 6
Matrix
representation of the isometries of spherical geometry (Ryan, Chapter
4)
Monday, April 11
Area and congruence in spherical geometry (Ryan, Chapter 4)
Wednesday, April 13
Finite
projective geometry (excerpts from Bennett)
Monday, April 18
Transformations of a finite projective plane
Wednesday, April 20
Using homogeneous coordinates to prove theorems of real geometry (Ryan,
Chapter 4)
Monday, April 25
Polarities and hyperbolic geometry (Ryan, Chapter 7)
Wednesday, April 27
Distance and angle in hyperbolic geometry (Ryan, Chapter 7)
Monday, May 2
Isometries of the hyperbolic plane and their representation by matrices
(Ryan, Chapter 7)
Wednesday, May 4 Area
in hyperbolic geometry; hyperbolic trigonometry; the parallel postulate
revisited
Monday, May 9
Doubly hyperbolic geometry
Wednesday, May 11
Student project presentations (3 point bonus)
Monday, May 16
Student project presentations (2 point bonus)
Wednesday, May 18
Student project
presentations (no bonus)