Leonardo da Vinci systematically determined all possible symmetries of a central building, and how to attach
chapels and
niches without destroying the symmetries of the
nucleus.
Theorem (
DA VINCI)
A
finite group of
isometries on a
Euclidian plane
is either
cyclic (if only rotations are contained)
or a
dihedral group (if reflections are contained).