Consider two tetrahedrons one placed inside the other. Prove that the sum of all 6 sides of inner tetrahedron is at most the sum of the 6 sides of exterior tetrahedron.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
|
||||||||||||||||||
|
|
13
|
The question as stated is false, be we can salvage it by answering the following question: what's the biggest possible ratio of the sum of the inner tetrahedron's edges to the sum of the outer tetrahedron's edges? To approach problems like this, there is the very useful trick of noticing that the distance between two points is a convex function of either point. If we assume the outer tetrahedron is fixed, and fix three of the vertices of the inner tetrahedron, then since the interior of the outer tetrahedron is convex, the sum of the side lengths of the inner tetrahedron, as a function of the last vertex, is maximized when the last vertex is at an extreme point of the outer tetrahedron. Repeating this argument for each vertex of the inner tetrahedron, we can reduce to the degenerate cases where the inner tetrahedron has all of its vertices on the vertices of the outer tetrahedron. We have several cases:
Thus, the sum of the side lengths of the inner tetrahedron is at most $\frac{4}{3}$ times the sum of the side lengths of the outer tetrahedron. |
|||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
8
|
The conjecture about the quotient of the sums of the lengths of edges for a tetrahedron inside another was formulated (a long time ago) by Jerzy Browkin, who saw that, somewhat paradoxically it can be greater than 1, and even arbitrarily close to 4/3, as his examples proved it. He asked if $\frac 43$ is the least upper bound of such quotients. The conjecture was solved in 1961 by Wlodzimierz Kuperberg and myself. We published it in 1962 or 1963, in Polish, in Wiadomosci Matematyczne (of Polish Mathematical Society). Years later an English translation was published in Alabama Journal of Mathematics (or similar). And a powerful complete multidimensional generalization was obtained and published by Carl Linderholm, An inequality for simplices . Ancient Greeks could easily formulate and solve the given problem (in 3d) but (as long as we know) never did--it took Jerzy Browkin to raise it. |
|||
|

