Problem:
The medians divide a triangle into 6 smaller triangles. 4 of the circles inscribed in the smaller triangles have equal radii. Prove that the original triangle is equilateral.
Problem:
The medians divide a triangle into 6 smaller triangles. 4 of the circles inscribed in the smaller triangles have equal radii. Prove that the original triangle is equilateral.
Solution:
Denote the side lengths by , , and the corresponding median lengths by , , . The six small triangles all have equal area. [Let the areas be . It is obvious that the adjacent pairs have equal height and equal base, so we have , , . The three on each side of a median sum to the same area, so , . Subtracting gives . Similarly, and we are home.] So by the usual result that twice the area of a triangle equals its perimeter times its inradius, we conclude that the perimeters of four of the small triangles are equal.
Two of them must share a side of the original triangle. Suppose it is . Then we have: . So . That implies that . [Because the triangle formed by the centroid and side is isosceles, so the median is perpendicular to the side, so the main triangle is isosceles.]
Using the facts that and , we see that two of the remaining small triangles have perimeter and two have perimeter . So there are two cases to consider. In the first case . That implies , since if , (consider the triangle formed by the centroid and the side ). So the triangle is equilateral.
The second case is harder. We have: , and hence (*). Take the angle between and to be . Then , , and . We can now use (*) to get an equation for . First we square (*) to get: . We divide out the factor to get: . Squaring, so that we can use , and writing , we get: . Hence . Factorizing: . and give degenerate triangles, so we must have and hence the triangle is equilateral.