Surely you have also played with shadows. What shapes can be created with one hand in this way? Shadow theater is exactly about that. This question is also very interesting from a mathematical point of view: Given a geometric three-dimensional body. What shadow can it cast when rotated in different ways relative to the light source?
A cube, for example, can cast a square shadow, but also the shadow of a regular hexagon. A sphere, on the other hand, always casts the shadow of a circle. What shadows can a given triangle cast? This is the subject of the exhibit “All triangles are equal”. After some trial and error, you can see that any triangle can cast the shadow of an equilateral triangle (if rotated appropriately with respect to the light source).
And now … the mathematics of it:
Mathematically, behind a shadow there is a so-called projection. Given is a point in the three-dimensional space and a projection plane , which does not contain . The point corresponds to the (ideal) light source and is the screen onto which is projected. Any point is now projected onto the screen by the ray which starts from and passes through (we still have to require that , otherwise the ray just mentioned is not unique). We thus obtain a mapping , where is defined as the just mentioned intersection of the ray starting from and passing through . This mapping is called central projection in the point onto the plane . Exactly this situation occurs, for example, when the sun casts a shadow on a house wall. Here, however, the sun is very far away. If we idealize this, we would say that the point is no longer in the surrounding three-dimensional space, but in infinite distance (in the so-called projective closure, of the three-dimensional space ). Then all rays emanating from are parallel, which is why , is then called a parallel projection. The mapping is also idempotent, i.e. . This is simply because every point lying in the projection plane is mapped to itself.
But now for the shadows. If is a body in space (e.g., a sphere or a cube), the shadow cast on the screen by the light source located at the point is exactly given as the image of the set under the mapping .
In the following we want to study the images which can appear as shadows for interesting bodies :
Let be a sphere of radius centered at the point . What shadow can this cast on the screen? Well, the rays emanating from point and passing through a point of the sphere obviously form a cone with apex at point and axis of rotation . If we now choose a ray starting from and only tangent to the surface of the sphere — let’s say it touches it in point –, then forms a right triangle (with right angle in ), so that the angle is half the opening angle of the cone. So if we set , then according to the definition of the sine we get that . But now what shadow does the sphere cast on the canvas . Well, the boundary of this shadow is obviously the intersection curve of the lateral surface of the cone with the plane , i.e. an ellipse (see also the exhibits “Circle and Ellipse”, “Cone Sections”, “Ellipse Mountains”). We can even calculate the two semi-axes of this ellipse .
For this purpose is the intersection of the rotation axis with the canvas .We set . The minor semi-axis now encloses a right angle with the line . In the associated right triangle, the interior angle at the point is equal to half the opening angle . So results. To determine the major semi-axis , we need to know the angle where the axis of rotation intersects the plane . If this angle , then is a circle and thus . So let us assume that . Then there is a unique plane that is perpendicular to the canvas and contains the axis of rotation . The major semi-axis and the point now form a triangle whose interior angle at is equal to , and at is equal to . Thus we can use the law of sines to determine :
So we get
Thus the ellipse is fully determined. That is an infinitely distant point would be expressed in the equation by . Then for we get the expression , since the distance is then equal to infinity. But it is easy to see that then must be valid. For we get: .
Which shadow a cube can cast is a much more interesting question than for a sphere. For this we assume that is infinitely far away, so we are dealing with a parallel projection. We want to make use of the vector calculus. For this we further assume that the screen is exactly the -plane and the light is incident vertically from above, i.e. in the direction of the negative -axis. The projection image from above, is then simply given by setting the coordinate to zero:
I’m sure it’s fine if we just forget the last coordinate, so . We now want to find out what shadow a cube can produce under this mapping. What we observe is that the mapping is linear, so the vector addition and scaling of vectors gets:
A cube is now twisted in space and projected vertically from above onto our canvas , the -plane. Let us say for simplicity that the cube has edge length one. We now fix a vertex of . From this vertex three perpendicular edges start, which form a coordinate system twisted in space, a so-called tripod. Let us call the corresponding three unit vectors attached in . Then the (filled) cube is exactly the set . So the cube is fully described by the knowledge of the point and the three unit vectors . To better understand the shadow of this given cube, we can now apply to the just mentioned representation the projection and exploit its linearity:
So, to study the shadow of , it is enough to know the projected vectors and the projected footpoint . If we shift so that it lies on the axis, then . Surely this is not a disadvantage for our understanding of the shadow . This is now exactly the Minkowski sum of the distances corresponding to the vectors , and (which are attached at the origin. It is thus easy to consider that the shadow is thus either a rectangle (if two of these vectors are parallel, i.e. one side face of the cube is perpendicular to the canvas ), or a point-symmetric hexagon. Exactly which rectangles occur is relatively easy to clarify: One edge length is exactly , and the other edge length satisfies the condition . Exactly which point-symmetric hexagons occur is much more complicated, and we will not go into it here.
Instead, we want to point out an interesting but little known theorem which can be called the shadow theorem. For this, denote the orthogonal projection onto the -axis. The shadow theorem now states that the shadow of the cube under the orthogonal projection from the top, and the shadow of under the orthogonal projection onto the -axis from the side are equal. Here it is important that we work with a unit cube! The area of a square of dimension is set here equal to , as is the length of the interval . We will even give a short proof of this theorem here. However, if you want to try your own hand at it first, stop reading here now.
The proof goes as follows: Let’s assume again the tripod pinned at the vertex of the cube . Let us now glue a square side face between and . We now claim that the area of the projected square is exactly as large as the length of the projected segment belonging to , . What is the reason for this?
To do this, we must first consider what the area of is. But this is not difficult, because if is the angle of intersection between the plane (i.e. the -plane) and the plane containing the square side surface , it simply follows that the area of is exactly . Similarly, consider that the length of the projected line is also equal to , because is also the angle where the -axis and the line intersect.
But now the proof is almost finished: Indeed, the area shadow of the cube in the -plane is (as a geometrical consideration shows) exactly the sum of the areas of the projections of the three squares each spanning two of the vectors , and the length of its projection onto the -axis is exactly equal to the sum of the projection lengths of the three unit vectors onto the -axis. So, according to the above consideration, both are equal.
Finally, we deal with the shadow that a triangle can cast. For this we assume again as before an orthogonal projection on the -plane. Let’s say our triangle to be projected is in the plane. We want to determine the possible shadows of down to similarity. To do this, we first need to better understand the projection mapping . Let be the intersection line of the planes and . It is certainly possible to move the plane in such a way that the vertex of lies at the origin and thus also passes through it. You again the intersection angle between and . If we now rotate the plane by it will be transformed into the plane . If we identify with in this way, we can describe the mapping as follows: Along the straight line fixes every point. Along the perpendicular to in the plane (which has now been identified with ) compresses every vector by the factor . So if we shift our coordinate system so that is at the origin and becomes the axis, then (taking into account the identification of and ) can now be written as
So, to find out what shadow a given triangle produces, we simply need to apply (in the form just executed) to it. Here is now itself to be understood as a triangle in the -plane, which has a vertex at the origin. But the shadow does not change if we rotate it around the origin or stretch it centrically (i.e. the result is again similar to the original shadow). Similarly, we can also rotate and centrically stretch the triangle itself. We can thus — according to the reasoning just given — go from to , where are orientation-preserving rotation matrices and is a positive parameter. We now assert:
Assertion: any matrix over the real numbers other than the zero matrix can be written in the form , for suitable , and fitting.
Proof of the assertion: for this we need a little linear algebra: according to the existence of the polar decomposition, there is a positive semidefinite symmetric matrix and an orthogonal matrix with . Since every real symmetric matrix is orthogonally diagonalizable, there is now a rotation matrix and a diagonal matrix such that . Since was positive semidefinite, consequently holds, where are the eigenvalues of (i.e., the diagonal entries). Since was not the zero matrix, the larger of the eigenvalues must be greater than zero; without qualification, let this be . Thus has eigenvalues (diagonal entries) and . Thus there is exactly one angle with . If we now retrace all steps, we get
Here is orientation-preserving. If also has this property, we are done (with and ). If this is not the case, we replace by and set . Then we must choose such that . This proves our assertion.
Proof that all triangles are “equal”: We wanted, after all, to transform our original triangle with vertices , , into any other triangle with vertices , . For this we assume that has not degenerated to a distance and does not fall on a point. Then, according to linear algebra, there is exactly one real matrix that maps to and to (and fixes ). But this matrix comes — according to the assertion just shown — from a projection . Thus we can map to (up to similarity) by means of a suitable projection. So indeed — as the exhibit “All triangles are equal” claims — in this sense all triangles are equal!