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.
- We say that f is 1-1, or injective, or is an injection,
if whenever f(a1)=f(a2) then a1 = a2.
- We say that f is onto, or surjective, or is a surjection,
if for every b in B there is an a in A such that f(a)=b.
- We say that f is bijective, or is a bijection,
if it is both 1-1 and onto.
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
- For every pair of distinct points p, q there is a unique line
containing both.
- Every pair of distinct lines L, M meet in a unique point.
- Each line contains at least 3 points.
- There are at least 3 non-collinear points.
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