Maths Olympiad Prep

Track / Stage 6 / 285 of 400 #1285 of 1964

Problem 1285

National olympiad, first round
Geometry Difficulty 6.4 Prove it

XXXIX OM - II - Problem 6

A convex polyhedron is given with k k faces S1,,Sk S_1, \ldots, S_k . Denote the unit vector perpendicular to the face Si S_i (i=1,,k i = 1, \ldots, k ) directed outward from the polyhedron by ni \overrightarrow{n_i} , and the area of this face by Pi P_i . Prove that

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

We start with the observation that if in space a convex planar polygon SS and a plane π\pi are given, and if n\overrightarrow{n} is a unit vector perpendicular to the plane of the polygon SS, and w\overrightarrow{w} is a unit vector perpendicular to the plane π\pi, then denoting by WW the orthogonal projection of the polygon SS onto the plane π\pi, we have the following relationship between the areas of the polygons SS and WW:

Area(W)=nwArea(S) \text{Area}(W) = |\overrightarrow{n} \cdot \overrightarrow{w}| \cdot \text{Area}(S)

(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, nw|\overrightarrow{n} \cdot \overrightarrow{w}| equals 11 or 00). In the remaining case, when the planes intersect along a line ll forming an angle φ(0<φ<π/2)\varphi (0 < \varphi < \pi/2), formula (1) follows from the following observations:
If SS is a rectangle with one side parallel and the other perpendicular to the line ll, its projection WW onto the plane π\pi is also such a rectangle. The length of the side parallel to ll does not change during projection, while the length of the side perpendicular to ll is shortened by a factor of cosφ|\cos \varphi|. The area of the rectangle changes by the same factor; thus, for a rectangle SS, we obtain formula (1), because nw=cos(n,w)=cosφ|\overrightarrow{n} \cdot \overrightarrow{w}| = |\cos \measuredangle (\overrightarrow{n}, \overrightarrow{w})| = |\cos \varphi|.
From this, it immediately follows that (1) is true for any right triangle with one leg parallel and the other perpendicular to ll, 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 cosφ=nw|\cos \varphi| = |\overrightarrow{n} \cdot \overrightarrow{w}|, 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 SS is the sum of a finite number of right triangles with legs parallel and perpendicular to the line ll, with disjoint interiors. The area of SS is the sum of the areas of these triangles, and the area of WW (the projection of SS onto π\pi) 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 nw|\overrightarrow{n} \cdot \overrightarrow{w}|, and by summing up, we obtain the formula (1) to be proved.
We proceed to the proof of the theorem. Let

v=i=1kArea(Si)ni \overrightarrow{v} = \sum_{i=1}^{k} \text{Area}(S_i) \overrightarrow{n_i}

We need to prove that v\overrightarrow{v} is the zero vector.
Choose any unit vector w\overrightarrow{w} in space. Let π\pi be any plane perpendicular to the vector w\overrightarrow{w}. The orthogonal projection of the considered polyhedron onto the plane π\pi is a convex polygon WW. The projection of any face SiS_i is a convex polygon WiW_i (degenerate to a segment if niw\overrightarrow{n_i} \bot \overrightarrow{w}).
We partition the set of indices {1,,k}\{1, \ldots, k\} into three subsets:

I+={i:niw>0} I_+ = \{i : \overrightarrow{n_i} \cdot \overrightarrow{w} > 0\}
I={i:niw<0} I_- = \{i : \overrightarrow{n_i} \cdot \overrightarrow{w} < 0\}
I0={i:niw=0} I_0 = \{i : \overrightarrow{n_i} \cdot \overrightarrow{w} = 0\}

(Looking at the polyhedron from the outside, in the direction of the vector w\overrightarrow{w}, we see the faces SiS_i with indices iIi \in I_-, and we do not see the faces with indices iI+i \in I_+) (Figure 9). The projections of the faces with indices iI+I0i \in I_+ \cup I_0 have no common interior points and fill the entire polygon WW. The same can be said about the projections of the faces with indices iII0i \in I_- \cup I_0. Therefore,

iI+I0Area(Wi)=Area(W) \sum_{i \in I_+ \cup I_0} \text{Area}(W_i) = \text{Area}(W)

and simultaneously,

iII0Area(Wi)=Area(W) \sum_{i \in I_- \cup I_0} \text{Area}(W_i) = \text{Area}(W)

Notice now that according to formula (1),

Area(Wi)=niwArea(Si) \text{Area}(W_i) = |\overrightarrow{n_i} \cdot \overrightarrow{w}| \cdot \text{Area}(S_i)

Therefore,

iI+I0niwArea(Si)=Area(W) \sum_{i \in I_+ \cup I_0} |\overrightarrow{n_i} \cdot \overrightarrow{w}| \cdot \text{Area}(S_i) = \text{Area}(W)

and

iII0niwArea(Si)=Area(W) \sum_{i \in I_- \cup I_0} |\overrightarrow{n_i} \cdot \overrightarrow{w}| \cdot \text{Area}(S_i) = \text{Area}(W)

Since the vector w\overrightarrow{w} was chosen arbitrarily, we have thus shown that the vector v\overrightarrow{v} is perpendicular to any unit vector. It is therefore the zero vector.
(Figure 9)

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.