And now … the mathematics:
Mathematically speaking, 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 given by equation
described. The preimage (for example, the sky) is thereby mapped onto its mirror image (the sky suddenly appears to be under the surface of the water). What is striking is that the orientation is reversed: if you hold your right hand in the mirror, for example, your reflection raises your left hand.
But what happens now if we move and rotate the mirror plane in space? Say this 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 from 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 is the scalar product of the vectors and . This is 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 the equation
To the “Revolving Mirror” exhibit
But now we turn our attention to the “rotating mirror” exhibit. You are probably familiar enough with the case where there is only a mirror in front of you in everyday life. You simply see yourself mirrored in him. 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 mirrors (planes) and that have the normal vectors and and intersect at the point . Now what happens when you look into such a construction? We can easily deduce (“work out”) this with the above considerations: Let and be the reflections on the plane and , respectively. We get
Here we have used the bilinearity of the scalar product. A number of things can be read from this expression: For example, it is generally 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: With the rotating mirror, where both mirror planes meet perpendicularly, there is no “break” at the intersection line. With the other one, however, it is. This corresponds exactly to the above observation.
But what is actually happening at the two mirrors? Let be the intersection of the mirror planes and . We look at the whole construction from “above“, i.e. 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 . At this is mapped to the point , which then maps under to the point
goes. See also figure 1 below:
It is therefore 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 about the -axis. This in turn also confirms our above observation that the mappings and are exactly equal for , because then both are simply equal to a reflection on 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 set the construction in rotation. Because the intersection line then rotates in front of you and thus also the mirror images.
Three and more mirrors
If you now add another mirror, it gets even more curious: Let’s assume that three mirrors with the mirror planes , , are perpendicular to each other (thus forming 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). 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). 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 the triple mirror image . This technique is also used in shipping, for example for bridges.
If you look into two mirrors, as in the rotating mirror exhibit, you may have noticed that from some viewpoints it appears as if not just two, but several mirrors are at the same angle to each other. How many mirrors you see depends on the intersection angle . If, for example, the two mirrors meet at an angle of , it seems to you that there are four mirrors evenly arranged around the intersection line. With a smaller cutting angle, the number becomes larger. So where does this strange phenomenon come from?
Now, above we have seen that the order in which the reflections take place is important. Thus, 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 mirror image always has the property that it produces the identical image when applied twice: if you change the sign of a basis vector of an orthonormal basis twice, you get the original basis back. So that means . We have also already considered that represents a rotation by the angle (and 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 an angle of (because the plane then intersects with the mirror image exactly at the angle ).
The associated group is called a dieder group. These are groups generated by exactly two reflections (these are also called involutions, i.e. ). How many elements the dieder group now has depends on the number of different mappings that can be written as concatenations of the two basic mappings. 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 line in the plane. Is now is a rational multiple of the total angle with divisible, then the group generated by and is the dieder group of order , i.e. 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 an equation of the form . This gives us the infinite dieder group .
For two mirrors, that’s all that can happen. If, on the other hand, you take three mirrors or more, it becomes more complicated: With three mirrors standing vertically on top of each other, you get a group with eight elements, each of which transforms the unit cube into itself.
Such groups, which are 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 to this. The first three again show a group created by a certain arrangement of mirrors. The “mirror funnel” is particularly interesting here, because it seems as if one is seeing the sides of a dodecahedron here. This connection is no coincidence, for a Platonic solid is transformed into itself by every reflection on a plane that passes through its centre and contains one of its edges.