Interactive kaleidoscope drawing with dihedral group symmetry
A kaleidoscope creates beautiful symmetric patterns by reflecting an image between angled mirrors. The mathematics behind this is the dihedral group D_n -- the group of symmetries of a regular n-gon, consisting of n rotations and n reflections. These groups are among the simplest examples of finite reflection groups, yet they generate some of the most visually stunning patterns in all of mathematics.
In this section, you will draw inside an interactive kaleidoscope, explore the structure of dihedral groups, and see how fundamental domains tile the plane through repeated reflections.
Draw freely in one sector and watch your strokes reflected across all mirror lines. The number of mirrors determines the order of the dihedral group: D_n has 2n elements (n rotations and n reflections). Increase the mirror count to see increasingly intricate kaleidoscopic patterns emerge from even simple drawings.
Draw on the canvas to create a kaleidoscope pattern with D6 symmetry (6 mirror lines, 12 symmetries).
Key insight: The angle between adjacent mirrors is exactly 180°/n. A ray of light bouncing between two mirrors at angle 180°/n will return to its starting direction after exactly n reflections, producing n-fold rotational symmetry. This is why real kaleidoscopes use mirror angles of 60° (n=3), 45° (n=4), or 36° (n=5).
The dihedral group D_n is the symmetry group of a regular n-gon. It contains n rotations (by multiples of 360°/n) and n reflections (across axes through the center). The group has order 2n and is generated by a single rotation r and a single reflection s, subject to the relations r^n = e, s² = e, and srs = r⁻¹. Explore how these elements compose and see the full Cayley table.
The symmetry group of a regular 4-gon has 8 elements: 4 rotations and 4 reflections.
Key insight: The relation srs = r⁻¹ captures the essential interaction between rotations and reflections: reflecting, then rotating, then reflecting again is the same as rotating in the opposite direction. This makes D_n a non-abelian group for n ≥ 3, meaning the order of operations matters.
A fundamental domain is the smallest region that, when reflected and rotated, tiles the entire space. For the dihedral group D_n, the fundamental domain is a triangular wedge with angle 180°/n at the center. Watch how successive reflections in the edges of this triangle generate copies that fill a disc, revealing the full symmetry group in action.
Start from a single triangle (the fundamental domain F) and reflect across its edges to tile the plane. Each color indicates orientation: cyan for even numbers of reflections, red for odd.
Key insight: Every element of D_n corresponds to exactly one copy of the fundamental domain. Copies produced by an even number of reflections (rotations) have the same orientation as the original; copies from an odd number of reflections are mirror images. This partition into "direct" and "indirect" isometries is visible in the alternating colors.