ISOMETRIES OF THE PLANE

TRACY BOSWELL

Abstract. First we define different kinds of isometries of the plane. Then

we prove that isometries of the plane are determined by one of two equa-
tions. Using these two equations, we can determine the only four possible
types of isometries of the plane: translations, rotations, reflections, and glide-
reflections.

Contents
1. What is an isometry? 1
2. Translations and Rotations 1
3. Reflections and Glide-Reflections 2
4. Classification of Plane Isometries 4
References 7

1. What is an isometry?
An isometry is a distance-preserving transformation. In this paper, we consider
isometries of the plane C.
Definition 1.1. A transformation : C C is an isometry if for any two points
p, q C, the Euclidean distance |(p) (q)| = |p q|.
Surprisingly, there are only four types of isometries of the Euclidean plane, which
together form a group under composition known as the Euclidean group of the
plane. The next sections will formally define these four isometries and prove the
classification theorem, which states that every isometry of the plane must be of one
of these four types.

2. Translations and Rotations

Definition 2.1. A translation is a mapping from C to C defined by equations of
the form ! !
x =x+a
y ! = y + b.
For any point x + iy in the plane, let x! + iy ! = (x + iy) = x + a + i(y + b).
We can rewrite this as : z $ z + c, where z = x + iy and c = a + ib. The
transformation moves each point the same distance in the same direction.
Proposition 2.2. A translation is an isometry of the plane.

Date: July 21, 2009.

1
2 TRACY BOSWELL

Proof. Let p, q C. Suppose : z $ z + c. Then

| (p) (q)| = |(p + c) (q + c)| = |p q| .
!
Definition 2.3. A rotation 0, is a transformation that rotates about the origin
through an angle of rotation .
Such a rotation is given by the equation 0, : z $ ei z. Let z = x + iy.
0, (z) = ei z = (cos + i sin )(x + iy)
= (x cos + iy cos + ix sin y sin )
= (x cos y sin ) + i(x sin + y cos ).
Rotations around points other than the origin will be discussed later.
Proposition 2.4. Rotations about the origin are isometries of the plane.
Proof. Let p, q C. Suppose 0, : z $ ei z. Then
" "
|0, (p) 0, (q)| = "(ei p) (ei q)"
" "
= "ei (p q)"
" "
= "ei " |p q|
= |p q| .
!

3. Reflections and Glide-Reflections

Consider the map : z $ z. This map fixes points on the real line because
z = x + iy = x iy = z if and only if y = 0. Now consider point z = x + iy where
y %= 0. Then (z) = z %= z. The segment connecting z and z consists points of the
form x + it, for t [y, y]. The point x on the real line is the midpoint of this
segment, and since this segment is vertical, we can conclude that the real line is
the perpendicular bisector of this segment between z and z.
We can generalize this kind of transformation to define a reflection in a line m.
Definition 3.1. A reflection m in a line m is the mapping defined by

z, if point z is on m
m (z) = z ! , if z is not on m and m is the perpendicular bisector

of the segment between z and z ! .
We will not prove it here, but a reflection is an isometry of C.
Proposition 3.2. Consider an isometry which fixes the points 0 and 1. Then
either : z $ z for all z, or : z $ z for all z.
Proof. This proof can be illustrated with a picture.
#$
'()z
) )
%&)
!" z
 ISOMETRIES OF THE PLANE 3

Let z be any other point of C. Draw a circle around 0 that passes through z and
a second circle around 1 that also passes through z. These two circles intersect at
z and at z, as seen in the picture above. The map must preserve the distance
between z and the two fixed points, 0 and 1. To preserve these distances, (z) must
lie on both of these circles. Hence, must either fix z or send z to its complex
conjugate z in order to preserve the distance between z and the two fixed points, 0
and 1. Both maps : z $ z and : z $ z preserve these distances, and from the
picture it is clear that these are the only two maps that preserve these distances.
We need to makes sure that either (z) = z for all z, or (z) = z for all z.
Suppose there are points z and w such that (z) = z %= z and (w) = w. Because
is an isometry,
|(z) (w)| = |z w| .
From our assumptions about we also know
|(z) (w)| = |z w| .
From these two equalities we can conclude that w lies on the perpendicular
bisector of the segment connecting z and z. We know from before that the real line
is the perpendicular bisector of such a segment, so w is a real number and is fixed
by the map : z $ z. From this we can conclude that if there exists any point
z such that (z) %= z, then : z $ z for all z. If fixes every point of C, then
: z $ z for all z. !

Now consider an isometry that fixes the point 0. Since is an isometry, we

require |(1) (0)| = |1 0| = 1. Since 0 is fixed, |(1)| = 1. Note that all unit
vectors in C are of the form cos + i sin = ei . Thus, for some , (1) = ei .
Proposition 3.3. Let be an isometry fixing 0 and let (1) = ei . If : z $ ei z,
then 1 fixes both 0 and 1. Then either : z $ ei z or : z $ ei z.
Proof. Since fixes 0, 1 fixes 0. We assume that fixes 0, so 1 must also
fix 0. We now need to show that 1 fixes 1. It follows from our assumptions on
and that
1 (1) = 1 (ei )
= 1.
The transformation 1 fixes both 0 and 1, so by Proposition 3.2, either 1 :
z $ z for all z, in which case
1 (z) = z
(z) = (z)
= ei z,
or 1 : z $ z, in which case
1 (z) = z
(z) = (z)
= ei z.
!
4 TRACY BOSWELL

We already showed that the map : z $ ei z is a rotation about the origin.

Now we want to understand the map : z $ ei z. Let r be a real number. The
image of the complex number rei/2 under this map is
& ' ( )& '
rei/2 = ei rei/2 = rei/2 .

Hence, fixes points rei/2 where r is a real number. These fixed points lie on the
line that goes through the origin and the point ei/2 .
The image of the complex number rei under is (rei ) = (ei )(rei ) =
re i()
. This map fixes points such that
= .
In other words, fixes a point re i
if

=.
2
This implies that only fixes the line through the origin and ei/2 .
An explicit example will illustrate exactly what this map, : z $ ei z, looks like
on the plane. Let = 2 . First find the line of fixed points. Because = 2 , will
fix points of the form rei/4 . The line
( of )fixed points includes 0 and cos 4 + i sin 4 ,

so we can express this line as y = tan 4 x = x. Call this line f , as in the picture
below.
f!
!
w) )
"!)
(z) !
z
#
"
)
" !")z
w " !
! "" $)(w)
!
For a point z not on f , z is reflected across the line f . First, takes z to z and
then rotates z by = 2 . A second example is shown with point w.
Now we show that a rotation can be described as a product of two reflections.
Proposition 3.4. The rotation z $ ei z is the product of two reflections with axes
through the origin.
Proof. This rotation is equivalent to the reflection z $ z followed by a reflection
over the line that makes an angle 12 with the real line. !
We will conclude this section with a definition of the fourth type of plane isom-
etry, the glide-reflection. This isometry will be discussed in more detail when it
appears in the proof of the classification of plane isometries.
Definition 3.5. A glide-reflection is an isometry that is the product of a reflection
and a translation in the direction of the axis of the reflection.

4. Classification of Plane Isometries

Theorem 4.1. Every isometry of the plane, other than the identity, is either a
translation, a rotation, a reflection, or a glide-reflection.
Proof. Let be any isometry, let (0) = c, and let be the translation : z $ z+c.
By definition,
1 (0) = 1 (c) = 0.
 ISOMETRIES OF THE PLANE 5

Thus, the map 1 fixes 0.

Because 1 is an isometry,
" 1 "
" (1) 1 (0)" = |1 0| = 1.
Since 1 fixes 0, it follows that
" 1 "
" (1)" = 1.
Thus, there exists some such that 1 (1) = ei . From Proposition 3.3,
it follows that either 1 : z $ ei z or 1 : z $ ei z. In the first case,
: z $ ei z + c and in the second case, : z $ ei z + c. Since is any isometry,
these two equations must define all isometries of the plane. Now we will analyze
these two equations and show that they define four types of possible isometries,
which were introduced in the previous sections.
Case 1: : z $ ei z + c
If ei = 1, then : z $ 1 z + c, so a translation. Now suppose ei %= 1. Then
(p) = p if and only if p = 1e c
i . For this p,

(z) p = (z) (p)

( ) ( )
= ei z + c ei p + c
= ei (z p) .
This map has the form of a rotation, but around point p rather than at the
origin. We have shown that an isometry defined by : z $ ei z + c is either a
translation or a rotation.
Case 2: : z $ ei z + c
First note that 2 : z $ z, in other words, 2 is the identity map, if and only if
& '
ei ei z + c + c = z.
Simplifying, we see that this equation is equivalent to
& ' ( )
ei ei z + c + c = ei ei z + c + c
= z + ei c + c.
It follows that 2 is the identity map if and only if
(4.2) ei c + c = 0.
Proposition 4.3. Let : z $ ei z + c. If equation (4.2) holds, then fixes the
midpoint of the line segment between 0 and (0).
Proof. Since (0) = c, the midpoint of the line segment between 0 and (0) is 2.
c

By definition of , * +
&c' c
= ei + c.
2 2
From equation (4.2), we find that
* * + +
c c c c
ei + + =0+ ,
2 2 2 2
and thus &c' c
= .
2 2
!
6 TRACY BOSWELL

Using this fact, we can show that for any real r,

&c ' * +
c
+ rei/2
=ei
+ rei/2 +c
2 2
* + & '
c
= ei + c + rei/2
2
c
= + rei/2 .
2
Hence, if equation (4.2) holds, fixes the line c
2 + rei/2 .
Proposition 4.4. If an isometry has a line of fixed points, then is either the
identity map or a reflection with a line of fixed points as its axis of reflection.
Proof. This proof is similar to the proof of Proposition 3.2 that involves circle
intersections. !
This shows that the map : z $ ei z + c defines a reflection or the identity
when 2 is the identity.
Now suppose : z $ ei z + c is not a reflection. Consider the isometry 2 .
& '
2 (z) = ei ei z + c + c
( )
= z + ei c + c
This is a translation. In fact, 2 = 2 where is the translation
1 ( i )
: z $ z + e c+c .
2
It follows that * +
1
(z) = ei z + (ei c + c) + c.
2
Simplifying this expression, we find that
* +
1 1 1
ei z + (ei c + c) + c = ei z + c + ei c + c
2 2 2
1 ( i )
= ei z + c + e c+c
2
= (z) .
Hence = , and we can multiply on the left and the right with 1 to find
( )2 ( )2
= 1 . It follows that 1 = 1 and thus
1

( 1 )2
= 1 1
= 2 2
= id.
( )2 ( )
Since 1 is the identity, where 1 : z $ ei z + 12 c ei c = ei z + k,
we know from equation (4.2) that ei k + k = 0.
From Proposition 4.3, it follows that 1 fixes the midpoint of 0 and 1 (0),
and furthermore, 1 fixes all points of the form 12 k + rei/2 for real r. Since 1
has a line of fixed points, then by Proposition 4.4, 1 is either the identity or a
reflection with the line of fixed points as an axis.
 ISOMETRIES OF THE PLANE 7

Now we consider these two possibilities. If 1 is the identity map then =

which means is a translation. However, we showed in Case 1 that a translation
must be of the form : z $ ei z + c. Hence, 1 %= 1, and so 1 = for a
reflection. Moreover, starting with the fact = , we can substitute in =
and multiply on the left by 1 to find = .
Proposition 4.5. Let , , and be defined as above. If A is a point such that
(A) = A, then ( (A)) = (A). Thus is a glide-reflection.
Proof. Since and commute by the above calculation,
( (A)) = (A)
= (A).
A is fixed by , so A is on the axis of reflection, and since (A) is fixed, (A) is
also on the axis of reflection. This shows that is the composition of a reflection and
a translation in the direction of the axis of reflection, so is a glide-reflection. !
To show that is uniquely defined, note that
2 = ( )2
= 2 2
= 2,
since is a reflection and thus 2 = 1. This equation shows that is uniquely
defined, and since = 1 , is also uniquely defined by .
We have shown that the equation : z $ ei z + c defines either a reflection or
a glide-reflection.
Combining our two results, we find that an isometry of the plane is either the
identity map or a translation, a rotation, a reflection, or a glide-reflection. !

References
[1] Burn, R.P. Groups, A Path to Geometry. Cambridge University Press, 1985.
[2] Martin, George E. Transformation Geometry, An Introduction to Symmetry. Springer-Verlag,
1982.