Maths Olympiad Prep

Library / /6 of 6

Geometry Difficulty 6.8 National olympiad Prove it Estonia

The midpoints of sides C2C3C_2C_3, C3C1C_3C_1 and C1C2C_1C_2 of a triangle C1C2C3C_1C_2C_3 are K1K_1, K2K_2 and K3K_3, respectively. The centers of circles c1c_1, c2c_2 and c3c_3 are C1C_1, C2C_2 and C3C_3, respectively, and the centers of circles k1k_1, k2k_2, k3k_3 are K1K_1, K2K_2, K3K_3, respectively. No two of the given six circles intersect in two points nor are they inside each other. Circles k1k_1, k2k_2 and k3k_3 touch each other externally.

i) Prove that the sum of the radii of circles c1c_1, c2c_2 and c3c_3 does not exceed one quarter of the perimeter of the triangle C1C2C3C_1C_2C_3.

ii) Prove that if the sum of the radii of circles c1c_1, c2c_2 and c3c_3 equals one quarter of the perimeter of the triangle C1C2C3C_1C_2C_3 then the triangle C1C2C3C_1C_2C_3 is equilateral.

Solution

Let the radii of the circles c1c_1, c2c_2, c3c_3 be r1r_1, r2r_2, r3r_3, and the radii of the circles k1k_1, k2k_2, k3k_3 be R1R_1, R2R_2, R3R_3, respectively (Fig. 28). By assumptions,
R1+R2=K1K2=12C1C2,R2+R3=K2K3=12C2C3,R3+R1=K3K1=12C3C1, \begin{aligned} R_1 + R_2 &= |K_1K_2| = \frac{1}{2}|C_1C_2|, \\ R_2 + R_3 &= |K_2K_3| = \frac{1}{2}|C_2C_3|, \\ R_3 + R_1 &= |K_3K_1| = \frac{1}{2}|C_3C_1|, \end{aligned}
which sum up to 2R1+2R2+2R3=12(C1C2+C2C3+C3C1)2R_1 + 2R_2 + 2R_3 = \frac{1}{2}(|C_1C_2| + |C_2C_3| + |C_3C_1|). The assumptions also imply inequalities
r1+R312C1C2,R3+r212C1C2,r2+R112C2C3,R1+r312C2C3,r3+R212C3C1,R2+r112C3C1, \begin{aligned} r_1 + R_3 &\le \frac{1}{2}|C_1C_2|, & R_3 + r_2 &\le \frac{1}{2}|C_1C_2|, \\ r_2 + R_1 &\le \frac{1}{2}|C_2C_3|, & R_1 + r_3 &\le \frac{1}{2}|C_2C_3|, \\ r_3 + R_2 &\le \frac{1}{2}|C_3C_1|, & R_2 + r_1 &\le \frac{1}{2}|C_3C_1|, \end{aligned}
which sum up to 2r1+2r2+2r3+2R1+2R2+2R3C1C2+C2C3+C3C12r_1 + 2r_2 + 2r_3 + 2R_1 + 2R_2 + 2R_3 \le |C_1C_2| + |C_2C_3| + |C_3C_1|.

i) Altogether, we obtain the inequality 2r1+2r2+2r312(C1C2+C2C3+C3C1)2r_1 + 2r_2 + 2r_3 \le \frac{1}{2}(|C_1C_2| + |C_2C_3| + |C_3C_1|), which implies r1+r2+r314(C1C2+C2C3+C3C1)r_1 + r_2 + r_3 \le \frac{1}{4}(|C_1C_2| + |C_2C_3| + |C_3C_1|) as desired.

Figure 1
Figure 28

ii) Suppose that r1+r2+r3=14(C1C2+C2C3+C3C1)r_1 + r_2 + r_3 = \frac{1}{4}(|C_1C_2| + |C_2C_3| + |C_3C_1|). Then all inequalities above must hold as equalities. The equalities r1+R3=12C1C2=r2+R3r_1 + R_3 = \frac{1}{2}|C_1C_2| = r_2 + R_3 imply r1=r2r_1 = r_2, analogously r1=r3r_1 = r_3. Denoting r=r1=r2=r3r = r_1 = r_2 = r_3, we get
r+R3=12C1C2=R1+R2, r + R_3 = \frac{1}{2}|C_1C_2| = R_1 + R_2,
r+R2=12C1C3=R1+R3, r + R_2 = \frac{1}{2}|C_1C_3| = R_1 + R_3,
where summing side-by-side gives 2r+R2+R3=2R1+R2+R32r + R_2 + R_3 = 2R_1 + R_2 + R_3, i.e., R1=rR_1 = r. Analogously, R2=R3=rR_2 = R_3 = r. Thus all sides of the triangle C1C2C3C_1C_2C_3 have length 4r4r.

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 and solution reproduced as published; topic and difficulty added by this site.