Skip to main content
OlympiadHQ

Browse · MathNet

Print

XI OBM

Brazil geometry

Problem

The circumcenter of a tetrahedron lies inside the tetrahedron. Show that at least one of its edges is at least as long as the edge of a regular tetrahedron with the same circumsphere. (1989)
Solution
There are two main steps in the proof: first, we'll prove a tridimensional analogous to the famous inequality; then, we'll prove the bidimensional analogous to the problem. Combining these two facts and other arguments will lead us to a solution.

The first step is proving that if and are the circumradius and the inradius of the circumscribed and inscribed spheres of a tetrahedron then .

To do this, consider the tetrahedron whose vertices are the centroids of the faces of . Then is similar to , with ratio (the faces of are parallel to the faces of and the ratio of the altitudes is ). The circumradius of , which is , must be bigger than , because the smallest sphere through four points, one in each face of , is the inscribed sphere. So .

Now we prove that if is not obtusangle and has all sides smaller than the side of an equilateral triangle then the circumradius of is less than the circumradius of the equilateral triangle. Indeed, by the sine law, if is the greater side of then and . Let be a tetrahedron and be the regular tetrahedron with edge length and same circumradius as . Let be the circumcenter of both and and suppose is the face nearer to . Since is inside , by problem 2 of 1987 its projection , which is the circumcenter of , lies inside , so is not obtusangle. Thus its circumradius is less than the circumradius of the equilateral triangle with side .

If are the distances from to each face ( being the distance from to ) and the corresponding areas of the faces, then the volume of is such that that is, is the weighted mean of (the weights are the 's). This means that the smallest value is not bigger than , that is, .

The triangle formed by , its projection and is right-angled in . So and then . But, by looking at , . But , so , a contradiction. So one of the sides of does not exceed .

Techniques

VolumeOther 3D problemsTriangle trigonometryTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleDistance chasingOptimization in geometry