Maths Olympiad Prep

Library / /156 of 196

Geometry Difficulty 5.8 AIME, harder Prove it Soviet Union

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

Solution:

Denote the side lengths by aa, bb, cc and the corresponding median lengths by mam_a, mbm_b, mcm_c. The six small triangles all have equal area. [Let the areas be t1,,t6t_1, \ldots, t_6. It is obvious that the adjacent pairs have equal height and equal base, so we have t1=t2t_1 = t_2, t3=t4t_3 = t_4, t5=t6t_5 = t_6. The three on each side of a median sum to the same area, so t1+t2+t3=t4+t5+t6t_1 + t_2 + t_3 = t_4 + t_5 + t_6, t1+t5+t6=t2+t3+t4t_1 + t_5 + t_6 = t_2 + t_3 + t_4. Subtracting gives t1=t4t_1 = t_4. Similarly, t2=t5t_2 = t_5 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 aa. Then we have: a/2+ma/3+2mb/3=a/2+ma/3+2mc/3a/2 + m_a/3 + 2m_b/3 = a/2 + m_a/3 + 2m_c/3. So mb=mcm_b = m_c. That implies that b=cb = c. [Because the triangle formed by the centroid and side aa is isosceles, so the median is perpendicular to the side, so the main triangle is isosceles.]

Using the facts that b=cb = c and mb=mcm_b = m_c, we see that two of the remaining small triangles have perimeter b/2+mbb/2 + m_b and two have perimeter b/2+mb/3+2ma/3b/2 + m_b/3 + 2m_a/3. So there are two cases to consider. In the first case a/2ma/3=b/2mb/3a/2 - m_a/3 = b/2 - m_b/3. That implies a=ba = b, since if a<ba < b, ma>mbm_a > m_b (consider the triangle formed by the centroid and the side cc). So the triangle is equilateral.

The second case is harder. We have: a/2+ma/3+2mb/3=b/2+mba/2 + m_a/3 + 2m_b/3 = b/2 + m_b, and hence a/2+ma/3=b/2+mb/3a/2 + m_a/3 = b/2 + m_b/3 (*). Take the angle between aa and bb to be θ\theta. Then ma=bsinθm_a = b \sin \theta, a=2bcosθa = 2b \cos \theta, and mb2=b2/4+a2abcosθ=b2/4+2b2cos2θm_b^2 = b^2/4 + a^2 - ab \cos \theta = b^2/4 + 2b^2 \cos^2 \theta. We can now use (*) to get an equation for θ\theta. First we square (*) to get: mb2=(3a/23b/2+ma)2m_b^2 = (3a/2 - 3b/2 + m_a)^2. We divide out the factor b2b^2 to get: 1/4+2cos2θ=31/4+8cos2θ9cosθ+3sinθ(2cosθ1)1/4 + 2\cos^2 \theta = 3 1/4 + 8\cos^2 \theta - 9\cos \theta + 3\sin \theta (2\cos \theta - 1). Squaring, so that we can use sin2θ=1cos2θ\sin^2 \theta = 1 - \cos^2 \theta, and writing c=cosθc = \cos \theta, we get: (1c2)(4c24c+1)=4c412c3+13c26c+1(1 - c^2)(4c^2 - 4c + 1) = 4c^4 - 12c^3 + 13c^2 - 6c + 1. Hence 8c416c3+10c22c=08c^4 - 16c^3 + 10c^2 - 2c = 0. Factorizing: c(c1)(2c1)2=0c(c - 1)(2c - 1)^2 = 0. c=0c = 0 and c=1c = 1 give degenerate triangles, so we must have c=1/2c = 1/2 and hence the triangle is equilateral.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.