Progress Report: Matrices and Transformations
In this progress report, we will focus on the connection between
transformations and matrices. Any linear mapping from

into itself can be represented as

matrix. It is a nontrivial result that a mapping that preserves distance and
maps the origin to itself is a linear map. (In the general case, this result
is due to Mazur and Ulam.) The general topic we would like to look at is the
connections between matrices and distance preserving maps. A distance
preserving map is often called an isometry or rigid motion.
In class we established that
A rotation of

degrees around the origin can be associated with the matrix

Let

denote a rotation of

degrees around the origin; what this result says is that if

is a point in

and

then

Keeping the identity

in mind, we can also think of these matrices as being in the
form
where

If a line through the origin makes an angle of

degrees with the

-axis,
the reflection

can be associated with the matrix

Let

denote the reflection with axis

what this result says is that if

is a point in

and

then

Keeping the identity

in mind, we can also think of these matrices being in the form

where

One thing we didn't do was establish that rotations and reflections are
isometries. You will do that later in this progress report.
Questions:
Using the results above, find the matrices that would be associated with a
rotation

of

degrees and a reflection about

where

makes an angle of

degrees with the

-axis.
Use the matrices to find the image of


and

under

and

Use the reflection and rotation feature of GSP to confirm your answers to question 1.
Using the definition of the Euclidean distance function, verify that reflections are distance preserving. (This is just a bit of algebra, but it is worth doing.)
Give a short proof, with no algebra, that the composition of two isometries is an isometry.
Using the results above, show that if

and

are two lines through the origin, then

is a rotation. Do this by showing that the product of two matrices of the form

is a matrix of the form


Group Process: You are (finally) in a new group! What practices did you find beneficial in your old group and will try to bring to this group?