Introduzione
Gruppi di isometrie
Gruppo di simmetria
di una figura
Gruppi discreti
Gruppi di simmetria
dei rosoni
Gruppi ciclici
Gruppi diedrali
Il caleidoscopio
Simboli
Bibliografia







Ogni oggetto T1 posto fra i due specchi produce 2n-1 immagini visibili ( T2 , ... , T2n ), separate nel disegno attraverso n rette.

Guardando il caleidoscopio dall'alto, l'immagine complessiva appare come un sottoinsieme F di E2 il cui centro di simmetria è posto sull'origine degli assi e si ha che posso ottenere ognuno dei Ti , con i = 1, ... , 2n , come immagine di T1 attraverso uno ed uno solo degli elementi di Dn, ovvero:

per ogni i = 1, ... , 2n , esiste ƒ appartenente a Dn tale che Ti = ƒ(T1)

Qundi le simmetrie di F = T1 U T2 U ... U T2n sono:

  • n riflessioni date dalle n rette che separano T1 , T2 , ... , T2n.
  • la rotazione ρ2α data dalla composizione della riflessione di asse l con quella di asse s ( per l'osservazione precedente), e tutte le rotazioni di angolo multiplo intero di 2α, che danno in totale n rotazioni dal momento che α = π/n.

Abbimo quindi che Isom(F) è composto dalle n riflessioni e n rotazioni di Dn , cioè Isom(F) = Dn.