Planimetria a stereometria

Tvrdenie.

1. Zloženie ľubovoľného konečného počtu osových súmerností možno vždy redukovať na zloženie maximálne troch osových súmerností. Pozrite si konštrukčný dôkazu Tu.
   
2. Zložením ľubovoľného konečného počtu zhodných zobrazení je identita, alebo osová súmernosť, alebo stredová súmernosť, alebo rotácia, alebo translácia, alebo posunutá súmernosť.
3. Všetky zhodnosti v rovine tvoria vzhľadom na skladanie zobrazení grupu (tzv. grupu zhodností). Generátorom grupy zhodností je osová súmernosť.

Zhodnosti reprodukujúce štvorec tvoria podgrupu. Pozrite si dynamický model.

Otvorte Tu.