Let be two convex octahedron whose faces are all triangles, and is inside . Let the sum of edge kengths of (resp. ) be (resp. ). When we calculate , which value(s) among the following can be obtained? (Multiple Choice) 0.64, 1, 1.44, 1.96, 4
Solution
Comments In the 60's - 70's, the following question appeared in All-Union Math Olympiad of USSR: A tetradehron sits inside another tetrahedron , prove that the sum of edge lengths of does not exceed times that of . 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 and be two -dimensional simplexes in , the first being inside the second, and . The there exists constants , such that the sum of all dimensional faces of does not exceed times that of . Here is calculated as follows: Let (Euclidean division), then (CARL LINDERHOLM, AN INEQUALITY FOR SIMPLICES, Geometriae Dedicata (1986) . Now back to the current problem, the Choice (A) is trivial, so we focus on: why and 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 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 and that are NOT adjacent, then as the other four vertices are all adjacent to them, so is at least (and can be arbitrarily close to that valur when the other four vertices are close enough to line ), and for the small octahedron, if every vertex is of degree 4 , we can make three vertices very close to , while the other three very close to , so would be very close to . Hence any ratio less than 1.5 is realizable. ( so the Choices (A),(B) and (C)) If the maximum distance is realized between two vertices of degree 3 in the big octahedron, then is at least (and can be arbitrarily close to that valur when the other four vertices are close enough to line ), while for the small octahedron, we can still take each vertex to be of degree 4 , and three of them very close to , while the other three very close to , so would be very close to . 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 . After some easy case by case discussion, we conclude that, if the maximum distance is realized between a vertex of degree and a vertex of degree (whether they are adjacent or not), one has always is at last , while obviously cannot exceed , So (E)is impossible.