XXXIX OM - II - Problem 6
A convex polyhedron is given with faces . Denote the unit vector perpendicular to the face () directed outward from the polyhedron by , and the area of this face by . Prove that
XXXIX OM - II - Problem 6
A convex polyhedron is given with faces . Denote the unit vector perpendicular to the face () directed outward from the polyhedron by , and the area of this face by . Prove that
We start with the observation that if in space a convex planar polygon and a plane are given, and if is a unit vector perpendicular to the plane of the polygon , and is a unit vector perpendicular to the plane , then denoting by the orthogonal projection of the polygon onto the plane , we have the following relationship between the areas of the polygons and :
(The dot between the vectors denotes the dot product.)
Formula (I) is obvious in the case where the considered planes are parallel or perpendicular (because in these cases, respectively, equals or ). In the remaining case, when the planes intersect along a line forming an angle , formula (1) follows from the following observations:
If is a rectangle with one side parallel and the other perpendicular to the line , its projection onto the plane is also such a rectangle. The length of the side parallel to does not change during projection, while the length of the side perpendicular to is shortened by a factor of . The area of the rectangle changes by the same factor; thus, for a rectangle , we obtain formula (1), because .
From this, it immediately follows that (1) is true for any right triangle with one leg parallel and the other perpendicular to , because such a triangle can be completed to a rectangle (whose two sides are the legs of the given triangle). The area of the rectangle changes during projection by a factor of , so the same happens to the area of the triangle, which is half the area of the rectangle (Figure 8).
It is enough to notice that any convex polygon is the sum of a finite number of right triangles with legs parallel and perpendicular to the line , with disjoint interiors. The area of is the sum of the areas of these triangles, and the area of (the projection of onto ) is the sum of the areas of the projections of the individual triangles (Figure 8). The area of the projection of each of these triangles equals the area of the triangle multiplied by the same factor equal to , and by summing up, we obtain the formula (1) to be proved.
We proceed to the proof of the theorem. Let
We need to prove that is the zero vector.
Choose any unit vector in space. Let be any plane perpendicular to the vector . The orthogonal projection of the considered polyhedron onto the plane is a convex polygon . The projection of any face is a convex polygon (degenerate to a segment if ).
We partition the set of indices into three subsets:
(Looking at the polyhedron from the outside, in the direction of the vector , we see the faces with indices , and we do not see the faces with indices ) (Figure 9). The projections of the faces with indices have no common interior points and fill the entire polygon . The same can be said about the projections of the faces with indices . Therefore,
and simultaneously,
Notice now that according to formula (1),
Therefore,
and
Since the vector was chosen arbitrarily, we have thus shown that the vector is perpendicular to any unit vector. It is therefore the zero vector.
(Figure 9)