25.12.2014 Views

Symmetrie op de bol en in het vlak - Universiteit van Amsterdam

Symmetrie op de bol en in het vlak - Universiteit van Amsterdam

Symmetrie op de bol en in het vlak - Universiteit van Amsterdam

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1<br />

Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 241<br />

Jan <strong>van</strong> <strong>de</strong> Craats<br />

Korteweg-De Vries Instituut voor Wiskun<strong>de</strong><br />

<strong>Universiteit</strong> <strong>van</strong> <strong>Amsterdam</strong><br />

Postbus 94248<br />

1090 GE <strong>Amsterdam</strong><br />

J.<strong>van</strong><strong>de</strong>Craats@uva.nl<br />

Recreatieve wiskun<strong>de</strong><br />

<strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong><br />

<strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong><br />

In <strong>het</strong> dagelijkse lev<strong>en</strong> kom<strong>en</strong> we allerlei symmetrische voorwerp<strong>en</strong> teg<strong>en</strong>. Soms heeft zo’n<br />

symmetrisch voorwerp e<strong>en</strong> speciaal patroon, <strong>de</strong>nk bijvoorbeeld aan e<strong>en</strong> voetbal. In dit artikel<br />

gaat Jan <strong>van</strong> <strong>de</strong> Craats dieper <strong>in</strong> <strong>op</strong> die patron<strong>en</strong>, waarbij hij e<strong>en</strong> on<strong>de</strong>rscheid maakt tuss<strong>en</strong> <strong>bol</strong>patron<strong>en</strong>,<br />

rozetpatron<strong>en</strong>, strookpatron<strong>en</strong> <strong>en</strong> behangpatron<strong>en</strong>. Hij gebruikt hierbij e<strong>en</strong> nieuwe<br />

notatie om <strong>de</strong> verschill<strong>en</strong><strong>de</strong> symmetriegroep<strong>en</strong> te beschrijv<strong>en</strong>.<br />

In dit artikel beschrijf ik <strong>de</strong> discrete symmetriegroep<strong>en</strong><br />

<strong>van</strong> <strong>bol</strong>patron<strong>en</strong> <strong>en</strong> patron<strong>en</strong><br />

<strong>in</strong> <strong>het</strong> <strong>vlak</strong>. In mijn behan<strong>de</strong>l<strong>in</strong>g, die steunt<br />

<strong>op</strong> i<strong>de</strong>eën <strong>van</strong> Coxeter [2] <strong>en</strong> Fejes Tóth [3],<br />

gebruik ik alle<strong>en</strong> e<strong>en</strong>voudige resultat<strong>en</strong> uit<br />

<strong>de</strong> euclidische meetkun<strong>de</strong> <strong>en</strong> <strong>de</strong> groep<strong>en</strong>theorie.<br />

Ik pres<strong>en</strong>teer daarbij ook e<strong>en</strong> aangepaste<br />

versie <strong>van</strong> <strong>de</strong> ‘signature notation’ <strong>van</strong><br />

John H. Conway. Als bonus verkrijg ik Conways<br />

‘magic theorems’ voor <strong>bol</strong>patron<strong>en</strong> <strong>en</strong> <strong>vlak</strong>ke<br />

periodieke patron<strong>en</strong>.<br />

Bolpatron<strong>en</strong><br />

Veel alledaagse voorwerp<strong>en</strong> zijn symmetrisch,<br />

vaak <strong>op</strong> meer<strong>de</strong>re manier<strong>en</strong>. Biljartball<strong>en</strong>,<br />

ron<strong>de</strong> schal<strong>en</strong>, schotels <strong>en</strong> bekers (zon<strong>de</strong>r<br />

oor) hebb<strong>en</strong> zelfs one<strong>in</strong>dig veel spiegel<strong>in</strong>g<strong>en</strong><br />

<strong>en</strong> rotaties als symmetrieën, althans<br />

als ze glad <strong>en</strong> eff<strong>en</strong> gekleurd zijn. An<strong>de</strong>re<br />

voorwerp<strong>en</strong> hebb<strong>en</strong> maar e<strong>in</strong>dig veel symmetrieën,<br />

zoals e<strong>en</strong> rechthoekige tafel, e<strong>en</strong> stoel,<br />

e<strong>en</strong> kast of, <strong>in</strong> meer wiskundige term<strong>in</strong>ologie,<br />

e<strong>en</strong> kubus, e<strong>en</strong> prisma of e<strong>en</strong> pirami<strong>de</strong>.<br />

Of ball<strong>en</strong> met e<strong>en</strong> speciaal patroon zoals e<strong>en</strong><br />

voetbal, e<strong>en</strong> volleybal, e<strong>en</strong> basketbal of e<strong>en</strong><br />

t<strong>en</strong>nisbal.<br />

De symmetrieën <strong>van</strong> e<strong>en</strong> voorwerp kunn<strong>en</strong><br />

<strong>in</strong> wiskundige term<strong>en</strong> wor<strong>de</strong>n <strong>op</strong>gevat als isometrieën<br />

<strong>van</strong> <strong>de</strong> ruimte, dat wil zegg<strong>en</strong> transformaties<br />

die afstan<strong>de</strong>n behou<strong>de</strong>n. Na zo’n<br />

transformatie ziet <strong>het</strong> voorwerp er precies <strong>het</strong>zelf<strong>de</strong><br />

uit als ervoor. De symmetrieën vorm<strong>en</strong><br />

e<strong>en</strong> groep, <strong>de</strong> symmetriegroep <strong>van</strong> <strong>het</strong> voorwerp.<br />

Het is <strong>in</strong>teressant om alle mogelijke e<strong>in</strong>dige<br />

symmetriegroep<strong>en</strong> <strong>van</strong> voorwerp<strong>en</strong> <strong>in</strong> <strong>de</strong><br />

ruimte te beschrijv<strong>en</strong>. Dat is <strong>in</strong> <strong>het</strong> verle<strong>de</strong>n<br />

al door veel wiskundig<strong>en</strong> gedaan, <strong>op</strong> allerlei<br />

verschill<strong>en</strong><strong>de</strong> manier<strong>en</strong>. Het blijkt dat er<br />

precies veerti<strong>en</strong> verschill<strong>en</strong><strong>de</strong> typ<strong>en</strong> <strong>van</strong> e<strong>in</strong>dige<br />

symmetriegroep<strong>en</strong> zijn (zie bijvoorbeeld<br />

[2, p.270] of [3, p.59]).<br />

In <strong>de</strong> literatuur wor<strong>de</strong>n verschill<strong>en</strong><strong>de</strong> nam<strong>en</strong><br />

voor <strong>de</strong>ze groep<strong>en</strong> gebruikt, maar e<strong>en</strong><br />

<strong>van</strong> <strong>de</strong> hel<strong>de</strong>rste is <strong>de</strong> ‘signature notation’,<br />

die ruim tw<strong>in</strong>tig jaar gele<strong>de</strong>n bedacht is door<br />

John H. Conway. Ze wordt door Conway <strong>en</strong><br />

zijn me<strong>de</strong>-auteurs Heidi Burgiel <strong>en</strong> Chaim<br />

Goodman-Strauss gebruikt <strong>in</strong> hun <strong>in</strong>spirer<strong>en</strong><strong>de</strong><br />

<strong>en</strong> schitter<strong>en</strong>d geïllustreer<strong>de</strong> boek The<br />

<strong>Symmetrie</strong>s of Th<strong>in</strong>gs uit 2008 [1]. Deel I <strong>van</strong><br />

dat boek gaat over <strong>de</strong> symmetrieën <strong>van</strong> <strong>bol</strong>patron<strong>en</strong><br />

<strong>en</strong> patron<strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong>. Conways<br />

handtek<strong>en</strong><strong>in</strong>gnotatie, ook wel ‘orbifold signature<br />

notation’ g<strong>en</strong>oemd, heeft <strong>het</strong> voor<strong>de</strong>el<br />

dat je er direct alle symmetrie-eig<strong>en</strong>schapp<strong>en</strong><br />

<strong>van</strong> e<strong>en</strong> patroon uit kunt aflez<strong>en</strong>. Conway ontwikkel<strong>de</strong><br />

die notatie met behulp <strong>van</strong> i<strong>de</strong>eën<br />

<strong>van</strong> William Thurston. In dit artikel gebruik ik<br />

<strong>de</strong>ze notatie <strong>in</strong> e<strong>en</strong> licht aangepaste vorm.<br />

Symmetrische voorwerp<strong>en</strong> <strong>en</strong> <strong>bol</strong>patron<strong>en</strong><br />

Elke e<strong>in</strong>dige groep G <strong>van</strong> isometrieën heeft<br />

m<strong>in</strong>st<strong>en</strong>s één vast punt, e<strong>en</strong> punt dat bij alle<br />

isometrieën <strong>van</strong> G <strong>op</strong> zijn plaats blijft. Neem<br />

om dit te bewijz<strong>en</strong> e<strong>en</strong> willekeurig punt P sam<strong>en</strong><br />

met alle beel<strong>de</strong>n <strong>van</strong> P on<strong>de</strong>r <strong>de</strong> isometrieën<br />

<strong>van</strong> G. Dat is e<strong>en</strong> e<strong>in</strong>dige puntverzamel<strong>in</strong>g,<br />

<strong>de</strong> baan (Engels: orbit) <strong>van</strong> P. Elke<br />

isometrie uit G permuteert <strong>de</strong> punt<strong>en</strong> <strong>van</strong> die<br />

baan, maar <strong>de</strong> baan als geheel blijft <strong>het</strong>zelf<strong>de</strong>.<br />

Het zwaartepunt O er<strong>van</strong> blijft dus bij elke<br />

isometrie <strong>van</strong> G <strong>op</strong> zijn plaats.


2<br />

242 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

[g(7,7)] [s(7,7)] [g(7) s] [g(7) x]<br />

[g(7,2,2)] [g(2) s(7)] [s(7,2,2)]<br />

Figuur 1 Parametrische patron<strong>en</strong><br />

[g(3,3,2)] [g(3) s(2)] [s(3,3,2)]<br />

[g(4,3,2)] [s(4,3,2)] [g(5,3,2)] [s(5,3,2)]<br />

Maar omdat G uit isometrieën bestaat, dat<br />

wil zegg<strong>en</strong> uit transformaties die afstan<strong>de</strong>n<br />

behou<strong>de</strong>n, gaat <strong>het</strong> <strong>op</strong>per<strong>vlak</strong> <strong>van</strong> elke <strong>bol</strong><br />

met mid<strong>de</strong>lpunt O door alle isometrieën <strong>van</strong><br />

G ook <strong>in</strong> zichzelf over. Het beschrijv<strong>en</strong> <strong>van</strong> alle<br />

e<strong>in</strong>dige isometriegroep<strong>en</strong> <strong>in</strong> <strong>de</strong> ruimte is dus<br />

<strong>het</strong>zelf<strong>de</strong> als <strong>het</strong> beschrijv<strong>en</strong> <strong>van</strong> alle e<strong>in</strong>dige<br />

groep<strong>en</strong> <strong>van</strong> isometrieën <strong>op</strong> <strong>het</strong> <strong>op</strong>per<strong>vlak</strong><br />

<strong>van</strong> e<strong>en</strong> <strong>bol</strong>. Slordig gezegd kun je elk symmetrisch<br />

voorwerp i<strong>de</strong>ntificer<strong>en</strong> met <strong>het</strong> symmetrische<br />

<strong>bol</strong>patroon dat ontstaat als je <strong>het</strong><br />

<strong>van</strong>uit zo’n vast punt O <strong>op</strong> <strong>het</strong> <strong>op</strong>per<strong>vlak</strong> <strong>van</strong><br />

e<strong>en</strong> omvatt<strong>en</strong><strong>de</strong> <strong>bol</strong> met mid<strong>de</strong>lpunt O projecteert.<br />

Het classificer<strong>en</strong> <strong>van</strong> symmetrische<br />

patron<strong>en</strong> <strong>op</strong> <strong>het</strong> <strong>bol</strong><strong>op</strong>per<strong>vlak</strong> (dat tweedim<strong>en</strong>sionaal<br />

is) lijkt e<strong>en</strong>voudiger te zijn dan<br />

<strong>het</strong> classificer<strong>en</strong> <strong>van</strong> driedim<strong>en</strong>sionale voorwerp<strong>en</strong><br />

<strong>in</strong> <strong>de</strong> ruimte. Bov<strong>en</strong>di<strong>en</strong> verb<strong>in</strong>dt <strong>de</strong>ze<br />

b<strong>en</strong>a<strong>de</strong>r<strong>in</strong>g <strong>de</strong> studie <strong>van</strong> <strong>bol</strong>patron<strong>en</strong> met<br />

Figuur 2 Platonische patron<strong>en</strong><br />

<strong>de</strong> studie <strong>van</strong> symmetrische patron<strong>en</strong> <strong>in</strong> <strong>het</strong><br />

<strong>vlak</strong>.<br />

Voorbeel<strong>de</strong>n <strong>van</strong> <strong>bol</strong>patron<strong>en</strong><br />

In <strong>de</strong>ze paragraaf geef ik voorbeel<strong>de</strong>n <strong>van</strong> <strong>bol</strong>patron<strong>en</strong>,<br />

voor elk type één, elk voorzi<strong>en</strong> <strong>van</strong><br />

zijn handtek<strong>en</strong><strong>in</strong>g. Nu is die handtek<strong>en</strong><strong>in</strong>g alle<strong>en</strong><br />

nog maar e<strong>en</strong> naam, maar later zal ik<br />

uitlegg<strong>en</strong> hoe die <strong>in</strong> elkaar zit <strong>en</strong> hoe je zelf<br />

gemakkelijk <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> e<strong>en</strong> symmetrisch<br />

<strong>bol</strong>patroon kunt v<strong>in</strong><strong>de</strong>n.<br />

In elk voorbeeldpatroon zijn <strong>de</strong> ev<strong>en</strong>tuele<br />

<strong>vlak</strong>spiegel<strong>in</strong>g<strong>en</strong> aangegev<strong>en</strong> door <strong>de</strong> grote<br />

cirkels (zwart getek<strong>en</strong>d) waar<strong>in</strong> <strong>het</strong> spiegel<strong>vlak</strong><br />

<strong>de</strong> <strong>bol</strong> snijdt. Rotaties zijn aangegev<strong>en</strong><br />

door stipp<strong>en</strong> <strong>in</strong> verschill<strong>en</strong><strong>de</strong> kleur<strong>en</strong> die <strong>de</strong><br />

punt<strong>en</strong> aangev<strong>en</strong> waar <strong>de</strong> rotatieas <strong>het</strong> <strong>bol</strong><strong>op</strong>per<strong>vlak</strong><br />

snijdt. Later geef ik meer uitleg, maar<br />

nu al merk ik <strong>op</strong> dat <strong>de</strong> kleur<strong>in</strong>g<strong>en</strong> ess<strong>en</strong>tieel<br />

Figuur 3 De tetraë<strong>de</strong>r, <strong>de</strong> kubus, <strong>de</strong> octaë<strong>de</strong>r, <strong>de</strong> do<strong>de</strong>caë<strong>de</strong>r <strong>en</strong> <strong>de</strong> icosaë<strong>de</strong>r<br />

zijn: symmetrieën <strong>van</strong> <strong>het</strong> patroon moet<strong>en</strong> <strong>de</strong><br />

kleur<strong>en</strong> onveran<strong>de</strong>rd lat<strong>en</strong>.<br />

De zev<strong>en</strong> patron<strong>en</strong> <strong>in</strong> Figuur 1 <strong>het</strong><strong>en</strong> parametrisch<br />

omdat ze afhang<strong>en</strong> <strong>van</strong> e<strong>en</strong> parameter,<br />

<strong>in</strong> dit geval e<strong>en</strong> geheel getal N ≥ 1.<br />

Elke keuze <strong>van</strong> N geeft e<strong>en</strong> an<strong>de</strong>r patroon.<br />

In <strong>de</strong> voorbeel<strong>de</strong>n heb ik steeds N = 7 g<strong>en</strong>om<strong>en</strong>,<br />

maar <strong>het</strong> is dui<strong>de</strong>lijk hoe zo’n patroon<br />

er bij e<strong>en</strong> an<strong>de</strong>re keuze <strong>van</strong> N uitziet.<br />

De zev<strong>en</strong> patron<strong>en</strong> <strong>in</strong> Figuur 2 wor<strong>de</strong>n platonisch<br />

g<strong>en</strong>oemd omdat ze hor<strong>en</strong> bij bepaal<strong>de</strong><br />

symmetriegroep<strong>en</strong> <strong>van</strong> <strong>de</strong> platonische licham<strong>en</strong>:<br />

<strong>de</strong> tetraë<strong>de</strong>r (regelmatig vier<strong>vlak</strong>), <strong>de</strong><br />

kubus, <strong>de</strong> octaë<strong>de</strong>r (regelmatig acht<strong>vlak</strong>), <strong>de</strong><br />

do<strong>de</strong>caë<strong>de</strong>r (regelmatig twaalf<strong>vlak</strong>) <strong>en</strong> <strong>de</strong> icosaë<strong>de</strong>r<br />

(regelmatig tw<strong>in</strong>tig<strong>vlak</strong>), zie Figuur 3.<br />

E<strong>in</strong>dige groep<strong>en</strong> <strong>van</strong> isometrieën <strong>op</strong> <strong>de</strong> <strong>bol</strong><br />

Elke isometrie <strong>op</strong> <strong>de</strong> <strong>bol</strong> is óf e<strong>en</strong> rotatie rond<br />

e<strong>en</strong> as door <strong>het</strong> mid<strong>de</strong>lpunt, óf e<strong>en</strong> spiegel<strong>in</strong>g<br />

<strong>in</strong> e<strong>en</strong> <strong>vlak</strong> door <strong>het</strong> mid<strong>de</strong>lpunt, óf e<strong>en</strong><br />

draaispiegel<strong>in</strong>g, dat wil zegg<strong>en</strong> e<strong>en</strong> <strong>vlak</strong>spiegel<strong>in</strong>g<br />

gevolgd door e<strong>en</strong> rotatie om e<strong>en</strong> as<br />

die loodrecht <strong>op</strong> <strong>het</strong> spiegel<strong>vlak</strong> staat (is <strong>de</strong><br />

draai<strong>in</strong>gshoek nul, dan is <strong>de</strong> draaispiegel<strong>in</strong>g<br />

dus e<strong>en</strong> <strong>vlak</strong>spiegel<strong>in</strong>g.) Rotaties zijn directe<br />

isometrieën, <strong>vlak</strong>spiegel<strong>in</strong>g<strong>en</strong> <strong>en</strong> draaispiegel<strong>in</strong>g<strong>en</strong><br />

zijn <strong>in</strong>directe isometrieën. Indirecte<br />

isometrieën draai<strong>en</strong> <strong>de</strong> oriëntatie om, directe<br />

isometrieën lat<strong>en</strong> <strong>de</strong> oriëntatie <strong>in</strong>tact.<br />

Bij e<strong>en</strong> <strong>vlak</strong>spiegel<strong>in</strong>g snijdt <strong>het</strong> spiegel<strong>vlak</strong><br />

<strong>de</strong> <strong>bol</strong> <strong>in</strong> e<strong>en</strong> grote cirkel. Het is daarbij<br />

handig om te sprek<strong>en</strong> <strong>van</strong> e<strong>en</strong> spiegel<strong>in</strong>g <strong>in</strong><br />

die cirkel <strong>in</strong> plaats <strong>van</strong> e<strong>en</strong> spiegel<strong>in</strong>g <strong>in</strong> dat<br />

<strong>vlak</strong>. Ik noem die cirkel dan <strong>de</strong> spiegelcirkel.<br />

Stel dat G e<strong>en</strong> e<strong>in</strong>dige groep <strong>van</strong> isometrieën<br />

<strong>op</strong> <strong>de</strong> <strong>bol</strong> is <strong>van</strong> or<strong>de</strong> n, dat wil zegg<strong>en</strong><br />

dat G uit n isometrieën bestaat, <strong>in</strong>clusief<br />

<strong>de</strong> i<strong>de</strong>ntiteit. Omdat <strong>het</strong> product <strong>van</strong> twee rotaties<br />

weer e<strong>en</strong> rotatie is <strong>en</strong> <strong>het</strong> product <strong>van</strong><br />

twee <strong>vlak</strong>- of draaispiegel<strong>in</strong>g<strong>en</strong> ook, bestaat G<br />

óf uitsluit<strong>en</strong>d uit rotaties (<strong>in</strong>clusief <strong>de</strong> i<strong>de</strong>ntiteit)<br />

óf <strong>de</strong> rotaties <strong>in</strong> G vorm<strong>en</strong> e<strong>en</strong> on<strong>de</strong>rgroep<br />

H <strong>van</strong> or<strong>de</strong> n/2.<br />

De as <strong>van</strong> e<strong>en</strong> niet-triviale rotatie snijdt <strong>het</strong><br />

<strong>bol</strong><strong>op</strong>per<strong>vlak</strong> <strong>in</strong> twee diametrale punt<strong>en</strong>, <strong>de</strong><br />

pol<strong>en</strong> <strong>van</strong> die rotatie. (E<strong>en</strong> niet-triviale rotatie<br />

is e<strong>en</strong> rotatie waarbij <strong>de</strong> rotatiehoek niet<br />

0 is.) De rotaties <strong>in</strong> G met e<strong>en</strong> geme<strong>en</strong>schappelijke<br />

as vorm<strong>en</strong> e<strong>en</strong> cyclische on<strong>de</strong>rgroep<br />

<strong>van</strong> G. Als p <strong>de</strong> or<strong>de</strong> is <strong>van</strong> die on<strong>de</strong>rgroep,<br />

<strong>het</strong><strong>en</strong> <strong>de</strong> twee pol<strong>en</strong> p-voudige rotatiec<strong>en</strong>tra<br />

of, kortweg, p-pol<strong>en</strong>. De kle<strong>in</strong>ste positieve rotatiehoek<br />

<strong>van</strong> e<strong>en</strong> rotatie <strong>in</strong> die on<strong>de</strong>rgroep is<br />

2π/p radial<strong>en</strong>.<br />

Twee pol<strong>en</strong> <strong>het</strong><strong>en</strong> equival<strong>en</strong>t <strong>in</strong> G als er<br />

e<strong>en</strong> isometrie <strong>in</strong> G is die <strong>de</strong> e<strong>en</strong> <strong>in</strong> <strong>de</strong> an<strong>de</strong>r<br />

transformeert. In <strong>de</strong> voorbeel<strong>de</strong>n <strong>in</strong> Figuur<br />

1 <strong>en</strong> 2 hebb<strong>en</strong> equival<strong>en</strong>te pol<strong>en</strong> <strong>de</strong>zelf-


3<br />

Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 243<br />

<strong>de</strong> kleur. Merk <strong>op</strong> dat antipodale pol<strong>en</strong> altijd<br />

<strong>de</strong>zelf<strong>de</strong> or<strong>de</strong> hebb<strong>en</strong>, maar niet equival<strong>en</strong>t<br />

hoev<strong>en</strong> te zijn.<br />

die ook als volgt kan wor<strong>de</strong>n geschrev<strong>en</strong>:<br />

2 − 2 n = ∑ ( 1 − 1 )<br />

. (1)<br />

p<br />

Als n = 1, dan is <strong>de</strong> groep G triviaal: ze bestaat<br />

alle<strong>en</strong> maar uit <strong>de</strong> i<strong>de</strong>ntiteit. Er zijn dan ge<strong>en</strong><br />

pol<strong>en</strong> <strong>en</strong> <strong>de</strong> som is leeg. Als n ≥ 2, dan geldt<br />

1 ≤ 2 − 2 n < 2.<br />

Uit p ≥ 2 volgt dat 1 2 ≤ 1 − 1/p < 1, dus er<br />

kunn<strong>en</strong> alle<strong>en</strong> maar twee of drie equival<strong>en</strong>tieklass<strong>en</strong><br />

<strong>van</strong> pol<strong>en</strong> zijn.<br />

Als <strong>het</strong> er twee zijn, geldt<br />

2 − 2 n = 1 − 1 + 1 − 1 ,<br />

p 1 p 2<br />

dat wil zegg<strong>en</strong><br />

n<br />

+ n = 2.<br />

p 1 p 2<br />

Maar <strong>de</strong> bei<strong>de</strong> term<strong>en</strong> l<strong>in</strong>ks zijn positieve gehele<br />

getall<strong>en</strong>, dus bei<strong>de</strong> moet<strong>en</strong> 1 zijn, zodat<br />

p 1 = p 2 = n.<br />

Elk <strong>van</strong> <strong>de</strong> bei<strong>de</strong> equival<strong>en</strong>tieklass<strong>en</strong> bestaat<br />

dan uit slechts één n-voudige pool <strong>en</strong> G is<br />

<strong>de</strong> cyclische groep met e<strong>en</strong> n-pool aan elk<br />

uite<strong>in</strong><strong>de</strong> <strong>van</strong> zijn rotatieas. De handtek<strong>en</strong><strong>in</strong>g<br />

<strong>van</strong> <strong>de</strong>ze groep is [g(n,n)]. Zie Figuur 1 voor<br />

e<strong>en</strong> voorbeeld met n = 7. Ver<strong>de</strong>r<strong>op</strong> wordt <strong>de</strong>ze<br />

notatie tot <strong>in</strong> <strong>de</strong>tail uitgelegd, maar nu al<br />

zeg ik er <strong>het</strong> volg<strong>en</strong><strong>de</strong> over. Om <strong>het</strong> lez<strong>en</strong> te<br />

vergemakkelijk<strong>en</strong> zet ik handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> altijd<br />

tuss<strong>en</strong> rechte hak<strong>en</strong>. De letter ‘g’ komt <strong>van</strong><br />

<strong>de</strong> term ‘gyration po<strong>in</strong>t’ die Conway gebruikt<br />

om rotatiec<strong>en</strong>tra aan te gev<strong>en</strong> die niet <strong>op</strong> e<strong>en</strong><br />

spiegelcirkel ligg<strong>en</strong>. (Het Griekse woord ‘gyros’<br />

betek<strong>en</strong>t rond of ron<strong>de</strong>, <strong>de</strong>nk aan ‘gyrosco<strong>op</strong>’.)<br />

∑<br />

(p − 1)n/p<br />

Als er drie equival<strong>en</strong>tieklass<strong>en</strong> <strong>van</strong> pol<strong>en</strong><br />

zijn, geldt<br />

2 − 2 n = 1 − 1 + 1 − 1 + 1 − 1 ,<br />

p 1 p 2 p 3<br />

zodat<br />

1<br />

+ 1 + 1 = 1 + 2 p 1 p 2 p 3 n > 1.<br />

2(n − 1) = n ∑ p − 1<br />

p , Daaruit volgt dat niet alle p i groter dan of gelijk<br />

aan 3 kunn<strong>en</strong> zijn, <strong>en</strong> dus is er m<strong>in</strong>st<strong>en</strong>s<br />

Chirale patron<strong>en</strong><br />

E<strong>en</strong> <strong>bol</strong>patroon, of e<strong>en</strong> voorwerp <strong>in</strong> <strong>de</strong> driedim<strong>en</strong>sionale<br />

ruimte, heet chiraal als <strong>de</strong> <strong>en</strong>ige<br />

symmetrieën er<strong>van</strong> directe isometrieën<br />

zijn. In dat geval verschilt <strong>het</strong> patroon <strong>van</strong><br />

zijn spiegelbeeld net zoals e<strong>en</strong> l<strong>in</strong>kerhand<br />

<strong>van</strong> e<strong>en</strong> rechterhand verschilt (<strong>het</strong> Griekse<br />

woord ‘cheir’ betek<strong>en</strong>t hand). Als <strong>de</strong> symmetriegroep<br />

m<strong>in</strong>st<strong>en</strong>s één <strong>in</strong>directe isometrie<br />

bevat, is <strong>het</strong> spiegelbeeld niet <strong>van</strong> <strong>het</strong> orig<strong>in</strong>eel<br />

te on<strong>de</strong>rschei<strong>de</strong>n. Het patroon heet dan<br />

achiraal. Met e<strong>en</strong> spiegel kun je <strong>de</strong> chiraliteit<br />

<strong>van</strong> e<strong>en</strong> patroon gemakkelijk vaststell<strong>en</strong>.<br />

In <strong>de</strong>ze paragraaf behan<strong>de</strong>l ik <strong>de</strong> chirale<br />

<strong>bol</strong>patron<strong>en</strong>. De symmetriegroep G <strong>van</strong> zo’n<br />

patroon bestaat dan uitsluit<strong>en</strong>d uit rotaties,<br />

<strong>in</strong>clusief <strong>de</strong> i<strong>de</strong>ntiteit. De volg<strong>en</strong><strong>de</strong> afleid<strong>in</strong>g<br />

heb ik ontle<strong>en</strong>d aan [2, pp. 274–275].<br />

Laat n <strong>de</strong> or<strong>de</strong> <strong>van</strong> G zijn <strong>en</strong> laat P e<strong>en</strong><br />

p-voudige pool zijn <strong>op</strong> <strong>de</strong> <strong>bol</strong>. Dan is <strong>het</strong> aantal<br />

pol<strong>en</strong> dat equival<strong>en</strong>t is met P (<strong>in</strong>clusief<br />

P zelf) gelijk aan n/p. Om dit te bewijz<strong>en</strong><br />

neem ik e<strong>en</strong> punt Q <strong>op</strong> <strong>de</strong> <strong>bol</strong> dat dichtbij<br />

P ligt. De rotaties met c<strong>en</strong>trum P transformer<strong>en</strong><br />

Q <strong>in</strong> e<strong>en</strong> kle<strong>in</strong>e regelmatige p-hoek <strong>op</strong><br />

<strong>de</strong> <strong>bol</strong> met P als mid<strong>de</strong>lpunt. De an<strong>de</strong>re isometrieën<br />

<strong>in</strong> G transformer<strong>en</strong> <strong>de</strong>ze p-hoek <strong>in</strong><br />

p-hoek<strong>en</strong> rond <strong>de</strong> pol<strong>en</strong> die equival<strong>en</strong>t zijn<br />

met P. In totaal vorm<strong>en</strong> <strong>de</strong> hoekpunt<strong>en</strong> <strong>van</strong><br />

<strong>de</strong>ze p-hoek<strong>en</strong> e<strong>en</strong> verzamel<strong>in</strong>g <strong>van</strong> precies<br />

n punt<strong>en</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong>, ver<strong>de</strong>eld <strong>in</strong> congru<strong>en</strong>te<br />

regelmatige p-hoek<strong>en</strong>. Dat zijn er dus n/p, <strong>en</strong><br />

bijgevolg zijn er ook net zo veel equival<strong>en</strong>te<br />

p-pol<strong>en</strong>.<br />

Ik zal nu <strong>de</strong> n − 1 niet-triviale rotaties <strong>in</strong> G<br />

<strong>op</strong> e<strong>en</strong> speciale manier tell<strong>en</strong> door ze sam<strong>en</strong><br />

te nem<strong>en</strong> <strong>in</strong> klass<strong>en</strong> <strong>van</strong> equival<strong>en</strong>te pol<strong>en</strong>.<br />

Bij elke p-pool zijn er p − 1 niet-triviale rotaties<br />

dus bij e<strong>en</strong> klasse <strong>van</strong> n/p equival<strong>en</strong>te<br />

p-pol<strong>en</strong> zijn er (p − 1)n/p niet-triviale rotaties.<br />

Dit geeft <strong>in</strong> totaal<br />

niet-triviale rotaties, waarbij gesommeerd<br />

wordt over alle klass<strong>en</strong> <strong>van</strong> equival<strong>en</strong>te pol<strong>en</strong>,<br />

elk met zijn eig<strong>en</strong> waar<strong>de</strong> voor p. Maar<br />

bij antipodale pol<strong>en</strong> hor<strong>en</strong> <strong>de</strong>zelf<strong>de</strong> rotaties,<br />

dus elke rotatie wordt <strong>op</strong> <strong>de</strong>ze manier tweemaal<br />

geteld. Daarom geldt <strong>de</strong> volg<strong>en</strong><strong>de</strong> vergelijk<strong>in</strong>g:<br />

p 1 p 2 p 3 n handtek<strong>en</strong><strong>in</strong>g<br />

p p − p [g(p,p)]<br />

p 2 2 2p [g(p,2,2)]<br />

3 3 2 12 [g(3,3,2)]<br />

4 3 2 24 [g(4,3,2)]<br />

5 3 2 60 [g(5,3,2)]<br />

Tabel 1 De mogelijkhe<strong>de</strong>n voor e<strong>in</strong>dige rotatiegroep<strong>en</strong> <strong>op</strong><br />

<strong>de</strong> <strong>bol</strong><br />

één, zeg p 3 , gelijk aan 2, dus<br />

1<br />

p 1<br />

+ 1 p 2<br />

> 1 2 .<br />

Dit kan wor<strong>de</strong>n geschrev<strong>en</strong> als 2p 1 + 2p 2 ><br />

p 1 p 2 , of ook als<br />

(p 1 − 2)(p 2 − 2) < 4.<br />

Stel, zon<strong>de</strong>r beperk<strong>in</strong>g <strong>van</strong> <strong>de</strong> algeme<strong>en</strong>heid,<br />

dat p 1 ≥ p 2 , dan zijn <strong>de</strong> <strong>op</strong>loss<strong>in</strong>g<strong>en</strong><br />

(p 1 , p 2 ) = (p, 2) voor willekeurige p ≥ 2,<br />

(p 1 , p 2 ) = (3, 3), (p 1 , p 2 ) = (4, 3) <strong>en</strong> (p 1 , p 2 ) =<br />

(5, 3).<br />

In Tabel 1 vatt<strong>en</strong> we sam<strong>en</strong> welke mogelijkhe<strong>de</strong>n<br />

we voor e<strong>in</strong>dige rotatiegroep<strong>en</strong> <strong>op</strong> <strong>de</strong><br />

<strong>bol</strong> kunn<strong>en</strong> v<strong>in</strong><strong>de</strong>n. Elk <strong>van</strong> <strong>de</strong>ze mogelijkhe<strong>de</strong>n<br />

kan gerealiseerd wor<strong>de</strong>n als symmetriegroep<br />

<strong>van</strong> e<strong>en</strong> chiraal <strong>bol</strong>patroon (zie <strong>de</strong> voorbeel<strong>de</strong>n<br />

<strong>in</strong> Figuur 1 <strong>en</strong> 2), waarmee bewez<strong>en</strong> is<br />

dat er precies vijf typ<strong>en</strong> chirale symmetriepatron<strong>en</strong><br />

<strong>op</strong> <strong>de</strong> <strong>bol</strong> zijn: twee parametrische typ<strong>en</strong>,<br />

met handtek<strong>en</strong><strong>in</strong>g [g(p,p)] <strong>en</strong> [g(p,2,2)]<br />

voor willekeurige p ≥ 2, <strong>en</strong> drie platonische<br />

patron<strong>en</strong>, met handtek<strong>en</strong><strong>in</strong>g [g(3,3,2)],<br />

[g(4,3,2)] <strong>en</strong> [g(5,3,2)]. De laatste drie wor<strong>de</strong>n<br />

platonisch g<strong>en</strong>oemd omdat hun symmetriegroep<strong>en</strong><br />

<strong>de</strong> rotatiegroep<strong>en</strong> zijn <strong>van</strong> <strong>de</strong> platonische<br />

licham<strong>en</strong>: <strong>de</strong> tetraë<strong>de</strong>r ([g(3,3,2)]), <strong>de</strong><br />

kubus <strong>en</strong> <strong>de</strong> octaë<strong>de</strong>r ([g(4,3,2)]) <strong>en</strong> <strong>de</strong> do<strong>de</strong>caë<strong>de</strong>r<br />

<strong>en</strong> <strong>de</strong> icosae<strong>de</strong>r ([g(5,3,2)]).<br />

Achirale patron<strong>en</strong><br />

Ik neem nu aan dat <strong>het</strong> <strong>bol</strong>patroon achiraal<br />

is, dat wil zegg<strong>en</strong> dat <strong>de</strong> symmetriegroep G<br />

m<strong>in</strong>st<strong>en</strong>s één <strong>vlak</strong>spiegel<strong>in</strong>g of draaispiegel<strong>in</strong>g<br />

bevat. Stel dat n > 1 <strong>de</strong> or<strong>de</strong> <strong>van</strong> <strong>de</strong> G is.<br />

De rotaties <strong>in</strong> G vorm<strong>en</strong> dan e<strong>en</strong> on<strong>de</strong>rgroep<br />

H <strong>van</strong> or<strong>de</strong> n/2.<br />

Ik bekijk weer <strong>de</strong> niet-triviale rotaties <strong>in</strong> G.<br />

Dat zijn er nu n/2 − 1. Er kunn<strong>en</strong> dan <strong>op</strong> <strong>de</strong><br />

<strong>bol</strong> twee soort<strong>en</strong> rotatiec<strong>en</strong>tra voorkom<strong>en</strong>: ze<br />

kunn<strong>en</strong> al dan niet <strong>op</strong> e<strong>en</strong> spiegelcirkel ligg<strong>en</strong>.<br />

Als e<strong>en</strong> q-voudig rotatiec<strong>en</strong>trum Q <strong>op</strong><br />

e<strong>en</strong> spiegelcirkel ligt, gaan er <strong>in</strong> totaal q spiegelcirkels<br />

door Q die elkaar daar on<strong>de</strong>r gelijke<br />

hoek<strong>en</strong> <strong>van</strong> π/q snij<strong>de</strong>n.


4<br />

244 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

Bij e<strong>en</strong> willekeurig punt T dichtbij Q maar<br />

niet <strong>op</strong> e<strong>en</strong> <strong>van</strong> die spiegelcirkels, voer<strong>en</strong> alle<br />

rotaties om Q <strong>en</strong> spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong> cirkels door<br />

Q <strong>het</strong> punt T over <strong>in</strong> <strong>de</strong> hoekpunt<strong>en</strong> <strong>van</strong> e<strong>en</strong><br />

2q-hoek. De an<strong>de</strong>re isometrieën <strong>van</strong> G voer<strong>en</strong><br />

die 2q-hoek over <strong>in</strong> congru<strong>en</strong>te 2q-hoek<strong>en</strong><br />

rond <strong>de</strong> met Q equival<strong>en</strong>te rotatiec<strong>en</strong>tra. In<br />

totaal hebb<strong>en</strong> die 2q-hoek<strong>en</strong> precies n hoekpunt<strong>en</strong>,<br />

<strong>en</strong> dus zijn er precies n/(2q) <strong>van</strong> die<br />

veelhoek<strong>en</strong>, <strong>en</strong> net zoveel rotatiec<strong>en</strong>tra die<br />

met Q equival<strong>en</strong>t zijn. Bij elke q-pool zijn er<br />

q − 1 niet-triviale rotaties, dus <strong>in</strong> totaal zijn<br />

er <strong>in</strong> <strong>de</strong> klasse <strong>van</strong> met Q equival<strong>en</strong>te pol<strong>en</strong><br />

(q − 1)n/(2q) niet-triviale rotaties.<br />

Net als <strong>in</strong> <strong>de</strong> vorige paragraaf tell<strong>en</strong> we<br />

voor elke p-pool P die niet <strong>op</strong> e<strong>en</strong> spiegelcirkel<br />

ligt, <strong>in</strong> <strong>de</strong> klasse <strong>van</strong> met P equival<strong>en</strong>te<br />

pol<strong>en</strong> <strong>in</strong> totaal (p − 1)n/p niet-triviale rotaties.<br />

Wanneer we <strong>op</strong> <strong>de</strong>ze manier alle niettriviale<br />

rotaties bij elkaar <strong>op</strong>tell<strong>en</strong>, tell<strong>en</strong> we<br />

elke rotatie twee maal aangezi<strong>en</strong> bij antipodale<br />

pol<strong>en</strong> <strong>de</strong>zelf<strong>de</strong> rotaties hor<strong>en</strong>. We krijg<strong>en</strong><br />

nu dus <strong>de</strong> volg<strong>en</strong><strong>de</strong> vergelijk<strong>in</strong>g:<br />

( ) n<br />

2<br />

2 − 1 = n ∑ q − 1<br />

2q + n ∑ p − 1<br />

p ,<br />

waar<strong>in</strong> <strong>de</strong> eerste sommatie gaat over alle<br />

equival<strong>en</strong>tieklass<strong>en</strong> <strong>van</strong> pol<strong>en</strong> die <strong>op</strong> spiegelcirkels<br />

ligg<strong>en</strong>, <strong>en</strong> <strong>de</strong> twee<strong>de</strong> over alle equival<strong>en</strong>tieklass<strong>en</strong><br />

<strong>van</strong> pol<strong>en</strong> die niet <strong>op</strong> spiegelcirkels<br />

ligg<strong>en</strong>. Na <strong>de</strong>l<strong>en</strong> door n ontstaat hieruit<br />

<strong>de</strong> vergelijk<strong>in</strong>g<br />

1 − 2 n = ∑ ( 1<br />

2 − 1<br />

)<br />

+ ∑ ( 1 − 1 )<br />

.(2)<br />

2q<br />

p<br />

Als n = 2 dan is <strong>het</strong> l<strong>in</strong>kerlid 0 <strong>en</strong> dus zijn bei<strong>de</strong><br />

somm<strong>en</strong> rechts dan ook 0. Er zijn dan ge<strong>en</strong><br />

niet-triviale rotaties. De groep G bestaat dan<br />

uit <strong>de</strong> i<strong>de</strong>ntiteit <strong>en</strong> <strong>het</strong>zij één <strong>en</strong>kele <strong>vlak</strong>spiegel<strong>in</strong>g,<br />

<strong>het</strong>zij e<strong>en</strong> draaispiegel<strong>in</strong>g met e<strong>en</strong> rotatiehoek<br />

<strong>van</strong> π. Die laatste is <strong>de</strong> c<strong>en</strong>trale <strong>in</strong>versie,<br />

<strong>de</strong> puntspiegel<strong>in</strong>g <strong>in</strong> <strong>het</strong> c<strong>en</strong>trum <strong>van</strong><br />

<strong>de</strong> <strong>bol</strong> waarbij elk punt overgaat <strong>in</strong> zijn antipo<strong>de</strong>,<br />

<strong>het</strong> punt dat er diametraal teg<strong>en</strong>over<br />

ligt.<br />

Het eerste geval, waarbij G dus naast <strong>de</strong><br />

i<strong>de</strong>ntiteit alle<strong>en</strong> maar één spiegel<strong>in</strong>g bevat,<br />

krijgt als handtek<strong>en</strong><strong>in</strong>g [s], terwijl <strong>het</strong> twee<strong>de</strong><br />

geval, waar<strong>in</strong> G <strong>de</strong> c<strong>en</strong>trale <strong>in</strong>versie bevat,<br />

als handtek<strong>en</strong><strong>in</strong>g [x] krijgt. Conway gebruikt<br />

hiervoor respectievelijk e<strong>en</strong> ster (∗) <strong>en</strong> e<strong>en</strong><br />

maaltek<strong>en</strong> (×), maar ik geef <strong>de</strong> voorkeur aan<br />

<strong>de</strong> letters ‘s’ <strong>en</strong> ‘x’. Zie ook mijn <strong>op</strong>merk<strong>in</strong>g<br />

over notaties aan <strong>het</strong> e<strong>in</strong><strong>de</strong>.<br />

q 1 q 2 q 3 n handtek<strong>en</strong><strong>in</strong>g<br />

q q − 2q [s(q,q)]<br />

q 2 2 4q [s(q,2,2)]<br />

3 3 2 24 [s(3,3,2)]<br />

4 3 2 48 [s(4,3,2)]<br />

5 3 2 120 [s(5,3,2)]<br />

Tabel 2 De vijf typ<strong>en</strong> spiegel<strong>in</strong>gsgroep<strong>en</strong><br />

Stel nu dat n > 2. Dan is<br />

1<br />

3 ≤ 1 − 2 n < 1.<br />

Voor p > 1 geldt 1 − 1/p ≥ 1 2<br />

<strong>en</strong> daarom<br />

bevat <strong>de</strong> twee<strong>de</strong> som hoogst<strong>en</strong>s één term. Ik<br />

on<strong>de</strong>rscheid nu twee gevall<strong>en</strong>.<br />

Geval 1: alle rotatiec<strong>en</strong>tra ligg<strong>en</strong> <strong>op</strong> spiegelcirkels.<br />

Als alle rotatiec<strong>en</strong>tra <strong>op</strong> spiegelcirkels<br />

ligg<strong>en</strong>, heet G e<strong>en</strong> spiegel<strong>in</strong>gsgroep. De<br />

groep G wordt dan voortgebracht door cirkelspiegel<strong>in</strong>g<strong>en</strong>.<br />

Als Q e<strong>en</strong> q-voudig rotatiec<strong>en</strong>trum<br />

is, gaan er q spiegelcirkels door Q. Twee<br />

aangr<strong>en</strong>z<strong>en</strong><strong>de</strong> cirkels snij<strong>de</strong>n elkaar <strong>in</strong> Q on<strong>de</strong>r<br />

e<strong>en</strong> hoek <strong>van</strong> π/q.<br />

Vergelijk<strong>in</strong>g (2) luidt nu<br />

1 − 2 n = ∑ ( 1<br />

2 − 1<br />

)<br />

.<br />

2q<br />

Maar als we n ′ = n/2 stell<strong>en</strong> (be<strong>de</strong>nk dat n<br />

ev<strong>en</strong> is!) kan dit geschrev<strong>en</strong> wor<strong>de</strong>n als<br />

2 − 2 n ′ = ∑ ( 1 − 1 q<br />

<strong>en</strong> dat is precies <strong>de</strong>zelf<strong>de</strong> vergelijk<strong>in</strong>g als (1),<br />

<strong>de</strong> vergelijk<strong>in</strong>g die alle mogelijke e<strong>in</strong>dige rotatiegroep<strong>en</strong><br />

beschrijft. Hier beschrijft die vergelijk<strong>in</strong>g<br />

alle mogelijkhe<strong>de</strong>n voor <strong>de</strong> on<strong>de</strong>rgroep<br />

H <strong>van</strong> or<strong>de</strong> n ′ = n/2 <strong>van</strong> alle rotaties<br />

<strong>in</strong> G. In <strong>de</strong> vorige paragraaf hebb<strong>en</strong> we gezi<strong>en</strong><br />

dat er precies vijf typ<strong>en</strong> rotatiegroep<strong>en</strong> zijn,<br />

zie Tabel 1. De voorbeel<strong>de</strong>n <strong>in</strong> Figuur 1 <strong>en</strong> 2 lat<strong>en</strong><br />

zi<strong>en</strong> dat <strong>het</strong> <strong>in</strong> elk <strong>van</strong> <strong>de</strong>ze gevall<strong>en</strong> mogelijk<br />

is om <strong>de</strong> rotatiec<strong>en</strong>tra door spiegelcirkels<br />

te verb<strong>in</strong><strong>de</strong>n <strong>op</strong> zo’n manier dat er door elke<br />

q-pool precies q spiegelcirkels gaan. De aldus<br />

uitgebrei<strong>de</strong> rotatiegroep<strong>en</strong> zijn <strong>de</strong> vijf typ<strong>en</strong><br />

spiegel<strong>in</strong>gsgroep<strong>en</strong>. Tabel 2 geeft e<strong>en</strong> overzicht<br />

<strong>van</strong> hun eig<strong>en</strong>schapp<strong>en</strong> <strong>en</strong> hun handtek<strong>en</strong><strong>in</strong>g.<br />

Geval 2: niet alle rotatiec<strong>en</strong>tra ligg<strong>en</strong> <strong>op</strong> spiegelcirkels.<br />

Stel dat <strong>de</strong> twee<strong>de</strong> som <strong>in</strong> vergelijk<strong>in</strong>g<br />

(2) niet leeg is, met an<strong>de</strong>re woor<strong>de</strong>n, dat<br />

er m<strong>in</strong>st<strong>en</strong>s één p-pool is (met p > 1) die niet<br />

)<br />

,<br />

p q n handtek<strong>en</strong><strong>in</strong>g<br />

p − 2p [g(p) x]<br />

p 1 2p [g(p) s]<br />

2 q 4q [g(2) s(q)]<br />

3 2 24 [g(3) s(2)]<br />

Tabel 3 De gem<strong>en</strong>g<strong>de</strong> groep<strong>en</strong><br />

<strong>op</strong> e<strong>en</strong> spiegelcirkel ligt. De symmetriegroep<br />

heet dan e<strong>en</strong> gem<strong>en</strong>g<strong>de</strong> groep.<br />

Zoals we gezi<strong>en</strong> hebb<strong>en</strong> bevat <strong>de</strong> twee<strong>de</strong><br />

som <strong>in</strong> vergelijk<strong>in</strong>g (2) dan slechts één term,<br />

dus alle p-pol<strong>en</strong> zijn equival<strong>en</strong>t <strong>en</strong> vergelijk<strong>in</strong>g<br />

(2) kan geschrev<strong>en</strong> wor<strong>de</strong>n als<br />

1<br />

p − 2 n = ∑ ( 1<br />

2 − 1<br />

)<br />

.<br />

2q<br />

Als n = 2p, dan zijn <strong>het</strong> l<strong>in</strong>kerlid <strong>en</strong> <strong>het</strong> rechterlid<br />

bei<strong>de</strong> nul. Omdat n/p <strong>het</strong> aantal equival<strong>en</strong>te<br />

p-pol<strong>en</strong> geeft, zijn er n/p = 2 <strong>van</strong> die<br />

pol<strong>en</strong>. Ze zijn dus antipodaal <strong>en</strong> ze hor<strong>en</strong> bij<br />

<strong>de</strong> p = n/2 rotaties <strong>in</strong> G (<strong>in</strong>clusief <strong>de</strong> i<strong>de</strong>ntiteit).<br />

Als er ge<strong>en</strong> spiegelcirkels zijn, dan moet<br />

G ook nog p draaispiegel<strong>in</strong>g<strong>en</strong> bevatt<strong>en</strong>. Het<br />

kwadraat <strong>van</strong> e<strong>en</strong> draaispiegel<strong>in</strong>g is e<strong>en</strong> rotatie,<br />

dus elk <strong>van</strong> die draaispiegel<strong>in</strong>g<strong>en</strong> moet<br />

<strong>de</strong> bei<strong>de</strong> p-pol<strong>en</strong> verwissel<strong>en</strong>. Daarmee is <strong>de</strong><br />

hele groep beschrev<strong>en</strong>. De handtek<strong>en</strong><strong>in</strong>g is<br />

[g(p) x].<br />

Als er wel e<strong>en</strong> spiegelcirkel is, moet <strong>de</strong><br />

spiegel<strong>in</strong>g <strong>in</strong> die cirkel <strong>de</strong> bei<strong>de</strong> p-pol<strong>en</strong> verwissel<strong>en</strong><br />

want die pol<strong>en</strong> ligg<strong>en</strong> niet <strong>op</strong> e<strong>en</strong><br />

spiegelcirkel. De groep G bestaat dus uit p rotaties<br />

(waaron<strong>de</strong>r <strong>de</strong> i<strong>de</strong>ntiteit), e<strong>en</strong> spiegel<strong>in</strong>g<br />

<strong>en</strong> p − 1 draaispiegel<strong>in</strong>g<strong>en</strong>. Deze groep<br />

heeft handtek<strong>en</strong><strong>in</strong>g [g(p) s].<br />

Stel nu dat n > 2p. Dan is er m<strong>in</strong>st<strong>en</strong>s<br />

één q-pool <strong>op</strong> e<strong>en</strong> spiegelcirkel met q ≥ 2.<br />

Dan geldt 1 2 − 1<br />

2q ≥ 1 4<br />

<strong>en</strong> omdat p ≥ 2, volgt<br />

hieruit dat<br />

∑ 1<br />

4 ≤ ∑ ( 1<br />

2 − 1<br />

)<br />

= 1 2q p − 2 n < 1 p ≤ 1 2 .<br />

Dit betek<strong>en</strong>t dat er maar één klasse <strong>van</strong> equival<strong>en</strong>te<br />

q-pol<strong>en</strong> kan zijn <strong>en</strong> dat bov<strong>en</strong>di<strong>en</strong> p<br />

alle<strong>en</strong> maar 2 of 3 kan zijn.<br />

Als p = 2, dan geeft vergelijk<strong>in</strong>g (2)<br />

1<br />

2 − 2 n = 1 2 − 1<br />

2q ,<br />

<strong>en</strong> dus is n = 4q. Er zijn dan n/(2q) = 2 noodzakelijkerwijs<br />

antipodale q-pol<strong>en</strong>, met q spiegelcirkels<br />

erdoorhe<strong>en</strong>. Die cirkels begr<strong>en</strong>z<strong>en</strong><br />

2q ‘maantjes’ (tweehoek<strong>en</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong>) met<br />

hoek<strong>en</strong> π/q. De c<strong>en</strong>tra <strong>van</strong> die maantjes zijn


5<br />

Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 245<br />

Rotatiegroep<strong>en</strong> Gem<strong>en</strong>g<strong>de</strong> groep<strong>en</strong> Spiegel<strong>in</strong>gsgroep<strong>en</strong><br />

(chirale patron<strong>en</strong>) (achirale patron<strong>en</strong>) (achirale patron<strong>en</strong>)<br />

Parametrische [g(p,p)] [g(p) s)] [s(q,q)]<br />

groep<strong>en</strong><br />

[g(p) x)]<br />

[g(p,2,2)] [g(2) s(q)] [s(q,2,2)]<br />

Platonische [g(3,3,2)] [g(3) s(2)] [s(3,3,2)]<br />

groep<strong>en</strong> [g(4,3,2)] [s(4,3,2)]<br />

[g(5,3,2)]<br />

[s(5,3,2)]<br />

<strong>de</strong> 2-pol<strong>en</strong>. Ze ligg<strong>en</strong> <strong>op</strong> <strong>de</strong> ev<strong>en</strong>aar. Het zijn<br />

er 2q <strong>en</strong> ze zijn allemaal equival<strong>en</strong>t. De handtek<strong>en</strong><strong>in</strong>g<br />

is [g(2) s(q)].<br />

Als p = 3 is, dan geldt weg<strong>en</strong>s 1 2 − 1<br />

2q =<br />

1<br />

p − 2 n < 1 p = 1 3<br />

, dat alle<strong>en</strong> q = 2 mogelijk is.<br />

Vergelijk<strong>in</strong>g (2) geeft dan<br />

Tabel 4 De veerti<strong>en</strong> typ<strong>en</strong> e<strong>in</strong>dige symmetriegroep<strong>en</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong><br />

1 − 2 n = 1 4 + 2 3 ,<br />

dus n = 24. Hieruit volgt dat er dan n/p = 8<br />

pol<strong>en</strong> P <strong>van</strong> or<strong>de</strong> 3 zijn die niet <strong>op</strong> spiegelcirkels<br />

ligg<strong>en</strong>, <strong>en</strong> n/(2q) = 6 pol<strong>en</strong> Q <strong>van</strong> or<strong>de</strong><br />

2 die wél <strong>op</strong> spiegelcirkels ligg<strong>en</strong>. Deze spiegelcirkels<br />

snij<strong>de</strong>n elkaar on<strong>de</strong>r rechte hoek<strong>en</strong><br />

<strong>in</strong> <strong>de</strong> zes punt<strong>en</strong> Q. Dat betek<strong>en</strong>t dat er precies<br />

drie spiegelcirkels zijn. Ze ver<strong>de</strong>l<strong>en</strong> <strong>de</strong><br />

<strong>bol</strong> <strong>in</strong> acht octant<strong>en</strong>, dat wil zegg<strong>en</strong> <strong>bol</strong>driehoek<strong>en</strong><br />

met drie rechte hoek<strong>en</strong> (<strong>in</strong> <strong>de</strong> punt<strong>en</strong><br />

Q). De acht 3-pol<strong>en</strong> P zijn <strong>de</strong> c<strong>en</strong>tra <strong>van</strong> <strong>de</strong>ze<br />

driehoek<strong>en</strong>. Deze groep heeft handtek<strong>en</strong><strong>in</strong>g<br />

[g(3) s(2)].<br />

Merk <strong>op</strong> dat <strong>de</strong> groep<strong>en</strong> <strong>van</strong> or<strong>de</strong> 2 met<br />

<strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> [s] <strong>en</strong> [x] kunn<strong>en</strong> wor<strong>de</strong>n<br />

<strong>op</strong>gevat als speciale gevall<strong>en</strong> <strong>van</strong> respectievelijk<br />

<strong>de</strong> groep<strong>en</strong> met handtek<strong>en</strong><strong>in</strong>g [g(p) s]<br />

<strong>en</strong> [g(p) x] voor p = 1, want e<strong>en</strong> 1-voudige<br />

rotatie (rotatiehoek 2π/1 = 2π) is <strong>het</strong>zelf<strong>de</strong><br />

als <strong>de</strong> i<strong>de</strong>ntiteit.<br />

Ik vat <strong>de</strong> resultat<strong>en</strong> sam<strong>en</strong> <strong>in</strong> Tabel 3. Daarmee<br />

is <strong>de</strong> lijst <strong>van</strong> alle e<strong>in</strong>dige symmetriegroep<strong>en</strong><br />

bij <strong>bol</strong>patron<strong>en</strong> compleet. We hebb<strong>en</strong><br />

bewez<strong>en</strong> dat er precies 14 typ<strong>en</strong> <strong>van</strong> e<strong>in</strong>dige<br />

symmetriegroep<strong>en</strong> zijn. Hun handtek<strong>en</strong><strong>in</strong>g<strong>en</strong><br />

staan <strong>in</strong> Tabel 4, waarbij p ≥ 1 <strong>en</strong><br />

q ≥ 1 willekeurige parameters zijn. Merk <strong>op</strong><br />

dat [g(1,1)] <strong>de</strong> triviale groep is die uitsluit<strong>en</strong>d<br />

uit <strong>de</strong> i<strong>de</strong>ntiteit bestaat, dat <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<strong>en</strong><br />

[g(1) s] <strong>en</strong> [s(1,1)] allebei kunn<strong>en</strong> wor<strong>de</strong>n<br />

vere<strong>en</strong>voudigd tot [s], dat [g(1) x] vere<strong>en</strong>voudigd<br />

kan wor<strong>de</strong>n tot [x] <strong>en</strong> dat [s(1,2,2)] <strong>de</strong>zelf<strong>de</strong><br />

groep is als [s(2,2)].<br />

Voorbeel<strong>de</strong>n <strong>en</strong> handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> verklaard<br />

Van elk type symmetriepatroon heb ik <strong>in</strong> Figuur<br />

1 of 2 e<strong>en</strong> voorbeeld gegev<strong>en</strong>. Bij <strong>de</strong> parametrische<br />

patron<strong>en</strong> heb ik p = 7 of q = 7<br />

g<strong>en</strong>om<strong>en</strong>. Bij elk patroon zijn <strong>de</strong> spiegelcirkels<br />

zwart getek<strong>en</strong>d <strong>en</strong> <strong>de</strong> rotatiec<strong>en</strong>tra met<br />

stipp<strong>en</strong> <strong>in</strong> verschill<strong>en</strong><strong>de</strong> kleur<strong>en</strong> gemarkeerd.<br />

Equival<strong>en</strong>te c<strong>en</strong>tra hebb<strong>en</strong> <strong>de</strong>zelf<strong>de</strong> kleur gekreg<strong>en</strong>.<br />

Op die manier is <strong>de</strong> <strong>op</strong>bouw <strong>van</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<br />

bijna <strong>van</strong>zelfsprek<strong>en</strong>d gewor<strong>de</strong>n. Alle<br />

equival<strong>en</strong>tieklass<strong>en</strong> <strong>van</strong> rotatiec<strong>en</strong>tra die<br />

niet <strong>op</strong> spiegelcirkels ligg<strong>en</strong> wor<strong>de</strong>n <strong>op</strong>gesomd<br />

tuss<strong>en</strong> <strong>de</strong> haakjes na <strong>de</strong> letter ‘g’, <strong>en</strong><br />

alle rotatiec<strong>en</strong>tra die wel <strong>op</strong> spiegelcirkels ligg<strong>en</strong><br />

na <strong>de</strong> letter ‘s’. Bij <strong>de</strong> rotatiec<strong>en</strong>tra wordt<br />

elke kleur dus maar één keer <strong>in</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<br />

vermeld. De volgor<strong>de</strong> <strong>van</strong> <strong>de</strong> getall<strong>en</strong> tuss<strong>en</strong><br />

<strong>de</strong> haakjes is daarbij niet <strong>van</strong> belang; als<br />

regel heb ik ze <strong>in</strong> dal<strong>en</strong><strong>de</strong> volgor<strong>de</strong> vermeld.<br />

Ik heb g(. . .) steeds vóór s(. . .) gezet. En, t<strong>en</strong><br />

slotte, als er <strong>in</strong> <strong>het</strong> patroon e<strong>en</strong> draaispiegel<strong>in</strong>g<br />

voorkomt die niet kan wor<strong>de</strong>n sam<strong>en</strong>gesteld<br />

uit e<strong>en</strong> spiegel<strong>in</strong>g <strong>en</strong> e<strong>en</strong> draai<strong>in</strong>g <strong>in</strong> <strong>de</strong><br />

symmetriegroep, dan heb ik dat aangegev<strong>en</strong><br />

door <strong>de</strong> letter ‘x’ toe te voeg<strong>en</strong>.<br />

Je kunt nu zelf alle spiegelcirkels <strong>en</strong> alle rotatiec<strong>en</strong>tra<br />

<strong>in</strong> <strong>de</strong> gegev<strong>en</strong> voorbeel<strong>de</strong>n controler<strong>en</strong>,<br />

<strong>en</strong> <strong>op</strong> die manier nagaan dat <strong>de</strong> vermel<strong>de</strong><br />

handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> <strong>in</strong><strong>de</strong>rdaad correct zijn. Ga<br />

daarbij ook na dat equival<strong>en</strong>te c<strong>en</strong>tra <strong>in</strong><strong>de</strong>rdaad<br />

<strong>de</strong>zelf<strong>de</strong> kleur hebb<strong>en</strong> gekreg<strong>en</strong> (maar<br />

niet alle c<strong>en</strong>tra zijn zichtbaar <strong>in</strong> <strong>de</strong> tek<strong>en</strong><strong>in</strong>g<strong>en</strong>).<br />

Let <strong>op</strong>: <strong>de</strong> kleur<strong>en</strong> zijn ess<strong>en</strong>tieel: symmetrieën<br />

<strong>van</strong> <strong>het</strong> patroon moet<strong>en</strong> <strong>de</strong> kleur<strong>en</strong><br />

<strong>in</strong> stand hou<strong>de</strong>n.<br />

Het is nu ook heel gemakkelijk om zelf <strong>de</strong><br />

handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> e<strong>en</strong> willekeurig <strong>bol</strong>patroon<br />

te v<strong>in</strong><strong>de</strong>n: bepaal (met e<strong>en</strong> spiegel) eerst of<br />

<strong>het</strong> chiraal is of niet. Tek<strong>en</strong> dan alle spiegelcirkels.<br />

Markeer vervolg<strong>en</strong>s <strong>de</strong> rotatiec<strong>en</strong>tra<br />

<strong>en</strong> geef equival<strong>en</strong>te c<strong>en</strong>tra daarbij <strong>de</strong>zelf<strong>de</strong><br />

kleur. De handtek<strong>en</strong><strong>in</strong>g kan dan direct wor<strong>de</strong>n<br />

afgelez<strong>en</strong>, waarbij <strong>het</strong> <strong>en</strong>ige subtiele punt is<br />

dat <strong>het</strong> patroon achiraal kan zijn terwijl er<br />

toch ge<strong>en</strong> spiegelcirkels zijn. Dan moet er<br />

e<strong>en</strong> draaispiegel<strong>in</strong>g zijn, <strong>en</strong> <strong>het</strong> patroon heeft<br />

dan als handtek<strong>en</strong><strong>in</strong>g [g(p) x] voor e<strong>en</strong> zekere<br />

waar<strong>de</strong> <strong>van</strong> p. Let <strong>op</strong>: p kan 1 zijn. Dat is<br />

<strong>het</strong> geval als er ook ge<strong>en</strong> rotatiec<strong>en</strong>tra zijn.<br />

De handtek<strong>en</strong><strong>in</strong>g kan dan wor<strong>de</strong>n vere<strong>en</strong>voudigd<br />

tot [x], <strong>en</strong> <strong>de</strong> <strong>en</strong>ige niet-triviale symmetrie<br />

is <strong>de</strong> c<strong>en</strong>trale <strong>in</strong>versie.<br />

Merk <strong>op</strong> dat steeds aan <strong>de</strong> vergelijk<strong>in</strong>g<strong>en</strong><br />

(1) of (2) voldaan is. De or<strong>de</strong> n <strong>van</strong> <strong>de</strong> symmetriegroep<br />

volgt uit <strong>de</strong>ze vergelijk<strong>in</strong>g<strong>en</strong>. Be<strong>de</strong>nk<br />

ook dat <strong>het</strong> aantal equival<strong>en</strong>te p-pol<strong>en</strong><br />

gelijk is aan n/p terwijl <strong>het</strong> aantal equival<strong>en</strong>te<br />

q-pol<strong>en</strong> gelijk is aan n/(2q). Dat geeft extra<br />

controlemogelijkhe<strong>de</strong>n.<br />

De vergelijk<strong>in</strong>g<strong>en</strong> (1) <strong>en</strong> (2) maakt<strong>en</strong> <strong>het</strong><br />

mogelijk om <strong>de</strong> 14 typ<strong>en</strong> symmetriepatron<strong>en</strong><br />

<strong>op</strong> e<strong>en</strong> vrij e<strong>en</strong>voudige manier af te lei<strong>de</strong>n <strong>en</strong><br />

te bewijz<strong>en</strong> dat er ge<strong>en</strong> an<strong>de</strong>re mogelijkhe<strong>de</strong>n<br />

zijn. In feite zijn die twee vergelijk<strong>in</strong>g<strong>en</strong><br />

gelijkwaardig aan Conways ‘Magic Theorem’<br />

voor <strong>bol</strong>patron<strong>en</strong> [1, p. 53]. Onze afleid<strong>in</strong>g,<br />

die voor chirale patron<strong>en</strong> gebaseerd was <strong>op</strong><br />

[2, pp. 274–275], is echter meer elem<strong>en</strong>tair<br />

omdat die ge<strong>en</strong> gebruik maakt <strong>van</strong> t<strong>op</strong>ologische<br />

hulpmid<strong>de</strong>l<strong>en</strong>.<br />

Rozetpatron<strong>en</strong> <strong>en</strong> strookpatron<strong>en</strong><br />

Ik stap nu over naar patron<strong>en</strong> <strong>in</strong> <strong>het</strong> euclidische<br />

<strong>vlak</strong>. Eerst bekijk ik patron<strong>en</strong> met e<strong>en</strong><br />

e<strong>in</strong>dig aantal symmetrieën. Om re<strong>de</strong>n<strong>en</strong> die<br />

zo da<strong>de</strong>lijk dui<strong>de</strong>lijk zull<strong>en</strong> wor<strong>de</strong>n, <strong>het</strong><strong>en</strong> zulke<br />

patron<strong>en</strong> rozetpatron<strong>en</strong>. Daarna bekijk ik<br />

strookpatron<strong>en</strong>, <strong>vlak</strong>ke patron<strong>en</strong> waar<strong>in</strong> e<strong>en</strong><br />

motief telk<strong>en</strong>s herhaald wordt <strong>in</strong> e<strong>en</strong> rij.<br />

Rozetpatron<strong>en</strong><br />

E<strong>en</strong> rozetpatroon kan allerlei vorm<strong>en</strong> <strong>van</strong> symmetrie<br />

hebb<strong>en</strong>, maar er moet altijd m<strong>in</strong>st<strong>en</strong>s<br />

één vast punt zijn, e<strong>en</strong> punt dat bij alle isometrieën<br />

uit <strong>de</strong> symmetriegroep G <strong>van</strong> <strong>het</strong> patroon<br />

<strong>op</strong> zijn plaats blijft. Immers, omdat <strong>de</strong><br />

baan <strong>van</strong> elk punt P e<strong>en</strong> e<strong>in</strong>dige puntverzamel<strong>in</strong>g<br />

is, blijft <strong>het</strong> zwaartepunt O er<strong>van</strong> bij<br />

alle isometrieën uit G <strong>op</strong> zijn plaats.<br />

Als er twee verschill<strong>en</strong><strong>de</strong> vaste punt<strong>en</strong> O 1<br />

<strong>en</strong> O 2 zijn, moet <strong>de</strong> gehele lijn l door O 1 <strong>en</strong><br />

O 2 uit vaste punt<strong>en</strong> bestaan want e<strong>en</strong> isometrie<br />

die twee punt<strong>en</strong> <strong>op</strong> hun plaats houdt,<br />

laat alle punt<strong>en</strong> <strong>van</strong> <strong>de</strong> lijn door die twee punt<strong>en</strong><br />

<strong>op</strong> hun plaats. Als er daarnaast nog e<strong>en</strong><br />

vast punt O 3 is dat niet <strong>op</strong> l ligt, dan blijft<br />

elk punt <strong>van</strong> <strong>het</strong> <strong>vlak</strong> on<strong>de</strong>r alle isometrieën<br />

<strong>van</strong> G <strong>op</strong> zijn plaats, dus dan bestaat G alle<strong>en</strong><br />

[g(11)]<br />

[s(11)]<br />

Figuur 4 Twee rozetpatron<strong>en</strong>, l<strong>in</strong>ks e<strong>en</strong> chiraal patroon <strong>en</strong><br />

rechts e<strong>en</strong> achiraal patroon


6<br />

246 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

[g(7,7)] [s(7,7)] [g(7) s] [g(7) x]<br />

[g(7,2,2)] [g(2) s(7)] [s(7,2,2)]<br />

Figuur 5 De parametrische <strong>bol</strong>patron<strong>en</strong> uit Figuur 1 gereduceerd tot e<strong>en</strong> schijf rond <strong>de</strong> ev<strong>en</strong>aar<br />

maar uit <strong>de</strong> i<strong>de</strong>ntiteit. Het patroon heeft dan<br />

helemaal ge<strong>en</strong> symmetrie. Als alle<strong>en</strong> <strong>de</strong> punt<strong>en</strong><br />

<strong>van</strong> e<strong>en</strong> lijn l vaste punt<strong>en</strong> zijn, bestaat<br />

G slechts uit twee isometrieën: <strong>de</strong> i<strong>de</strong>ntiteit<br />

<strong>en</strong> <strong>de</strong> spiegel<strong>in</strong>g <strong>in</strong> l. Het patroon heeft dan<br />

l als symmetrieas, maar ver<strong>de</strong>r ge<strong>en</strong> an<strong>de</strong>re<br />

symmetrie.<br />

In alle an<strong>de</strong>re gevall<strong>en</strong> is er precies één<br />

punt O dat on<strong>de</strong>r alle isometrieën <strong>van</strong> G <strong>op</strong><br />

zijn plaats blijft. De symmetrieën kunn<strong>en</strong> dan<br />

alle<strong>en</strong> maar rotaties zijn met c<strong>en</strong>trum O <strong>en</strong><br />

spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong> lijn<strong>en</strong> door O.<br />

Als <strong>het</strong> patroon chiraal is, zijn er alle<strong>en</strong><br />

maar rotaties. De groep G is dan cyclisch. Als<br />

p <strong>de</strong> or<strong>de</strong> <strong>van</strong> <strong>de</strong> groep is, dan is <strong>de</strong> kle<strong>in</strong>ste<br />

positieve rotatiehoek 2π/p <strong>en</strong> dan zijn alle<br />

ban<strong>en</strong> regelmatige p-hoek<strong>en</strong> met mid<strong>de</strong>lpunt<br />

O. Als handtek<strong>en</strong><strong>in</strong>g neem ik dan [g(p)].<br />

Als <strong>het</strong> patroon achiraal is, moet er e<strong>en</strong><br />

e<strong>in</strong>dig aantal, zeg q, spiegellijn<strong>en</strong> door O zijn.<br />

Elk tweetal naburige lijn<strong>en</strong> snijdt elkaar <strong>in</strong> Q<br />

on<strong>de</strong>r e<strong>en</strong> hoek <strong>van</strong> π/q. De groep G is dan <strong>de</strong><br />

zog<strong>en</strong>aam<strong>de</strong> dihedrale groep die bestaat uit<br />

q lijnspiegel<strong>in</strong>g<strong>en</strong> <strong>en</strong> q rotaties (waaron<strong>de</strong>r<br />

<strong>de</strong> i<strong>de</strong>ntiteit). De or<strong>de</strong> <strong>van</strong> <strong>de</strong> groep is 2q <strong>en</strong><br />

als handtek<strong>en</strong><strong>in</strong>g neem ik [s(q)]. In Figuur 4<br />

staan twee voorbeel<strong>de</strong>n <strong>van</strong> rozetpatron<strong>en</strong><br />

met hun handtek<strong>en</strong><strong>in</strong>g, e<strong>en</strong> chiraal patroon<br />

<strong>en</strong> e<strong>en</strong> achiraal patroon.<br />

Je kunt e<strong>en</strong> rozetpatroon altijd <strong>op</strong> e<strong>en</strong> grote<br />

<strong>bol</strong> plakk<strong>en</strong>, zeg <strong>op</strong> <strong>de</strong> noordpool, waardoor<br />

er e<strong>en</strong> parametrisch <strong>bol</strong>patroon ontstaat<br />

met handtek<strong>en</strong><strong>in</strong>g [g(p, p)] bij <strong>de</strong> cyclische<br />

groep <strong>en</strong> [s(p, p)] bij <strong>de</strong> dihedrale groep. Rozetpatron<strong>en</strong><br />

kun je dus i<strong>de</strong>ntificer<strong>en</strong> met <strong>bol</strong>patron<strong>en</strong><br />

met ‘<strong>de</strong>zelf<strong>de</strong>’ symmetriegroep. Als<br />

<strong>bol</strong>patroon bestaan <strong>de</strong> symmetrieën dan uit<br />

rotaties om <strong>de</strong> poolas <strong>en</strong> spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong> <strong>vlak</strong>k<strong>en</strong><br />

door <strong>de</strong> bei<strong>de</strong> antipodale pol<strong>en</strong>, <strong>en</strong> <strong>in</strong> <strong>het</strong><br />

<strong>vlak</strong>ke geval bestaan <strong>de</strong> symmetrieën uit rotaties<br />

rond <strong>het</strong> mid<strong>de</strong>lpunt <strong>en</strong> spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong><br />

lijn<strong>en</strong> door <strong>het</strong> mid<strong>de</strong>lpunt.<br />

Strookpatron<strong>en</strong><br />

Strookpatron<strong>en</strong> (ze wor<strong>de</strong>n ook wel friespatron<strong>en</strong><br />

g<strong>en</strong>oemd) zijn <strong>vlak</strong>ke patron<strong>en</strong> waar<strong>in</strong><br />

e<strong>en</strong> motief telk<strong>en</strong>s herhaald wordt <strong>in</strong> e<strong>en</strong> rij,<br />

zeg e<strong>en</strong> horizontale rij. Hoewel strookpatron<strong>en</strong><br />

<strong>in</strong> werkelijkheid altijd e<strong>in</strong>dig zijn, <strong>de</strong>nk<strong>en</strong><br />

we ons <strong>in</strong> dat ze naar bei<strong>de</strong> kant<strong>en</strong> onbeperkt<br />

voortgezet zijn, zodat er translaties on<strong>de</strong>r <strong>de</strong><br />

symmetrieën zijn. Als T <strong>de</strong> translatie is die<br />

elk motief <strong>in</strong> zijn rechterbuur overvoert, kan<br />

elke an<strong>de</strong>re translatie <strong>in</strong> <strong>de</strong> symmetriegroep<br />

G <strong>van</strong> <strong>het</strong> patroon wor<strong>de</strong>n geschrev<strong>en</strong> als T n<br />

voor zekere gehele n. Maar er kunn<strong>en</strong> ook nog<br />

an<strong>de</strong>re symmetrieën zijn.<br />

Het is welbek<strong>en</strong>d dat er precies zev<strong>en</strong> verschill<strong>en</strong><strong>de</strong><br />

typ<strong>en</strong> strookpatron<strong>en</strong> bestaan, <strong>en</strong><br />

<strong>in</strong> feite k<strong>en</strong>n<strong>en</strong> we ze al omdat ze kunn<strong>en</strong> wor<strong>de</strong>n<br />

<strong>op</strong>gevat als limietgevall<strong>en</strong> <strong>van</strong> <strong>de</strong> zev<strong>en</strong><br />

parametrische <strong>bol</strong>patron<strong>en</strong>. Zoals Conway al<br />

<strong>op</strong>merkte: neem e<strong>en</strong> e<strong>in</strong>dig segm<strong>en</strong>t uit e<strong>en</strong><br />

strookpatroon dat bestaat uit N k<strong>op</strong>ieën <strong>van</strong><br />

<strong>het</strong> motief <strong>en</strong> wikkel dat om <strong>de</strong> ev<strong>en</strong>aar <strong>van</strong><br />

e<strong>en</strong> <strong>bol</strong> met <strong>de</strong> juiste straal zodat <strong>het</strong> er goed<br />

aansluit<strong>en</strong>d omhe<strong>en</strong> past. Dan krijg je e<strong>en</strong> parametrisch<br />

<strong>bol</strong>patroon met e<strong>en</strong> <strong>van</strong> <strong>de</strong> zev<strong>en</strong><br />

handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> [g(N,N)], [s(N,N)], [g(N) s],<br />

[g(N) x], [g(N,2,2)], [g(2) s(N)] <strong>en</strong> [s(N,2,2)].<br />

Omgekeerd kan elk parametrisch <strong>bol</strong>patroon<br />

<strong>in</strong> <strong>het</strong> <strong>vlak</strong> wor<strong>de</strong>n afgewikkeld waardoor<br />

er e<strong>en</strong> N-segm<strong>en</strong>t ontstaat <strong>van</strong> <strong>het</strong> bijbehor<strong>en</strong><strong>de</strong><br />

strookpatroon. In Figuur 5 zijn voorbeel<strong>de</strong>n<br />

<strong>van</strong> parametrische <strong>bol</strong>patron<strong>en</strong> getek<strong>en</strong>d<br />

met N = 7, waarbij <strong>de</strong> <strong>bol</strong> gereduceerd<br />

is tot e<strong>en</strong> schijf rond <strong>de</strong> ev<strong>en</strong>aar.<br />

Als je die <strong>bol</strong>patron<strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> afwikkelt,<br />

krijg je segm<strong>en</strong>t<strong>en</strong> <strong>van</strong> l<strong>en</strong>gte 7 <strong>van</strong> <strong>de</strong><br />

bijbehor<strong>en</strong><strong>de</strong> one<strong>in</strong>dige strookpatron<strong>en</strong>. Het<br />

ligt voor <strong>de</strong> hand (laat N naar one<strong>in</strong>dig gaan)<br />

om als handtek<strong>en</strong><strong>in</strong>g voor die strookpatron<strong>en</strong><br />

respectievelijk [g(∞,∞)], [s(∞,∞)], [g(∞) s],<br />

[g(∞) x], [g(∞,2,2)], [g(2) s(∞)] <strong>en</strong> [s(∞,2,2)]<br />

te nem<strong>en</strong>. Zo krijg je <strong>de</strong> strookpatron<strong>en</strong> die <strong>in</strong><br />

Figuur 6 getek<strong>en</strong>d zijn.<br />

Aangezi<strong>en</strong> <strong>de</strong> symmetriegroep <strong>van</strong> elk<br />

strookpatroon one<strong>in</strong>dig is, gev<strong>en</strong> <strong>de</strong> vergelijk<strong>in</strong>g<strong>en</strong><br />

(1) <strong>en</strong> (2) via n → ∞,<br />

[g(∞,∞)]<br />

2 = ∑ ( 1 − 1 p<br />

)<br />

(3)<br />

[s(∞,∞)]<br />

[g(∞) s]<br />

voor chirale strookpatron<strong>en</strong> <strong>en</strong><br />

1 = ∑ ( 1<br />

2 − 1<br />

)<br />

+ ∑ ( 1 − 1 )<br />

2q<br />

p<br />

(4)<br />

Figuur 6 De <strong>bol</strong>patron<strong>en</strong> uit Figuur 5 afgewikkeld <strong>in</strong> <strong>het</strong> <strong>vlak</strong><br />

[g(∞) x]<br />

[g(∞,2,2)]<br />

[g(2) s(∞)]<br />

[s(∞,2,2)]<br />

voor achirale strookpatron<strong>en</strong>, waarbij <strong>de</strong> p-<br />

sommaties <strong>in</strong> (3) <strong>en</strong> (4) zich uitstrekk<strong>en</strong> over<br />

alle equival<strong>en</strong>tieklass<strong>en</strong> <strong>van</strong> rotatiec<strong>en</strong>tra die<br />

niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, terwijl <strong>de</strong> q-<br />

sommatie <strong>in</strong> (4) gaat over alle equival<strong>en</strong>tieklass<strong>en</strong><br />

<strong>van</strong> rotatiec<strong>en</strong>tra <strong>op</strong> spiegellijn<strong>en</strong>.<br />

Merk <strong>op</strong> dat <strong>de</strong> ‘noordpool’ <strong>en</strong> <strong>de</strong> ‘zuidpool’<br />

naar one<strong>in</strong>dig zijn verdw<strong>en</strong><strong>en</strong> <strong>in</strong> <strong>de</strong> ver-


7<br />

Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 247<br />

ticale richt<strong>in</strong>g <strong>en</strong> dat <strong>de</strong> rotaties rond <strong>de</strong> pol<strong>en</strong><br />

daarmee horizontale translaties zijn gewor<strong>de</strong>n<br />

met ‘rotatiehoek’ 0 <strong>en</strong> ‘c<strong>en</strong>trum’ plus<br />

of m<strong>in</strong> one<strong>in</strong>dig <strong>in</strong> <strong>de</strong> verticale richt<strong>in</strong>g. Voor<br />

<strong>de</strong>ze c<strong>en</strong>tra ‘<strong>op</strong> one<strong>in</strong>dig’ moet je respectievelijk<br />

p = ∞ of q = ∞ nem<strong>en</strong>, zodat 1/p =<br />

1/(2q) = 0. Dit levert bijdrag<strong>en</strong> <strong>van</strong> 1 of 1 2 <strong>in</strong><br />

<strong>de</strong> bov<strong>en</strong>staan<strong>de</strong> sommaties. Op die manier<br />

kun je <strong>de</strong> vergelijk<strong>in</strong>g<strong>en</strong> (3) <strong>en</strong> (4) gemakkelijk<br />

verifiër<strong>en</strong> voor alle strookpatron<strong>en</strong>.<br />

Draaispiegel<strong>in</strong>g<strong>en</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> wor<strong>de</strong>n glijspiegel<strong>in</strong>g<strong>en</strong><br />

<strong>van</strong> <strong>de</strong> strookpatron<strong>en</strong> <strong>in</strong> <strong>het</strong><br />

<strong>vlak</strong>, waarbij e<strong>en</strong> glijspiegel<strong>in</strong>g <strong>de</strong> comb<strong>in</strong>atie<br />

is <strong>van</strong> e<strong>en</strong> lijnspiegel<strong>in</strong>g <strong>en</strong> e<strong>en</strong> translatie<br />

langs <strong>de</strong> spiegelas. Tweemaal achter elkaar<br />

toepass<strong>en</strong> <strong>van</strong> e<strong>en</strong> glijspiegel<strong>in</strong>g geeft e<strong>en</strong><br />

translatie langs <strong>de</strong> as. Zie hierbov<strong>en</strong> strookpatroon<br />

[g(∞) x] voor e<strong>en</strong> voorbeeld <strong>van</strong> e<strong>en</strong><br />

horizontale glijspiegelas die ge<strong>en</strong> spiegellijn<br />

<strong>van</strong> <strong>het</strong> patroon is. In dit voorbeeld heb ik <strong>de</strong><br />

glijspiegelas aangegev<strong>en</strong> door e<strong>en</strong> on<strong>de</strong>rbrok<strong>en</strong><br />

lijn met alterner<strong>en</strong><strong>de</strong> halve pijl<strong>en</strong>.<br />

Patroon [g(∞) s] heeft ook horizontale glijspiegel<strong>in</strong>g<strong>en</strong>,<br />

maar die zijn sam<strong>en</strong>gesteld<br />

uit lijnspiegel<strong>in</strong>g<strong>en</strong> <strong>en</strong> translaties die al <strong>in</strong><br />

<strong>de</strong> symmetriegroep <strong>van</strong> <strong>het</strong> patroon zitt<strong>en</strong>.<br />

Daarom wor<strong>de</strong>n ze niet <strong>in</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<br />

vermeld. Conways handtek<strong>en</strong><strong>in</strong>g bevat nooit<br />

overbodige <strong>in</strong>formatie. Dat is ook <strong>de</strong> re<strong>de</strong>n<br />

waarom equival<strong>en</strong>te rotatiec<strong>en</strong>tra slechts één<br />

vermeld<strong>in</strong>g krijg<strong>en</strong>.<br />

E<strong>en</strong> horizontale glijspiegel<strong>in</strong>g krijg je ook<br />

wanneer je e<strong>en</strong> verticale lijnspiegel<strong>in</strong>g comb<strong>in</strong>eert<br />

met e<strong>en</strong> 2-voudige rotatie (e<strong>en</strong> halve<br />

draai) rond e<strong>en</strong> c<strong>en</strong>trum dat niet <strong>op</strong> <strong>de</strong> verticale<br />

spiegelas ligt. De glijspiegelas is dan<br />

<strong>de</strong> horizontale lijn door <strong>het</strong> c<strong>en</strong>trum <strong>van</strong> <strong>de</strong><br />

halve draai. Omgekeerd geeft <strong>de</strong> comb<strong>in</strong>atie<br />

<strong>van</strong> e<strong>en</strong> horizontale glijspiegel<strong>in</strong>g met e<strong>en</strong><br />

halve draai <strong>op</strong> <strong>de</strong> glijspiegelas e<strong>en</strong> verticale<br />

lijnspiegel<strong>in</strong>g. In <strong>de</strong> patron<strong>en</strong> [g(2) s(∞)]<br />

<strong>en</strong> [s(∞,2,2)] kom<strong>en</strong> verticale lijnspiegel<strong>in</strong>g<strong>en</strong><br />

<strong>en</strong> halve draai<strong>in</strong>g<strong>en</strong> <strong>op</strong> e<strong>en</strong> horizontale<br />

lijn voor. Maar omdat die symmetrieën zelf<br />

al <strong>in</strong> <strong>de</strong> symmetriegroep voorkom<strong>en</strong>, wor<strong>de</strong>n<br />

<strong>de</strong> bijbehor<strong>en</strong><strong>de</strong> glijspiegel<strong>in</strong>g<strong>en</strong> niet <strong>in</strong> <strong>de</strong><br />

handtek<strong>en</strong><strong>in</strong>g vermeld.<br />

Hiermee is <strong>de</strong> behan<strong>de</strong>l<strong>in</strong>g <strong>van</strong> <strong>de</strong> strookpatron<strong>en</strong><br />

voltooid.<br />

[O] [s s] [s x]<br />

[x x] [g(2,2) s] [g(2,2) x]<br />

g(2,2,2,2)] [g(2) s(2,2)] [s(2,2,2,2)]<br />

[g(3,3,3)] [g(3) s(3)] [s(3,3,3)]<br />

[g(4,4,2)] [g(4) s(2)] [s(4,4,2)]<br />

Behangpatron<strong>en</strong><br />

Terwijl er bij rozetpatron<strong>en</strong> ge<strong>en</strong> translaties<br />

zijn <strong>en</strong> bij strookpatron<strong>en</strong> alle<strong>en</strong> translaties<br />

<strong>in</strong> één richt<strong>in</strong>g, tre<strong>de</strong>n bij <strong>de</strong> zog<strong>en</strong>aam<strong>de</strong><br />

behangpatron<strong>en</strong> (Engels: wallpaper patterns)<br />

translaties <strong>op</strong> <strong>in</strong> meer<strong>de</strong>re richt<strong>in</strong>g<strong>en</strong>. Ik zal<br />

aannem<strong>en</strong> dat <strong>de</strong> symmetriegroep G <strong>van</strong> zo’n<br />

patroon discreet is, dat wil zegg<strong>en</strong> dat er bij<br />

elk punt P e<strong>en</strong> cirkeltje met mid<strong>de</strong>lpunt P is<br />

[g(6,3,2)]<br />

[s(6,3,2)]<br />

Figuur 7 Zev<strong>en</strong>ti<strong>en</strong> typ<strong>en</strong> <strong>van</strong> behangpatron<strong>en</strong> met hun handtek<strong>en</strong><strong>in</strong>g<strong>en</strong>


8<br />

248 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

dat buit<strong>en</strong> P zelf ge<strong>en</strong> an<strong>de</strong>re punt<strong>en</strong> <strong>van</strong> <strong>de</strong><br />

baan <strong>van</strong> P bevat. Dat betek<strong>en</strong>t dat er e<strong>en</strong> begr<strong>en</strong>sd<br />

motief is dat via <strong>de</strong> translaties <strong>in</strong> G over<br />

<strong>het</strong> gehele <strong>vlak</strong> onbeperkt herhaald wordt.<br />

Merk <strong>op</strong> dat ik bij <strong>bol</strong>patron<strong>en</strong>, rozetpatron<strong>en</strong><br />

<strong>en</strong> strookpatron<strong>en</strong> ook steeds stilzwijg<strong>en</strong>d<br />

heb aang<strong>en</strong>om<strong>en</strong> dat <strong>de</strong> symmetriegroep<br />

discreet is. Bij <strong>bol</strong>patron<strong>en</strong> <strong>en</strong> rozetpatron<strong>en</strong><br />

was dat <strong>het</strong> geval omdat ik heb<br />

geëist dat <strong>de</strong> symmetriegroep e<strong>in</strong>dig is. Dat<br />

sloot bijvoorbeeld <strong>het</strong> geval uit waar<strong>in</strong> <strong>het</strong><br />

patroon alle<strong>en</strong> maar uit e<strong>en</strong> (ongemarkeer<strong>de</strong>)<br />

cirkel bestaat. Die heeft immers one<strong>in</strong>dig veel<br />

rotaties <strong>en</strong> spiegel<strong>in</strong>g<strong>en</strong> als symmetrieën.<br />

Omdat <strong>de</strong> symmetriegroep G <strong>van</strong> e<strong>en</strong> behangpatroon<br />

discreet is, is er e<strong>en</strong> translatie<br />

T 1 met e<strong>en</strong> m<strong>in</strong>imale positieve translatieafstand<br />

d 1 <strong>en</strong> e<strong>en</strong> twee<strong>de</strong> translatie T 2 , <strong>in</strong> e<strong>en</strong><br />

an<strong>de</strong>re richt<strong>in</strong>g, met e<strong>en</strong> m<strong>in</strong>imale positieve<br />

translatieafstand d 2 ≥ d 1 . Door <strong>de</strong> richt<strong>in</strong>g<br />

<strong>van</strong> T 2 zo nodig om te ker<strong>en</strong>, kun je ervoor<br />

zorg<strong>en</strong> dat <strong>de</strong> hoek α tuss<strong>en</strong> T 1 <strong>en</strong> T 2 niet<br />

stomp is. Als α < π/3 zou zijn, zou <strong>de</strong> translatieafstand<br />

<strong>van</strong> <strong>de</strong> translatie T 1 − T 2 kle<strong>in</strong>er<br />

zijn dan d 2 <strong>op</strong> grond <strong>van</strong> <strong>de</strong> s<strong>in</strong>usregel, <strong>in</strong> teg<strong>en</strong>spraak<br />

met <strong>de</strong> keuze <strong>van</strong> T 2 . Er geldt dus<br />

π/3 ≤ α ≤ π/2.<br />

Het is e<strong>en</strong>voudig om te bewijz<strong>en</strong> dat elke<br />

translatie T <strong>in</strong> G geschrev<strong>en</strong> kan wor<strong>de</strong>n als<br />

T = T1 n T 2<br />

m voor zekere gehele getall<strong>en</strong> n <strong>en</strong><br />

m, met an<strong>de</strong>re woor<strong>de</strong>n, dat <strong>de</strong> on<strong>de</strong>rgroep<br />

T <strong>van</strong> alle translaties <strong>in</strong> G voortgebracht wordt<br />

door T 1 <strong>en</strong> T 2 . Voor elk punt P geldt dat <strong>de</strong><br />

baan <strong>van</strong> P on<strong>de</strong>r T e<strong>en</strong> rooster is dat wordt<br />

<strong>op</strong>gespann<strong>en</strong> door vector<strong>en</strong> die bij <strong>de</strong> translaties<br />

T 1 <strong>en</strong> T 2 hor<strong>en</strong>.<br />

Maar behangpatron<strong>en</strong> kunn<strong>en</strong> ook nog an<strong>de</strong>re<br />

symmetrieën hebb<strong>en</strong>. In feite is welbek<strong>en</strong>d<br />

(<strong>en</strong> ik zal <strong>het</strong> hier <strong>op</strong>nieuw bewijz<strong>en</strong>) dat<br />

er precies 17 verschill<strong>en</strong><strong>de</strong> typ<strong>en</strong> <strong>van</strong> behangpatron<strong>en</strong><br />

zijn. Elk type heeft zijn eig<strong>en</strong> handtek<strong>en</strong><strong>in</strong>g,<br />

die <strong>in</strong> e<strong>en</strong> not<strong>en</strong>d<strong>op</strong> alle symmetrieeig<strong>en</strong>schapp<strong>en</strong><br />

<strong>van</strong> <strong>het</strong> patroon sam<strong>en</strong>vat.<br />

Net zoals dat bij <strong>bol</strong>patron<strong>en</strong>, rozetpatron<strong>en</strong><br />

<strong>en</strong> strookpatron<strong>en</strong> <strong>het</strong> geval was, is <strong>het</strong> heel<br />

gemakkelijk om <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g bij e<strong>en</strong> gegev<strong>en</strong><br />

behangpatroon te v<strong>in</strong><strong>de</strong>n als je eerst<br />

<strong>de</strong> chiraliteit er<strong>van</strong> vaststelt, vervolg<strong>en</strong>s alle<br />

ev<strong>en</strong>tuele spiegellijn<strong>en</strong> <strong>en</strong> rotatiec<strong>en</strong>tra markeert,<br />

<strong>en</strong> t<strong>en</strong> slotte, als ze er zijn, <strong>de</strong> ass<strong>en</strong> <strong>van</strong><br />

<strong>de</strong> glijspiegel<strong>in</strong>g<strong>en</strong> die niet ook al als spiegellijn<strong>en</strong><br />

gemarkeerd zijn.<br />

Zev<strong>en</strong>ti<strong>en</strong> typ<strong>en</strong> <strong>van</strong> behangpatron<strong>en</strong><br />

In Figuur 7 geef ik bij elk <strong>van</strong> <strong>de</strong> 17 typ<strong>en</strong> <strong>van</strong><br />

behangpatron<strong>en</strong> e<strong>en</strong> e<strong>en</strong>voudig voorbeeld<br />

sam<strong>en</strong> met <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g er<strong>van</strong>. Bij elk<br />

voorbeeld heb ik <strong>de</strong> spiegellijn<strong>en</strong> zwart getek<strong>en</strong>d<br />

<strong>en</strong> <strong>de</strong> rotatiec<strong>en</strong>tra aangegev<strong>en</strong> met gekleur<strong>de</strong><br />

stipp<strong>en</strong>, equival<strong>en</strong>te c<strong>en</strong>tra <strong>in</strong> <strong>de</strong>zelf<strong>de</strong><br />

kleur. Glijspiegelass<strong>en</strong> die ge<strong>en</strong> spiegellijn<strong>en</strong><br />

zijn, heb ik aangegev<strong>en</strong> met gestreepte<br />

lijn<strong>en</strong>.<br />

De lezer zal we<strong>in</strong>ig moeite hebb<strong>en</strong> om <strong>de</strong><br />

gegev<strong>en</strong> handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> te doorgron<strong>de</strong>n <strong>en</strong><br />

te verifiër<strong>en</strong>. In navolg<strong>in</strong>g <strong>van</strong> Conway gebruik<br />

ik [O] als handtek<strong>en</strong><strong>in</strong>g voor e<strong>en</strong> patroon<br />

waarbij translaties <strong>de</strong> <strong>en</strong>ige symmetrieën zijn.<br />

Bij patroon [s s] zijn er twee soort<strong>en</strong> spiegellijn<strong>en</strong>,<br />

allebei verticaal. Ze wissel<strong>en</strong> elkaar<br />

af <strong>op</strong> gelijke afstand. Bij patroon [s x] wissel<strong>en</strong><br />

verticale spiegellijn<strong>en</strong> <strong>en</strong> glijspiegelass<strong>en</strong><br />

elkaar af met gelijke tuss<strong>en</strong>ruimt<strong>en</strong>. De spiegellijn<strong>en</strong><br />

zijn on<strong>de</strong>rl<strong>in</strong>g allemaal equival<strong>en</strong>t,<br />

<strong>en</strong> <strong>het</strong>zelf<strong>de</strong> geldt voor <strong>de</strong> glijspiegelass<strong>en</strong>.<br />

Patroon [x x] heeft twee soort<strong>en</strong> glijspiegelass<strong>en</strong>,<br />

allebei verticaal, <strong>en</strong> allebei met <strong>de</strong>zelf<strong>de</strong><br />

verticale translatieafstand.<br />

Speciale aandacht verdi<strong>en</strong>t <strong>het</strong> patroon<br />

[g(2,2) x], waar<strong>in</strong> twee niet-equival<strong>en</strong>te soort<strong>en</strong><br />

2-voudige rotatiec<strong>en</strong>tra voorkom<strong>en</strong>, blauw<br />

<strong>en</strong> gro<strong>en</strong> gekleurd, <strong>en</strong> twee soort<strong>en</strong> glijspiegelass<strong>en</strong>,<br />

horizontaal <strong>en</strong> verticaal. Merk <strong>op</strong><br />

dat e<strong>en</strong> horizontale glijspiegel<strong>in</strong>g gevolgd<br />

door e<strong>en</strong> halve draai om e<strong>en</strong> c<strong>en</strong>trum dat niet<br />

<strong>op</strong> <strong>de</strong> glijspiegelas ligt, e<strong>en</strong> verticale glijspiegel<strong>in</strong>g<br />

geeft. Daarom staat er <strong>in</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<br />

<strong>van</strong> dit patroon maar één symbool ‘x’.<br />

In <strong>de</strong> volg<strong>en</strong><strong>de</strong> paragraaf geef ik meer <strong>de</strong>tails<br />

bij <strong>de</strong> verschill<strong>en</strong><strong>de</strong> patron<strong>en</strong> <strong>en</strong> daarna<br />

bewijs ik ook dat <strong>de</strong> <strong>op</strong>somm<strong>in</strong>g volledig is:<br />

er zijn niet meer dan 17 verschill<strong>en</strong><strong>de</strong> typ<strong>en</strong><br />

<strong>van</strong> behangpatron<strong>en</strong>.<br />

Isometrieën <strong>in</strong> <strong>het</strong> <strong>vlak</strong><br />

In <strong>de</strong>ze <strong>en</strong> <strong>de</strong> volg<strong>en</strong><strong>de</strong> paragraf<strong>en</strong> gebruik ik<br />

i<strong>de</strong>eën <strong>van</strong> L. Fejes Tóth [3, p. 29].<br />

Het is welbek<strong>en</strong>d dat elke isometrie <strong>in</strong><br />

<strong>het</strong> euclidische <strong>vlak</strong> e<strong>en</strong> translatie, e<strong>en</strong> rotatie,<br />

e<strong>en</strong> lijnspiegel<strong>in</strong>g of e<strong>en</strong> glijspiegel<strong>in</strong>g<br />

is. Translaties <strong>en</strong> rotaties zijn directe isometrieën,<br />

lijnspiegel<strong>in</strong>g<strong>en</strong> <strong>en</strong> glijspiegel<strong>in</strong>g<strong>en</strong><br />

zijn <strong>in</strong>directe isometrieën. Elke groep G <strong>van</strong><br />

isometrieën bestaat uitsluit<strong>en</strong>d uit directe<br />

isometrieën, of <strong>de</strong> directe isometrieën <strong>in</strong> G<br />

vorm<strong>en</strong> e<strong>en</strong> on<strong>de</strong>rgroep H <strong>van</strong> <strong>in</strong><strong>de</strong>x 2.<br />

E<strong>en</strong> patroon <strong>in</strong> <strong>het</strong> <strong>vlak</strong> heet chiraal als<br />

<strong>de</strong> <strong>en</strong>ige symmetrieën er<strong>van</strong> directe isometrieën<br />

zijn, an<strong>de</strong>rs heet <strong>het</strong> patroon achiraal.<br />

Je kunt <strong>de</strong> chiraliteit <strong>van</strong> e<strong>en</strong> patroon gemakkelijk<br />

vaststell<strong>en</strong> met behulp <strong>van</strong> e<strong>en</strong> spiegel.<br />

E<strong>en</strong> rotatie heeft e<strong>en</strong> c<strong>en</strong>trum <strong>en</strong> e<strong>en</strong> rotatiehoek,<br />

die we altijd teg<strong>en</strong> <strong>de</strong> klok <strong>in</strong> met<strong>en</strong><br />

<strong>in</strong> radial<strong>en</strong> modulo 2π. Het is soms handig<br />

om translaties <strong>op</strong> te vatt<strong>en</strong> als rotaties met<br />

rotatiehoek 0 <strong>en</strong> e<strong>en</strong> c<strong>en</strong>trum dat one<strong>in</strong>dig<br />

ver weg ligt <strong>in</strong> e<strong>en</strong> richt<strong>in</strong>g loodrecht <strong>op</strong> <strong>de</strong><br />

translatiericht<strong>in</strong>g.<br />

Figuur 8<br />

In e<strong>en</strong> discrete groep G vorm<strong>en</strong> <strong>de</strong> rotaties<br />

met e<strong>en</strong> geme<strong>en</strong>schappelijk c<strong>en</strong>trum<br />

e<strong>en</strong> cyclische on<strong>de</strong>rgroep <strong>van</strong> e<strong>in</strong>dige or<strong>de</strong><br />

p, voortgebracht door e<strong>en</strong> rotatie met rotatiehoek<br />

2π/p. Ev<strong>en</strong>zo vorm<strong>en</strong> <strong>de</strong> translaties<br />

met e<strong>en</strong> geme<strong>en</strong>schappelijke translatiericht<strong>in</strong>g<br />

e<strong>en</strong> one<strong>in</strong>dige cyclische on<strong>de</strong>rgroep<br />

voortgebracht door e<strong>en</strong> translatie met e<strong>en</strong><br />

translatieafstand d > 0.<br />

Als R 1 <strong>en</strong> R 2 spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong> respectievelijk<br />

spiegellijn<strong>en</strong> m 1 <strong>en</strong> m 2 zijn, dan is R 2 R 1<br />

(R 1 gevolgd door R 2 ) e<strong>en</strong> translatie met afstand<br />

2d als m 1 <strong>en</strong> m 2 ev<strong>en</strong>wijdig zijn met<br />

e<strong>en</strong> afstand d, <strong>en</strong> e<strong>en</strong> rotatie met c<strong>en</strong>trum A<br />

<strong>en</strong> rotatiehoek 2α als m 1 <strong>en</strong> m 2 elkaar <strong>in</strong> A<br />

snij<strong>de</strong>n on<strong>de</strong>r e<strong>en</strong> hoek α.<br />

Als R 1 <strong>en</strong> R 2 rotaties met respectievelijk<br />

c<strong>en</strong>tra A 1 <strong>en</strong> A 2 <strong>en</strong> rotatiehoek<strong>en</strong> α 1 <strong>en</strong><br />

α 2 zijn, dan is R 2 R 1 e<strong>en</strong> rotatie met rotatiehoek<br />

α 1 + α 2 , of e<strong>en</strong> translatie als α 1 + α 2 =<br />

0 mod 2π. Als R 1 <strong>en</strong> R 2 bei<strong>de</strong> halve draai<strong>en</strong><br />

zijn, zodat <strong>de</strong> bei<strong>de</strong> rotatiehoek<strong>en</strong> gelijk zijn<br />

aan π, dan is R 2 R 1 e<strong>en</strong> translatie met afstand<br />

2d(A 1 , A 2 ) <strong>in</strong> <strong>de</strong> richt<strong>in</strong>g <strong>van</strong> A 1 naar A 2 .<br />

Als ABC e<strong>en</strong> driehoek is met hoek<strong>en</strong> <strong>van</strong><br />

respectievelijk α, β <strong>en</strong> γ radial<strong>en</strong> die georiënteerd<br />

is met <strong>de</strong> klok mee (zie Figuur 8),<br />

dan geeft e<strong>en</strong> rotatie met c<strong>en</strong>trum A <strong>en</strong> hoek<br />

2α gevolgd door e<strong>en</strong> rotatie met c<strong>en</strong>trum B <strong>en</strong><br />

hoek 2β e<strong>en</strong> rotatie die C terugbr<strong>en</strong>gt <strong>op</strong> zijn<br />

plaats, <strong>en</strong> dus is <strong>het</strong> e<strong>en</strong> rotatie met c<strong>en</strong>trum<br />

C (<strong>en</strong> rotatiehoek 2α + 2β = 2π − 2γ).<br />

Als A <strong>en</strong> B dus rotatiec<strong>en</strong>tra <strong>van</strong> e<strong>en</strong> behangpatroon<br />

<strong>van</strong> or<strong>de</strong> p respectievelijk q zijn,<br />

<strong>en</strong> p <strong>en</strong> q zijn niet bei<strong>de</strong> 2, dan is C, geconstrueerd<br />

als bov<strong>en</strong> met hoek<strong>en</strong> α = π/p <strong>en</strong><br />

β = π/q, ook e<strong>en</strong> rotatiec<strong>en</strong>trum <strong>van</strong> <strong>het</strong> patroon.<br />

Chirale behangpatron<strong>en</strong><br />

Stel dat e<strong>en</strong> chiraal behangpatroon gegev<strong>en</strong><br />

is met e<strong>en</strong> discrete symmetriegroep G. Dan<br />

zijn alle isometrieën <strong>in</strong> G translaties of rotaties.<br />

Ik heb al lat<strong>en</strong> zi<strong>en</strong> dat <strong>de</strong> on<strong>de</strong>rgroep<br />

T <strong>van</strong> alle translaties <strong>in</strong> G voortgebracht kan<br />

wor<strong>de</strong>n door twee translaties T 1 <strong>en</strong> T 2 met mi-


9<br />

Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 249<br />

A<br />

D<br />

Figuur 9<br />

nimale translatieafstan<strong>de</strong>n d 1 ≤ d 2 <strong>en</strong> hoek<br />

π/3 ≤ α ≤ π/2. Als er ge<strong>en</strong> rotaties zijn, valt<br />

G sam<strong>en</strong> met T <strong>en</strong> dan is <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g [O].<br />

Stel nu dat alle rotatiec<strong>en</strong>tra <strong>in</strong> <strong>het</strong> patroon<br />

2-c<strong>en</strong>tra zijn. Alle rotaties <strong>in</strong> G zijn dus halve<br />

draai<strong>en</strong>. Stel dat A e<strong>en</strong> 2-c<strong>en</strong>trum is <strong>en</strong> stel<br />

dat ABCD <strong>het</strong> parallellogram is met B = T 1 A,<br />

C = T 2 T 1 A <strong>en</strong> D = T 2 A (zie Figuur 9). Dan<br />

zijn <strong>de</strong> hoekpunt<strong>en</strong> <strong>van</strong> <strong>het</strong> parallellogram,<br />

<strong>de</strong> mid<strong>de</strong>ns <strong>van</strong> <strong>de</strong> zij<strong>de</strong>n <strong>en</strong> <strong>het</strong> mid<strong>de</strong>lpunt<br />

<strong>van</strong> <strong>het</strong> parallellogram ook allemaal 2-c<strong>en</strong>tra,<br />

neg<strong>en</strong> stuks <strong>in</strong> totaal.<br />

Maar c<strong>en</strong>tra die e<strong>en</strong> translatie <strong>in</strong> T verschill<strong>en</strong>,<br />

zijn equival<strong>en</strong>t, dus er zijn maar vier nietequival<strong>en</strong>te<br />

2-c<strong>en</strong>tra on<strong>de</strong>r <strong>de</strong>ze neg<strong>en</strong> c<strong>en</strong>tra.<br />

Je kunt daarvoor A <strong>en</strong> <strong>de</strong> mid<strong>de</strong>ns <strong>van</strong><br />

AB, AC <strong>en</strong> AD nem<strong>en</strong>.<br />

Ik beweer nu dat alle 2-c<strong>en</strong>tra <strong>in</strong> <strong>het</strong> patroon<br />

equival<strong>en</strong>t zijn met e<strong>en</strong> <strong>van</strong> <strong>de</strong>ze vier.<br />

In<strong>de</strong>rdaad, bij elk an<strong>de</strong>r 2-c<strong>en</strong>trum is er e<strong>en</strong><br />

equival<strong>en</strong>t 2-c<strong>en</strong>trum E <strong>in</strong> of <strong>op</strong> <strong>de</strong> rand <strong>van</strong><br />

ABCD. Maar als E niet e<strong>en</strong> <strong>van</strong> <strong>de</strong> bov<strong>en</strong>g<strong>en</strong>oem<strong>de</strong><br />

neg<strong>en</strong> c<strong>en</strong>tra is, geeft <strong>de</strong> sam<strong>en</strong>stell<strong>in</strong>g<br />

<strong>van</strong> halve draai<strong>en</strong> rond A <strong>en</strong> E e<strong>en</strong> translatie<br />

die niet door T 1 <strong>en</strong> T 2 voortgebracht is, <strong>en</strong><br />

dat is onmogelijk. Er zijn dus precies vier nietequival<strong>en</strong>te<br />

soort<strong>en</strong> 2-c<strong>en</strong>tra <strong>in</strong> dit patroon <strong>en</strong><br />

<strong>de</strong> handtek<strong>en</strong><strong>in</strong>g er<strong>van</strong> is [g(2,2,2,2)].<br />

Als niet alle rotatiec<strong>en</strong>tra 2-c<strong>en</strong>tra zijn,<br />

neem ik twee c<strong>en</strong>tra A <strong>en</strong> B <strong>van</strong> respectievelijk<br />

or<strong>de</strong> p <strong>en</strong> q, bei<strong>de</strong> groter dan 2, met e<strong>en</strong><br />

m<strong>in</strong>imale afstand d. Stel dat C <strong>het</strong> hoekpunt<br />

is <strong>van</strong> <strong>de</strong> driehoek ABC met hoek<strong>en</strong> π/p <strong>en</strong><br />

π/q <strong>in</strong> respectievelijk A <strong>en</strong> B. Dan is C <strong>het</strong><br />

c<strong>en</strong>trum <strong>van</strong> e<strong>en</strong> rotatie <strong>in</strong> G met e<strong>en</strong> hoek<br />

2π/p + 2π/q = 2π − 2π/r voor e<strong>en</strong> zeker<br />

positief rationaal getal r, dus<br />

B<br />

C<br />

1<br />

p + 1 q + 1 = 1. (5)<br />

r<br />

A<br />

C<br />

T 1<br />

B<br />

T 2<br />

Figuur 10<br />

Door <strong>op</strong> B <strong>en</strong> C rotaties over 2π/3 <strong>en</strong> 4π/3<br />

rond A toe te pass<strong>en</strong>, gaan die over <strong>in</strong> <strong>de</strong><br />

vier overige hoekpunt<strong>en</strong> <strong>van</strong> e<strong>en</strong> regelmatige<br />

zeshoek met mid<strong>de</strong>lpunt A. Met behulp<br />

<strong>van</strong> <strong>de</strong> translaties T 1 <strong>en</strong> T 2 kun je <strong>het</strong> gehele<br />

<strong>vlak</strong> betegel<strong>en</strong> met zulke zeshoek<strong>en</strong>. Omdat<br />

B <strong>op</strong> m<strong>in</strong>imale afstand <strong>van</strong> A is g<strong>en</strong>om<strong>en</strong>,<br />

kan er ge<strong>en</strong> an<strong>de</strong>re rotatiec<strong>en</strong>trum <strong>van</strong> or<strong>de</strong><br />

groter dan 2 b<strong>in</strong>n<strong>en</strong> <strong>de</strong> zeshoek met mid<strong>de</strong>lpunt<br />

A ligg<strong>en</strong>, <strong>en</strong> dus ev<strong>en</strong>m<strong>in</strong> el<strong>de</strong>rs <strong>in</strong> <strong>het</strong><br />

patroon. Maar ook rotatiec<strong>en</strong>tra <strong>van</strong> or<strong>de</strong> 2<br />

kunn<strong>en</strong> niet voorkom<strong>en</strong>, want dan zou<strong>de</strong>n er<br />

ook c<strong>en</strong>tra zijn <strong>van</strong> rotaties over e<strong>en</strong> hoek<br />

2π/2 − 2π/3 = 2π/6, <strong>in</strong> teg<strong>en</strong>spraak met<br />

<strong>de</strong> bov<strong>en</strong>staan<strong>de</strong> <strong>op</strong>merk<strong>in</strong>g. De 3-c<strong>en</strong>tra A,<br />

B <strong>en</strong> C zijn niet equival<strong>en</strong>t, dus <strong>de</strong>ze groep<br />

heeft <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g [g(3,3,3)].<br />

Als <strong>in</strong> <strong>de</strong>zelf<strong>de</strong> notaties als bov<strong>en</strong> p <strong>en</strong> q<br />

niet bei<strong>de</strong> gelijk zijn aan 3 maar wel groter<br />

dan 2, ligt <strong>het</strong> punt C (dat e<strong>en</strong> rotatiec<strong>en</strong>trum<br />

<strong>van</strong> <strong>het</strong> patroon is) dichter bij A dan B, <strong>en</strong> dus<br />

moet C e<strong>en</strong> 2-c<strong>en</strong>trum zijn. Hieruit volgt dat<br />

r = 2 <strong>en</strong><br />

1<br />

p + 1 q = 1 2 , (6)<br />

<strong>het</strong>ge<strong>en</strong> kan wor<strong>de</strong>n geschrev<strong>en</strong> als (p −<br />

2)(q − 2) = 4. De <strong>en</strong>ige <strong>op</strong>loss<strong>in</strong>g<strong>en</strong> met<br />

p ≥ q ≥ 3 zijn (p, q) = (4, 4) <strong>en</strong> (p, q) = (6, 3).<br />

Dat houdt <strong>in</strong> <strong>het</strong> bijzon<strong>de</strong>r <strong>in</strong> dat <strong>in</strong> e<strong>en</strong> behangpatroon<br />

alle<strong>en</strong> maar 2-c<strong>en</strong>tra, 3-c<strong>en</strong>tra,<br />

4-c<strong>en</strong>tra <strong>en</strong> 6-c<strong>en</strong>tra voor kunn<strong>en</strong> kom<strong>en</strong>. Dit<br />

is <strong>de</strong> beroem<strong>de</strong> kristallografische beperk<strong>in</strong>g.<br />

Als p = q = 4 moet<strong>en</strong> A <strong>en</strong> B naburige<br />

4-c<strong>en</strong>tra zijn <strong>en</strong> zoals we al wet<strong>en</strong> is C e<strong>en</strong><br />

2-c<strong>en</strong>trum. Driehoek ABC is dan e<strong>en</strong> gelijkb<strong>en</strong>ige<br />

rechthoekige driehoek die je <strong>op</strong> kunt<br />

vatt<strong>en</strong> als <strong>de</strong>el <strong>van</strong> e<strong>en</strong> vierkant met A als<br />

e<strong>en</strong> <strong>van</strong> <strong>de</strong> hoekpunt<strong>en</strong>, B als mid<strong>de</strong>lpunt <strong>en</strong><br />

C als <strong>het</strong> mid<strong>de</strong>n <strong>van</strong> e<strong>en</strong> zij<strong>de</strong> die <strong>in</strong> A beg<strong>in</strong>t.<br />

E<strong>en</strong> comb<strong>in</strong>atie <strong>van</strong> rotaties rond A <strong>en</strong><br />

B met hoek<strong>en</strong> ±2π/4 <strong>en</strong> ∓2π/4 geeft translaties<br />

langs twee <strong>van</strong> <strong>de</strong> zij<strong>de</strong>n <strong>van</strong> dit vierkant.<br />

Deze translaties br<strong>en</strong>g<strong>en</strong> T voort. Hieruit<br />

volgt dat A <strong>en</strong> B niet-equival<strong>en</strong>te 4-c<strong>en</strong>tra zijn,<br />

<strong>en</strong> dus is <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> <strong>de</strong>ze groep<br />

[g(4,4,2)] (zie Figuur 11).<br />

Op net zo’n manier leidt <strong>het</strong> geval p = 6,<br />

q = 3 tot e<strong>en</strong> patroon <strong>van</strong> 6-c<strong>en</strong>tra, 3-c<strong>en</strong>tra<br />

<strong>en</strong> 2-c<strong>en</strong>tra die e<strong>en</strong> rooster <strong>van</strong> gelijkzijdige<br />

driehoek<strong>en</strong> vorm<strong>en</strong> met 6-c<strong>en</strong>tra <strong>in</strong> hun hoekpunt<strong>en</strong>,<br />

3-c<strong>en</strong>tra <strong>in</strong> hun mid<strong>de</strong>lpunt<strong>en</strong> <strong>en</strong> 2-<br />

c<strong>en</strong>tra <strong>in</strong> <strong>de</strong> mid<strong>de</strong>ns <strong>van</strong> <strong>de</strong> zij<strong>de</strong>n. De handtek<strong>en</strong><strong>in</strong>g<br />

<strong>van</strong> dit patroon is [g(6,3,2)] (zie Figuur<br />

12).<br />

Merk <strong>op</strong> dat vergelijk<strong>in</strong>g (5) kan wor<strong>de</strong>n<br />

geschrev<strong>en</strong> als<br />

2 =<br />

(<br />

1 − 1 p<br />

of, korter, als<br />

)<br />

+<br />

(<br />

1 − 1 q<br />

)<br />

2 = ∑ ( 1 − 1 p<br />

)<br />

(<br />

+ 1 − 1 )<br />

,<br />

r<br />

. (7)<br />

Deze vergelijk<strong>in</strong>g heeft <strong>de</strong>zelf<strong>de</strong> vorm als vergelijk<strong>in</strong>g<br />

(3). Ook <strong>het</strong> patroon [g(2,2,2,2)] voldoet<br />

hieraan (met vier 2-c<strong>en</strong>tra <strong>van</strong> ‘gewicht’<br />

1<br />

2 = 1 − 1 2<br />

). Zelfs e<strong>en</strong> patroon met handtek<strong>en</strong><strong>in</strong>g<br />

[O] voldoet aan <strong>de</strong>ze vergelijk<strong>in</strong>g als je <strong>de</strong><br />

twee voortbr<strong>en</strong>g<strong>en</strong><strong>de</strong> translaties ziet als rotaties<br />

met rotatiehoek 0 <strong>en</strong> ‘or<strong>de</strong>’ ∞. Elk geeft<br />

dan e<strong>en</strong> bijdrage <strong>van</strong> ‘gewicht’ 1 − 1/∞ = 1<br />

aan <strong>het</strong> rechterlid.<br />

Achirale behangpatron<strong>en</strong><br />

Nu <strong>de</strong> achirale patron<strong>en</strong>. Dan moet <strong>de</strong> symmetriegroep<br />

G m<strong>in</strong>st<strong>en</strong>s één lijnspiegel<strong>in</strong>g of glijspiegel<strong>in</strong>g<br />

bevatt<strong>en</strong>. De directe isometrieën <strong>in</strong><br />

G vorm<strong>en</strong> dan e<strong>en</strong> on<strong>de</strong>rgroep H <strong>van</strong> <strong>in</strong><strong>de</strong>x 2.<br />

Als p = q = 3 dan is ook r = 3, dus dan zijn<br />

A, B <strong>en</strong> C allemaal 3-c<strong>en</strong>tra. De comb<strong>in</strong>atie<br />

<strong>van</strong> e<strong>en</strong> rotatie met hoek +2π/3 rond A <strong>en</strong><br />

e<strong>en</strong> rotatie met hoek −2π/3 rond B geeft e<strong>en</strong><br />

translatie T 1 , <strong>en</strong> <strong>de</strong> comb<strong>in</strong>atie <strong>van</strong> e<strong>en</strong> rotatie<br />

met hoek −2π/3 rond A <strong>en</strong> +2π/3 rond B<br />

geeft e<strong>en</strong> translatie T 2 (zie Figuur 10).<br />

B<br />

A C<br />

Figuur 11 [g(4,4,2)]<br />

Figuur 12 [g(6,3,2)]


250 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

Rotatiegroep<strong>en</strong> Gem<strong>en</strong>g<strong>de</strong> groep<strong>en</strong> Spiegel<strong>in</strong>gsgroep<strong>en</strong><br />

(chirale patron<strong>en</strong>) (achirale patron<strong>en</strong>) (achirale patron<strong>en</strong>)<br />

[O] [g(2,2) s] [g(2,2) x] [s s] [s x] [x x]<br />

[g(2,2,2,2)] [g(2) s(2,2)] [s(2,2,2,2)]<br />

[g(3,3,3)] [g(3) s(3)] [s(3,3,3)]<br />

[g(4,4,2)] [g(4) s(2)] [s(4,4,2)]<br />

[g(6,3,2)]<br />

Tabel 5 De zev<strong>en</strong>ti<strong>en</strong> typ<strong>en</strong> symmetriegroep<strong>en</strong> <strong>van</strong> behangpatron<strong>en</strong><br />

De translaties vorm<strong>en</strong> e<strong>en</strong> on<strong>de</strong>rgroep T <strong>van</strong><br />

H. Ik on<strong>de</strong>rscheid nu vier gevall<strong>en</strong>.<br />

Geval 1: achirale patron<strong>en</strong> zon<strong>de</strong>r rotaties.<br />

Stel eerst dat G ge<strong>en</strong> rotaties bevat. Dan is<br />

H = T. Spiegellijn<strong>en</strong> <strong>en</strong> glijspiegelass<strong>en</strong> kunn<strong>en</strong><br />

dan maar <strong>in</strong> één richt<strong>in</strong>g voorkom<strong>en</strong>, want<br />

als ze elkaar snij<strong>de</strong>n, zijn er ook niet-triviale<br />

rotaties. Ik neem aan dat alle ev<strong>en</strong>tuele spiegellijn<strong>en</strong><br />

<strong>en</strong> glijspiegelass<strong>en</strong> verticaal zijn.<br />

Als er e<strong>en</strong> spiegellijn m is, zijn er ook one<strong>in</strong>dig<br />

veel, <strong>en</strong> ze ligg<strong>en</strong> <strong>op</strong> gelijke afstan<strong>de</strong>n<br />

<strong>van</strong> elkaar. Stel dat m ′ e<strong>en</strong> spiegellijn is <strong>op</strong><br />

m<strong>in</strong>imale afstand <strong>van</strong> m. Als m <strong>en</strong> m ′ niet<br />

equival<strong>en</strong>t zijn, zijn er precies twee soort<strong>en</strong><br />

spiegellijn<strong>en</strong>. Ze zijn equival<strong>en</strong>t met m of m ′ .<br />

De handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> <strong>de</strong> groep is dan [s s].<br />

Als m <strong>en</strong> m ′ equival<strong>en</strong>t zijn, moet er e<strong>en</strong><br />

glijspiegel<strong>in</strong>g zijn die ze <strong>in</strong> elkaar overvoert.<br />

De glijspiegelas moet dan precies halverwege<br />

m <strong>en</strong> m ′ ligg<strong>en</strong>. Spiegellijn<strong>en</strong> <strong>en</strong> glijspiegelass<strong>en</strong><br />

wissel<strong>en</strong> elkaar dan <strong>op</strong> gelijke afstan<strong>de</strong>n<br />

af. Alle spiegelass<strong>en</strong> zijn equival<strong>en</strong>t<br />

<strong>en</strong> alle glijspiegelass<strong>en</strong> ook. De groep heeft<br />

als handtek<strong>en</strong><strong>in</strong>g [s x].<br />

Als er ge<strong>en</strong> spiegellijn<strong>en</strong> zijn, dan zijn er<br />

glijspiegelass<strong>en</strong>, allemaal parallel. Als n <strong>en</strong><br />

n ′ naburige ass<strong>en</strong> zijn, kunn<strong>en</strong> ze niet equival<strong>en</strong>t<br />

zijn, maar alle an<strong>de</strong>re ass<strong>en</strong> zijn equival<strong>en</strong>t<br />

met <strong>het</strong>zij n, <strong>het</strong>zij n ′ . De handtek<strong>en</strong><strong>in</strong>g<br />

is dan [x x].<br />

[s(6,3,2)]<br />

Geval 2: alle rotatiec<strong>en</strong>tra ligg<strong>en</strong> <strong>op</strong> spiegellijn<strong>en</strong>.<br />

Als er <strong>in</strong> e<strong>en</strong> achiraal patroon rotatiec<strong>en</strong>tra<br />

voorkom<strong>en</strong>, kunn<strong>en</strong> ze al dan niet <strong>op</strong><br />

spiegellijn<strong>en</strong> ligg<strong>en</strong>. Ik bekijk eerst <strong>het</strong> geval<br />

dat ze allemaal <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>. De on<strong>de</strong>rgroep<br />

H <strong>van</strong> alle directe isometrieën <strong>in</strong> G is<br />

dan e<strong>en</strong> <strong>van</strong> <strong>de</strong> vier typ<strong>en</strong> met handtek<strong>en</strong><strong>in</strong>g<br />

[g(2,2,2,2)], [g(3,3,3)], [g(4,4,2)] of [g(6,3,2)],<br />

<strong>en</strong> <strong>de</strong> voorbeel<strong>de</strong>n <strong>in</strong> Figuur 7 lat<strong>en</strong> zi<strong>en</strong> dat<br />

<strong>het</strong> <strong>in</strong> <strong>de</strong> laatste drie gevall<strong>en</strong> mogelijk is om<br />

<strong>de</strong> rotatiec<strong>en</strong>tra zo door spiegellijn<strong>en</strong> te verb<strong>in</strong><strong>de</strong>n<br />

dat er door elk q-c<strong>en</strong>trum precies q<br />

spiegellijn<strong>en</strong> gaan, waarbij aangr<strong>en</strong>z<strong>en</strong><strong>de</strong> lijn<strong>en</strong><br />

elkaar snij<strong>de</strong>n on<strong>de</strong>r e<strong>en</strong> hoek <strong>van</strong> π/q<br />

radial<strong>en</strong>. Op die manier krijg je <strong>de</strong> spiegel<strong>in</strong>gsgroep<strong>en</strong><br />

met handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> [s(3,3,3)],<br />

[s(4,4,2)], [s(6,3,2)].<br />

Voor patron<strong>en</strong> met [g(2,2,2,2)] als handtek<strong>en</strong><strong>in</strong>g<br />

lukt dat alle<strong>en</strong> als <strong>de</strong> parallellogramm<strong>en</strong><br />

<strong>van</strong> <strong>de</strong> 2-c<strong>en</strong>tra rechthoek<strong>en</strong> zijn.<br />

De spiegellijn<strong>en</strong> vorm<strong>en</strong> dan e<strong>en</strong> rechthoekig<br />

rooster <strong>en</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g is [s(2,2,2,2)].<br />

Merk <strong>op</strong> dat al <strong>de</strong>ze spiegel<strong>in</strong>gsgroep<strong>en</strong><br />

voortgebracht wor<strong>de</strong>n door hun spiegel<strong>in</strong>g<strong>en</strong>.<br />

Merk ook <strong>op</strong> dat vergelijk<strong>in</strong>g (7) <strong>in</strong> dit geval<br />

luidt 2 = ∑ ( 1 − 1 q<br />

)<br />

of, na <strong>de</strong>l<strong>en</strong> door 2,<br />

1 = ∑ ( 1<br />

2 − 1<br />

)<br />

, (8)<br />

2q<br />

<strong>het</strong>ge<strong>en</strong> overe<strong>en</strong>komt met vergelijk<strong>in</strong>g (4)<br />

voor achirale strookpatron<strong>en</strong> (er zijn <strong>in</strong> dit geval<br />

ge<strong>en</strong> p-voudige rotatiec<strong>en</strong>tra).<br />

Geval 3: er zijn rotatiec<strong>en</strong>tra maar ge<strong>en</strong> spiegellijn<strong>en</strong>.<br />

Stel nu dat er wel rotatiec<strong>en</strong>tra zijn<br />

maar ge<strong>en</strong> spiegellijn<strong>en</strong>. Ook <strong>in</strong> dit geval moet<br />

<strong>de</strong> on<strong>de</strong>rgroep H <strong>van</strong> alle directe isometrieën<br />

e<strong>en</strong> <strong>van</strong> <strong>de</strong> vier handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> [g(2,2,2,2)],<br />

[g(3,3,3)], [g(4,4,2)] of [g(6,3,2)] hebb<strong>en</strong>. En<br />

er moet dan e<strong>en</strong> glijspiegel<strong>in</strong>g G <strong>in</strong> G zijn. Net<br />

als alle isometrieën <strong>in</strong> G moet <strong>de</strong>ze glijspiegel<strong>in</strong>g<br />

p-c<strong>en</strong>tra <strong>in</strong> p-c<strong>en</strong>tra transformer<strong>en</strong>. Maar<br />

als G e<strong>en</strong> p-c<strong>en</strong>trum A <strong>in</strong> e<strong>en</strong> p-c<strong>en</strong>trum A ′<br />

transformeert dat equival<strong>en</strong>t met A is <strong>in</strong> H,<br />

dan is er e<strong>en</strong> directe isometrie D die A ′ weer<br />

terugbr<strong>en</strong>gt naar A. Dan heeft <strong>de</strong> <strong>in</strong>directe<br />

isometrie DG <strong>het</strong> punt A als e<strong>en</strong> vast punt,<br />

<strong>en</strong> dus moet die isometrie dan e<strong>en</strong> spiegel<strong>in</strong>g<br />

zijn <strong>in</strong> e<strong>en</strong> lijn door A, <strong>in</strong> teg<strong>en</strong>spraak met <strong>de</strong><br />

aanname dat <strong>het</strong> patroon ge<strong>en</strong> spiegellijn<strong>en</strong><br />

heeft.<br />

Maar als G ge<strong>en</strong> rotatiec<strong>en</strong>tra <strong>in</strong> equival<strong>en</strong>te<br />

rotatiec<strong>en</strong>tra kan transformer<strong>en</strong> (equival<strong>en</strong>t<br />

<strong>in</strong> H) dan zijn <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<strong>en</strong><br />

[g(4,4,2)] <strong>en</strong> [g(6,3,2)] voor H uitgeslot<strong>en</strong> omdat<br />

bijvoorbeeld <strong>de</strong> 2-c<strong>en</strong>tra <strong>in</strong> 2-c<strong>en</strong>tra moet<strong>en</strong><br />

overgaan, <strong>en</strong> die zijn allemaal equival<strong>en</strong>t<br />

<strong>in</strong> H.<br />

Ook [g(3,3,3)] is niet mogelijk, want stel<br />

dat G e<strong>en</strong> 3-c<strong>en</strong>trum A transformeert <strong>in</strong> e<strong>en</strong><br />

3-c<strong>en</strong>trum B dat <strong>in</strong> H niet equival<strong>en</strong>t is met<br />

A. Dan gaat B over <strong>in</strong> GB = G 2 A <strong>en</strong> omdat G 2<br />

e<strong>en</strong> translatie is, is GB = G 2 A <strong>in</strong> H equival<strong>en</strong>t<br />

met A. Alle 3-c<strong>en</strong>tra die <strong>in</strong> H met A equival<strong>en</strong>t<br />

zijn, wor<strong>de</strong>n dus door G getransformeerd<br />

<strong>in</strong> c<strong>en</strong>tra die <strong>in</strong> H met B equival<strong>en</strong>t zijn, <strong>en</strong><br />

omgekeerd. Maar dan wordt elk 3-c<strong>en</strong>trum C<br />

dat <strong>in</strong> H noch met A, noch met B equival<strong>en</strong>t<br />

is, door G <strong>in</strong> e<strong>en</strong> 3-c<strong>en</strong>trum getransformeerd<br />

dat <strong>in</strong> H equival<strong>en</strong>t is met C, <strong>het</strong>ge<strong>en</strong> e<strong>en</strong> teg<strong>en</strong>spraak<br />

is.<br />

Als <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> H gelijk is aan<br />

[g(2,2,2,2)], kan <strong>het</strong> echter gebeur<strong>en</strong> dat er<br />

e<strong>en</strong> glijspiegel<strong>in</strong>g G is zon<strong>de</strong>r dat er spiegellijn<strong>en</strong><br />

zijn, namelijk als <strong>de</strong> 2-c<strong>en</strong>tra e<strong>en</strong> rechthoekig<br />

rooster vorm<strong>en</strong>. Als A, B, C <strong>en</strong> D 2-<br />

c<strong>en</strong>tra zijn die e<strong>en</strong> rechthoek ABCD vorm<strong>en</strong><br />

<strong>van</strong> m<strong>in</strong>imale zij<strong>de</strong>l<strong>en</strong>gt<strong>en</strong>, dan is er e<strong>en</strong> glijspiegel<strong>in</strong>g<br />

G met GA = C <strong>en</strong> GB = D. In feite<br />

zijn er zelfs twee <strong>van</strong> die glijspiegel<strong>in</strong>g<strong>en</strong> met<br />

ass<strong>en</strong> door <strong>het</strong> mid<strong>de</strong>lpunt <strong>van</strong> die rechthoek<br />

die ev<strong>en</strong>wijdig aan <strong>de</strong> zij<strong>de</strong>n zijn. Er zijn dan<br />

twee niet-equival<strong>en</strong>te soort<strong>en</strong> 2-c<strong>en</strong>tra <strong>en</strong> <strong>het</strong><br />

patroon heeft handtek<strong>en</strong><strong>in</strong>g [g(2,2) x].<br />

Geval 4: er zijn spiegellijn<strong>en</strong> <strong>en</strong> rotatiec<strong>en</strong>tra<br />

die niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>. T<strong>en</strong> slotte<br />

bekijk ik <strong>het</strong> geval dat er spiegellijn<strong>en</strong> zijn<br />

<strong>en</strong> rotatiec<strong>en</strong>tra die niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>.<br />

Het kan voorkom<strong>en</strong> dat alle spiegellijn<strong>en</strong><br />

parallel zijn. Neem aan dat ze verticaal<br />

zijn. Rotatiec<strong>en</strong>tra die niet <strong>op</strong> die spiegellijn<strong>en</strong><br />

ligg<strong>en</strong>, kunn<strong>en</strong> dan alle<strong>en</strong> maar 2-c<strong>en</strong>tra<br />

zijn <strong>en</strong> ze moet<strong>en</strong> precies mid<strong>de</strong>n tuss<strong>en</strong> twee<br />

naburige spiegellijn<strong>en</strong> <strong>in</strong> ligg<strong>en</strong>. Als A zo’n 2-<br />

c<strong>en</strong>trum is, moet<strong>en</strong> er <strong>op</strong> <strong>de</strong> verticale lijn door<br />

A nog meer <strong>van</strong> die c<strong>en</strong>tra ligg<strong>en</strong>. Laat B <strong>het</strong> 2-<br />

c<strong>en</strong>trum zijn dat <strong>het</strong> dichtst bov<strong>en</strong> A ligt. Dan<br />

zijn <strong>de</strong> 2-c<strong>en</strong>tra A <strong>en</strong> B niet equival<strong>en</strong>t, <strong>en</strong> elk<br />

an<strong>de</strong>r 2-c<strong>en</strong>trum is equival<strong>en</strong>t met A of B. De<br />

handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> dit patroon is [g(2,2) s].<br />

Als er spiegellijn<strong>en</strong> <strong>in</strong> meer<strong>de</strong>re richt<strong>in</strong>g<strong>en</strong><br />

zijn, kan <strong>het</strong> voorkom<strong>en</strong> dat alle rotatiec<strong>en</strong>tra<br />

<strong>op</strong> spiegellijn<strong>en</strong> 2-c<strong>en</strong>tra zijn. De spiegellijn<strong>en</strong><br />

vorm<strong>en</strong> dan e<strong>en</strong> rechthoekig rooster <strong>en</strong><br />

<strong>de</strong> rotatiec<strong>en</strong>tra die niet <strong>op</strong> e<strong>en</strong> spiegellijn ligg<strong>en</strong><br />

moet<strong>en</strong> dan <strong>in</strong> <strong>de</strong> mid<strong>de</strong>lpunt<strong>en</strong> <strong>van</strong> die<br />

rechthoek<strong>en</strong> ligg<strong>en</strong>. Ze zijn dan allemaal equival<strong>en</strong>t<br />

via <strong>de</strong> spiegel<strong>in</strong>g<strong>en</strong> <strong>in</strong> <strong>de</strong> lijn<strong>en</strong> <strong>van</strong> <strong>het</strong><br />

rooster. Als <strong>het</strong> 2-c<strong>en</strong>tra zijn, zijn er twee soort<strong>en</strong><br />

2-c<strong>en</strong>tra <strong>op</strong> <strong>de</strong> snijpunt<strong>en</strong> <strong>van</strong> <strong>de</strong> spiegellijn<strong>en</strong>,<br />

<strong>en</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g is dan [g(2) s(2,2)].<br />

Als <strong>de</strong> mid<strong>de</strong>lpunt<strong>en</strong> <strong>van</strong> <strong>de</strong> rechthoek<strong>en</strong> 4-<br />

c<strong>en</strong>tra zijn, moet <strong>het</strong> rooster <strong>van</strong> spiegellijn<strong>en</strong><br />

e<strong>en</strong> vierkant<strong>en</strong>rooster zijn. Alle snijpunt<strong>en</strong><br />

<strong>van</strong> roosterlijn<strong>en</strong> zijn dan equival<strong>en</strong>te 2-<br />

c<strong>en</strong>tra <strong>en</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g is [g(4) s(2)].<br />

T<strong>en</strong> slotte, als er q-c<strong>en</strong>tra <strong>van</strong> or<strong>de</strong> q ≥ 3<br />

<strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, dan heeft <strong>de</strong> on<strong>de</strong>rgroep<br />

<strong>van</strong> alle isometrieën <strong>in</strong> G die voortge-<br />

0 10


Jan <strong>van</strong> <strong>de</strong> Craats <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> NAW 5/12 nr. 4 <strong>de</strong>cember 2011 251<br />

bracht wordt door alle spiegel<strong>in</strong>g<strong>en</strong> als handtek<strong>en</strong><strong>in</strong>g<br />

[s(3,3,3], [s(4,4,2)] of [s(6,3,2)]. Maar<br />

<strong>in</strong> <strong>de</strong> laatste twee gevall<strong>en</strong> zijn <strong>de</strong> ‘cell<strong>en</strong>’<br />

die door <strong>de</strong> spiegellijn<strong>en</strong> wor<strong>de</strong>n begr<strong>en</strong>sd<br />

rechthoekige driehoek<strong>en</strong>, <strong>en</strong> dan kunn<strong>en</strong> er<br />

ge<strong>en</strong> rotatiec<strong>en</strong>tra zijn die niet <strong>op</strong> spiegellijn<strong>en</strong><br />

ligg<strong>en</strong>. Dat kan wél <strong>in</strong> <strong>het</strong> geval [s(3,3,3)].<br />

Dan zijn <strong>de</strong> cell<strong>en</strong> gelijkzijdige driehoek<strong>en</strong>,<br />

<strong>en</strong> <strong>in</strong> <strong>de</strong> c<strong>en</strong>tra daar<strong>van</strong> kunn<strong>en</strong> 3-c<strong>en</strong>tra wor<strong>de</strong>n<br />

geplaatst. Dan wor<strong>de</strong>n alle 3-c<strong>en</strong>tra <strong>op</strong> <strong>de</strong><br />

spiegellijn<strong>en</strong> equival<strong>en</strong>t, <strong>en</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g<br />

<strong>van</strong> dit patroon is [g(3) s(3)].<br />

Hiermee is <strong>de</strong> beschrijv<strong>in</strong>g <strong>van</strong> alle typ<strong>en</strong><br />

behangpatron<strong>en</strong> voltooid. Met <strong>het</strong> oog <strong>op</strong><br />

Conways ‘magic theorems’ die nog ter sprake<br />

zull<strong>en</strong> kom<strong>en</strong>, merk ik <strong>op</strong> dat je direct<br />

kunt controler<strong>en</strong> dat bij alle achirale patron<strong>en</strong><br />

waar<strong>in</strong> rotatiec<strong>en</strong>tra voorkom<strong>en</strong>, voldaan<br />

is aan <strong>de</strong> vergelijk<strong>in</strong>g<br />

1 = ∑ ( 1<br />

2 − 1<br />

)<br />

+ ∑ ( 1 − 1 )<br />

, (9)<br />

2q<br />

p<br />

die <strong>het</strong>zelf<strong>de</strong> is als vergelijk<strong>in</strong>g (4) voor achirale<br />

strookpatron<strong>en</strong>. De p-sommatie strekt<br />

zich daarbij uit over alle equival<strong>en</strong>tieklass<strong>en</strong><br />

<strong>van</strong> rotatiec<strong>en</strong>tra die niet, <strong>en</strong> <strong>de</strong> q-sommatie<br />

over alle klass<strong>en</strong> <strong>van</strong> c<strong>en</strong>tra die wél <strong>op</strong> spiegellijn<strong>en</strong><br />

ligg<strong>en</strong>.<br />

Sam<strong>en</strong>vatt<strong>in</strong>g<br />

In Tabel 5 vat ik <strong>de</strong> verkreg<strong>en</strong> resultat<strong>en</strong> sam<strong>en</strong>.<br />

De symmetriegroep<strong>en</strong> <strong>van</strong> <strong>de</strong> chirale<br />

patron<strong>en</strong> <strong>het</strong><strong>en</strong> rotatiegroep<strong>en</strong> (be<strong>de</strong>nk dat<br />

translaties kunn<strong>en</strong> wor<strong>de</strong>n <strong>op</strong>gevat als rotaties<br />

met rotatiehoek 0 <strong>en</strong> c<strong>en</strong>trum <strong>op</strong> one<strong>in</strong>dig).<br />

Groep<strong>en</strong> waar<strong>in</strong> alle rotatiec<strong>en</strong>tra (voor<br />

zover aanwezig) <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, <strong>het</strong><strong>en</strong><br />

spiegel<strong>in</strong>gsgroep<strong>en</strong> <strong>en</strong> groep<strong>en</strong> <strong>van</strong> achirale<br />

patron<strong>en</strong> waar<strong>in</strong> rotatiec<strong>en</strong>tra voorkom<strong>en</strong><br />

die niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, <strong>het</strong><strong>en</strong> gem<strong>en</strong>g<strong>de</strong><br />

groep<strong>en</strong>.<br />

Conways ‘Magic Theorems’<br />

E<strong>en</strong> <strong>van</strong> <strong>de</strong> meest <strong>in</strong>triger<strong>en</strong><strong>de</strong> zak<strong>en</strong> <strong>in</strong> <strong>de</strong><br />

behan<strong>de</strong>l<strong>in</strong>g <strong>van</strong> <strong>de</strong> symmetriepatron<strong>en</strong> <strong>in</strong> [1]<br />

is <strong>het</strong> gebruik <strong>van</strong> ‘magic theorems’ om <strong>de</strong><br />

<strong>op</strong>somm<strong>in</strong>g <strong>van</strong> symmetriepatron<strong>en</strong> te vergemakkelijk<strong>en</strong>.<br />

Deze stell<strong>in</strong>g<strong>en</strong> wor<strong>de</strong>n al <strong>in</strong> <strong>het</strong><br />

beg<strong>in</strong> <strong>van</strong> <strong>het</strong> boek gebruikt, maar <strong>de</strong> bewijz<strong>en</strong><br />

er<strong>van</strong> wor<strong>de</strong>n steeds maar uitgesteld. Dat<br />

komt omdat <strong>de</strong> bewijz<strong>en</strong> die <strong>de</strong> auteurs uite<strong>in</strong><strong>de</strong>lijk<br />

gev<strong>en</strong>, gebruik mak<strong>en</strong> <strong>van</strong> gea<strong>van</strong>ceer<strong>de</strong><br />

t<strong>op</strong>ologische hulpmid<strong>de</strong>l<strong>en</strong> zoals <strong>het</strong><br />

begrip orbifold, <strong>de</strong> Euler karakteristiek <strong>en</strong> <strong>de</strong><br />

classificatie <strong>van</strong> <strong>op</strong>per<strong>vlak</strong>k<strong>en</strong>. In mijn meer<br />

elem<strong>en</strong>taire behan<strong>de</strong>l<strong>in</strong>g <strong>van</strong> symmetrische<br />

patron<strong>en</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> krijg ik ze<br />

JvdC Con or<strong>de</strong><br />

Rozetpatron<strong>en</strong> [g(N)] N• N<br />

[s(N)] ∗N• 2N<br />

Bolpatron<strong>en</strong> [g(N, N)] NN N<br />

(parametrisch) [s(N, N)] ∗NN 2N<br />

[g(N) s] N∗ 2N<br />

[g(N) x] N× 2N<br />

[g(N,2,2)] 22N 2N<br />

[s(N,2,2)] ∗22N 4N<br />

[g(2) s(N)] 2∗N 4N<br />

Bolpatron<strong>en</strong> [g(3,3,2)] 332 12<br />

(platonisch) [s(3,3,2)] ∗332 24<br />

[g(3) s(2)] 3∗2 24<br />

[g(4,3,2)] 432 24<br />

[s(4,3,2)] ∗432 48<br />

[g(5,3,2)] 532 60<br />

[s(5,3,2)] ∗532 120<br />

Tabel 6 Notaties voor e<strong>in</strong>dige symmetriepatron<strong>en</strong><br />

JvdC Con Int<br />

Strook- [g(∞, ∞)] ∞∞ p111<br />

patron<strong>en</strong> [s(∞, ∞)] ∗∞∞ pm11<br />

[g(∞) s] ∞∗ p1m1<br />

[g(∞) x] ∞× p1a1<br />

[g(∞,2,2)] 22∞ p112<br />

[s(∞,2,2)] ∗22∞ pmm2<br />

[g(2) s(∞)] 2∗∞ pma2<br />

Behang- [O] O p1<br />

patron<strong>en</strong> [s s] ∗∗ pm<br />

[s x] ∗× cm<br />

[x x] ×× pg<br />

[g(2,2) s] 22∗ pmg<br />

[g(2,2) x] 22× pgg<br />

[g(2,2,2,2)] 2222 p2<br />

[g(2) s(2,2)] 2∗22 cmm<br />

[s(2,2,2,2)] ∗2222 pmm<br />

[g(3,3,3)] 333 p3<br />

[g(3) s(3)] 3∗3 p31m<br />

[s(3,3,3)] ∗333 p3m1<br />

[g(4,4,2)] 442 p4<br />

[g(4) s(2)] 4∗2 p4g<br />

[s(4,4,2)] ∗442 p4m<br />

[g(6,3,2)] 632 p6<br />

[s(6,3,2)] ∗632 p6m<br />

Tabel 7 Notaties voor strookpatron<strong>en</strong> <strong>en</strong> behangpatron<strong>en</strong><br />

als bij<strong>van</strong>gst ca<strong>de</strong>au. Ik wijs er echter <strong>op</strong> dat<br />

Conways bewijs dieper <strong>in</strong>zicht geeft <strong>en</strong> ook<br />

gebruikt kan wor<strong>de</strong>n bij algem<strong>en</strong>ere symmetrieproblem<strong>en</strong>,<br />

zoals blijkt uit <strong>de</strong> <strong>de</strong>l<strong>en</strong> II <strong>en</strong><br />

III <strong>van</strong> <strong>het</strong> boek.<br />

Allereerst <strong>de</strong>f<strong>in</strong>iër<strong>en</strong> Conway, Burgiel <strong>en</strong><br />

1 11


252 NAW 5/12 nr. 4 <strong>de</strong>cember 2011 <strong>Symmetrie</strong> <strong>op</strong> <strong>de</strong> <strong>bol</strong> <strong>en</strong> <strong>in</strong> <strong>het</strong> <strong>vlak</strong> Jan <strong>van</strong> <strong>de</strong> Craats<br />

Goodman–Strauss bij elke symmetrie-eig<strong>en</strong>schap<br />

<strong>van</strong> e<strong>en</strong> patroon die <strong>in</strong> e<strong>en</strong> handtek<strong>en</strong><strong>in</strong>g<br />

voorkomt, <strong>op</strong> <strong>de</strong> volg<strong>en</strong><strong>de</strong> manier <strong>de</strong><br />

‘kost<strong>en</strong>’ er<strong>van</strong>. In plaats <strong>van</strong> ‘kost<strong>en</strong>’ gebruik<br />

ik liever <strong>de</strong> term ‘gewicht’.<br />

− Voor e<strong>en</strong> equival<strong>en</strong>tieklasse <strong>van</strong> p-voudige<br />

rotatiec<strong>en</strong>tra die niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>,<br />

is <strong>het</strong> gewicht 1 − 1 p .<br />

− Voor e<strong>en</strong> equival<strong>en</strong>tieklasse <strong>van</strong> q-voudige<br />

rotatiec<strong>en</strong>tra die <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, is<br />

<strong>het</strong> gewicht 1 2 − 1<br />

2q .<br />

− Voor e<strong>en</strong> symbool ‘s’ (met of zon<strong>de</strong>r haakjes<br />

erachter) is <strong>het</strong> gewicht 1.<br />

− Voor e<strong>en</strong> symbool ‘x’ is <strong>het</strong> gewicht 1.<br />

− Voor <strong>het</strong> symbool ‘g’ is <strong>het</strong> gewicht 0.<br />

− Voor <strong>het</strong> symbool ‘O’ is <strong>het</strong> gewicht 2.<br />

Merk <strong>op</strong> dat voor equival<strong>en</strong>tieklass<strong>en</strong> <strong>van</strong><br />

∞-voudige rotatiepunt<strong>en</strong> (die voorkom<strong>en</strong> <strong>in</strong><br />

strookpatron<strong>en</strong>) <strong>het</strong> gewicht gelijk is aan 1<br />

als ze niet <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong>, <strong>en</strong> 1 2 als<br />

ze wel <strong>op</strong> spiegellijn<strong>en</strong> ligg<strong>en</strong> (laat p → ∞,<br />

respectievelijk q → ∞). Ik geef nu Conways<br />

Magic Theorems.<br />

Conways Magic Theorem voor <strong>bol</strong>patron<strong>en</strong>.<br />

Het totale gewicht <strong>van</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g <strong>van</strong><br />

e<strong>en</strong> <strong>bol</strong>patroon met e<strong>en</strong> symmetriegroep <strong>van</strong><br />

or<strong>de</strong> n is 2 − 2 n .<br />

Bewijs. Voor chirale patron<strong>en</strong> is dit vergelijk<strong>in</strong>g<br />

(1). Voor achirale patron<strong>en</strong> is dit vergelijk<strong>in</strong>g<br />

(2) als je bij <strong>de</strong> bei<strong>de</strong> le<strong>de</strong>n 1 <strong>op</strong>telt om<br />

<strong>het</strong> symbool ‘s’ of <strong>het</strong> symbool ‘x’ <strong>in</strong> rek<strong>en</strong><strong>in</strong>g<br />

te br<strong>en</strong>g<strong>en</strong>.<br />

Conways Magic Theorem voor strookpatron<strong>en</strong><br />

<strong>en</strong> behangpatron<strong>en</strong>. Het totale gewicht<br />

<strong>van</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g <strong>van</strong> e<strong>en</strong> strookpatroon<br />

of e<strong>en</strong> behangpatroon is 2.<br />

Bewijs. Voor chirale strookpatron<strong>en</strong> is dit vergelijk<strong>in</strong>g<br />

(3). Voor achirale strookpatron<strong>en</strong> is<br />

dit vergelijk<strong>in</strong>g (4) als je bij <strong>de</strong> bei<strong>de</strong> le<strong>de</strong>n<br />

1 <strong>op</strong>telt om <strong>het</strong> symbool ‘s’ of <strong>het</strong> symbool<br />

‘x’ <strong>in</strong> rek<strong>en</strong><strong>in</strong>g te br<strong>en</strong>g<strong>en</strong>. Zie voor chirale behangpatron<strong>en</strong><br />

vergelijk<strong>in</strong>g (7) <strong>en</strong> <strong>de</strong> <strong>op</strong>merk<strong>in</strong>g<strong>en</strong><br />

erna. Voor achirale behangpatron<strong>en</strong> is<br />

<strong>het</strong> vergelijk<strong>in</strong>g (9) als je bij <strong>de</strong> bei<strong>de</strong> le<strong>de</strong>n 1<br />

<strong>op</strong>telt om <strong>het</strong> symbool ‘s’ of <strong>het</strong> symbool ‘x’ <strong>in</strong><br />

rek<strong>en</strong><strong>in</strong>g te br<strong>en</strong>g<strong>en</strong>. Ook bij <strong>de</strong> overblijv<strong>en</strong><strong>de</strong><br />

gevall<strong>en</strong> [s s], [s x] <strong>en</strong> [x x] is <strong>het</strong> totale gewicht<br />

<strong>van</strong> <strong>de</strong> handtek<strong>en</strong><strong>in</strong>g steeds gelijk aan 2.<br />

Enige <strong>op</strong>merk<strong>in</strong>g<strong>en</strong> over notaties<br />

Conways ‘signature notation’ is veel compacter<br />

dan die <strong>van</strong> mij. Hij laat alle haakjes <strong>en</strong><br />

<strong>de</strong> letter ‘g’ weg. Voor mijn letters ‘s’ <strong>en</strong> ‘x’<br />

gebruikt hij respectievelijk <strong>de</strong> sym<strong>bol</strong><strong>en</strong> ∗<br />

<strong>en</strong> ×. Hij zet zijn handtek<strong>en</strong><strong>in</strong>g <strong>in</strong> vette letters<br />

<strong>en</strong> cijfers. Zo lui<strong>de</strong>n bijvoorbeeld mijn<br />

handtek<strong>en</strong><strong>in</strong>g<strong>en</strong> [g(2) s(2,2)] <strong>en</strong> [s x] bij hem<br />

2∗22 <strong>en</strong> ∗×.<br />

Merk daarbij <strong>op</strong> dat Conway <strong>de</strong> ster (∗) niet<br />

alle<strong>en</strong> gebruikt om rotatiec<strong>en</strong>tra <strong>op</strong> spiegels<br />

aan te dui<strong>de</strong>n, maar ook als scheid<strong>in</strong>gstek<strong>en</strong>:<br />

elk getal ervoor heeft betrekk<strong>in</strong>g <strong>op</strong> rotatiec<strong>en</strong>tra<br />

die niet <strong>op</strong> spiegels ligg<strong>en</strong> terwijl elk<br />

getal erna rotatiec<strong>en</strong>tra <strong>op</strong> spiegels aanduidt.<br />

Ik heb Conways notatie aangepast omdat ik<br />

<strong>de</strong>nk dat beg<strong>in</strong>ners moeite hebb<strong>en</strong> om alle<br />

subtiliteit<strong>en</strong> er<strong>van</strong> <strong>op</strong> <strong>het</strong> eerste gezicht te<br />

doorgron<strong>de</strong>n.<br />

In Tabel 6 zet ik mijn notatie (JvdC) naast<br />

die <strong>van</strong> Conway (Con) <strong>en</strong> <strong>in</strong> Tabel 7, bij <strong>de</strong><br />

strookpatron<strong>en</strong> <strong>en</strong> <strong>de</strong> behangpatron<strong>en</strong>, <strong>de</strong><br />

notatie <strong>van</strong> <strong>de</strong> International Tables for X-ray<br />

Crystallography (Int). Voor e<strong>in</strong>dige symmetriegroep<strong>en</strong><br />

zet ik er ook <strong>de</strong> or<strong>de</strong> n <strong>van</strong> <strong>de</strong><br />

symmetriegroep bij. Bij <strong>bol</strong>patron<strong>en</strong> is <strong>het</strong> totale<br />

gewicht <strong>van</strong> e<strong>en</strong> handtek<strong>en</strong><strong>in</strong>g gelijk aan<br />

2 − 2 n<br />

, <strong>en</strong> <strong>de</strong> lezer zal dit misschi<strong>en</strong> nogmaals<br />

will<strong>en</strong> controler<strong>en</strong>.<br />

Zie [1, p. 416] voor tabell<strong>en</strong> waar<strong>in</strong> Conways<br />

‘signature notation’ voor <strong>de</strong> <strong>bol</strong>patron<strong>en</strong><br />

<strong>en</strong> <strong>de</strong> behangpatron<strong>en</strong> naast die <strong>van</strong> eer<strong>de</strong>re<br />

auteurs is gezet.<br />

k<br />

Alle illustraties <strong>in</strong> dit artikel zijn <strong>van</strong> <strong>de</strong> hand <strong>van</strong> <strong>de</strong><br />

auteur.<br />

Refer<strong>en</strong>ties<br />

1 John H. Conway, Heidi Burgiel <strong>en</strong> Chaim<br />

Goodman-Strauss, The <strong>Symmetrie</strong>s of Th<strong>in</strong>gs,<br />

A.K. Peters, Ltd., Wellesley, Massachusetts,<br />

2008.<br />

2 H.S.M. Coxeter, Introduction to Geometry, second<br />

edition, John Wiley & Sons, Inc., New York,<br />

1969.<br />

3 L. Fejes Tóth, Reguläre Figur<strong>en</strong>, Akadémiai Kiadó,<br />

Budapest, 1965.<br />

2 12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!