Course MT3818 Topics in Geometry

## Exercises 1

- Prove that the set of rigid motions of the plane
**R**^{2} forms a group.

Two figures in the plane are called *congruent* if there is a rigid motion mapping one to the other. Prove that figures congruent to the same figure are congruent to each other.

(If you know what the word means) deduce that congruence is an *equivalence relation*.
Solution to question 1

- In the diagram shown the three triangles
*A*, *B* and *C* are congruent. Find a rotation about some point of the plane which maps *A* to *B*.

Find one that maps *B* to *C* and one that maps *A* to *C*.
Solution to question 2

- The corners of a tile in the form of an equilateral triangle are labelled
*A*, *B*, *C* anticlockwise. Describe the result of rotating the tile anticlockwise by π/3 (= 60°) about *A*, then by the same amount about *B* and *C* ?

What happens if you rotate by this same angle first about *A*, then about *C* and finally about *B* ?
Solution to question 3

- If
*f* is a bijection from the plane to itself which preserves all lengths

- (i.e.
*d*(*x*, *y*) = *d*(*f*(*x*), *f*(*y*)) for all *x*, *y*)

- show that
*f* also preserves all angles.

Give an example of a bijection which preserves all angles but not lengths.
Solution to question 4

- Prove that the determinant map is a group homomorphism from the group
*GL*(*n*, **R**) of all invertible *n* × *n* real matrices to the multiplicative group **R** - {0}.

Deduce that *SL*(*n*, **R**) is a normal subgroup of *GL*(*n*, **R**).
Solution to question 5

- Let
*A* be an *n* × *n* matrix. Prove that *A* is orthogonal (i.e. has orthonormal columns -- of length 1 which are mutually orthogonal) if and only if *A*^{t}*A* = *I*.

Deduce that for such a matrix *AA*^{t} = *I* and that *A* also has orthonormal rows.

Prove this last fact directly for the 2 × 2 matrix by showing that if

*a*^{2} + *c*^{2} = *b*^{2} + *d*^{2} = 1 and *ab* + *cd* = 0 then *ac* + *bd* = 0 and *a*^{2} + *b*^{2} = *c*^{2} + *d*^{2} = 1.
Solution to question 6

SOLUTIONS TO WHOLE SET

JOC February 2003