Finite Groups of Isometries in the Euclidean Space

Finite Groups of Isometries

Abstract

The aim of this report is to find the finite groups of isometries in the Euclidean space ${\mathbb{R}}^n$

. We shall specifically be considering finite groups of the special orthogonal group $\mathit{SO}\left(3\right)$

, which is a natural subgroup of the isometries in the Euclidean space. We shall assemble a set of definitions and theorems related to group theory, Euclidean geometry and spherical geometry to help gain an understanding of the finite groups of $\mathit{SO}\left(3\right)$

.

Introduction

This paper will explore the finite groups of isometries, specifically the special orthogonal group $\mathit{SO}(3,\mathbb{R}\mathbb{)}$

which is a natural subgroup of $\mathit{Isom}\left({\mathbb{R}}^n\right)$

. We will understand that all these finite groups are isomorphic to either a cyclic group, a dihedral group, or one of the groups of a Platonic solid.

 As well as the aid of definitions and theorems leading up to the finite groups of $\mathit{SO}\left(3\right)$

, we shall study topics, such as polygons in the Euclidean plane and spherical triangles, which will be beneficial in gaining a larger insight to the subject. The main concept that we shall be investigating is the rotation groups of these finite subgroups.

1 Euclidean Geometry

1.1 Euclidean Space

$\mathbb{R}$

¹ refers to the real line which is all real numbers from least to greatest. $\mathbb{R}$

² is the plane, where points are represented as ordered pairs: $(x_1,x_2)$

. $\mathbb{R}$

ⁿ_, which is the n-dimensional Euclidean space, is the space of n-tuples of real numbers: $(x_1,x_2,\dots ,x_n)$

.

In this report, the Euclidean space $\mathbb{R}$

ⁿ shall be used, equipped with the standard Euclidean inner-product $( , ).$

The inner-product is defined by

  $(\mathit{x},\mathit{y}$

) = $\sum _{i=1}^n{x}_i{y}_i$

.

The Euclidean norm on $\mathbb{R}$

ⁿ is defined by

$\parallel \mathit{x}\parallel =\sqrt{(\mathit{x}\mathit{,}\mathit{x})}$

and the distance function $\mathcal{d}$

  is defined by

$\mathcal{d}\left(\mathit{x}\mathit{,}\mathit{y}\right)= \parallel \mathit{x}\mathit{–}\mathit{y}\parallel$

.

Definition 1.1 A metric space is a set $X$

equipped with a metric $d$

, namely $d:\mathit{ X }\times \mathit{ X}\mathbb{ }\mathbb{\to }\mathbb{ R}$

, satisfying the following conditions:

• $\mathcal{d}\left(P,Q\right)\ge 0$

  with $\mathcal{d}\left(P,Q\right)=0$

  if and only if $P=Q$

  .

• $\mathcal{d}\left(P,Q\right)\mathcal{=}\mathcal{ d}\mathcal{(}Q,P)$
• $\mathcal{d}\left(P,Q\right)\mathcal{+}\mathcal{ d}\left(Q,R\right)\mathcal{=}\mathcal{ d}\mathcal{(}P,R)$

for any points $P,\mathit{ Q},\mathit{ R}$

.

The Euclidean distance $\mathcal{d}$

function is an example of a metric as it also satisfies the above conditions.

Lemma 1.2 A map $f:\mathit{ X }\to \mathit{ Y}$

of metric spaces is continuous if and only if, under $f$

, the inverse image of every open subset of $Y$

is open in $X$

.

A homeomorphism between given metric spaces $(X,d_X)$

and $\left(Y,d_Y\right)$

is a continuous map with a continuous inverse.

A topological equivalence between the spaces is when the open sets in two spaces correspond under the bijection; the two spaces are then considered homeomorphic.

1.2 Isometries

Definition 1.3 Let $X$

and $Y$

be metric spaces with metrics $d_X$

and $d_Y$

. An isometry     $f:(X, d_X) \to (Y, d_Y)$

is a distance-preserving transformation between metric spaces and is assumed to be bijective.

i.e.

$d_Y\left(f\left(x_1\right),f\left(x_2\right)\right)= d_X\left(x_1,x_2\right)\mathit{ }\forall x_1, x_2 \in X.$

Isometries are homeomorphisms since the second condition implies that an isometry and its inverse are continuous. A symmetry of the space is an isometry of a metric space to itself. $\mathit{Isom}\left(X\right)$

denotes the isometry group or the symmetry group, which are the isometries of a metric space $X$

to itself that form a group under composition of maps.

An isometry is a transformation in which the original figure is congruent to its image. Reflections, rotations and translations are isometries.

Definition 1.4 A group $G$

is a set of elements with a binary operation

$x,y\in G⟼x,y\in G$

called multiplication, satisfying three axioms:

1. $\left(\mathit{xy}\right)z=x\left(\mathit{yz}\right)\forall x,y,z\in G$

   ,                        

2. $\mathit{xe}=\mathit{ex}=\mathit{x }\forall x,e\in G$

   ,

3. There exists an inverse $x^{–1}\in G$

   such that $x{x}^{–1}=x^{–1}x=\mathit{e }\forall x\in G$

   .

Definition 1.5 A group $G$

is isomorphic to a group $G^{‘}$

if there is a bijection $\varphi$

from $G$

to $G^{‘}$

such that $\varphi \left(\mathit{xy}\right)=\varphi \left(x\right)\varphi \left(y\right)$

.

Definition 1.6 A group $G$

acts on a set $X$

if there is a map $\mathit{G }\times \mathit{ X }\to \mathit{ X}$

; $\left(g,x\right)\mapsto g\cdot x$

, such that

• $e\cdot x=x$

  for the identity $e$

  of $G$

  and any point $x\in X$

• $g\cdot \left(h\cdot x\right)=\left(\mathit{gh}\right)\cdot \mathit{x }$

  for $g,\mathit{h }\in G$

  and any point $x\in X$

  .

If for all $x,\mathit{y }\in X$

, there exists $\mathit{g }\in G$

with $g\left(x\right)=y$

then the action of $G$

is transitive.

For the case of the Euclidean space ${\mathbb{R}}^n$

, with its standard inner-product $( , )$

and distance function $d$

, the isometry group $\mathit{Isom}\left({\mathbb{R}}^n\right)$

 acts transitively on ${\mathbb{R}}^n$

since any translation of ${\mathbb{R}}^n$

is an isometry. A rigid motion is sometimes used to refer to an isometry of ${\mathbb{R}}^n$

.

Theorem 1.7 An isometry $f:{\mathbb{R}}^n \to {\mathbb{R}}^n$

is of the form $f\left(x\right)=\mathit{Ax}+b$

, for some orthogonal matrix $A$

and vector $\mathit{ b}\in {\mathbb{R}}^n$

.

Lemma 1.8 Given points $\mathit{P }\ne \mathit{ Q\; in }{\mathbb{R}}^n$

, there exists a hyperplane $H$

, consisting of the points of ${\mathbb{R}}^n$

which are equidistant from P and Q, for which the reflection $R_H$

swaps the points P and Q.

Theorem 1.9 Any isometry of ${\mathbb{R}}^n$

can be written as the composite of at most $(n+1)$

reflections.

1.3 The group $\mathit{O}\mathit{(}\mathit{3}\mathit{,}\mathbb{R}\mathit{)}$

The orthogonal group, denoted $O\left(n\right)=O(n,\mathbb{R})$

, is a natural subgroup $\mathit{of\; Isom}\left({\mathbb{R}}^n\right)$

which consists of those isometries that are fixed at the origin. These can therefore be written as a composite of at most n reflections. It is the group of $\mathit{n }\times \mathit{ n}$

orthogonal matrices.

$O\left(n\right)≔\{A\in M_{n\times n}\left(\mathbb{R}\right):A^{T}A=A{A}^T=I\}$

is a group with respect to matrix multiplication $X,Y⟼\mathit{XY}$

.

If $\mathit{A }\in \mathit{ O}\left(n\right)$

, then

$\mathit{detA\; det}{A}^t=\mathit{ det}{\left(A\right)}^2 = 1,$

and so $\mathit{detA}=1$

or $\mathit{detA}=–1$

.

The special orthogonal group, denoted $\mathit{SO}\left(n\right)$

,is the subgroup of $O\left(n\right)$

which consists of elements with $\mathit{detA}=1.$

Direct isometries of ${\mathbb{R}}^n$

are the isometries of ${\mathbb{R}}^n$

of the form $f\left(x\right)=A\mathit{x}+\mathit{b}$

, for some $A\in \mathit{SO}\left(n\right)$

and $b\in {\mathbb{R}}^n$

. They can be expressed as a product of an even number of reflections.

Suppose that $A\in O\left(3\right)$

. First consider the case where $A\in \mathit{SO}\left(3\right)$

, so $\mathit{detA}=1$

. Then

$\det \left(A–I\right)=\mathit{det}{(A}^t–I)=\mathit{det}{A(A}^t–I)=\det (I–A)$

$\Rightarrow \det \left(A–I\right)=0,$

i.e. $+1$

is an eigenvalue.

Therefore, there exists an eigenvector $v_1$

such that $A{v}_1=v_1$

. $W={〈v_1〉}^{\perp }$

is set to be the orthogonal complement to the space spanned by $v_1$

. Then                                          $\left(\mathit{Aw},v_1\right)=\left(\mathit{Aw},A{v}_1\right)=\left(w,v_1\right)=0$

if $w\in W$

. Thus $A\left(W\right)\subset W$

and ${A|}_W$

is a rotation of the two-dimensional space $W$

, since it is an isometry of $W$

fixing the origin and has determinant $1$

. If $\{v_1,v_2\}$

is an orthonormal basis for $W$

, the matrix

$\left(\begin{array}{ccc}1& 0& 0\\ 0& \cos \theta & –\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right)$

represents the action of $A$

on ${\mathbb{R}}^3$

with respect to the orthonormal basis $\{v_1,v_2,v_3\}$

.

This is just rotation about the axis spanned by $v_1$

through an angle $\theta$

. It may be expressed as a product of two reflections.

Now suppose $\mathit{detA}=–1$

.

Using the previous result, there exists an orthonormal basis with respect to which $–A$

is a rotation of the above form, and so $A$

takes the form

$\left(\begin{array}{ccc}–1& 0& 0\\ 0& \cos \varphi & –\sin \varphi \\ 0& \sin \varphi & \cos \varphi \end{array}\right)$

With $\varphi =\theta +\pi$

. Such a matrix $A$

represents a rotated reflection, rotating through an angle $\varphi$

about a given axis and then reflecting in the plane orthogonal to the axis. In the special case $\varphi =0$

, $A$

is a pure reflection. The general rotated reflection may be expressed as a product of three reflections.

1.4 Curves and their lengths

Definition 1.10 A curve (or path) $\gamma$

in a metric space $(X,d)$

is a continuous function                    $\mathit{\gamma }:[a,b]\to X,$

for some real closed interval $[a,b]$

.

If a continuous path can join any two points of $X$

, a metric is called path connected. Both connectedness and path connectedness are topological properties, in that they do not change under homeomorphisms. If X is path connected, then it is connected.

Definition 1.11 We consider dissections

$D:\mathit{ a }= t_0 < t_1 < ... < t_N =\mathit{ b}$

of $[a,b]$

, with $N$

arbitrary, for a curve $\mathrm{ }\gamma \mathrm{ }: [a,b] \to \mathit{ X}$

on a metric space $(X,d)$

.

We set $P_i=\mathrm{ }\gamma \mathrm{ }\left(t_i\right)$

and $S_D:= \sum \mathit{ d}(P_i,P_{i+1}).$

The length $Ɩ$

of $\gamma$

is defined by

$\mathit{Ɩ }=\mathit{ sup }{S}_D$

if this is finite.

For curves in ${\mathbb{R}}^n$

, this is illustrated below:

A straight-line segment is any curve linking the two endpoints which achieves this minimum length in the Euclidean space.

There are curves $\mathrm{ }\gamma \mathrm{ } : [a,b] \to {\mathbb{R}}^2$

which fail to have finite length but for sufficiently nice curves, this does not apply. A curve of finite length may connect any two points if $X$

denotes a path connected open subset or ${\mathbb{R}}^n$

.

A metric space $(X,d)$

is called a length space if

$d(P,Q) =$

inf $\{$

length $\left(\mathrm{ }\gamma \mathrm{ }\right)$

:      $\gamma$

  a curve joining $P$

to $Q$

},

for any two points $P,Q$

of $X$

.

The metric is sometimes called intrinsic metric.

We can identify a metric $d$

on $X$

, defining $d(P,Q)$

to be the infimum of lengths of curves joining the two points, if we start from a metric space $(X,d_0)$

that satisfies the property that any two points may be joined by a curve of finite length. This is a metric, and $(X,d)$

is then a length space.

Proposition 1.12 If $\mathrm{ }\gamma \mathrm{ } : [a,b] \to {\mathbb{R}}^3$

is continuously differentiable, then

$\mathit{length }\mathrm{ }\gamma \mathrm{ } = \int \Vert \mathrm{ }\gamma ‘\left(t\right) \Vert \mathit{ dt}$

,

where the integrand is the Euclidean norm of the vector $\mathrm{ }\gamma ‘ \left(t\right)\in {\mathbb{R}}^3.$

1.5 Completeness and compactness

Completeness and compactness are another two recognised conditions on metric spaces.

Definition 1.13 A sequence $x_1,x_2,\dots$

of points in a metric space $(X,d)$

is called a Cauchy sequence if, for any $\mathit{\epsilon }> 0$

there exists an integer $N$

such that if $m,\mathit{n }\ge \mathit{ N}$

then $d(x_m,x_n) <\mathit{ \epsilon }.$

A metric space (X, d) in which every Cauchy sequence $\left(x_n\right)$

converges to an element of X is called complete. This means that a point $\mathit{x }\in \mathit{ X}$

  such that $d(x_n,x)\to 0$

as $n\to \infty$

. These limits are unique.

The real line is complete since real Cauchy sequences converge. The Euclidean space ${\mathbb{R}}^n$

is also complete when this is applied to the coordinates of points in ${\mathbb{R}}^n$

. A subset $X$

of ${\mathbb{R}}^n$

will be complete if and only if it is closed.

Definition 1.14 Let $X$

be a metric space with metric d. If every open cover of X contains a finite subcover, $X$

is compact.

An open cover of $X$

is a collection $\{{U_i\}}_{\mathit{i }\in I}$

of open sets if every $x\in X$

belongs to at least one of the $U_i$

, with $i\in I$

. If the index $I$

is finite, then an open cover is finite.

Compactness is a property that establishes the notion of a subset of Euclidean space being closed and bounded. A subset being closed means to contain all its limit points. A subset being bounded means to have all its points lie within some fixed distance of each other. If every sequence in a X has a convergent subsequence, then a metric space $(X,d)$

is called sequentially compact.

Lemma 1.15 A continuous function $f:\mathit{ X}\mathbb{ }\mathbb{\to }\mathbb{ R}$

on a compact metric space $(X,d)$

is uniformly continuous.

i.e. given $\mathit{\epsilon }> 0$

there exists $\mathit{\delta }> 0$

such that if $d(x,y) <\mathit{ \delta }$

, then $\left|f\right(x)–f(y\left)\right| <\mathit{ \epsilon }$

.

Lemma 1.16 If $Y$

is a closed subset of a compact metric space $X$

, then $Y$

is compact.

Since $X$

is a closed subset of some closed box ${\mathbb{R}}^n$

, we infer that any closed and bounded subset $X$

of ${\mathbb{R}}^n$

is compact.

Lemma 1.17 If $f:\mathit{ X }\to \mathit{ Y}$

is a continuous surjective map of metric spaces, with $X$

compact, then so is $Y$

.

1.6 Polygons in the Euclidean Plane

Euclidean polygons in ${\mathbb{R}}^2$

will be considered as the ‘inside’ of a simple closed polygon curve.

Definition 1.18 For a metric space, a curve $\gamma : [a,b]\to X$

is called closed if $\gamma \left(a\right)=\gamma \left(b\right)$

. It is called simple if, for $t_1 <t_2$

, we have $\gamma \left(t1\right)\ne \gamma \left(t2\right)$

, except for $t_1=a$

and $t_2=b$

, when the curve is closed.

Proposition 1.19 Let $\gamma : [a,b] \to {\mathbb{R}}^2$

be a simple closed polygonal curve, with $C\subset {\mathbb{R}}^2$

denoting the image $\gamma \left(\right[a,b\left]\right).$

Then ${\mathbb{R}}^{2}C$

has at most two path connected components.

Given a set $A\subset {\mathbb{C}}^{*}\mathbb{=}\mathbb{C}\left\{0\right\},$

a continuous function $h:\mathit{ A}\to \mathbb{R}$

such that $h\left(z\right)$

is an argument of $z$

for all $z\in A$

, is a continuous branch of the argument on $A$

.

A continuous branch of the argument exists on $A$

if and only if a continuous branch of the logarithm exists.

i.e. a continuous function $g:\mathit{ A}\mathbb{\to }\mathbb{R}$

such that exp $g\left(z\right)=z$

for all $z\in A$

.

For a curve $\gamma : \left[a,b\right]\to {\mathbb{C}}^{*}$

; a continuous branch of the argument for $\gamma$

is a continuous function $\theta : [a,b\mathbb{]}\mathbb{\to }\mathbb{R}$

such that $\theta \left(t\right)$

is an argument for $\gamma \left(t\right)$

for all $t\in [a,b].$

Continuous branches of the argument of curves in $\mathbb{C}$

* always exist, unlike continuous branches of the argument for subsets. The use of continuity of the curve can show that they exist locally on $[a,b]$

. Then, a continuous function overall of $[a,b]$

can be achieved using the compactness of $[a,b]$

.

For a closed curve $\gamma : [a,b]\to {\mathbb{C}}^{*}$

, the winding number of $\gamma$

about the origin, is any continuous branch of the argument $\theta$

for $\gamma$

. This is denoted $n(\gamma ,0)$

and is defined

$n(\gamma ,0) = \frac{\mathrm{ \theta }\left(\mathrm{b}\right)\mathrm{ }–\mathrm{ \theta }\left(\mathrm{a}\right)}{2\pi }$

.

Given a point $w$

not on a closed curve $\gamma : [a,b\mathbb{]}\mathbb{\to }\mathbb{C}\mathbb{=}{\mathbb{R}}^2$

,  the integer $n(\gamma ,w):=n(\gamma –w,0)$

defines the winding number of $\gamma$

about $w$

, where $\gamma –w$

is the curve whose value at $t\in [a,b]$

is $\gamma \left(t\right)–w$

. The integer $n(\gamma ,w)$

describes how many times the curve $\gamma$

‘winds around $w‘$

.

Elementary properties of the winding number of a closed curve $\gamma$

:

• The winding number does not change when reparametrising $\gamma$

  or changing the starting point on the curve. However, if $–\gamma$

  denotes the curve $\gamma$

  travelled in the opposite direction i.e. $(–\gamma )\left(t\right)=\mathit{ \gamma }(b–(b–a\left)t\right),$

  then for any $w$

  not on the curve,

$n\left(\right(–\gamma ),w)=–n(\gamma ,w).$

We have $n(\gamma ,w)=0$

for the constant curve $\gamma$

.

• $n(\gamma ,w)=0$

  if a subset $A\subset {\mathbb{C}}^{*}$

  contains the curve $\gamma –w$

  on which a continuous branch of the argument can be defined. Therefore, if a closed ball $\bar{B}$

  contains $\gamma$

  , then $n(\gamma ,w)=0$

  for all $w\notin \bar{B}$

  .

• The winding number $n(\gamma ,w)$

  is a constant on each path connected component of the complement of $C:=\mathit{ \gamma }\left(\left[a,b\right]\right)$

  , as a function of $w$

  .

• If ${\mathrm{\gamma }}_1,{\mathrm{\gamma }}_2: [0,1] \to \mathbb{C}$

  are two closed curves with ${\mathrm{\gamma }}_1\left(0\right)={\mathrm{\gamma }}_1\left(1\right)={\mathrm{\gamma }}_2\left(0\right)={\mathrm{\gamma }}_2\left(1\right)$

  , we can form the link $\gamma ={\mathrm{\gamma }}_1*{\mathrm{\gamma }}_2: [0,1]\to \mathbb{C}$

  , defined by

$\gamma \left(t\right)=\mathit{ }{\mathrm{\gamma }}_1\left(t\right)\mathit{ for }0 \le \mathit{ t }\le 1$

                               ${\mathrm{\gamma }}_2(t–1)\mathit{ for }1 \le \mathit{ t }\le 2.$

Then, for $w$

not in the image of ${\mathrm{\gamma }}_1*{\mathrm{\gamma }}_2$

, we have

$n({\mathrm{\gamma }}_1*{\mathrm{\gamma }}_2,w) =\mathit{ n}({\mathrm{\gamma }}_1,w) +\mathit{ n}({\mathrm{\gamma }}_2,w).$

Definition 1.20 $C$

is compact for a simple closed polygonal curve with image $C\subset {\mathbb{R}}^2$

, and hence bounded. Therefore, some closed ball $\bar{B}$

contains $C$

. One of the two components of ${\mathbb{R}}^2/C$

contains the complement of $\bar{B}$

since any two points in the complement of $\bar{B}$

may be joined by a path and hence is unbounded, whilst the other component of ${\mathbb{R}}^2/C$

is contained in $\bar{B}$

, and hence is bounded. The closure of the bounded component will be a closed polygon in ${\mathbb{R}}^2$

or a Euclidean polygon. This consists of the bounded component together with $C$

. Since a Euclidean polygon is closed and bounded in ${\mathbb{R}}^2$

, it is also compact.

1.21 Exercise The rotation group for a cube centred at the origin in ${\mathbb{R}}^3$

is isomorphic to $S_4$

, considering the permutation group of the four diagonals.

Proof A cube has 4 diagonals and any rotation induces a permutation of these diagonals. However, we cannot assume different rotations correspond to different rotations.

We need to show all 24 permutations of the diagonals come from rotations.

Two perpendicular axes where ${90}^{°}$

rotations give the permutations $\alpha =\left(1 2 3 4\right)$

and $\beta =\left(1 4 3 2\right)$

can be seen by numbering the diagonals as 1,2,3 and 4. These make an 8-element subgroup $\{\epsilon ,\alpha ,{\alpha }^2,{\alpha }^3,{\beta }^2,{\beta }^2\alpha ,{\beta }^2{\alpha }^2,{\beta }^2{\alpha }^3\}$

and the 3-element subgroup $\{\epsilon ,\mathit{\alpha \beta },{\left(\mathit{\alpha \beta }\right)}^2\}$

.

Thus, the rotations make all 24 permutations since $\mathit{lcm}\left(8,3\right)=24=\left|S_4\right|$

.

2 Spherical Geometry

2.1 Introduction

Let $S=S^2$

denote a unit sphere in ${\mathbb{R}}^3$

with centre $O=\mathit{0}$

.

The intersection of $S$

with a plane through the origin is a great circle on $S$

. This is the spherical lines on $S$

.

$S$

Definition 2.1 The distance $d(P,Q)$

between $P$

and $Q$

on $S$

is defined to be the length of the shorter of the two segments $\mathit{PQ}$

along the great circle. This is $\pi$

if $P$

and $Q$

are on opposite sides.

$d(P,Q)$

is the angle between $\mathit{P}=\overrightarrow{\mathit{OP}}$

and $\mathit{Q}=\overrightarrow{\mathit{OQ}}$

, and hence is just ${\mathit{cos}}^{–1}(\mathit{P}\mathit{,}\mathit{Q})$

, where $\mathit{(}\mathit{P}\mathit{,}\mathit{Q})=\mathit{P}\mathit{·}\mathit{Q}$

is the Euclidean inner-product on ${\mathbb{R}}^3$

.

2.2 Spherical Triangles

Definition 2.2 A spherical triangle $\mathit{ABC}$

on $S$

is defined by its vertices $A,B,C\in S$

, and sides $\mathit{AB},\mathit{ BC }$

and $\mathit{ AC}$

, where these are spherical line segments on $S$

of length $<\mathit{ \pi }$

.

$S^2$

The triangle $\mathit{ABC}$

is the region of the sphere with area $< 2\pi$

enclosed by these sides.

Setting $\mathit{A}=\overrightarrow{\mathit{OA}},\mathit{ B}=\overrightarrow{\mathit{OB}}$

and $\mathit{C}=\overrightarrow{\mathit{OC}}$

, $c={\mathit{cos}}^{–1}(\mathit{A}\mathit{·}\mathit{B})$

gives the length of the side $\mathit{AB}$

. For the lengths $a,b$

of the sides $\mathit{BC}$

and $\mathit{CA}$

, similar formulae are used.

The unit normals to the planes $\mathit{OBC},\mathit{ OAC},\mathit{ OBA}$

  are set by denoting the cross-product of vectors in ${\mathbb{R}}^2$

by $\times$

;

${\mathit{n}}_1 = \mathit{C} \times \mathit{B} /\mathit{ sin\; a}$

${\mathit{n}}_2= \mathit{A} \times \mathit{C} /\mathit{ sin\; b}$

${\mathit{n}}_3 = \mathit{B} \times \mathit{A} /\mathit{ sin\; c}$

.

Given a spherical triangle $∆\mathit{ABC}$

, the polar triangle $∆A^{‘}{B}^{‘}{C}^{‘}$

is the triangle with $A$

a pole of $B^{‘}{C}^{‘}$

on the same side as $A^{‘}$

, $B$

a pole of $A^{‘}{C}^{‘}$

on the same side as $B^{‘}$

, and $C$

a pole of $A^{‘}{B}^{‘}$

on the same side as $C^{‘}$

.

Theorem 2.3 If $∆A^{‘}{B}^{‘}{C}^{‘}$

is the polar triangle to $∆\mathit{ABC}$

, then $∆\mathit{ABC}$

is the polar triangle to $∆A^{‘}{B}^{‘}{C}^{‘}$

.

Theorem 2.4 If $∆A^{‘}{B}^{‘}{C}^{‘}$

is the polar triangle to $∆\mathit{ABC}$

, then $\angle \mathit{A }+ B^{‘}{C}^{‘} =\mathit{ \pi }.$

Theorem 2.5 (Spherical cosine formula)

$\mathit{sin}\left(a\right)\mathit{ sin}\left(b\right)\mathit{ cos}\left(\gamma \right) =\mathit{ cos}\left(c\right) –\mathit{ cos}\left(a\right)\mathit{ cos}\left(b\right).$

Corollary 2.6 (Spherical Pythagoras theorem) 

When $\gamma =\frac{\pi }{2}$

,

$\mathit{cos}\left(c\right)=\mathit{cos}\left(a\right)\mathit{ cos}\left(b\right).$

Theorem 2.7 (Spherical sine formula)

$\frac{\sin \left(a\right)}{\sin \left(\alpha \right)}=\frac{\sin \left(b\right)}{\sin \left(\beta \right)}=\frac{\sin \left(c\right)}{\sin \left(\gamma \right)}.$

Corollary 2.8 (Triangle inequality)

For $P,Q,\mathit{R }\in S^2$

,

$d(P,Q) +\mathit{ d}(Q,R) \ge \mathit{ d}(P,R)$

with equality if and only if $Q$

is on the line segment $\mathit{PR}$

.

Proposition 2.9 (Second cosine formula)

$\sin \left(\alpha \right) \sin \left(\beta \right) \cos \left(c\right) =\cos \left(\gamma \right) – \cos \left(\alpha \right) \cos \left(\beta \right).$

2.3 Curves on the sphere

The restriction to $S$

of the Euclidean metric on ${\mathbb{R}}^3$

and the spherical distance metric are two natural metrics defined on the sphere.

Proposition 2.10 These two concepts of length coincide, given a curve $\gamma$

on $S$

joining points $P,\mathit{Q }$

on $\mathit{ S}$

.

Proposition 2.11 Given a curve $\mathrm{ }\gamma \mathrm{ }$

on $\mathit{ S}$

joining points $\mathit{P }$

and $\mathit{ Q}$

, we have $Ɩ=$

length $\mathrm{ }\gamma \mathrm{ } \ge \mathit{ d}(P,Q).$

In addition, the image of $\mathrm{ }\gamma \mathrm{ }$

is the spherical line segment $\mathit{PQ }$

on $\mathit{ S}$

if $Ɩ=d(P,Q)$

.

A spherical line segment is a curve  $\gamma$

   of minimum length joining $\mathit{ P }$

and $\mathit{ Q}$

. So

length $\mathrm{ }\gamma \mathrm{ } {|}_{[0,1]} =\mathit{ d}(P,\mathrm{ }\gamma \mathrm{ }(t\left)\right),$

for all $t$

. Therefore, the parameterisation is monotonic since $d(P,\mathrm{ }\gamma \mathrm{ }(t\left)\right)$

is strictly increasing as a function of $t$

.

2.4 Finite Groups of Isometries

Definition 2.12 Let $X=\{1,2,\dots ,n\}$

be a finite set. The symmetric group $S_n$

is the set of all permutations of $X$

. The order of $S_n$

is $\left|S_n\right|=n!=1\bullet 2\bullet \dots \bullet n$

.

Definition 2.13 The alternating group $A_n$

is the set of all even permutations in $S_n$

. The order of group $A_n$

is $\left|A_n\right|=\frac{\left|S_n\right|}{2}=\frac{n!}{2}$

.

Definition 2.14 The dihedral group $D_n$

is the symmetry group of a regular polygon with $n$

sides.

Definition 2.15 The cyclic group $C_n$

, with $n$

elements, is a group that is generated by combining a single element of the group multiple times.

A matrix in $O(3,\mathbb{R}\mathbb{)}$

determines an isometry of ${\mathbb{R}}^3$

which fixes the origin. Such a matrix preserves both the lengths of vectors and angles between vectors since it preserves the standard inner-product.

Any isometry $f: S_2\to S_2$

may be extended to a map $g: {\mathbb{R}}^3\to {\mathbb{R}}^3$

fixing the origin, which for non-zero $\mathit{x}$

is defined by

$g\left(\mathit{x}\right):= \Vert \mathit{x}\Vert \mathit{ f}\mathit{(}\mathit{x}/\Vert \mathit{x}\Vert ).$

With the standard inner-product $( , )$

on ${\mathbb{R}}^3$

, $\left(g\right(\mathit{x}),g(\mathit{y}\left)\right)=(\mathit{x}\mathit{,}\mathit{y})$

for any $\mathit{x}\mathit{,}\mathit{y}\in {\mathbb{R}}^3$

. For $\mathit{x}\mathit{,}\mathit{y}$

non-zero, this follows since

$\left(g\right(\mathit{x}),g(\mathit{y}\left)\right) = \Vert \mathit{x}\Vert \Vert \mathit{y}\Vert \left(f\right(\mathit{x}/\Vert \mathit{x}\Vert ),f(\mathit{y}/\Vert \mathit{y}\Vert \left)\right)$

$= \Vert \mathit{x}\Vert \Vert \mathit{y}\Vert (\mathit{x}/\Vert \mathit{x}\Vert ,\mathit{y}/\Vert \mathit{y}\Vert ) = (\mathit{x}\mathit{,}\mathit{y}).$

From this we infer that $g$

is an isometry of ${\mathbb{R}}^3$

which fixes the origin and is given by a matrix in $O\left(3\right).$

  Therefore, $\mathit{Isom}\left(S^2\right)$

is naturally acknowledged with the group $O(3, \mathbb{R}\mathbb{)}$

.

The restriction to $S^2$

of the isometry $R_H$

of ${\mathbb{R}}^3$

, the reflection of ${\mathbb{R}}^3$

in the hyperplane $H$

is defined as the reflection of $S^2$

in a spherical line $Ɩ$

. Therefore, three such reflections are the most any element of $\mathit{Isom}\left(S^2\right)$

can be composite of. Isometries that are just rotations of $S^2$

and are the composite of two reflections are an index two subgroup of $\mathit{Isom}\left(S^2\right)$

corresponding to the subgroup $\mathit{SO}\left(3\right)\subset O\left(3\right)$

. The group $O\left(3\right)$

is isomorphic to $\mathit{SO}\left(3\right)\times C_2$

, since any element of $O\left(3\right)$

is of the form $\pm A$

, with $A\in \mathit{SO}\left(3\right)$

.

Any finite subgroup $G$

of $\mathit{Isom}\left({\mathbb{R}}^3\right)$

has a fixed point in ${\mathbb{R}}^3$

,

$\frac{1}{\left|G\right|} \sum g\left(\mathit{0}\right)\in {\mathbb{R}}^3,$

and corresponds to a finite subgroup of $\mathit{Isom}\left(S^2\right)$

. Since any finite subgroup of $\mathit{Isom}\left({\mathbb{R}}^2\right)$

has a fixed point, it is either a cyclic or dihedral group.

We consider the group of rotations $\mathit{SO}\left(3\right)$

. All finite subgroups of $\mathit{SO}\left(3\right)$

are isomorphic to either the cyclic group, the dihedral group, or one of the groups of a Platonic solid. There are five platonic solids: the icosahedron, the dodecahedron, the tetrahedron, the octahedron and the cube.

Copies of a cyclic group $C_n$

are contained in $\mathit{SO}\left(3\right)$

by considering rotations of $S^2$

about the $z$

-axis through angles which are multiples of $2\pi /n$

. We generate a new subgroup of $\mathit{SO}\left(3\right)$

by also including the rotation of $S^2$

about the $\mathit{ x}$

-axis through an angle $\pi$

which is isomorphic to the group of symmetries $D_{2n}$

of the regular $n–$

gon for $\mathit{ n }> 2$

. We have the special case $D_4=C_2\times C_2$

when $n=2$

.

However, corresponding to the rotation groups of the regular solids, there are further finite subgroups of $\mathit{SO}\left(3\right)$

. The tetrahedron has rotation group $A_4$

, the cube has rotation group $S_4$

and the octahedron is dual to the cube. Dual solids are solids that can be constructed from other solids; their faces and vertices can be interchanged. The dodecahedron and the icosahedron are also dual solids and have rotation group $A_5$

.

Proposition 2.16 The finite subgroups of $\mathit{SO}\left(3\right)$

are of isomorphism types $C_n$

for $\mathit{n }\ge 1$

, $D_{2n}$

for $\mathit{n }\ge 2$

, $A_4, S_4, A_5$

, the last three being the rotation groups arising from the regular solids.

Since $–I\in O\left(3\right) \mathit{ SO}\left(3\right),$ $H=C_2\times \mathit{ G}$

is a subgroup of $O\left(3\right)$

of twice the order if $G$

is a finite subgroup of $\mathit{SO}\left(3\right)$

, with elements $\pm A$

for $A\in G$

.

The reason why extra finite groups do not occur for either the Euclidean or hyperbolic cases but does occur for the sphere is because we can consider the subgroup of isometries $G$

generated by the reflections in the sides of the triangle, if we have a spherical triangle $\Delta$

with angles $\pi /p,\mathit{ \pi }/\mathit{q }$

and $\mathit{ \pi }/\mathit{r }$

with $r\ge q\ge p\ge 2$

.

The tessellation of $S^2$

is by the images of Δ under the elements of $G$

by the theory of reflection groups. This means that the spherical triangles $g($

Δ $)$

for $g\in G$

covers $S^2$

and that any two such images have disjoint interiors. A special type of geodesic triangulation for which all triangles are congruent is developed by such a tessellated $S^2$

. Therefore, the reflection group $G$

is finite.

From Gauss-Bonnet Theorem, the area of Δ is $\pi (1/\mathit{p }+ 1/\mathit{q }+ 1/r–1)$

, and hence $1/\mathit{p }+ 1/\mathit{q }+ 1/\mathit{r }> 1$

.

The only solutions are:

• $(p,q,r) = (2,2,n)$

  with $\mathit{n }\ge 2$

  . The area of Δ is $\pi /n$

  .

• $(p,q,r) = (2,3,3)$

  . The area of Δ is $\pi /6$

  .

• $(p,q,r) = (2,3,4)$

  . The area of Δ is $\pi /12$

  .

• $(p,q,r) = (2,3,5)$

  . The area of Δ is $\pi /30$

  .

$G$

has order 4n, 24, 48 and 120 in these cases. This is implied from the tessellation of $S^2$

by the images of Δ under $G$

. It is then clear that $G$

is $C_2\times D_{2n}$

in the first case, and it is the full symmetry group of the tetrahedron, cube and dodecahedron in the remaining cases.

2.5 Gauss-Bonnet and Spherical Polygons

The statement that angles of a Euclidean triangle add up to $\pi$

is the Euclidean version of Gauss-Bonnet.

Proposition 2.17 If Δ is a spherical triangle with angles $\alpha ,\beta ,\gamma$

, its area is $(\alpha +\beta +\gamma )– \pi$

.

For a spherical triangle, $\alpha +\beta +\gamma > \pi$

. We obtain the Euclidean case; $\alpha +\beta +\mathit{\gamma }=\mathit{ \pi }$

in the limit as area $\Delta \to 0$

.

We can subdivide the triangle, whose sides have length less than $\mathit{ \pi }$

, into smaller ones if one of the sides of the spherical triangle has length $\ge \mathit{ \pi }$

. The area of the original triangle is still

$\alpha +\beta +\gamma +\pi –2\mathit{\pi }=\mathit{ \alpha }+\beta +\gamma –\pi$

when applying Gauss-Bonnet to the two smaller triangles and adding.

The Gauss-Bonnet can be extended to spherical polygons on $S^2$

. Consider a simple closed polygonal curve $C$

on $S^2$

, where spherical line segments are the segments of $C$

. Suppose that the north pole does not lie on $C$

. We consider a simple closed curve in $\mathbb{C}$

the image $┌$

of $C$

under stereographic projection. Stereographic projection is a mapping that projects a sphere onto a plane.  $$

Arcs of certain circles or segments of certain lines are the segments of $┌$

. A bounded and an unbounded component are contained by the complement of $┌$

  in $\mathbb{C}$

. Therefore, two path connected components are also contained in the complement of $C$

in $S^2$

. Each component corresponds to the bounded component in the image of a stereographic projection. A spherical polygon is determined by the information of the polygonal curve $C$

and a choice of a connected component of its complement in $S^2$

.

A subset $A$

of $S^2$

is called convex if there is a unique spherical line segment of minimum length joining $\mathit{P }$

to $\mathit{ Q}$

, for any points $P,Q\in A$

and this line segment is contained in $A$

.

Theorem 2.18 If $\prod \subset S^2$

is a spherical $n$

-gon, contained in some open hemisphere, with interior angles ${\alpha }_1,...,{\alpha }_n$

, its area is

${\alpha }_1+...+{\alpha }_n– (n–2) \pi .$

2.6 Möbius Geometry

Möbius transformations on the extended complex plane ${\mathbb{C}}_{\infty }\mathbb{=}\mathbb{C }\mathit{U }\left\{\infty \right\}$

is closely related to spherical geometry, with a coordinate $ϛ$

. The stereographic projection map

$\pi : S^2\to {\mathbb{C}}_{\infty }$

,

defined geometrically by the diagram below provides this connection.

The point of intersection of the line through $N$

and $P$

with $\mathbb{C}$

is $\pi \left(P\right)$

, where the plane $z=0$

identifies $\mathbb{C}$

, and where we define $\pi \left(N\right):=\infty$

; $\pi$

is a bijection.

Using the geometry of similar triangles, an explicit formula for $\pi$

can be formed;

$\pi (x,y,z) =\frac{x+\mathit{iy}}{1–z}$

since in the diagram below $\frac{r}{R}=\frac{1–z}{1}$

and so $R=\frac{r}{1–z}$

.

Lemma 2.19 If $\pi ‘: S^2\to {\mathbb{C}}_{\infty }$

denotes the stereographic projection from the south pole, then

$\pi ‘\left(P\right) = 1 / \overline{\pi \left(P\right)}$

for any $P\in S^2.$

The map ${\pi }^{‘}\circ \pi –1 :{\mathbb{C}}_{\infty }\to {\mathbb{C}}_{\infty }$

is just inversion in the unit circle, $ϛ\mapsto 1/\overline{ϛ}$

.

If $P=(x,y,z)\in S^2$

, then $\pi \left(P\right)=ϛ=\frac{=\mathit{ x }+\mathit{ iy}}{1–z}$

.

The antipodal point $–\mathit{P }= (–x,–y–z)$

has $\pi \left(–P\right)=–\frac{x+\mathit{iy}}{1+z}$

and so

$\pi \left(P\right)\overline{\pi \left(–P\right)}=–\frac{x^2+y^2}{1–z^2}=–1.$

Therefore

$\pi (–P) = – 1 / \overline{\pi \left(P\right).}$

The group $G$

, of Möbius transformations, is acting on ${\mathbb{C}}_{\infty }$

. $A$

defines a Möbius transformation on ${\mathbb{C}}_{\infty }$

by

$\varsigma \mapsto \frac{\mathit{a\varsigma }+b}{\mathit{c\varsigma }+d}$

if $A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \mathit{GL}(2,\mathbb{C}\mathbb{)}$

.

$\mathit{\lambda A}$

defines the same Möbius transformation for any $\lambda \in {\mathbb{C}}^{*}\mathbb{=}\mathbb{C}\mathbb{}\mathbb{\left\{}0\right\}$

.

Conversely, if $A_1,A_2$

define the same Möbius transformation, then the identity transformation is identified by ${A_2}^{–1}{A}_1$

. This simplifies that ${A_2}^{–1}{A}_1=\mathit{ \lambda I}$

for some $\lambda \in {\mathbb{C}}^{*},$

and hence that $A_1=\lambda A_2$

. Therefore

$\mathit{G }=\mathit{ PGL}(2,\mathbb{C}) :=\mathit{ GL}(2,\mathbb{C}\mathbb{)}\mathbb{ }\mathbb{/}\mathbb{ }{\mathbb{C}}^{*}$

,

identifying elements of $\mathit{GL}(2,\mathbb{C})$

attains the group on the right, which are non-zero multiples of each other.

If $\mathit{det }{A}_1=1=\mathit{det }{A}_2$

and $A_1=\lambda A_2$

, then ${\lambda }^2=1$

, and so $\lambda =\pm 1$

. Therefore

$\mathit{G }=\mathit{ PSL}(2,\mathbb{C}\mathbb{)}\mathbb{ }\mathbb{:}\mathbb{=}\mathbb{ }\mathit{SL}(2,\mathbb{C}\mathbb{)}\mathbb{ }\mathbb{/}\mathbb{ }\mathbb{\{}\mathbb{\pm }1\}$

,

where identifying elements of $\mathit{SL}(2,\mathbb{C}\mathbb{)}$

which differ only by a sign attains the group on the right. The quotient map $\mathit{ SL}(2,\mathbb{C}\mathbb{)}\mathbb{ }\mathbb{\to }\mathbb{ }G$

is a surjective group homomorphism which is 2-1. $\mathit{SL}(2,\mathbb{C}\mathbb{)}$

is a double cover of $G$

.

Elementary facts about Möbius transformation

1. The group $G$

   of Möbius transformations is generated by elements of the form

• $z\mapsto \mathit{z }+\mathit{ a \; for\; a}\mathbb{\in }\mathbb{C}$
• $z\mapsto \mathit{az \; for\; a}\in {\mathbb{C}}^{*}\mathbb{ }\mathbb{=}\mathbb{C }\mathbb{}\mathbb{ }\mathbb{\left\{}0\right\}$
• $\mathit{z }\mapsto 1/z.$

2. Any circle/straight line in $\mathbb{C}$

   is of the form

$\mathit{az}\bar{z} – \bar{w}\mathit{z }–\mathit{ w}\bar{z} +\mathit{ c }= 0,$

for $a,c\mathbb{\in }\mathbb{R}$

, $w\mathbb{ }\mathbb{\in }\mathbb{C}$

such that ${\left|w\right|}^2>\mathit{ ac}$

, and therefore is determined by an indefinite hermitian $2 \times 2$

matrix   

$\left(\begin{array}{cc}a& w\\ \bar{w}& c\end{array}\right).$

3. Möbius transformations send circles/straight lines to circles/straight lines.
4. There exists a unique Möbius transformation $T$

   such that  

$T\left(z_1\right)=0,\mathit{ T}\left(z_2\right)=1,\mathit{ T}\left(z_3\right)=\infty$

,

$T\left(z\right)=\frac{z–z_1}{z–z_3}\frac{z_2–z_3}{z_2–z_1},$

given distinct points $z_1,z_2,z_3\in {\mathbb{C}}_{\infty }$

.

5. The image of $z_4$

   under the unique map $T$

   defined above in iv. is defined by the cross-ratio $[z_1,z_2,z_3,z_4]$

   of distinct points of ${\mathbb{C}}_{\infty }$

   .

There exists a unique Möbius transformation $T$

sending $R\left(z_1\right),R\left(z_2\right)$

and $R\left(z_3\right)$

to $0,1$

and $\infty$

, given distinct points $z_1,z_2,z_3,z_4$

and a Möbius transformation $\mathbb{R}$

. The composite $\mathit{TR}$

is therefore the unique Möbius transformation sending $z_1,z_2$

and $z_3$

to $0,1$

and $\infty$

. Our definition of cross-ratio then implies that

$[R{z}_1,R{z}_2,R{z}_3,{\mathit{Rz}}_4]$ $=\mathit{ T}\left({\mathit{Rz}}_4\right) = \left(\mathit{TR}\right) z_4=$ $\left[z_1,z_2,z_3,z_4\right].$

2.7 The double cover of $\mathit{SO}\mathit{\left(}\mathit{3}\mathit{\right)}$

We have an index two subgroup of the full isometry group $O\left(3\right)$

, the rotations $\mathit{SO}\left(3\right)$

on $S^2$

. The section aims to show that the group $\mathit{SO}\left(3\right)$

is established isomorphically with the group $\mathit{PSU}\left(2\right)$

by the stereographic projection map $\pi$

. There is a surjective homomorphism of groups $\mathit{SU}\left(2\right)\to \mathit{SO}\left(3\right)$

, which is $2–1$

map.

Theorem 2.20 Every rotation of $S^2$

corresponds to a Möbius transformation of ${\mathbb{C}}_{\infty }$

in $\mathit{PSU}\left(2\right)$

via the map π.

Theorem 2.21 The group of rotations $\mathit{SO}\left(3\right)$

acting on $S^2$

corresponds isomorphically with the subgroup $\mathit{PSU}\left(2\right)=\mathit{SU}\left(2\right)/\{\pm 1\}$

of Möbius transformations acting on ${\mathbb{C}}_{\infty }$

_­.

Corollary 2.22 The isometries of $S^2$

which are not rotations correspond under stereographic projection precisely to the transformations of ${\mathbb{C}}_{\infty }$

of the form

$z\mapsto \frac{a\bar{z}–b}{\bar{b}\bar{z}+\bar{a}}$

with ${\left|a\right|}^2+{\left|b\right|}^2=1.$

There exists a 2-1 map

$\mathit{SU}\left(2\right)\to \mathit{PSU}\left(2\right)\cong \mathit{SO}\left(3\right).$

This map is usually produced using quaternions.

This is the reason why a non-closed path of transformations in $\mathit{SU}\left(2\right)$

going from $\mathit{I }$

to $–I$

exists, corresponding to a closed path in $\mathit{SO}\left(3\right)$

starting and ending at $\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$

.

Since $\mathit{SU}\left(2\right)$

consist of matrices of the form $\left(\begin{array}{cc}a& –b\\ \bar{b}& \bar{a}\end{array}\right)$

with ${\left|a\right|}^2+{\left|b\right| }^2=1$

, geometrically it is $S^3\subset {\mathbb{R}}^4.$

There are finite subgroups of $\mathit{SU}\left(2\right)$

of double the order corresponding to finite subgroups of $\mathit{SO}\left(3\right)$

, specifically cyclic, dihedral and the rotation groups of the tetrahedron, cube and dodecahedron.

2.8 Circles on ${\mathit{S}}^{\mathit{2}}$

We consider the locus of points on $S^2$

, whose spherical distance from $P$

is $\rho$

, given an arbitrary point $P$

on $S^2$

and $0 \le \mathit{ p }\le \mathit{ \pi }$

. In spherical geometry, this is what is meant by a circle.

To ensure the point $P$

is always at the north pole, we may rotate the sphere, as shown below:

Therefore, the circle is also a Euclidean circle of radius $\mathit{sin}\left(\rho \right)$

and that it is the intersection of a plane with $S^2$

. Conversely, a plane cuts out a circle if its intersection with $S^2$

consists of more than one point. Great circles correspond to the planes passing through the origin. The area of such a circle is calculated by

$2\pi \left(1–\cos \rho \right)=4\pi {\mathit{ sin}}^2\left(\frac{\rho }{2}\right),$

which, from the Euclidean case, is always less than the area $\pi {\rho }^2.$

For small $\rho$

this may be expanded as

$\pi {\rho }^2\left(1–\frac{1}{12}{\rho }^2+O\left({\rho }^4\right)\right).$

2.23 Exercise Two spherical triangles ${∆}_1,{∆}_2$

on a sphere $S^2$

are said to be congruent if there is an isometry of $S^2$

that takes ${∆}_1$

to ${∆}_2$

. ${∆}_1,{∆}_2$

are congruent if and only if they have equal angles.

Proof Let $∆\mathit{ABC}$

and $∆\mathit{DEF}$

have $\angle A=\angle D$

etc and let $∆A^{‘}{B}^{‘}{C}^{‘}$

and $∆D^{‘}{E}^{‘}{F}^{‘}$

be the polar triangles. By theorem 2.18,

$B‘\mathit{ C}‘ =\mathit{ \pi }– \angle \mathit{A }=\mathit{ \pi }– \angle \mathit{D }=E^{‘}{F}^{‘}$

and so on. So, by the three sides, $∆A^{‘}{B}^{‘}{C}^{‘}$

is congruent to $∆D^{‘}{E}^{‘}{F}^{‘}$

which means that they have the same angles. Now theorem 2.17 implies that $∆\mathit{ABC}$

and $∆\mathit{DEF}$

are the polar triangles of $∆A^{‘}{B}^{‘}{C}^{‘}$

and $∆D^{‘}{E}^{‘}{F}^{‘}$

. Thus, with roles reversed, theorem 2.18 can be applied to get

$\mathit{BC }=\mathit{ \pi }– \angle \mathit{A }0 =\mathit{ \pi }– \angle \mathit{D }0 =\mathit{ EF}$

and so on. Therefore, the original triangles are congruent.

Conclusion

In conclusion, in this report we have discussed isometries and the group $O(3,\mathbb{R}\mathbb{)}$

, including the special orthogonal group $\mathit{SO}\left(3\right)$

. As well as exploring related concepts within Euclidean geometry and spherical geometry, we have analysed the finite groups of $\mathit{SO}\left(3\right)$

and classified their symmetry groups by considering their rotational symmetry.

We also checked two examples: one which aided to understand the rotational symmetry of a cube, which is one of the finite subgroups of $\mathit{SO}\left(3\right)$

and one which helped us understand the congruence of spherical triangles under certain circumstances.

References

• Wilson, P. M. H. (2007). Curved spaces: from classical geometries to elementary differential geometry. Cambridge University Press.
• Armstrong, M. A. (2013). Groups and symmetry. Springer Science & Business Media.