Maths Olympiad Prep

Library / /10 of 11

Geometry Difficulty 7.2 National olympiad, round 2 Find the answer

Let O1,O2O_{1}, O_{2} be two convex octahedron whose faces are all triangles, and O1O_{1} is inside O2O_{2}. Let the sum of edge kengths of O1O_{1} (resp. O2O_{2}) be 1\ell_{1} (resp. 2\ell_{2} ). When we calculate 1/2\ell_{1} / \ell_{2}, which value(s) among the following can be obtained? (Multiple Choice) 0.64, 1, 1.44, 1.96, 4

A number or a short expression. Spacing and $ signs are ignored.

Solution

Comments In the 60's - 70's, the following question appeared in All-Union Math Olympiad of USSR: A tetradehron V1V_{1} sits inside another tetrahedron V2V_{2}, prove that the sum of edge lengths of V1V_{1} does not exceed 43\frac{4}{3} times that of V2V_{2}. What is anti-intuitive is that, on a plane, if a triangle sits inside another triangle, then not only the area of the first triangle is strictly smaller than that of the second one, but the perimeter also is. Now in a three dimensional situation, though the "order" of volume and surface is still kept, it is not the case for the sum of edge lengths. The "origine" of the problem is likely the following paper in Polish: Holsztyński, W. and Kuperberg, W., O pewnej wlasnósci czworościanów, Wiadomości Matematyczne 6 (1962), 14-16. They published an English version some 15 years later: Holsztyński, W. and Kuperberg, W., On a Property of Tetrahedra, Alabama J. Math. 1(1977), 4042 . Then in 1986, Carl Linderholm of the University of Alabama generalized the above result to higher dimensional Euclidean spaces: Theorem. Let SS and TT be two mm-dimensional simplexes in Rn\mathbb{R}^{n}, the first being inside the second, and 1rm1 \leqslant r \leqslant m. The there exists constants Bm,rB_{m, r}, such that the sum of all rr dimensional faces of SS does not exceed Bm,rB_{m, r} times that of TT. Here Bm,rB_{m, r} is calculated as follows: Let m+1=(r+1)q+sm+1=(r+1) q+s (Euclidean division), then Bm,r=qr+1s(q+1)sm+1r B_{m, r}=\frac{q^{r+1-s}(q+1)^{s}}{m+1-r} (CARL LINDERHOLM, AN INEQUALITY FOR SIMPLICES, Geometriae Dedicata (1986) 21,677321,67-73. Now back to the current problem, the Choice (A) is trivial, so we focus on: why (B),(C)(\mathrm{B}),(\mathrm{C}) and (D)(\mathrm{D}) can be realized? why (E) cannot? The mathematics that we need here is: (A) a little geometric topology: an octahedron with all faces being triangles has 3×8/2=123 \times 8 / 2=12 edges, so by Euler's Formula, the number of vertices is 6 . (B) a bit of graph theory: if one vertex has degree 5 , then by a very easy argument one has another vertex with degree 5 also, and the degrees of the vertices are (5,5,4,4,3,3). The only other possibility is that every vertex has degree 4 (like that of a regular ocrahedron). (C) a little bit of convex geometry: as we consider convex octahedron, so the maximum distance of two points on it must be attained between two vertices. If every vertex of the big octahedron is of degree 4 , and the maximum distance lis realized between two vertices AA and BB that are NOT adjacent, then as the other four vertices are all adjacent to them, so 2\ell_{2} is at least 424 \ell_{2} (and can be arbitrarily close to that valur when the other four vertices are close enough to line ABA B ), and for the small octahedron, if every vertex is of degree 4 , we can make three vertices very close to AA, while the other three very close to BB, so 1\ell_{1} would be very close to 626 \ell_{2}. Hence any ratio less than 1.5 is realizable. ( so the Choices (A),(B) and (C)) If the maximum distance \ell is realized between two vertices of degree 3 in the big octahedron, then 2\ell_{2} is at least 323 \ell_{2} (and can be arbitrarily close to that valur when the other four vertices are close enough to line ABA B ), while for the small octahedron, we can still take each vertex to be of degree 4 , and three of them very close to AA, while the other three very close to BB, so 1\ell_{1} would be very close to 626 \ell_{2}. Hence any ratio less than 2 is realizable. ( so the Choice (D)) Actually, if the small octahedron has the some topological configuration as that of the big one, and the two vertices of degree 5 are very close to each other, while the other four vertices are very close together, then the ratio can actually approach 8/38 / 3. After some easy case by case discussion, we conclude that, if the maximum distance \ell is realized between a vertex of degree aa and a vertex of degree bb (whether they are adjacent or not), one has always 2\ell_{2} is at last min(a,b)\min (a, b) \ell, while obviously 1\ell_{1} cannot exceed 12212 \ell_{2}, So (E)is impossible.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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