(Kristopher Tapp) Symmetry A Mathematical Explora
(Kristopher Tapp) Symmetry A Mathematical Explora
(Kristopher Tapp) Symmetry A Mathematical Explora
Kristopher Tapp
Symmetry
A Mathematical Exploration
Kristopher Tapp
Department of Mathematics
Saint Joseph’s University
5600 City Ave.
Philadelphia, PA 19131
USA
[email protected]
Mathematics Subject Classification (2010): 00-01, 00A06, 00A09, 00A66, 00A99, 20-01, 51-01, 97G40,
97U20
v
vi Preface
that students from all majors will enjoy the many beautiful
mathematical topics herein, and will come to better appreciate
the powerful cumulative nature of mathematics as these topics
are woven together into a single story about symmetry.
Acknowledgments
Dn = the
e n
nth dih hed
drall grouup = tthe
e syymme up of a rreg
etryy grrou gula
ar
n-g
gon
n. Itt ha
as 2
2n tottal m
meemb
berrs (n
n ro ations and n flips)).
ota
Cn = the
e n
nth cycclicc grou
up = tthe
e syym
mme etryy grou up of an n orrien
nte
ed
reg
gula
ar n-g
gon n. It ha
as n tottal mem mbeer (alll ro ota
ations)). A
sho
orth nd nottation forr th
han hese n ro
otattion
ns iis {0, 1, 2
2, …
…, n––1}.
Pn = the
e nnth peerm
muta atio
on grooupp = tthe co olle
ection off all p
perrmu
u-
tation
ns o
of n orrde
eredd th
hing
gs. It h otal me
hass n! to em
mbe
ers.
An = the
e n
nth alterna
atin
ng grooupp = the e ccollecttionn o of alll e
eve
en
permuta
atio
ons of n o
ordere
ed tthin
ngss. Itt ha
as h
half th
he ssize
eoof Pn.
Z = {…
… –3 –2, –1, 0, 1, 2,, 3, …}
3, – he sset of all inttege
… = th erss.
Q = the
e se
et o
of a
all rratio
ona
al n
num
mbe
ers (frracttion
ns llike
e 8//5 a
and
d –3
3/7
7).
R = the
e se
et o
of a
all rreal nu
umbers ((rattion
nal an
nd irration
nal nu
umb
berrs).
Rn = n
n-dime enssion
nal Euuclid
deaan space e. F mple, R2 is ca
Forr exxam alle
ed
3
the
e pllane aand
d R iss caalle
ed sspa
ace.
ix
Table of Contents
PREFACE v
1. INTRODUCTION TO SYMMETRY 1
3. ISOMORPHISM 35
xi
xii Table of Contents
SUBGROUPS ................................................................................................. 63
GENERATING SUBGROUPS ............................................................................... 66
PRODUCT GROUPS ......................................................................................... 69
EXERCISES .................................................................................................... 73
6. PERMUTATIONS 75
INDEX 213
ͳǤ
Our journey starts with the question: what does “symmetry”
mean? Look at the following four objects, and rank them from the
most symmetric to the least symmetric:
infinite painting because a viewer who closes her eyes while the
wall is moved, could not, after she opens her eyes, detect that
any change has occurred. This translation is encoded by the
length (about an inch) and direction (right) of the red arrow
pictured above. Several copies of the red arrow are included to
demonstrate that each composition element (the eye of a right-
facing eel, the tail of a down-facing eel, the center of the purple tail
spiral, etc.) moves exactly onto an identical element. That is why
a viewer would not detect the change.
difference; the object would look exactly the same when she
opened her eyes.
Regular polygons
The two sides of the 2-gon lie on top of each other (because they
meet at angles of 0°), so the 2-gon looks like a line segment.
Oriented pentagons
A border pattern
CL
LAS
SSIIFIC
CA
ATIO
ON OF
FPPLA
ANE
ERRIG
GID MO
OTION
NS (V
VER
RSIO
ON
N 1)):
Evveryy propper riggid mo
otio
on oof tthe
e plane
e iss a tra
ansslattion
n, a ro
otattion
n,
or a rrota
atio
on ffollo
owed byy a translatio
on..
Evveryy immprrop
per rigid mo
otion o
of th
he pla
ane
e iss a flip
p orr a flip
p fo
ollow
weed
byy a ttran
nslatio
on.
In oth
herr word
w ds, there e a are noo rig
gid moti
m onss o othe
er tha an thee tyype
es
tha we have alrrea
at w ady co onsideered
d (a
andd co
ombin nations th herreo
of). Yo
ou
maay takke thiss cclasssiffica
ation a
as you ur deffinition
n oof rrigid
d m
mottionn fo
or
noow, if yyou
u likke.
T
Thee sttoryy iss evenn ssimpleer ffor rig
gid mo otio
ons th
hat are e ssymm-
meetries off a b boun ndeed ob bjecct. Thhe syymm es of a bo
mettrie oun
nde ed
ob
bjecct in
nclu
ude
e onlyy flipps andd ro
otaations (no o trranslaations)). In
n fa
act::
Yoou m
migght thiink of an n obbjecct’ss ce
entter point as a ballancinng ppoinnt; if
you ccut thee obje ect outt off ca
ardboa ard
d annd wissh tto b
balancce it o
on yyouur
finger tip
p, tthiss is the
e ccorrrectt pllace
e to
opposiition yyou
ur finge
er.
14 1. Introduction to Symmetry
Exercises
(2) How many symmetries does each capital letter in the English
language have:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z.
(3) How many symmetries does the n-gon have for each of the
values n = 2, 3, 4, 5, 6, 7 (these polygons are illustrated in the
chapter)? Guess a general formula for the number of symmetries
of an n-gon. What about an oriented n-gon?
(5) How many symmetries does each object have? Which object
has the most? The least?
…A A A A A A A A….
…B B B B B B B B …
…C C C C C C C C …
Exercises 15
(8) Draw two different objects that have exactly the same
collection of symmetries.
(9) How many bounded objects can you think of that have
infinitely many symmetries?
(10) What do you think is the most symmetric object in the plane?
(12) “If an object has any translation symmetries (other than the
identity), then it must have infinitely many translation
symmetries.” Explain why this statement is true.
Cayley Tables
For example, the yellow cell in the table says that H*R90 = D.
That is, first performing R90 and then performing H results in the
same final position as D, as illustrated below:
20 2. The Algebra of Symmetry
H*R90 = D because “performing H after performing R90” yields the same ending position as
performing D.
Notice that the H reflection line does not rotate along with R90
because H is a fixed rigid motion of the plane.
* I R120 R240 F1 F2 F3
I
R120 F2
R240
F1
F2
F3
A Cayley table for the symmetries of a triangle
Symmetry Groups
This group is called the symmetry group of that object. Its identity
is the rigid motion that we previously called “the identity.” The
inverse of a symmetry, A, is denoted A–1; it is the rigid motion that
undoes what A does.
The idea of this proof actually shows that the Cayley table of any
finite group (not just a symmetry group) has the Sudoku property.
Here is another beautiful consequence of the existence of
inverses. It is not a coincidence that a regular polygon has equal
numbers of rotations and flips. If an object has any improper
symmetries at all, then it has equal numbers of proper and
improper symmetries. In other words:
is unnde
etecctab ble beeca
ausse it is a ssym mmmetrry of thee ssquuaree. The
follow
winggp proo
of ssho
owss th
hatt, iff the ssqu
uare
e in
n th
his sto
oryy is re
epla
aceed
byy an
naasym mm bjecct, the
mettric ob en the ere co
ouldd not be an ny und dettecct-
abble parrt.
PR
ROO OFF: SSup
ppose tha at ttwo
o differrennt riigid m onss, ccallled A and B
d moti B,
ave exxacctly the ssam
ha me eff ffecct o
on an assym mmetrric objjecct, sso tha at
wh
henn yo ou op
pen yo ourr eyyess yo ou caannot telll w whethe er A o or B w
werre
pe ormed. B
erfo But if A a andd B w werre g gennuin nely d diffe
ereent,, th n A–1*B
hen
wo
ouldd be a syymmmetry of the e ob bject tthat iss diffferrent fro
om
m the idden
ntityy,
wh
hich
h iss im ossible
mpo e beecaause th he objject is assym mme etric……… …….……Ƒ Ƒ
T
Thee prrevviou
us gnoom
me iima
agee iss a
asymmmmetric;; th
hat is wh
hy it
vissua
ally disstin
nguish
hed the
e ssym
mme
etriies of the
e sq
qua
are
e.
An
n Im
mppro
ove
ed Cla
asssifiica
atio
on of Plane R
Rig
gid
d Mot
M tion
ns
S
Sincce the e bab by ph hotto show wn
here iss asyymme etricc, th he prreviou us
the
eorremm im mpliess tthatt th herre is ON NLYY
ONNE riggid mo otio m es it ffrom
on thatt mov m itts
boottom-righ ht po osittionn tto itss ttop p-le
eft
p
possitio
on. It ssee
ems to oh havve b
bee en rrota
ate
ed
counttercclockwwisse b
by 277° ((yoou ccouuld meassurre thiss a ang gle witth a
pro actor) an
otra nd then tra d up a
ansslatted andd leeft.. In
n faactt, yyou
u coould
eve th
acchie hat same e re
epoosittion
ningg o
of thhe ph hotoo bby o onlyy d ng on
doin ne
thing: ro
otatingg bby 2
27°° a
about the e co
orrrecttly cho oseen po oint. HHoww do
you findd this p
point?
?
H
Here e’ss howw. FFirsst, ch
hosse a disstinguished poin nt oon the
ph
hoto
o, llike
e th he noose, aand w a rred lin
d draw ne conne ectting he tw
g th wo
no Next, dra
osess. N aw
w a gre eennpperp
pen ar bissector. T
ndiccula The po ointt we
w
seek liees on n tthiss g
gree ne, and it iss cchosen
en lin n sso th hat thhe
An Improve
ed C
Classificcatio
on of Pla
ane Rig
gid M
Motio
ons 2
29
illu
ustrrate
ed b
bluee
hinngee m
mea asuuress
exxacttly 27 7°. Ro otat-
ingg tthe e pplan ne byy
27 7° a aboout tthiss
speciial poin nt willl
acchieeve the illlus-
traatedd reepo
osittionningg
of the e bbab
by pho otoo,
sinncee it move es the e
no ose to the p oper
pro
plaacee a andd iit tiltss
the e p
pho oto the e ppro-
pe er a
amo ounnt! If yyouu
do o no ot owwn a p proo-
traactoor, the
ere are a alte
ernaativve m
meethoodss yoou cou uld usse tto ssolve thiis
pro oblemm. F Forr e
examp ple, yo ou coouldd sseleect se eve
eral d distiinguissheed
po ointss (n
nosse, eaarloobe, annd eyela ash), a andd lo
ocatte tthee intterssecctio
on o
of
all off the co orre
espponndinng grreen n llinees. But witth ou ur p pro
otraacto
or
me ethod, w we can eassily exxpla
n e ain why the e mmetthood w woorkss. AAs yo ou
slidde do ownn thhe gre een
n lin
ne,, th
heree iss cclea
arlyy a unniquue point wh herre
the ebbluee hing ge aanggle will cchange e frrom oo larrge to too ssma
m to all. We
W
no ow havve the e kkey idea for p provvingg thhe firsst p of the follow
parrt o win
ng
importan nt tthe
eoreem:
CL
LAS
SSIFIC
CAATIO
ONN OF
O PPLA
ANNE R
RIG
GID
D MOT
M TIO
ONS
S (V
VERS
SIO
ON 2
2):
Evveryy immprrop
per rig
gid mo
otio
on o
of tthe pla
ane
e iss a reflecctio
on o
or a g
glide
refflecctio
on.
30 2
2. Th
he A
Algeb
bra of S
Symmettry
PRROO OFF OF
O FIR RST T CCLA AIMM : Asssu uming ve ersiion 1 of the e cclasssiffi-
cationn thheoore
em (in Ch hap p. 11), all weemmusst pprovve is thiss: A rrota atio
on
followwedd byy a traansslattionn iss th
he ssam
me ass a sin nglee ro
otattion
n. WWe e will
use the ba abyy ph hotoo (or anyy o othe
er aasyymmmetricc immag ge) ass ou ur rrigiid
mo otio
on ddettecttor.. A rottation folllow
wed d by a traansslattion
n ha
as the e saamme
efffectt o e babyy p
on tthe phooto ass a siingle rottatio on wh hosse ce enteer iis
fouundd usinng tthee prrevviouuslyy exxplainnedd prrotrracctorr methhod Sincce it
d. S
haas the sa ame e efffecct o
on the e baabyy p must be the
photto, it m e ssamme rrigiid
mo otio
on…………… ………… ………… …… ………… ………… ………… ………… …… ………… ……....…Ƒ Ƒ
W
We will n not provee th
he seecond cla aim
m (a
abo
out im
mproopeer rrigiid
mo
otio
onss), b e enco
but we ourrage yyou
u to thinkk ab
bou
ut h
how
w to
o prrove
e itt.
Exxerrcissess
ou ha
(1)) Iff yo ave no ot yyet do
one
e so, fill in the C
Cayyley ttable for th
he
tria
anggle in thiss chap
pte
er.
(2)) Desccrib
be anyy p
patternns yyou
u seee in the
e Caylley tab
ble
es fo
or D3 an
nd
D4, whic
w ch w were cconnstruccted
d in
n th
he ccha
apte
er.
(3)) Consstru
uct a C
Cayle
ey ta
ablle ffor D2. Iss D2 a comm
muttative gro
oup
p?
(4)) C
Connstrrucct a CCayyleyy ttablle forr Cn forr ea achh n = 2, 3,, 44, 5
5.
Deesccribe a
anyy pa ernss and sim
atte milaarittiess yo
ou ssee
e. H
How
w iss th
he C
Cayleey
ble forr Cn re
tab elated o the C
d to Cayyleyy taable e fo
or Dn?
(7) Does the G border pattern (an infinite strip of Gs) have a
commutative symmetry group?
…. G G G G G G G G G G G G …..
R120*X = F1
Solve this in two ways. First, scan down R120’s row of the Cayley
table until you find F1 – the answer is the column in which you
find it. Second, left compose each side of the equation with the
inverse of R120. In any group, do you think you can always solve
an equation of the form A*X = B for X? How?
X*R120 = F1
Solve this in two ways. First, scan down R120’s column of the
Cayley table until you find F1 – the answer is the row in which you
find it. Second, right compose each side of the equation with the
inverse of R120. In any group, do you think you can always solve
an equation of the form X*A = B for X? How?
(16) What does the scroll in the proof of the All-or-Half Theorem
look like if the object is a square and the improper symmetry you
choose is H?
What Is an Isomorphism?
Do you see
* I R90 R180 R270 H V D D’
why the resultant I I R90 R180 R270 H V D D’
green table is a R90 R90 R180 R270 I D’ D H V
R180 R180 R270 I R90 V H D’ D
valid Cayley table R270 R270 I R90 R180 D D’ V H
for Gretchen’s green H H D V D’ I R180 R90 R270
V V D’ H D R180 I R270 R90
group (which means
D D V D’ H R270 R90 I R180
that each of its 64 D’ D’ H D V R90 R270 R180 I
cells is filled in
correctly)? If you * I R90 R180 R270 F1 F3 F4 F2
start checking cells, I I R90 R180 R270 F1 F3 F4 F2
you will quickly see R 90 R 90 R 180 R 270 I F 2 F 4 F 1 F3
R180 R180 R270 I R90 F3 F1 F2 F4
why things are R270 R270 I R90 R180 F4 F2 F3 F1
working out. Our F1 F1 F4 F3 F2 I R180 R90 R270
F F F F F R I R270 R90
symbol-replacement F34 F34 F23 F12 F41 R180 270 R90 I R180
dictionary was very F2 F2 F1 F4 F3 R90 R270 R180 I
carefully constructed. The reflection lines listed counterclockwise
around the red square were matched with the reflection lines
listed counterclockwise around the green square. Said differently,
this dictionary is induced by the rigid motion that slides and tilts
the red square on top of the green square, matching up the two
sets of reflection lines.
38 3. Isomorphism
Isomorphism Examples
…. G G G G G G G G G G G G G G ….
…P P P P P P P P P…
Each star has 8 symmetries, but their symmetry groups are not isomorphic.
Rigid Equivalence 43
Rigid Equivalence
PROOF: Let us call the rigid motion M, the original object X, and
the transformed object Y, as illustrated below. It is visually
apparent that M matches every symmetry of X with a symmetry
of Y. For example, M moves each reflection line of X to a
reflection line of Y, and M moves the rotation center of X to the
rotation center of Y.
[The red & green squares] These two squares are rigidly
equivalent, which is the real reason that their symmetry groups
turned out to be isomorphic.
[The star & the moth] The symmetry group of the star is
isomorphic to the symmetry group of the moth, even though the
star is NOT rigidly equivalent to the moth. A rigid motion cannot
change the fact that the star has a rotation, while the moth has a
flip.
Cn = {0,1,2,…,n–1},
and we will always write “+” instead of “*.” For example, we will
write:
5 + 7 = 2 (in C10)
9 + 7 = 4 (in C12)
on
nly b
beccom
mess a
airtig
ghtt if wee all ag
gre
ee tto hhen
nce eforrth sayy “0
0” insttea
ad
of “12
2” w
wheen rep
porrtingg thhe tim
me oof d
dayy, sso ttha
at m
midn night and dn
noo on
are ed “ze
e calle ero o’cclocck.”” We
W hop pe tha not mind..
at yyou wiill n
T
Thiss n
new w n nottatio
onaal sysste
em fo or Cn iss n not exxacctlyy aan
iso
omo orp
phissm be etw
ween ttwo ups be
o grrou ecaausse tthe ere wa as onlly e eve
er
onne g oup in the sstorry. Ne
gro eveerth
hele well in
esss, itt fitts w nto the
e ccha apte
er
abbout issom morrph
hismm. Wh henn a pair off grrou ups is isom morpphic, it iis
oftten be est to
o th
hinkk o
of th hem
m a as a sin
ngle e g grou up de ed in tw
escrribe wo
diffferrentt no
ota
ation
n ssysttem
ms.
Exxerrcissess
(1)) Fiill in
neeach
hbblan
nk:
5+7=_
___
_ (iin C9), 6 + _
___
_ = 2 ((in C10), 80 + 35 = _
___
_ (in C1000).
(2)) Consstru
uct a ccom
mplete
eCCayyleyy ta
able
e fo
or C7.
(3)) Draw
w sseve era
al ddiffe
eren
nt o
objectts w
who e syymme
ose etryy grrou
ups are
eaall
iso
omo orp
phicc to
o D5 .
(4)) Draw
w sseve era
al ddiffe
eren
nt o
objectts w
who
ose
e syymme
etryy grrou
ups are
eaall
iso
omo orp
phicc to
o C6 .
(5)) Coulld e
enla
arg
ging
g or sh
hrin
nkin
ng an ob
bjecct e
eve
er e
esse
enttiallly ccha
ang
ge
its syymm
mettry gro
oupp?
(6)) S
Som me copy ma achhine es lett yo
ou se eparatelyy coonttrol the vverrticaal
nd horizo
an onttal sccalinng facto ors when n yyou
u e enla ge or sh
arg nk a
hrin
piccturre. Co
ouldd a ve nly shrrinkking
erticcal--on geeverr essse
entiiallyy cchangeeaan
ob
bjecct’s syymmmettry gro oupp?
Exercises 49
(7) Take the 26 capital English letters, and sort them into piles
according to whether their symmetry groups are isomorphic.
Within each pile, sub-sort them according to whether the letters
are rigidly equivalent.
(ٍ10) Make Cayley tables for D2 and C4 and explain why these
groups are NOT isomorphic.
C1, D1, C2, D2, C3, D3, C4, D4, C5, D5, C6, D6,…
Bounded Objects
If your object has any flips, then choose one flip and call it
F. Composing F with each of the n rotations yields a list of n
different flips. By the All-Or-Half Theorem, your object has no
flips other than these n.
Next draw a regular n-gon, choose one of its flips, and call
it Fcc. All of the n-gon’s flips are obtained by composing its
n rotations with Fcc. Now move your object on top of the regular
n-gon which you drew,
using a rigid motion,
M, that matches their
center points and
aligns the F-flip line
with the Fcc-flip line, as
illustrated on the right.
After this repositioning,
your object will have
exactly the same symmetries as the regular n-gon, namely, the
same rotations about their now-common center point, and the
compositions of these rotations with their now-common chosen
flip. Thus, your object is rigidly equivalent to the regular n-gon. In
particular, your object’s symmetry group is isomorphic to that of
the regular n-gon ...……………………………………………………Ƒ
Border Patterns
A “rescaling” (enlarging or
shrinking) is just needed to ensure
that the border pattern has the
same smallest translation length
as the model pattern to which it is
being compared.
Wallpaper Patterns
the pattern? It is quite surprising that the only possible orders for
the rotation symmetries of wallpaper patterns are 1, 2, 3, 4 and 6,
as we will soon see.
Another identification card question asks whether there are
any glide reflection symmetries that are indecomposable. This
means that the translation and reflection out of which the glide
reflection is built are not themselves individually symmetries of
the pattern. Below are the identification card and the flow chart by
which the 17 wallpaper patterns are classified:
Su
ummmaryy
In
n thiss ch hap pter, wwe diid som meething reemaarkaablle. We d dess-
cribedd a
all possible w s in w
e way which (1) a b bouunded ob bjecct, (2) a
bo
ordeer pattterrn, and ((3) a wa allpapeer patterrn can be syymme etricc.
Foor e
each oof th
hesse tthre ee categ w ffound a list of mo
goriies, we odeels. Fo
or
ounded
bo do objeectss, oourr modeels we ere
e th
he o
orie
enteed annd n
non n-oriennte
ed
reg
gular po olyg
gonns, plu us a ggnoome a andd a happy facce. Fo or bo orde
er
atternss, o
pa our lisst cconttainned
deexacctlyy se en mo
eve odeels. Fo
or wwallpa ape
er
pa
atternss, o
our listt co
onta ained exxactly 17 mo ode
els.
A
Anyy obbjecct in tthe caateg gorry iss “ssym
mmmetrric in tthee saame w wayy”
as on ne of tthee mod
m delss. W Wha at e
exaactlly ddoees iit m
meaan for tw wo o objectts
to bee “ssymmme etric in the sa ame ewwayy?” It d dep
pen ndss onn th
he catteg goryy.
Foor bbouundded ob bjeectss, the be est mean ning iis ttha he ob
at th bjeccts arre
rig
gidlyy e
equuivaalennt. Fo or b
bord derr paatte
ernns, thee b best mmea aninng is tha at
onne ppattterrn is rrigid
dlyy eqquivvalentt too a re esccalinng of the e o
othe er. Foor
wa paper pattterrnss, th
allp he best me ean ning hat on
g iss th ne oobjectt is riggidlly
eqquivvale
ent too thhe rressult off pe erfo
ormming a linea ar tra
ansfformma ation tto
thee o
otheer, buut ssincce llineearr tra
anssforrma atio ult tto deffine
onss arre diffficu e,
wee ssetttled
d fo or the e nnexxt-b
best m mea aning: th hatt th
he pa atte
ernss hhavve
iso
omo orp
phicc syymme etryy grroups..
T
Thiss ccha apteer rep pre
eseentss yyet an notthe er e exhhibiition of th he
importan nceeo of p
preccisee la
anggua age e inn math
m hem matticss. B Befforee yoou caan
an
nswwer a quesstio on, yo ou mus
m st u und derrsta
and d e exa
actlyy w what th he
qu
uesttion
nm mea anss. S
Sincce tthe
e firrst ccha
apte er oof tthiss bo
ookk, wwe have ha ad
a g
gro
owing de esirred to unndeersttan nd tthe e ways
w s in whicch ob
n w bjeccts ca
an
be
e syymm meetricc. O Oneeoof the mo ostt difficcult chhalleng gess tu
urnned ou ut tto
be
e the cclarrificcatioon of pre
ecisselyy wwha at thhis me ean ns.
60 4. The Classification Theorems
Exercises
(1) For each of the seven model border patterns, answer the four
identification card questions. If Q1 and Q2 both answer yes for a
pattern, why must Q3 and Q4 also answer yes?
(2) For each capital English letter, decide which of the 7 model
border patterns is formed by repeating it indefinitely along a line.
(ٍ8) Prove that a border pattern could not have any reflection
symmetries other than horizontal and vertical.
(12) Identify the model wallpaper pattern that matches with the
paintings Seahorses and Eels and Three Fishes by Robert
Fathauer. How would the answer change if the fish all had the
same color?
62 4. The Classification Theorems
(14) Identify the model border patterns that match with the border
patterns by Beck F and Horia Varlan illustrated in the chapter.
ͷǤ
In this chapter, we learn how to find small groups inside of
large groups, and then how to build large groups out of small
groups. The point is to help you better understand symmetry
groups. If you can recognize an object’s symmetry group as
having been built out of smaller groups, then this realization
might help you to much more clearly understand its underlying
algebraic structure.
Subgroups
The red table is the Cayley table for R = {I, R90, R180, R270}, which
is a self-contained group that happens to be isomorphic to C4.
The green table does not look like a Cayley table at all, due to the
fact that F = {H, V, D, Dc} is not a self-contained group. After
studying the green table, you can identify several reasons why F
is not a group. First, there is no identity. Second, the cells of the
green table are filled with symbols that are not in F. If F were
really a group, then each cell of its Cayley table would be filled
with something in F – there could be no foreign symbols.
We have seen that the rotations form a subgroup of D4, but the
flips do not. Here are some more examples.
…WWWWWWWWWWWWWWWWW…
Generating Subgroups
Try drawing your own such circle diagram to illustrate <4> and
<5> in C10. Perhaps these diagrams help you see why the Cs are
called cyclic groups.
We previously defined the “order” of a rotation symmetry,
so that R360/n has order n. More generally, we now define “order”
of any member of any group:
Product Groups
For more practice, let us construct the Cayley table for the
product of the groups
The product of these two groups has the following six members:
The yellow cell in the above table represents (1,1) • (1,0) = (2,1).
Just think of this equation as a red equation (1 + 1 = 2 in C3)
Product Groups 71
…BBBBBBBBBBBBBBBBB…
(Tn,Y
YESS) w
with
h (n
n,1)). D
Do you ssee
e wh
hy this iss an issom
morph
hismm? Fo or
exxam
mple wattch this iisomo
e, w orphhism ttran
nslate
e a tru
ue eequ
uattion nto a
n in
tru
ue e uatiion:
equ
(T
T8,Y
YES) * (T
T7,Y
YEES) = ((T15,N
NO))
Ļ Ļ Ļ
8,1) • (7,,1) = ((15
(8 5,0)
Exxerrcissess
m y ssubgro
(1)) Fiind ass man oup
ps o
of D4 a
as you
u ccan.
(2)) Reca
R all tha
at a sqquaare caan bbe orieentted so
o th
hat only tthee rootationns
in D4 arre symmmmetriess oof tthe re
esulting ima agee (n not the fflipss). Fo
or
eaach suubg
grou of
up f D4 w ch
whic yo fou
ou und d, ccan
n yo fin
ou nd a w way tto
ornnamment/d
deccorrate
e th
he sq quare to make e tthatt ssubg
gro p beco
oup om
me
the
e syym
mmeetryy grrou of the ressultting
up o g im
magge??
(3)) In
n th
he gro
oupp C3 × C2, ffindd a su
ubggrouup wh hich
h iss issom
morphiic tto
C3 an nd a ssubg
gro
oup
p whicch iss issom
morrphic tto C2.
(4)) Findd th
he sub
bgrrou
up ggen ed by ea
nerrate ach
h mem
m mbe er o
of tthe
e cyycliic
grooupps C4, C5, C6, …,
… C11. Make
M e a co onjectture
eaabout the
e po osssiblle
ordderrs o
of m mberss off Cn.
mem
(ٍ5)) In
n a finite gro
oupp, tthe LA
AST
T th
hin
ng in the list <A>> = {A,, A • A
A,
–1
1
A•A•A A, …} iss a ways A . T
alw The
e nnexxt-to
o-la
astt th
hing
g is aalw
wayys
74 5. Subgroups and Product Groups
(9) Explain why the proper symmetries of any object in the plane
form a subgroup of its symmetry group. This subgroup is called
the proper symmetry group of the object.
Ǥ
E
Eacch syymm mettry of a squarre pe erm
mutees th he sq quaare’’s
verticces, aand
d a o perrmu
also es its edge
ute es. YYouu ccann teell whicch
symm mettry waas p
perfforme by obsserrvin
ed b ng hhow he verticces orr ed
w th dge
es
we
ere pe erm
muted. FFor this rea asoon and d ffor manyy mmorre to co omee,
pe
ermuta ons are a crrucial keyy to
atio o unde
ersstanndin
ng sym
mm mettry.
A “p perrmu
utation
n” meeanns a rea arra
ang
gemmennt. Fo
or exam
mple
e,
the
ere
e arre ssix perrmu ations of the
uta e le
etters A
A, B, and
dCC; n
nam
mely:
A
ABBC, AC
CB,, BA
ACC, B
BCA
A, C
CAB
B, C
CBBA
hinkk off A, B, and C as lettterrs o
Th on a m mag gne et b
boa nd think of a
ard,, an
pe
ermuta on as a word
atio d (nott n necesssarrily a re eal En nglish word
w d)
wh
hichh yoou can sspe
ell u
usin
ng a
all oof tthe
e lettterrs.
DEEFINITTIO
ON:: W
Wheen n2, thee ccolle
ecttion
n off all p
permuutattion
ns of n
ord
derred th
hing
gs is den
notted Pn aandd iss ca
alle
ed the e nth permuta atio
on
gro
oupp.
We
ewwill soo
on see th
hatt Pn iss a gro
oup
p, a
as itts n
nam
me sugge
estts.
U
Usuuallyy the “o ordere
ed th hings”” are e letters o orde
ereed
alp
pha
abeetica
allyy. F mple, P3 = {AB
Forr exxam BC, A ACBB, BBAAC, BCCA, CCAB B,
CBBA}} ha
as sixx mmemmbe ers. H
Howwmman ny p
perrmu ns does {A
utattion A, B
B, CC,
D, E, F}} ha
avee? In oth her woords, w e sizze of P6? T
what is tthe To speell a
six-letter word on the magnet board, you have six choices for the
first letter, then five choices left for the second letter, then four
choices left for the next letter, and so on. The number of ways in
which you can make these choices in succession equals:
6 × 5 × 4 × 3 × 2 × 1 = 720. Therefore, the size of P6 equals 720.
The general rule is:
The symbol “n!” means the product of all of the integers between
1 and n. It is pronounced “n factorial”. Here are the first few:
2! = 1 × 2 = 2
3! = 1 × 2 × 3 = 6
4! = 1 × 2 × 3 × 4 = 24
5! = 1 × 2 × 3 × 4 × 5 = 120
6! = 1 × 2 × 3 × 4 × 5 × 6 = 720
Factorials grow large very quickly.
Permutation Groups
THEOREM: Pn is a group.
The yellow cell represents the equation ACB * CBA = CAB, which
in our green “action notation” looks like (23) * (13) = (123). Fill in
the rest of the table. Along the way you will have to think about
both the words and the actions that the green shorthand symbols
represent. When you are done, your table should look sus-
piciously like the Cayley table for D3 from Chap. 2. In fact:
rep
pre
esentss ann in
nsttrucctio
on tto lloo
op b
bacck tto the
e sttartting
g “(”. Byy the
waay, he
ere is sommee se elf-e
exp argon:: (1
planattoryy ja 12)((36
654 4) ccontain
ns a
cycle
e off le
ength 2, na ame ely (12 nd a ccyccle of len
2), an ngth 4 4, n
nam
melly
(36
6544).
Y
You u ca
an translate e an ny wo ord intto ccycle nnottatio
on byy follow win
ng
theese e step ps: First wrritee “((” ffollo
owe ed byy th ositiion off th
he po he firsst
hat mo
lettterr th ovees. Foor e exaamp ple
e, iff A movm es,, thhen n yo ou will w writte
“(1
1”. Ne ext wrrite thee p
possitio on tha at ffirstt le
etter m
movvess too, then n wwritte
thee posiition thhatt the le
ette er in thatt poosittionn mov
m ves to,, an nd so on n. A
As
soon ass a lettterr move
m es ba ack to the ep possitio
on o e firrst lettter yo
of tthe ou
consiidered d, w
writte “)”.. Iff anny rema aining lettterrs mo ove e, thhenn w writte
annoth her “(”” fo
ollo
oweed by the ssma est moviing po
alle osittionn wwhicch yo ou
haave no ot yeet cconnsid
dere ed,, fo
ollo
owe ed byy th he poosittion
n thatt le ette
er
mo ove es tto a
andd so
o on.
F
For ad
ddittion
nal praacttice
e with
w co omp possing
g sym
mme etries,, leet u
us
find tthe co
omp
possitio
on BA ADEEFC C * EF
FAB BCCD in P6. Foor tthiss, w
we usse
EFFABBCD Daas the
e sttartting
gppositio
on oof tthe magnett booarrd, an nd tthe
en
peerfo
orm theea
aboove--picctured on ffor BA
d acctio ADE EFC 12)(36
C = (1 654 4):
Wee le
earrn thatt in P6, B DEF
BAD FC * E
EFA
ABCD
D = FE
EBC
CDA. Tryy
pro
onooun ng tha
ncin at!
Evven
naand
dOOdd
dPPerrmuta
atio
onss
Otther th
han
n the id
den
ntityy, tthe
e sim
mpplesst p muttatiions a
perm are the
e “sswa
apss”
DE
EFINIT
TIO
ON:: A sw
wap
p means an exxchange of two
o le
ette
ers..
Even and Odd Permutations 81
PROOF: To warm up, let us think about how to write the word
EADCFB in P6 as a composition of swaps. With our magnet
board in its starting position, ABCDEF, we must perform a
sequence of swaps (letter exchanges) to arrive at the ending
position EADCFB. We will work left-to-right, moving the E to the
first position, then the A to the second, and so on:
ABCDEF ĺ EBCDAF
EBCDAF ĺ EACDBF
EACDBF ĺ EADCBF
EADCBF ĺ EADCFB.
The colored letters are being swapped. We started with positions
1 & 5 colored, then 2 & 5, then 3 & 4, and finally 5 & 6. Thus:
The size of An equals half the size of Pn. The sizes of the
first few permutation and alternating groups are:
Size of P2 = 2 Size of A2 = 1
Size of P3 = 6 Size of A3 = 3
Size of P4 = 24 Size of A4 = 12
Size of P5 = 120 Size of A5 = 60.
The groups P4, A4, and A5 will play starring roles in the next
chapter, so remember their sizes, and keep an eye out for them.
Exxerrcissess
(1)) If you h
havve n
not yet do e so, ffill in tthe
one e Ca ey tab
ayle ble forr P3 in
n the
chaptter.
(2)) E
Exp
presss each off thhesse w
wordss in
n P6 in cyccle no
ota
ation, an
nd
de
ecidde wh eacch is even
hettherr e n or od dd: CCBAAFD DE, BBCCDAAFE
E,
FAABCCDE, ED DAF FCBB.
(3)) Fiind CB
BAFD
DE * BCD
DAF
FE and F
FAB
BCDE
E * ED
DAF
FCB
B in
n P 6.
(4)) F
Find he fivve-lette
d th er woord co
orre esp
ponndinng witth each off thhesse
cyclee no
ota
ation e pressions in P5, an
exp nd de de wh
ecid hettherr e
eacch iis
evven or od
dd: (133)(2
2455), (13
352
24),, (13)((45
5).
(5)) Wha
W at iss th
he o der of a ccyclle o
ord of le gth m?
eng
(8)) La
abeel the veerticcess off a squ
uarre aas ssho own n. IIn yyou
ur
listt o
of tthe
e 224 permuta ations off {A A,BB,CC,D}}, deccide
wh hich
h p
perm mutationn is inducced d b
by e eacch of the e eeighht
symm mettries o
of the sq quaare. Thhatt is,, affterr pe
erfo ming
orm
thee ssymmm metrry, wh hich w woord doo yyou u ssee e (a alw
wayys
Exercises 85
(11) Explain why the adjacent swaps generate Pn. In other words,
every permutation in Pn can be expressed as a composition of
adjacent swaps.
(ٍ14) On the final exam for their symmetry course, students are
asked to match five objects with their five symmetry groups. What
do you think is the fairest method for grading such a matching
problem? For example, try regarding each student’s answer as a
86 6. Permutations
Each of these objects is built from red and yellow faces, silver
edges, and gold vertices. To rank them, we must decide how our
previous methods for studying symmetry apply to solid objects.
REFLECTIONS: A reflection
across a plane is visualized by
thinking of the plane as a
mirror, and moving each point
of space (each speck of ice) to
the position of its mirror image
on the opposite side of the
mirror. For example, the
reflection across the green
plane exchanges the ice above
and below this plane; it is NOT
Image by YassineMrabet, Wikipedia.org
a symmetry of the human figure
because, after this reflection occurs, he would appear upside
down. Neither is the reflection across the blue plane, which would
leave him facing backwards. Only the reflection across the
orange plane is a symmetry of the human figure.
In other words, there are no rigid motions of space other than the
types we just considered (and compositions thereof).
can be fit inside one of these shapes, then it can be fit into all
of them. The previously mentioned infinite ball pattern was
unbounded; we used it to illustrate translation symmetries.
Bounded object never have translation symmetries. In fact:
Part (2) is necessarily lengthier than its analog for bounded flat
objects, because for bounded solid objects, a reflection
composed with a rotation is NOT necessarily equal to a
reflection.
call ABCD. Name each other symmetry with the four-letter word
that you see after that symmetry is performed. Always read
words in the order indicated by the illustration (top, bottom-right,
bottom-front, and bottom-left). Thus, we name symmetries
according to the permutations of the tetrahedron’s vertices which
they induce. This system will inevitably lead you to stumble upon
the following theorem:
The hockey puck and the cone shown here are examples
of essentially two-dimensional solid objects
with infinitely many symmetries. Each has
a circular shadow. The proper symmetry
group of the hockey puck is isomorphic
to the full symmetry group of this circular
shadow. The proper symmetry group of the cone is isomorphic to
the proper symmetry group of this circular shadow.
The next year, Sir Dim demands a new weapon built with
20 spikes. Robin is again in luck, because the dodecahedron has
20 vertices, so he can arrange the spikes at the vertices of a
dodecahedron. Robin could also manage 30 spikes, arranged at
the midpoints of the 30 edges of the dodecahedron, or even 60
spikes (think about how). But the next year, Sir Dim requests a
weapon with 100 spikes – the largest number he knows, and
Robin is out of luck. It is impossible to build a perfectly symmetric
The Classification Theorem for Bounded Objects 103
Chirality
A solid object is called chiral if all of its symmetries are
proper. For example, the decorated cube
pictured on the left is chiral; after a reflection, it
would look different because the red cycle on
each face would turn clockwise instead of
counterclockwise, so a reflection could not be
a symmetry. Hold your book up to a mirror to see
what we mean. Imagine that the cube and its reflection
are both solid objects (not flat images on the page and on the
mirror surface). Do you see how they differ?
“Looking-glass” is an old
English term for a mirror. In the
opening scene of Lewis Carroll’s Dodecahedron XIV metal sculpture by
novel, Through the Looking Glass Vladimir Bulatov (bulatov.org)
and What Alice Found There, Alice imagines that the reflected
image of her room in the Looking glass is part of a real other
world. She asks her cat, “How would you like to live in Looking-
glass House, Kitty? I wonder if they’d give you milk in there?
Perhaps Looking-glass milk isn’t good to drink.” This comment is
far more interesting that it might at first appear.
Central inversion moves the yellow start point to its antipode across the green center-point
Y
You u migh ht cconjjeccturre thatt an ny bound ded
d soolid
d objeect (that iis
noot e
esse enttiallly twoo-dime enssion nal)) is rig
gidlly e
equuiva
alennt tto o
onee th
hesse
seven n o objectts: tetrahed dro
on, cu ube e, d doddeccahheddronn, chiiral teetra
a-
heedroon, ch al cube
hira e, cchiral doode ecah hed on, spherre. Th
dro his is a g goo
od
guuesss, b butt to ma akee it tru
ue, an 8th o objeect mu ust
bee addde ed to the e lisst; naame ely,, a vo olleyyba
all.
Thhe vvollleyballl illusstrated d on n thhe right hass
thee ssamme pro ope er ssym mmmetrry g oup ass a
gro
tettrah
hed dron, butt it diffferrs ffrom m the tettra--
heedroon in tha at iit iss ccentrally symm mettric,
so itss fuull ssym
mm metrry g grooup is iso omorp phicc
to A4 × C2. In su umm maary, anny b bouund ded d so
olidd
obbjecct (tha at iss nnot esssen ntia
allyy tw
wo-dim mennsio ona
al)
is rigiidlyy eq
quiivallent to o a spherre o or tto o
onee off th
hese oobjeectss:
P
Properr syym. grrou Full sym. gro
up. F oup
p.
T
Tetrrahhed dron n P4 (2
24)
C
Chirral tettrah
heddron n A4 (12
2) A4 (12)
Voolle
eyba all A4 × C2 (224)
Cuube P4 × C2 (4
48)
P4 (24
4)
C
Chirall cuubee P4 (2
24)
Do
ode ecaahe edro on A5 × C2 (1220))
A5 (60
0)
Ch
hira
al dode eca
ahe edron A5 (6
60)
N
Notiice thhat we e hhavve not yyet de escribe
ed the p posssib
ble fu
ull
symm mettry grroup ps off essse entiallyy ttwo
o-diime
enssion
nal so olid
d o
obje
ectss.
Th
his top pic willl b
be ddisccussse es. It willl ccom
ed in tthe exxerccise mpleete ou
ur
piccturre o
of a
all p
posssib
ble wa ayss in wh
hich hbbounded solid obj bjeccts cannbbe
symm mettric.
Exercises 111
Exercises
(1) Identify the proper and full symmetry group of several of
Vladimir Bulatov’s sculptures displayed at http://bulatov.org.
Which are chiral?
The tetrahedron has ___ axes of order 3 and ___ axes of order 2.
The cube has ___ axes of order 4, ___ axes of order 3, and ___
axes of order 2.
Using nothing but this information, how could you count the
proper symmetries of each object?
(7) Explain what is wrong with the following reasoning: “The six
faces of the cube get permuted by each symmetry of the cube;
therefore, the symmetry group of the cube is isomorphic to P6.”
(15) identify the proper and full symmetry groups of the single,
double, and triple inner tubes pictured below.
The tetrahedron is not the only Platonic solid that you can
build with triangles. The choices C = 4 and C = 5 yield new
Platonic solids called the octahedron and the icosahedron.
If you have not already done so, take time now to build the
remaining Platonic solids out of cardboard. You need to build
them to count their parts. Use your cardboard models to verify
that the number of vertices (V), edges (E) and faces (F) for each
Platonic solid is as follows:
V E F S C
Tetrahedron 4 6 4 3 3
Cube 8 12 6 4 3
Octahedron 6 12 8 3 4
Dodecahedron 20 30 12 5 3
Icosahedron 12 30 20 3 5
As before, “S” means the number of sides that each face has,
and “C” means the number of faces meeting at each vertex.
Examine your Platonic solid models, and notice that “C” also
equals the number of edges emanating from each vertex. That is
another way to say the same thing.
(1) What is wrong with this logic: “Since the cube has six
faces, each with four edges, the cube must have 6 × 4=24
total edges”? Why did this computation mistakenly double
the correct answer that the cube has 12 total edges? Each
edge was mistakenly double-counted because each edge
belongs to two faces. The correct formula is this: the number
of faces times the number of edges per face equals twice
the number of edges. In symbols: F × S = 2 × E.
Duality 121
(2) What is wrong with this logic: “Since the cube has eight
vertices, each with three edges emanating from it, the
cube must have 8 × 3=24 total edges”? As before, each
edge was mistakenly double-counted, this time because
each edge emanates from two vertices. The correct
formula is: the number of vertices times the number of
edges emanating from each vertex equals twice the
number of edges. In symbols: V × C = 2 × E.
Check that the two blue-boxed formulas above are true in each
row of the Platonic solid table.
Duality
1. The vertices of the new solid are the centers of the faces of
the old solid.
If the
e old ssolid is a cu ubee, leet u
us ima agine wh hat the en neww soolidd will
loook like To hellp yyou
e. T u viisualizze the e prroccess, ffindd a rooomm whic
w ch iis
shape ed rou ughhly like a cu ubee. PPaint a an “X” on the ce ente er o
of itts rroo
of,
its flo oorr, aandd e eacch of itss fo ourr w walls. Th hesse X-m markss a are th he
verticces off the ennew w so olid
d. U
Use e kiite string
g fo
or thhe edgess o he new
of th w
solid.. Run a pie ece of kitte sstring fro om the e cceiliing-X to ea ach wa all-X
X
(beeca ausse tthe ceeilinng ssha aress a
an e edgge wwith each w
he walll), a
andd siimilarlly
om the floo
fro or-XX to ea achh w walll-X. RRun n a p piecce off kkite sttrin ng
beetwe eenn thhe X-m maarkss on e eacch p pair oof
waalls th hat sh harre an n eedge (fro ont-
rig
ght, frront-le eft, ba ackk-rightt, and d
baack--lefft). Do o NNOT n a piiece
T rrun e
of kitte strring g bbetw wee en X--ma arks
onn p pairrs of wa allss thatt d do no ot
share e ann edge e (cceilling
g-flo
oorr, rig
ghtt-
lefft, ffron
nt-bbacck).. AAs d dep d on
pictted
thee rrigh ht, the e new w sollid is an
occtah hed dronn!
Euler’s Formula
Take out a pen and paper, and draw your own connected
planar graph. Make it as complicated as
you like. When you finish, count
the number of vertices (V), edges
(E), and faces (F) that your
graph has. For example, our
count for the pictured graph
came out V = 9, E = 14, F = 7.
A face means one of the grassy
pastures into which the network of
towns and roads divides the land-
scape. If a farmer placed one cow on
each face, then the cows could not share each other’s grass,
because the type of cow we are talking about here is afraid to
cross roads. One of the faces is always unbounded (number 5 in
our graph), so one lucky cow will have an unlimited supply of
grass to munch. If you count carefully, your numbers will satisfy
Euler’s magic formula V + F – E = 2. In words, the number of
combined faces and vertices equals two more than the number of
edges. This formula is true for our graph (9 + 7 – 14 = 2), and it is
true for your graph also, no matter how complicated you made it.
This is guaranteed by:
Use a permanent marker, but draw your graph when the water
park attendant is not looking. Should you expect the expression
V + F – E to equal 2 as before? That depends on how you draw
the graph. If you use only a small part
of the rubber surface, like the
illustration on the left, then you will get
the same V, E, and F counts that you
got when you drew that same graph on
a piece of paper, so V + F – E = 2 as
before. But the largest face of this graph is very peculiar. Unlike
the other faces, its shape could not be formed by deforming
(bending or stretching) a rubber polygon.
130 8. The Five Platonic Solids
V E F S C
Tetrahedron 4 6 4 3 3
Cube 8 12 6 4 3
Octahedron 6 12 8 3 4
Dodecahedron 20 30 12 5 3
Icosahedron 12 30 20 3 5
In other words, if you gave the four equations to a friend who had
never heard of Platonic solids and who did not know what the
variable stood for, your friend could, using only algebra, conclude
that there are only five solutions to the system of equations. Here
is how your friend would do it.
Once you know the values of S and C, you can use the equation
“E×(2/C + 2/S – 1) = 2” to find the value of E, then use (2) to find
the value of V and then use (1) to find the value of F…………….Ƒ
Karl can figure out how to construct an inner tube shape like this
that actually is a Platonic solid. A proof is required to rule out this
possibility. We are not trying to cast doubt on the theorem – it is
true that there are exactly five Platonic solids – we are just
acknowledging that the proofs which we have discussed so far
are not quite complete.
134 8. The Five Platonic Solids
Exxerrcissess
(1)) Fo
or e
eacch duaal p
pair off Platoonic ssolid
ds in o
ourr ta
able
e, the va
aluees o
of
“S” aand “CC” aare
e exxchhan nged. Ho ow does the eggeo omeetric p
procced
durre
of dualitty a
acccount ffor this re ationsh
ela hip??
(2)) Th
he du
ualitty p
pro
oceddurre ccan
n be a
appplied
d too ccerttain
n ob
bjeectss whicch
areennot Pla
atonicc so
olid
ds. Wh hat so
olid resullts if yyou
u ap he dualitty
pplyy th
prooce ure to a ssqu
edu uare based pyyram
e-b mid
d?
(3)) C
Couunt the vverrtice
es, edge es, and fa acess oof tthe
e p nar grrap
plan ph
be
eloww, a
and
d veeriffy E
Eule
er’ss fo
orm
mula
a fo
or this grraph
h.
136 8. The Five Platonic Solids
(4) You are asked to draw a connected planar graph with exactly
10 edges. Use Euler’s formula to decide the largest and smallest
possible number of faces that your graph could have. Then draw
two graphs, one with the largest and one with the smallest
possible number of faces.
S
Sym mmetryy iss beau utifful, buut th
hat is no ot w
whyy there e iss so
ommucch
of it in tthe wo orld
d. VViruusees e evoolveed the eir ico
osahhed dra
al shap pe, no
ot tto
bee prrettty, but b beca ausse this ssha apee op ptim
mizzes pe erfo
ormman nce. BBeees
evvolvved th he be eha avioor of bu uild
dingg h hexxaggonal ho oneeyco om
mbs fo or
funnctionnal, no esthettic rea
ot e asoonss. TThe e soolution
n to o a
an opttimmizaatio
on
prooblemm iss o ofte
en hig ghlyy ssymmme etriic. In otther w worrds, ssymmme etriic
shape es arre oftten th he be est sh happess, and d tthiss p
prinncip
ple help ps
acccou untt for th
heirr prrevvale
encce in nn natuure.
Minim
maal S
Surfa
ace
es
W
Whe en yoou bblowwab bub bble
e, itt migh
m ht b be cig gar--shhapped att th
he
insstannt it leeavvess th
he wa and, b but the en it iimmmedia aps into a
atelyy ssna
spherica al shaapee. Wh hy?? WWh hat op ptim
mizatio on prrob blemm is na aturre
almmosst insstan ntaneo oussly soolviing he ere
e? So oap p film is likke ela astiic
strretcche ed tauughht. It wa antss to g gett sma aller; tha at iis, it waantss tto
deecre easse iits surrfacce areea. Buut it iss fo ed to encclo
orce ose yo our bre
eatth
of airr beca ausse surfacce ten nsioon prreve entts iit frrom
m ppop ppin
ng. Give en
thaat it m must en ncloosee a fixxedd vvolu ume e oof airr, itt findss tthe le
east-
surface--are ea wa ay too do so.. T Thee sphe ere
e iss n not ju ust the
e b besst
solutiion th hat thee bbubbblee ccann fin
nd; math
m hem matticianss h havve pro
ove en
thaat itt is the
ebbest amo ong alll co
oncceivvab ble sha ape es:
TH
HE BU UBBL LE T THEO ORE EM
M: TThee sp
phe
ere
e is the le
easst-ssurffacce-a
are
ea
wa
ay tto e
encclosse a g
give
en vvolu
umme.
You might have expected the small square film in the center to
collapse to a point, but a small square turns out to be better than
a point. A good calculus student could verify this, but not nearly
as quickly as the soap film figured it out.
Don’s winning fence is a circle, but for all we know now, it could
have a shape as crazy as the one illustrated above.
Replacing the top half with the mirror reflection of the bottom yields a tied-winner!
This new fence has the same area and same perimeter as the
original, so it is a tied-winner! It ties with the original, but it is
guaranteed to have at least two symmetries, whereas the original
might have had only one (the identity).
144 9. Symmetry and Optimization
Next consider the vertical line that divides this new fence
in half. As before, it must also divide the perimeter in half, so if
we replace the right side with the mirror reflection of the left side,
as pictured, then we obtain yet another tied winner.
Replacing the right half with the mirror reflection of the left yields another tied-winner!
If the blue line met the fence at a non-right angle, then replacing one side with the mirror
image of the other produces something impossible: a winner with an innie-point.
Exxerrcissess
(1)) F
Findd tthe
e pperime
eterr o
of tthe
e ccirclle, sq
quaare, a
and
d e
equilattera
al
tria
ang encllosing
gle e g a
are
ea 25 5. Orderr tthe ese thhre
ee sh
hap
pes b by
inccrea
asing peerim
meter.
(2)) Fa
armmerr Ann wa antss to
o fe
encce o
off 25 accress o
of grasss lland a
alon
ng a
ght rivver. Sh
strraig he do
oes no ot n
nee
ed tto ffen
nce aloong he river’ss e
g th edg
ge
beecause eh her cowws arre aafra
aid of waater. G
Gueesss th
he llea
ast-perrim
mete
er
fenncee sh
hap pe.
(3)) W
Whe en tw
wo bub bbles co ollid
de, thhey fo ormm a
“do
oub ble buubble” co gurration wh
onfig hichheenclosses
and ssep para
atess tw
wo (poossiblyy differren
nt) vvolu
ummes
of airr. D
Do aacttual sooap
pb bubble es ffind he lleast-
d th
surfacce--are
ea wa ay to do o sso, o or d do math he-
ma ns kn
aticcian now w o of a be etteer sollution th hat
hysiical so
ph oapp bbub
bblees aaree unab ble o atttain?
e to
Usse online e rresource es as ne eeddedd to o llea
arn the a
ansswe
er to th
he
ouble b
do bub
bble ep blem.
prob
Natural Numbers
In school, you first studied the natural numbers:
You learned that the most important natural numbers are the
prime numbers: 2, 3, 5, 7, 11, 13, 17, 19, 23, and so on.
You probably learned that primes are the building blocks of all
natural numbers. More precisely:
300 = 2 u 2 u 3 u 5 u 5.
The two answers above become the same if the primes are
relisted in increasing order. That is what “in a unique way”
means. Each natural number has only one prime factorization!
(reorder) = 2 u 2 u 2 u 2 u 3 u 3 u 5 u 5 u 5 u 5.
Notice that 3002 has twice as many of each prime as 300 has in
its prime factorization. In particular, the square of any natural
number greater than 1 has an even number of occurrences of
Rational Numbers 151
Rational Numbers
(The German word for “integer” starts with Z). Next you
studied rational numbers, which means fractions such as 3/5,
17/8, and –22/3:
(p/q)2 = 2 ļ p2/q2 = 2 ļ p2 = 2 u q2
Real Numbers
Inevitably the secret got out, and it led to the invention
of a number system including more than just fractions. What do
rational numbers like 2/3 and lengths like ξʹ have in common, so
that both can be incorporated into a more general concept of
number? Today, we put them on equal footing by writing them as
decimal expressions:
Can you guess the answer? The difference between the red and
green number is clearly less than 12.75 – 12.74 = 0.01 and less
than 12.750 – 12.749 = 0.001, and less than 12.7500 –
12.7499 = 0.0001, and so on. Since this difference is less than
arbitrarily small numbers, the only reasonable guess is that the
difference equals zero. In fact, zero is the correct answer! But if
the difference between two numbers equals zero, then those
numbers must equal each other:
12.74999999999… = 12.75000000000…
real number, just like 2/3 and 4/6 are different ways of writing the
same rational number. Here is the general rule:
T
Thee long divvisiion woorkk off finndinng
this a anssweer is picctured on the
d o e rrigh ht.
Nooticce tthat th
he dig
gits staarte
ed repea atin
ng
as so oon
n aas tthee oranngee num mbe ers (th he
remmaaindderss) staarte
ed re epeatin ng. S Sincce
the
eree are on even posssib
nly se bilittiess fo
or
this ooranngee re
emain ndeer (0
0–66), you kkne ew
in ad dvaancee tthat itt w
wouuld rep pea at afte er
noot m
more th hann seveen steepss.
C
Cou uld we e work
w k th his lon
ng ddivisioon
prooblemm ba ackw waardss? T Thaat is, if
N=0 0.42
285571428 857 714
4288571… haad
beeen given n, cou uld we h havve figu e out
ure
at N = 3
tha 3/7? ? HHerre is a cle eveer ttricck.
Sinncee N ha as a 6-d digit re
epe g sttring,
eating
wee w
will mu ply it by 1,000
ultip 0,0
000 (wwhicch ha as ssix ze
eross), an
nd ttheen
subtrractt N fro
om 1,0 000
0,0000 u N too re
emove e th
he reppea
ating strin
ng, likke
this:
1,,000,0 0uN=4
000 428,57 428
71.4 857 428
714 8571…
N= 0
0.4
428 285
857142 1… Å
571 ubtrractt
Åsu
99
999 9uN=4
999 428
8,57
71.0 000
000 000
000 00…
000
We earrn thatt N = 4
e le 8,571//99
428 99,9
999
9 (w
which red
duccess to
o N=
=33/7)).
THHEOORREM M: A rreall nu
ummber iss raatio
ona
al preccise
ely wh
hen
n itss d
decima
al
exxpre
esssion
n iss evven
ntua
allyy re
epeatin
ng.
L = p1 u p2 u p3 u … u pn + 1.
160 10. What Is a Number?
Notice that 25% of the numbers on this list are prime, which we
will write as 0.25. As you travel further and further down the list of
natural numbers, prime numbers occur in these proportions:
The question is: what is the pattern in this table, and how
does the pattern continue for larger and larger choices of N?
Depending on how accurately you intend to answer this question,
it is either difficult or extremely difficult or worth a million dollars.
O
Ourr veersion n off th
he Priimee NNummbe er Theorrem m aaboove is no ot
the
e mmosst a
acccuraate
e ve ersionn. F
For reeaderss faamiiliarr w
with ogarith
h lo hmss,
weemmenntio
on tthe more eaaccu ura
ate annd mmuch mo ore
e faamo ouss verssion
n,
whhich
h sa his: Th
ayss th he fractioon of num mbberss up
p to
o N th hat areepprim
me iis
ͳ
apppro
oxim
maatelyy .OOur ccrudde ve ersion ab bovve followws froom thiis
moore
e acccuratte vverssion bbeccausse::
E
Eveen tthe
e lo ogarith hm ve ersioon of theeP Primme nu umb berr th
heo
oremm
can b be fin ned an
ne ttun nd impro ove ed on.. In
n faact, thhe questt to o m
morre
preecissely un ndersta and d exa acttly hoow th he prim me nu umberrs arre
disstrib
butted ammong the e nnatu ura
al nnum
mbeers is intterttwin nedd wwithh so
omme
of the e m
mosst ddiffficult ttheore emss inn mmatthema aticcs a
andd also o soome o of
thee mo ost innfam mous unso olved p probblemss. These e incclud de thhe
Rieemmann H Hyp
potthe esiss, w which todayy sstan ndss a as tthe
e m
mosst ffam mouus
unnsolved m matth pro oble em, w with h a onne mmilllion
n dollaar pprizze proomiseed
to thee peersson wh ho firsst ssolvves it.
Exxerrcissess
C verrt the folllow
(1)) Con wing ffracctio
ons intto d
deccim
mal expre
esssion
ns: 5/7
7,
23
3/21 1, 1
14/1
13.
(2)) Convverrt th
he ffollow
wing
g de
ecima
al e
expresssio
onss intto ffracctio
onss:
10
0.79
929
929 92…, 5
929 5.2
200
030030
003 03…, 0.3
300 344 4…
444
Exercises 163
(ٍ11) What can you say about the decimal expression for a
fraction whose denominator has two digits? What is the longest
the repeating string could possibly be? What is the longest
possible string of initial digits before the repeating string begins?
(16) Suppose that X and Y are real numbers. For X, the third digit
after its decimal point equals 5. For Y, the third digit after its
decimal point equals 7. You do not know anything else about X or
Y. In other words, X and Y look like this:
If you are given two infinite sets and asked whether they
have the same size, then your situation is very analogous to my
niece’s. You do not have the ability to separately count each set
because you do not know how to “count to infinity.” Your most
reasonable solution is the one my niece used – you should try to
find a one-to-one correspondence (a matching) between the
members of the two sets. This idea is not child’s play – it is so
important, it will become our new meaning of “same size.”
“They have the same size because they are both infinite.”
“N is larger than E because N has all of E’s members plus more.”
1 2 3 4 5 6 7 8 9 …
Ľ Ľ Ľ Ľ Ľ Ľ Ľ Ľ Ľ
2 4 6 8 10 12 14 16 18 …
A one-to-one correspondence between the natural numbers and the even numbers
1 2 3 4 5 6 7 8 9 …
Ľ Ľ Ľ Ľ Ľ Ľ Ľ Ľ Ľ
0 1 –1 2 –2 3 –3 4 –4 …
A one-to-one correspondence between the natural numbers and the integers
Do you see the pattern? The even natural numbers get matched
with the positive integers, while the odd natural numbers get
The Modern Meaning of “Same Size” 171
1/1,1/2, 1/3, 2/3, 1/4, 2/4, 3/4, 1/5, 2/5, 3/5, 4/5, …
n removed because 2/4 = 1/2
1/1, 1/2, 2/1, 1/3, 3/1, 2/3, 3/2, 1/4, 4/1, 3/4, 4/3,
1/5, 5/1, 2/5, 5/2, 3/5, 5/3, 4/5, 5/4, …
The pattern here is: 1st fraction from the previous list, then its
reciprocal, then the 2nd, then its reciprocal, and so on. This new
pattern is better still – it eventually includes all positive fractions.
All that remains is to insert 0 at the front, and intersperse the
negatives:
0, 1/1, –1/1, 1/2, –1/2, 2/1, –2/1, 1/3, –1/3, 3/1, –3/1,
2/3, –2/3, 3/2, –3/2, …
The pattern here is: zero, then the 1st fraction from the previous
list, then its negative, then the 2nd, then its negative, and so on.
Behold the power of trial and error! We just proved:
Are the Rational Numbers Countable? 173
1 2 3 4 5 …
1 1/1 2/1 3/1 4/1 5/1 …
2 1/2 2/2 3/2 4/2 5/2 …
3 1/3 2/3 3/3 4/3 5/3 …
4 1/4 2/4 3/4 4/4 5/4 …
5 1/5 2/5 3/5 4/5 5/5 …
: : : : : :
1/1, 2/1, 2/2, 1/2, 1/3, 2/3, 3/3, 3/2, 3/1, 4/1, 4/2, 4/3, 4/4, 3/4,…
Cantor’s Theorem
Our next goal is to decide whether R (the set of all real
numbers) is countable. To appreciate the question, try to
construct an infinite listing {1st real, 2nd real, 3rd real, …}. You
might start with a listing of the rational numbers and then insert
some famous irrational numbers like ߨ and ξʹ at the front of your
list. But what about the less famous irrationals, like the ones you
made up yourself in the last chapter? The more you add to your
list, the more you discover is missing. Are there too many real
numbers to squeeze into a single infinite list? The answer to this
difficult question was discovered by Georg Cantor around 1872.
M = 0.d1d2d3d4d5d6d7d8…
fam
mous math hem
matticiaan Da avid
d HHilb
berrt p
preddicted
d th
he lon
ng--lasstin
ng
importan
nceeo
of C
Can ntorr’s wo
ork whhenn wrote e: ““No
ooone sh
hall exxpe
el uus
fro
om the
e Para
adisse w
whhichh Canttor ha
as ccrea
ateed.””
Exxerrcissess
(1)) You
Y r brotherr in aw has a lisst o
n la 4-digit nu
of ffour 4 umbberrs, butt hiis
andwriiting
ha g iss sso p
pooor, youu ccan on nly ma e out o
ake oneeddigitt off ea
achh:
9*, ****0. Witho
3****, *7***, **9 out kn nowwing gaany mo ore
e in
nforrmaatio
on, ca an
you ffind
d a 4-d digit nnummbeer tthat iss no
ot oon your bro othe
er in llaw
w’s listt?
Hoow is tthiss prrob blem
m relaated
d to C tor’s p
o Cant proof?
?
(2)) Dec
D ide e whettheer th
hesse setts hhavve thee sa
am e: S1 = {all odd
me ssize
na
aturral n
nummb
berss} a
andd S2 = {alll natu
urall nu
umberrs ggre
eateer than
n99}.
(ٍ4)) If a sspre
eaddsh
hee et g
grid exxten ndeed ind
definite
ely lefft, rrigh
ht, u
up annd
do
ownn, w
wou uld its cells be co ounntabble?
?HHintt: C
Can
n yoou ffind d a paath tha
at
meean
nde ers thrrou
ugh alll off itss ce
ells?
(ٍ5)) P Provve tha at the e set of irrratio onaal num mbberss iss u
unccounta
ablee.
HINT T: IIf iit w
werre cou unttabble, th hen
n in nterrsp
perssing
g a llistiing off a
all
irra
atio
ona
al n nummbeerss with
w a lisstin
ng of all ra atio
onall n
num mbeers wooulld
prooduuce
e a listting
g off alll re
eal nu
umb berrs.
(10) You have infinitely many piles, one for each natural number.
The first pile has one marble, the second has 2 marbles, the third
has 3 marbles, and so on. Is the total number of marbles a
countable set?
(ٍ11) You have infinitely many piles – one for each natural
number. Each pile has infinitely many marbles – one for each
natural number. Is the total number of marbles a countable set?
(ٍ12) If you remove one member from an infinite set, will the
new set always have the same size as the original set? Hint: first
consider the case when the original set is countable.
DEEFINITTIOON:: n n-ddimenssionall E
Eucclid
dea
an sp pacce, deno oteed Rn,
meeanns tthe
e se
et o
of a
all o
orde
ere
ed n
n-tu
uple
es of rea
al n
num
mbe ers.. R2 iss ca
alle
ed
3
the
e plan
ne, and R is ccalle ed spacee.
T
The e, R2, is thu
e plane us tthe
e se
et o
of a
all o
ordere
ed 2
2-tu
uples (pa
airss)
eal num
of re mbeers, like ሺͳǡ Ȃ ሻ
andሺξʹǡ ߨሻ. The illustration on
e rrigh
the ht ssho
owss sseve eraal p
poinnts
2 2
of R . A g gennera al p
point of R is
deenotedd ሺݔǡ ݕሻ . No oticce ho oww
the
ese wo real num
e tw mbberss re ecoord
the
e loca on of a po
atio ointt inn tthe
pla
anee. T
Thee firrst numb ber,, ݔ, de
es--
cribess its ea astt–wwest p possitio
on,
whhile
e th
he se eco ond
d nnum mbe er, ݕ,
deescribees itss no
orth h–ssouuth
po
osition..
S
Spa e, R3, m
ace meeans th he sett off all orrde
ered
d 3-tuple
es ((trip
pless) o
of
real numbers, like ሺͳǡ Ȃ ǡͷሻ and ሺξʹǡ ߨǡ Ȃ ͳͺሻ. A general point of
R3 iss deno ed ሺݔǡ ݕǡ ݖሻ. N
ote Notice hoow th
hese tthre
ee re eal nu
umbberrs
de
escrribe
e th
he loccatio
on of a poin
nt in space.. Th
he firsst num
mbeer, ݔ,
R4 mmeeans th he se et o
of a
all o
ordere
ed 44-tuplles ሺݔǡ ݕǡ ݖǡ ݓሻ of rea
al
numbers, for example ሺξʹǡ ߨǡ Ȃ ͳͺǡͳͻሻ. Although high dimensional
Eu
uclid
deaan space es like e R4 ccan
nnoot b
be vvisu
ualize
ed aas w we as R2 an
ell a nd
3
R , th
heyy a
are sttill of pra actica
al im
mportancce. For exxam mple e, a ffoo
od
ma ufaccturerr who
anu w reecordss his ssales of se eve
en d ent prroductts
difffere
7
ea
ach weeekk is reallyy re
ecoording a ppoint o
of R .
The
T urpose
e pu eo exp
his chaptter is to e
of th plorre tthe
e su
ubtlleties and
2
acies off Euclide
inttrica eann spaccess, p ularly R a
parrticu and R3, and d tto
deefine mot
e “rrigid m ns”
tion of Euuclid an
dea spaacees.
Th
he Pyythag
gorran
n The
eore
emma
and
d Dist
D tannce
eFForrmu
ula
a
T
The
e most
m t im mpo orta
ant facct a
abo out the pplan ne, R2,
waas disscoverredd byy tthe Pyythagore eanns – tthe sa ame
gro p of a
oup anciennt Grreek ma ath
hem maticia
anss w who
overed
dissco d th nal.. It is a rellatio
hat ξʹ iss irrrattion onsship
be
etwe een
n th
he llen
ngth
hs o dess off a right ttria
of tthe sid angle:
Distance = ܿ = ξܽଶ ܾ ଶ .
Now simplify this expression for ܿ
after substituting the following:
and so on. We do not need to prove that this formula agrees with
any previous meaning of “distance” in Rn, because when n > 3,
there is no previous meaning. We can, therefore, take this
formula as our definition of the word “distance.” For example, a
food manufacturer who records his sales of seven different
products each week might use the distance formula in R7 to
compare this week’s sales to last week’s sales.
DEFINITION: If ൌ ሺܽǡ ܾǡ ܿሻ and ݍൌ ሺݔǡ ݕǡ ݖሻ are points of R3,
(1) The norm of ( denoted ȁȁ) means the distance from to the
origin ሺͲǡͲǡͲሻ, which is computed as: ȁȁ ൌ ξܽଶ ܾ ଶ ܿ ଶ .
(2) The dot product of and (ݍdenoted Ȉ )ݍis defined as:
Ȉ ݍൌ ܽ ݔ ܾ ݕ ܿݖ.
Example in R2: If ൌ ሺ͵ǡͶሻ and ݍൌ ሺʹǡሻ in R2, then the norm
of isȁȁ ൌ ξ͵ଶ Ͷଶ ൌ ξʹͷ ൌ ͷ, and the dot product of and ݍ
equals: Ȉ ݍൌ ͵ ൈ ʹ Ͷ ൈ ൌ ʹͺ ൌ ͵Ͷ.
Example in R3: If ൌ ሺʹǡ Ȃ ͵ǡͷሻ and ݍൌ ሺͷǡ ǡ Ȃ ͳሻ, then the
norm of is ȁȁ ൌ ඥʹଶ ሺെ͵ሻଶ ͷଶ ൌ ξ͵ͺ|Ǥͳ, and their dot
is: Ȉ ݍൌ ʹ ൈ ͷȂ ͵ ൈ ͷ ൈȂ ͳ ൌ ͳͲȂ ʹͳȂ ͷ ൌȂ ͳ.
186 12. Euclidean Space
Example in R4: If ൌ ሺʹǡ Ȃ ͵ǡͶǡͳሻ and ݍൌ ሺͷǡ ͳͲǡ Ȃ ͳǡͲሻ, then the
norm of is ȁȁ ൌ ඥʹଶ ሺെ͵ሻଶ Ͷଶ ͳଶ ൌ ξ͵Ͳ|ͷǤͶͺ, and
their dot product is:
Ȉ ݍൌ ʹ ൈ ͷȂ ͵ ൈ ͳͲ Ͷ ൈȂ ͳ ͳ ൈ Ͳ ൌȂ ʹͶ.
PERPENDICULARITY TEST:
If Ȉ ݍ Ͳ, then D is acute (less than 90°).
If Ȉ ݍൌ Ͳ, then D is right (equal to 90°).
If Ȉ ݍ൏ Ͳ, thenD is obtuse (greater than 90°).
Using the Dot Product to Find a Lover or a Song 187
EXAMPLE: If ൌ ሺʹǡ Ȃ ͵ǡͷሻ and ݍൌ ሺͷǡ ǡ Ȃ ͳሻ in R3, then their
dot product is Ȉ ݍൌȂ ͳ, so the angle is obtuse.
EXAMPLE: If ൌ ሺ͵ǡͶሻ and ݍൌ ሺʹǡሻin R2, then Ȉ ݍൌ ͵Ͷ, so
the angle is acute.
This tells you what the cosine of D equals. Then use the
–1
“cos ” button on your calculator, which un-does the cosine
function, to find what D equals. In the plane R2 and space R3, this
answer is exactly the angle that you would measure with a
protractor. In higher dimensional Euclidean spaces, protractors
don’t make sense, so we simply take this answer as our definition
of the word “angle” in higher dimensional Euclidean spaces.
(1) Calculate the dot product of your point and your friend’s point.
To what extent do you think that this dot product measures the
compatibility of your interests? If the dot product is largely
positive, does this mean that your interests are closely aligned
with your friend’s? If the dot product is largely negative, does this
mean that the two of you have opposite interests? What does it
mean if the dot product equals zero?
(3) Calculate the distance between your point and your friend’s
point. To what extent do you think that this distance measures
the compatibility of your interests? If the distance is small, does
this mean that your interests are closely aligned? If the distance
is large, does this indicate that you have opposite interests?
(1) ȁȁ ൌ ඥ Ȉ ( the norm of a point is the square root of its dot
product with itself).
(2) The distance between ൌ ሺܽǡ ܾǡ ܿሻ and ݍൌ ሺݔǡ ݕǡ ݖሻ equals
ȁ െ ݍȁ ൌ ȁሺܽ െ ݔǡ ܾ െ ݕǡ ܿ െ ݖሻȁ
ൌ ඥሺܽ െ ݔǡ ܾ െ ݕǡ ܿ െ ݖሻ Ȉ ሺܽ െ ݔǡ ܾ െ ݕǡ ܿ െ ݖሻ.
Ȉ
(3) ܿݏሺDሻ ൌ .
ȁȁȁȁ
R90ሺͲǡͲሻ ൌ ሺͲǡͲሻ
R90ሺͳǡͲሻ ൌ ሺͲǡͳሻ
R90ሺ͵ǡͳሻ ൌ ሺȂ ͳǡ͵ሻ
R90ሺͲǡʹሻ ൌ ሺȂ ʹǡͲሻ
R90ሺͲǡ Ȃ ʹሻ ൌ ሺʹǡͲሻ
Do you see that pattern? You might guess that the pattern
is this: R90ሺݔǡ ݕሻ ൌ ሺȂ ݕǡ ݔሻ. In the next chapter, we will prove that
this formula is correct. Assuming this for now, this example helps
us get used to thinking of a rigid motion as a function. Do you see
how R90 is a definite rule that associates an output point to each
input point? The rule is described by the formula R90ሺݔǡ ݕሻ ൌ
ሺȂ ݕǡ ݔሻ. This formula empowers you to quickly determine R90’s
effect on any input point you like. For example, R90ሺ͵ǡͷͷሻ ൌ
ሺȂ ͷͷǡ͵ሻ. This is a whole new way to think about R90.
DEFINITIONS:
Exxerrcissess
(1)) In
n th
he prooff of th
he Pyytha agooreean Th heoore
em, exxpla
ain why
w the
oraangge squ
uarre w
with
h siide ngtth ܿ iss re
e len eallyy a sq
qua
are.
(3)) Iff ൌ ሺͳǡͶǡ͵ሻ and ݍൌ ሺȂ ͳǡʹǡሻ iin R3, find
d th
he follow
win
ng
uantitie
qu es: ȁȁǡ ȁݍȁǡ Ȉ ݍ, the distance from to ݍ, annd tthe
e an
nglle
be
etwe een
n th
he aarrowws frrom
m thhe orig n to and ݍ.
gin
n R5, do
(4)) In o th om the o
ws fro
he arrrow orig o ሺͳǡ Ȃ ʹǡ͵ǡ Ȃ Ͷǡͷሻ an
gin to nd
ሺͳǡͲǡ Ȃ ͳǡ͵ǡʹሻ form an acute, obtuse or right angle?
(5)) Let ൌ ሺ͵ǡሻ. Show that ݍଵ ൌ ሺെǡ͵ሻ is perp pen ndicculaar to p
an
nd h hass th
he sa ame e nnorm
m a as . Sh howw tthatt ݍଶ ൌ ሺǡ െ͵ሻ is also
pe
erpe end
dicuularr to
o p a and ha as the e ssamme no ormm aas p. Draw w thhesse
po
ointss. Wh hich
h o onee of ݍଵ ,ݍଶ is oobtaained byy rrota atinng b by 900°
clo ? Whicch iss obtain
ockkwisse? nedd byy rottating byy 90 0°
counttercclockw G ss a forrmu
wisse? Gue or tthe 90
ula fo 0° clo ockkwisse annd
counttercclockwwisse rrota
atio
on o
of aan aarb ary point ൌ ሺݔǡ ݕሻ.
bitra
(7)) Gue
G ess a fformu ula forr Hሺݔǡ ݕሻ and Vሺݔǡ ݕሻ, where H m mea anss thhe
hoorizo
onttal flip he ݔ-a
p ovverr th axiss and V me
eanns the
e ve
ertiical fliip o
ove
er
2
e ݕ-axxis in R .
the
196 12. Euclidean Space
(ٍ11) In the sine and cosine table in the chapter, the values are
rounded to 2 decimals, but these values can be determined
exactly. Determine the exact values of ܿݏሺͶͷሻ ൌ ݊݅ݏሺͶͷሻ|Ǥͳ
and of ݊݅ݏሺͲሻ|Ǥͺ. Hint: ܿݏሺͲሻ equals exactly ½.
(12) Fill in the following table with rounded values for the sine and
cosine of angles between 180 and 360. HINT: Use the same
numbers that are in the table in the chapter; namely, plus and
minus 0, .26, .50, .71, .87, .97 and 1.
ݐ 180 195 210 225 240 255 270 285 300 315 330 345 360
ܿݏሺݐሻ
݊݅ݏሺݐሻ
Matrix Computations
A matrix simply means a grid of real numbers.
ʹ െ͵ Ͳ ൰, ܥൌ ቀെʹͲ െ͵
ܣൌቀ ቁ, ܤൌ ൬ ξʹ ቁ
ͳ െͷͳ ͵Τͷ ߨ Ͳ
െʹ ͷ ͻ Ͳ ͳ െ͵ ͳ Ͳ Ͳ
ܦൌ൭ Ͳ Ͷ ൱, ܧൌ ቌͷ െʹȀ ʹ ቍ, ܨൌ ൭Ͳ ͵ Ͳ൱
െʹȀ͵ ͺ െͳ Ͳ ξ Ͳ Ͳ Ͳ ͻ
2-BY-2 EXAMPLE:
ʹ െ͵ ͵ Ͷ ሺʹǡ െ͵ሻ Ȉ ሺ͵ǡͲሻ ሺʹǡ െ͵ሻ Ȉ ሺͶǡͳͲሻ
ቀ ቁכቀ ቁൌ൬ ൰
ͳ Ͳ ͳͲ ሺͳǡሻ Ȉ ሺ͵ǡͲሻ ሺͳǡሻ Ȉ ሺͶǡͳͲሻ
െʹʹ
ൌቀ ቁ.
͵ Ͷ
Each of the four entries of the answer equals the dot product of
the same-colored row of the first matrix with same-highlighted
column of the second matrix.
3-BY-3 EXAMPLE:
ܽ ܾ
݀݁ ݐቀ ቁ ൌ ܽ݀ െ ܾܿ.
ܿ ݀
Matrix Computations 201
ʹ ͷ
ቀ ቁ ൌ ʹ ൈ ͵ െ ͷ ൈ ൌ െ ͵ͷ ൌ െʹͻǤ
͵
The determinant of a matrix is a number, which might be positive
or negative or zero.
ܽ ܾ ܿ
݀݁ ݐ൭݀ ݁ ݂ ൱ ൌ ܽ݁݅ ܾ݂݃ ݄ܿ݀ െ ܿ݁݃ െ ݂݄ܽ െ ܾ݀݅.
݃ ݄ ݅
ʹ െ͵
EXAMPLE: If ܯൌ ቀ ቁ and ൌ ሺͳͲǡ Ͷሻ, then:
ͳ ͷ
ͳ ʹ െ͵
EXAMPLE: If ܯൌ ൭ Ͳ Ͷ ͷ ൱ and ܲ ൌ ሺʹǡ Ͷǡͳሻ, then:
െʹ Ͳ ͳ
ܲ כ ܯൌ ൫ሺͳǡʹǡ െ͵ሻ Ȉ ሺʹǡ Ͷǡͳሻǡ ሺͲǡͶǡͷሻ Ȉ ሺʹǡ Ͷǡͳሻǡ ሺെʹǡͲǡͳሻ Ȉ ሺʹǡ Ͷǡͳሻ൯
ൌ ሺǡʹͳǡ െ͵ሻ
Ͳ െͳ
R90 = ቀ ቁ
ͳ Ͳ
In what way exactly does this matrix “represent” R90? At first
glance, this matrix seems to only tell us which outputs R90 asso-
ciates to the inputs ሺͳǡͲሻ and ሺͲǡͳሻ. Magically, this matrix also
204 13. Symmetry and Matrices
Ͳ െͳ ሺ
ቀ ቁ ݔ כǡ ݕሻ ൌ ሺെݕǡ ݔሻ
ͳ Ͳ
See what happened here? When the matrix that represents R90
was multiplied times a point of R2, the answer was exactly the
output that R90 associates with that input point. For example:
Ͳ െͳ ሺ ሻ
R90(3,1) = (–1,3) ՞ ቀ ቁ ͵ כǡͳ ൌ ሺെͳǡ͵ሻ
ͳ Ͳ
This is exactly what always happens!
In words: “To learn the output point that F associates to the input
point , you multiply ܯby .” This is a powerful theorem. For
example, when n = 3, the columns of ܯare defined to record
where F moves the three points ሺͳǡͲǡͲሻ, ሺͲǡͳǡͲሻ and ሺͲǡͲǡͳሻ. It is
surprising that this information is enough to determine where F
moves ALL points of R3, and that this determination is achieved
via something as simple as matrix-point multiplication.
ͳ Ͳ Ͳ െͳ െͳ Ͳ Ͳ ͳ
Iൌ ቀ ቁǡR90ൌ ቀ ቁǡR180ൌ ቀ ቁǡ R270ൌ ቀ ቁǡ
Ͳ ͳ ͳ Ͳ Ͳ െͳ െͳ Ͳ
ͳ Ͳ െͳ Ͳ Ͳ െͳ Ͳ ͳ
Hൌ ቀ ቁǡVൌ ቀ ቁǡDൌ ቀ ቁǡD'ൌ ቀ ቁǤ
Ͳ െͳ Ͳ ͳ െͳ Ͳ ͳ Ͳ
Representing Rigid Motions as Matrices 205
Orthogonal Matrices
Not just any matrix represents a rigid motion. The matrices
that do have a special property called “orthogonal.”
What about rigid motions which do not fix the origin? Can
we use determinants to distinguish whether they are proper or
improper? This turns out to be easy because:
Y
Youu alrea adyy kknow the e answ wer fo or n = 2 annd n = 3. W Wha at
abbout gene eraal n
n? T
Thiss qque estio
on turrned o out to bee veery diffficult an nd
very im mpo orta
ant.. It mo otivateed so ome e of th he mostt ssign nificcan
nt
maathemmatics of the e pa astt ce
entuuryy. F
Firstt, th uestion
his qu n iss in
nterrtwiine
ed
e prob
witth the blemm of cla assifying all posssible finiite gro oup ps, whicch
ad to on
lea ne off thhe mo ost ce elebraatedd a ach
hievvem
men nts off m mod derrn
maathemmatics,, a aptlyy ccallled
d “TThee EEno orm mouus Th heorem m.” Seco ondd,
this que esttion
n iss rrela
ated to the cla assificatio on off ccom mpa act Liie
grooup
ps, whicch iis a b beaautiiful piece e oof m maathe
ema aticcs up pon whicch
muuchh off modern n phhyssicss deepeendds.
AAlte
erna
ately, there e iss a vveryy m
mod derrn me etho od for p provvin
ng
cla on the
asssificcatio eorrem
ms witthout ma atriccess. T
Thiss m
mod derrn a
app proaachh,
cham mpio oneed by John Co onwwayy and oth herrs, usees orb bifo
old geo ommetrry
to claassify theew which bo
wayys in w ordeer ppattterrns,, wallppapper pa atte
ernss,
annd bbou undded soolid ob
bjeccts caan b
be ssym
mm metrric. A generral--audie encce
ducction o
inttrod his prrogram
of th m iss fo
ounnd iin a beau utifful boook title
ed Thhe
Syymm metry of Th gs, by Co
hing onwwayy, B
Burrgieel and Go ooddma an--Strrau
uss.
Exxerrcissess
ʹ െ͵ ͵ Ͳ െͳͲ െ͵
(1)) Consider: ܣൌ ቀ ቁ, ܤൌ ൬ ൰, ܥൌ ቀ ቁ.
ͳ െͷ ͳȀʹ Ͷ Ͳ
(a
a) C
Comp
pute
e th
he d
detterm
min
nan
nt o
of each
hmmattrix..
െʹ ͷ ͻ Ͳ ͳ െ͵
(2) Consider: ܣൌ ൭ Ͳ Ͷ ൱, ܤൌ ൭ͷ െʹ ͳͲ ൱.
െͳ ʹ െͳ Ͳ ͳ Ͳ
(a) Compute the determinants of ܣand ܤ.
(ٍ3) Write the matrix that represents each of the six symmetries
in D3.
ሺݐሻ Ͳ െሺݐሻ
൭ Ͳ ͳ Ͳ ൱
ሺݐሻ Ͳ
ሺݐሻ
Index
A Countable, 171–174, 178, 197
All-or-Half theorem, 26, 32, 53, 85, Cube, 88–90, 92, 93, 96–99, 101,
107 104, 108, 109, 111, 112, 115,
Alternating group, 83, 96, 97 118–121, 123, 124, 131, 132,
Associative property, 21, 23, 24 134, 141, 197, 211
Asymmetric, 27, 103 Cycle notation, 79, 81, 83
Axis, 10, 88, 89, 91, 94, 99, 100, Cyclic group, 25, 32, 42, 46, 47, 51,
109, 184, 193, 195, 196, 210 65, 66, 101, 102, 113
B D
Bilateral symmetry, 90 Da Vinci’s theorem, 51–54, 100, 101
Border pattern, classification, Determinant, 200–202, 207, 208
12–13, 54–56 Dihedral group, 25, 32, 42, 100,
Bounded, 7, 8, 12, 15, 16, 32, 45, 102, 113
51–54, 90–92, 101–104, 107, Distance formula, 180–183
114, 115, 117, 119, 134, 140, Dodecahedron, 92, 93, 97–99,
142, 194, 196, 197, 202, 203, 101–105, 108, 109, 111, 112,
208 115, 118–121, 123, 124, 131,
Bubble theorem, 142 132, 134, 141, 211
Dot product, 185–190, 200, 206,
C 207
Cantor’s theorem, 174–177 Duality, 121–124, 131
Cayley table, 18–21, 26, 27, 31,
36–38, 40, 46, 54, 63, 64, 66, E
70–72, 74, 78, 94, 107, 108, 205 Edge, 18, 94, 97, 98, 115, 120, 121,
Center Point theorem, 15, 52, 91, 124–128, 137, 145, 173, 201
92, 94, 202 Essentially two-dimensional,
Central inversion, 108, 109, 210, 99–101, 103, 113, 114, 197
211 Euclidean space, 179–197
Centrally symmetric, 109, 111, 113 Euclid’s theorem, 159
Chiral, 104–106, 111, 113 Euler characteristic, 129–131, 133,
Circle theorem, 142, 148 136
Commutative group, 23, 42 Euler’s formula
Commutative property, 21–23 For plane, 126–127
Commute, 107, 211 For sphere, 127–128
Composition Even permutation, 82, 83, 85, 96, 98,
of a permutation, 76–77 111
of symmetries, 21–22
Connected, 121, 125–130, 136, F
137 Face, 16, 25, 93–95, 104, 120, 124,
Cosine, 184, 186, 187, 196, 206 126, 127, 129, 131, 136, 141
Real redundancy rule, 155 Symmetry group, 24–26, 31, 33, 35,
Reflection, 5, 6, 8, 9, 11, 12, 15, 20, 36, 39, 40, 42–45, 49, 51–53,
32, 36, 37, 43, 55, 57, 60, 72, 55, 58, 60, 63, 65, 71, 72, 74,
89–95, 104, 108, 109, 111, 143, 92–102, 105, 107–109,
144, 196, 210 111–114, 124, 134, 194, 204
Regular polygon, 10, 26, 115
Regular polyhedron, 115 T
Riemann hypothesis, 162 Tetrahedron, 92–96, 99, 101, 104,
Rigid equivalence, 43–46 111, 112, 115, 116, 119, 120,
Rigid motion 124, 131, 132, 134, 140, 141,
definition, 3 211
plane classification, 12–13 Topology, 130
space classification, 90–93 Translation, 2–4, 6, 10–12, 15, 16,
Rigid motion detector theorem, 27 32, 40, 45, 54, 55, 57, 58, 65,
Rotation, 3–6, 8, 9, 15, 16, 18, 20, 88–91, 108, 191, 193, 194, 196,
25–27, 32, 36, 39, 40, 43, 207
45–47, 52–57, 63, 64, 67, 69,
72, 88–92, 94, 95, 99, 100, 108, U
112, 113, 191, 194, 196, 199, Unbounded, 7, 8, 10, 11, 15, 90, 91,
205–207, 210 126, 142
Unit circle, 183–185, 194, 197
S
Same size, 27, 42, 167–172, 176, V
178 Vertex, 85, 94, 95, 115–118, 120,
Sine, 184, 196, 206 121, 124, 126, 127, 131, 133
Subgroup, generated, 66–69 Volleyball, 110
Sudoku theorem, 26
Swap, 81 W
Symmetry, 1–33, 35, 36, 38–45, Wallpaper pattern, classification, 58
49–53, 55–58, 60, 61, 63, 65,
69, 71, 72, 74, 76, 79, 85,
87–115, 124, 134, 139–149,
158, 159, 178, 192–194,
197–211