You can do interesting things with mirrors. You can find this out for yourself at the exhibits “rotating mirror” and “mirror funnel”. Mirrors have fascinated mankind since the Stone Age. But what is the mathematics behind them?
And now … the mathematics of it:
Mathematically, a reflection on a plane simply consists of inverting an axis of a rectangular coordinate system. For example, a reflection on the -plane (for example, a water surface) is completely represented by the mapping , which is given by equation
is described. The original image (for example, the sky) is thereby mapped onto its mirror image (the sky suddenly appears to be below the water surface). What is remarkable is that the orientation is reversed: If you hold your right hand in the mirror, for example, your reflection raises the left hand.
But what happens if we move and rotate the mirror plane in space? Let’s say it passes through the point and has the normal vector . We now want to determine how the associated reflection maps any point . To do this, we first form the perpendicular of to (i.e., the line whose one vertex is and whose other vertex lies in and is perpendicular to ). This has exactly the length , where denotes the dot product of the vectors and . This is namely exactly the projection of the line onto the normal vector . The mirror image of the point on the plane is now exactly the corner point of the mirrored perpendicular not lying in . So we have to subtract the distance twice in the direction of the normal vector of . So we get the equation
About the exhibit “Revolving mirror”
But now we will turn our attention to the “rotating mirror” exhibit. You probably know the case that there is only one mirror in front of you from everyday life. You simply see yourself standing in front of it as a mirror image. If you turn the mirror, nothing changes at all, because the mirror plane remains the same.
But now let’s start from the more interesting case where there are two mirror planes and which have the normal vectors and and intersect at the point . Now what happens when you look into such a construction? We can easily deduce (“calculate”) this with the above considerations: let and be the reflections on the plane and , respectively. We get
Here we used the bilinearity of the scalar product. A number of things can be seen from this expression: For example, it is in general not symmetric in and , i.e., does not coincide with the double mirror image . Symmetry (and thus equality of the two expressions) occurs exactly when the last summand in the above equation becomes zero, i.e. , i.e. and are perpendicular to each other (intersection angle ). So in this case it doesn’t matter which of the two mirrors you look into — you don’t see a break at the intersection line. You can check this yourself on the exhibit: At the rotating mirror, where both mirror planes meet perpendicularly, there is no “break” at the intersection line. With the other one, however, there is. This corresponds exactly to the above observation.
But what actually happens at the two mirrors? Let be the intersection line of the mirror planes and . We look once from “above” on the whole construction, thus along . To do this, we rotate our coordinate system so that just becomes the plane and becomes the axis. Then the projection of along the straight line onto the -plane becomes exactly an origin line intersecting the positive -axis at the intersection angle . In these new more suitable coordinates we can now easily illustrate what happens to a point . Under it is mapped to the point , which then goes under to the point
goes. See also figure 1 below:
So it is simply a rotation by the angle around the axis. In the same way it can be determined that thus the point is simply the point rotated by around the -axis. This again also confirms our above observation that the mappings and are exactly equal for , because then both are simply equal to a reflection at the straight line !
This now even explains the observation that the image you see in the two rotating mirrors with two mirror planes rotates when you put the construction into rotation. Because the intersection line turns then before you and thus also the mirror images with.
Three and more mirrors
If we now add another mirror, it becomes even more curious: Let’s assume that three mirrors with the mirror planes , , are perpendicular to each other (thus form the coordinate planes , and except for rotation). Similar considerations as above, now show that the threefold mirrored point is then transformed into the point (independent of the order of the mirrorings; see figure 2). So if you look into such a coordinate cross, you will again see no break at the intersection lines. It gets even better: No matter from which direction you look into this construction, you always see your face, because the point is always exactly opposite to the triple mirror image . This technique is also used in navigation, for example for bridges.
If you look into two mirrors like in the exhibit rotating mirror, you may have noticed that from some point of view it seems as if not only two but several mirrors are standing on top of each other at the same angle. How many mirrors you see depends on the intersection angle . For example, if the two mirrors meet at an angle of , you will see four mirrors evenly spaced around the intersection line. At a smaller angle of intersection the number becomes larger. Where does this strange phenomenon come from?
Well, above we have seen that the sequence in which the reflections take place is important. So running and one after the other results in a different image (at least, if the intersection angle is not exactly ).
What happens now is that you see not only the mirror image of the mirror image, but the mirror image of the mirror image of the mirror image and so on. This means on the mathematical side that you determine all possible mappings that can somehow be composed of the reflections and . This is called the group generated by the reflections and . A reflection always has the property that applied twice it gives the identity function again: if you change the sign of a basis vector of an orthonormal basis twice, you get back the original basis. So that means . We have also already considered that represents a rotation by angle (and represents a rotation in the opposite direction). This makes it appear to you that many mirrors are arranged around the straight line so that two intersect each other at the angle of (because the plane then intersects with the mirror image exactly at the angle ).
The corresponding group is called a dihedral group. These are groups generated by exactly two reflections (these are also called involutions, i.e. ). How many elements the Dieder group has now depends on the number of different mappings, which can be written as concatenations of the two basic mirrorings. This in turn depends on the angle : For example, if , then and interchange so that . It is then easy to consider that there are only four fundamentally different mappings: . This corresponds to the dieder group of order . This is the symmetry group of a distance in the plane. Now, if is a rational multiple of the total angle with divisible, then the group generated by and is the dieder group of order , that is, the transformation group of a regular -corner, because . If, on the other hand, is not such a rational multiple of , then the rotation never returns to its initial state, i.e., it does not satisfy any equation of the form . This gives us the infinite Dieder group .
For two mirrors, this is all that can happen. If, on the other hand, we take three mirrors or more, things get more complicated: with three mirrors perpendicular to each other, we get a group with eight elements, each of which transforms the unit cube into itself.
Such groups generated by finitely many reflections can be studied and classified in detail, see .
The exhibits “kaleidoscope mirror”, “kaleidoscope”, “mirror funnel” and “polyhedron crown” are also relevant for this purpose. The first three again show a group generated by a certain arrangement of mirrors. Especially the “mirror funnel” is interesting here, because it seems as if one sees here the side faces of a dodecahedron. This connection is no coincidence, because a platonic body is transformed into itself by each reflection at a plane which runs through its center and contains one of its edges.