M470: Euclidean and Non-Euclidean Geometry
Spring 2000
Instructor: Rick Miranda
MWF 3:10-4:00pm
EE105
Office: E121; Phone: 491-6327; email: miranda@math.colostate.edu
Office Hours: Wednesday 2-3.

Course Assistant: Matt Gibbs
Office: Weber 21; Phone: 491-3958; email: mgibbs@holly.colostate.edu
Matt Gibbs' Office Hours: Monday 2-3; Tuesday 11-12; Thursday 11-12.

Text: Euclidean And Non-Euclidean Geometry, an analytic approach, by Patrick J. Ryan
Cambridge University Press (1986); ISBN 0-521-27635-7

This course will discuss the basic notions of euclidean and non-euclidean geometry, in two dimensions. We will focus on the three main examples: euclidean, spherical/projective, and hyperbolic geometry. Each will take up approximately one-third of the course material. In the discussion of each of these three geometries, we will briefly touch on the synthetic approach,
and quickly turn to a more analytic treatment, with coordinates.  Finally we will discuss changes of coordinates in each geometry, leading to the groups of rigid motions of each geometry.  Tesselations or tilings in each geometry will cap each unit.

Syllabus:
1. Introduction to Geometry.
    The ingredients of geometry.  Axioms and Synthetic Geometry.  Models for a Geometry.
    Finite Geometries.  Coordinate Geometry.
2. Euclidean Geometry
    Definition of the Euclidean Plane.  Points, lines, circles, distance, angle.
    Analytic Geometry in the Euclidean Plane.  Cartesian Coordinates.  Trigonometry.
    Pythagorean Theorem and Descartes' Formula.
    Complex numbers as a model for the Euclidean plane.  Basic complex arithmetic.
    Changes of coordinates: the general linear group, orthogonal transformations, affine transformations.
    Structure of the group of rigid motions.  Translations, rotations, reflections, glides.
    Tilings of the Euclidean plane.  Ribbon Patterns Wallpaper patterns.
3. Projective and Spherical Geometry.
    Basic notions of spherical geometry: distance, angle, trigonometry.
    Spherical Pythagorean Theorem and Spherical Descartes' Formula.
    Group of Rigid Motions of the sphere: SO(3) and O(3).
    The Projective plane, homogeneous coordinates, distance and angle.
    Tilings of the sphere and projective plane.  Regular solids.
4. Hyperbolic Geometry.
    Poincare Disc Model for Hyperbolic Geometry.
    Lines, circles, distance, angle, and trigonometry in the hyperbolic plane.
    Hyperbolic Pythagorean Theorem and Hyperbolic Descartes' Formula.
    Upper-half plane model for hyperbolic geometry.
    Linear fractional transformations and rigid motions of the hyperbolic plane.
    Tilings of the hyperbolic plane.

Grading:  There will be regular homework assigned from the text.  There will be three examinations. There will be a computer project, which will be Web-based. Relative Importance:
Homework: 20%
Exams: 20% each
Project: 20%
See description of Project HERE.
 
Homework:
Due Monday, 1/24:
1. Write and Submit a proof of the Pythagorean Theorem.
2. Write and Submit a proof of the theorem that in euclidean geometry, the sum of the interior angles in a triangle is 180 degrees.
Due Monday, 1/31:
Definition: Let A and B be sets, and let f:A -> B be a function.


1. Show that the identity function f:A -> A (where f(a)=a for every a) is bijective.
2. Show that the composition of 1-1 functions is 1-1.
In other words, if f:A -> B is a 1-1 function, and if g:B -> C is a 1-1 function, then the composition gf:A -> C is a 1-1 function.
3. Show that the composition of onto functions is onto.
In other words, if f:A -> B is an onto function, and if g:B -> C is an onto function, then the composition gf:A -> C is an onto function.
4. Show that the composition of bijective functions is bijective.
5. Show that a function f:A -> B is bijective if and only if there is a function g:B ->A such that fg:B->B is the identity on A and gf:A->A is the identity on B.

Let P be a projective plane, that is, a set of points and lines satisfying the four axioms

6. For points and lines of a projective plane: Given a point p and a line L not containing p, prove that the function q -> (the line joining p and q) gives a bijection between the set of points on L and the set of lines through p.
7. Prove that in a projective plane, there is a bijection between the points of any two lines.
8. Ryan Page 35, #11.
Due Monday, 2/7:
1. Suppose that P=(1,1), Q = (1,2), and R = (2,1). Compute the Circular Angle Measure (CAM) of the three angles 2. Show that the Circular Angle Measure CAM(U,V) between two vectors U and V does not depend on the lengths of U and V. I.e., show that if r and s are positive real numbers, show that CAM(rU,sV) = CAM(U,V) for any nonzero vectors U and V.
3. Prove that the angle sum operation is commutative and associative.
4. Compute the angle sum of the vectors (3/5, 4/5) and (0,1).
5. Compute the angle sum of the vectors (cos(a), sin(a)) and (cos(b), sin(b)) and show it is equal to the vector (cos(a+b), sin(a+b)).
6. Prove that if U, V, and W are three vectors of length one, then CAM(U,W) is equal to the angle sum of CAM(U,V) and CAM(V,W).
Due Monday, 2/14: Ryan, Page 37, #26, 27, 28.
Due Wednesday, 2/23: See Handout.
First Exam: Wednesday, 3/1/00.
Due Monday, 3/13: Prove the formulas:
(UxV,WxZ) = (U,W)(V,Z)-(V,W)(U,Z)
|UxV|^2 = |U|^2 |V|^2-(U,V)
The notation here is that (V,W) is the scalar product in R^3.

Due Monday, 3/20: Use the technique outlined in class to prove the following spherical trigonometry formulas:
tan(a)=sin(b)tan(A)
tan(b)=sin(a)tan(B)
cos(a)sin(B)=cos(A)
cos(b)sin(A)=cos(B)
cos(c)=cot(A)cot(B)
Due Monday, 3/27: See Handout.
Due Monday, 4/3: Do the Sample Exam!
Hand in Number Nine on the Sample Exam: Determine the lengths of the edges of each of the Platonic solids.
Second Exam: Wednesday, 4/5/00.
Due Monday, 4/17: Homework problems from the Hyperbolic Geometry Notes, page 3, 5, 6, 8.
Due Monday, 4/24:
Prove that composition of LFTs corresponds to multiplication of the corresponding 2x2 matrices.
Prove that the composition of two HPLFTs is an HPLFT.
Prove that the inverse of an HPLFT is an HPLFT.
Find the fixed points of a general HPLFT.
Third Exam: Friday, 4/28/00.
Due Monday, 5/1:
Hyperbolic Geometry Notes, Page 25, #2
Hyperbolic Geometry Notes, Page 26, #1,2,3

Web Project Links:
Team: Jay Gregg, Elizbeth Sedalnick, Dennis Agosta
Topic: Golden Ratio
Loosetooth
Swarthmore
Surrey
Team: Chris Manzanares, Ryan Martine, Katie McDowell, Amy Crowfoot
Topic: Fractals
Mary Ann Connors at UMass
Community Learning Network
Fractal Music Project (Stuttgart)
CoolMath Fractal Gallery
Team: Hilary Freeman, Ann Malone, Angela Govan
Topic: Mobius bands, Klein Bottles, Projective Planes, Tori
Real Projective Plane(Angela)
Building Blocks for Surfaces(Ann)
Paper Strip Activities(Hilary)
Gallery
Klein Bottles
Torus and Klein Bottle Games
Team: Jessica Lueders, Brett Seeman, Amy Germundson
Topic: Euclidean Tesselations
Swarthmore(Brett)
CoolMath(Jessica)
ThinkQuest(Amy)
Team: Mike Brownlee, Mil Santos, Ed Bauer
Topic:
Michael R. Feltz site
Hypersculpture
Rotation of a Single Point
Team: Scott Greenwald, Jeff Hartman, Matt Bliss
Topic: Wavelets
IEEE site
Bell Labs Wavelets Group
Wavelets at SINTEF
Wavelet Still Image Competition site in Potsdam