Maths Olympiad Prep

Track / Stage 7 / 206 of 300 #1606 of 1964

Problem 1606

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.4 Prove it

Let ABC ABC be an acute-angled triangle such that there exist points D,E,F D,E,F on side BC,CA,AB BC,CA,AB, respectively such that the inradii of triangle AEF,BDF,CDE AEF,BDF,CDE are all equal to r0 r_0. If the inradii of triangle DEF DEF and ABC ABC are r r and R R, respectively, prove that r\plusr0\equalR. r\plus{}r_0\equal{}R.
Soewono, Bandung

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define the problem and notation:
Let ABC \triangle ABC be an acute-angled triangle with points D,E,F D, E, F on sides BC,CA,AB BC, CA, AB respectively. The inradii of triangles AEF,BDF,CDE \triangle AEF, \triangle BDF, \triangle CDE are all equal to r0 r_0 . Let r r and R R be the inradii of triangles DEF \triangle DEF and ABC \triangle ABC respectively. We need to prove that r+r0=R r + r_0 = R .

2. Introduce the centers of the incircles:
Let O1,O2,O3 O_1, O_2, O_3 be the centers of the incircles of AEF,BDF,CDE \triangle AEF, \triangle BDF, \triangle CDE respectively. The incircles touch EF,FD,DE EF, FD, DE at points M,N,L M, N, L respectively. The incircles of BDF \triangle BDF and CDE \triangle CDE touch BC BC at points P,Q P, Q respectively. The incircles of CDE \triangle CDE and AEF \triangle AEF touch CA CA at points R,S R, S respectively. The incircles of AEF \triangle AEF and BDF \triangle BDF touch AB AB at points T,U T, U respectively.

3. Establish similarity of triangles:
Since O1O2UT,O2O3QP,O3O1SR O_1O_2UT, O_2O_3QP, O_3O_1SR are rectangles and O1,O2,O3 O_1, O_2, O_3 lie on the internal bisectors of A,B,C \angle A, \angle B, \angle C , it follows that ABC \triangle ABC and O1O2O3 \triangle O_1O_2O_3 are centrally similar through their common incenter I I .

4. Determine the similarity coefficient:
The similarity coefficient is the ratio of their perimeters or inradii:
rr0r=O1O2+O2O3+O3O1a+b+c=PQ+RS+TUa+b+c \frac{r - r_0}{r} = \frac{O_1O_2 + O_2O_3 + O_3O_1}{a + b + c} = \frac{PQ + RS + TU}{a + b + c}
Since PQ,RS,TU PQ, RS, TU are segments on the sides of DEF \triangle DEF , we can write:
rr0r=DN+DL+EL+EM+FM+FNa+b+c=DE+EF+FDa+b+c \frac{r - r_0}{r} = \frac{DN + DL + EL + EM + FM + FN}{a + b + c} = \frac{DE + EF + FD}{a + b + c}

5. Relate the inradii and perimeters:
On the other hand, we have:
r(a+b+c)=r0(a+b+c+DE+EF+FD)+ϱ(DE+EF+FD) r(a + b + c) = r_0(a + b + c + DE + EF + FD) + \varrho(DE + EF + FD)
Simplifying, we get:
rr0=(DE+EF+FD)(r0+ϱ)a+b+c r - r_0 = \frac{(DE + EF + FD)(r_0 + \varrho)}{a + b + c}

6. **Substitute and solve for r r :**
Substituting rr0 r - r_0 from the similarity coefficient equation into the above equation, we get:
rr0r=DE+EF+FDa+b+c \frac{r - r_0}{r} = \frac{DE + EF + FD}{a + b + c}
Therefore:
rr0=(DE+EF+FD)(r0+ϱ)a+b+c r - r_0 = \frac{(DE + EF + FD)(r_0 + \varrho)}{a + b + c}
Simplifying further, we find:
r=r0+ϱ r = r_0 + \varrho

7. Conclusion:
Since ϱ \varrho is the inradius of DEF \triangle DEF , we have r=r0+R r = r_0 + R .

\blacksquare

The final answer is r+r0=R \boxed{ r + r_0 = R }

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.