Maths Olympiad Prep

Library / /35 of 46

Geometry Difficulty 6.8 National olympiad Prove it Russia

Let DD be a point on the side ACAC of a triangle ABCABC. Let EE and FF be the points symmetric to DD with respect to the angle bisectors of A\angle A and C\angle C, respectively. Prove that the midpoint of the segment EFEF lies on the line A0C0A_0C_0, where A0A_0 and C0C_0 are the points of tangency of the incircle with the sides BCBC and ABAB, respectively. (T. Emelyanova)

На стороне ACAC треугольника ABCABC отметили произвольную точку DD. Пусть EE и FF — точки, симметричные точке DD относительно биссектрис углов AA и CC соответственно. Докажите, что середина отрезка EFEF лежит на прямой A0C0A_0C_0, где A0A_0 и C0C_0 — точки касания вписанной окружности треугольника ABCABC со сторонами BCBC и ABAB соответственно.

Solution

Пусть B0B_0 — точка касания вписанной окружности со стороной ACAC. Можно считать, что точка DD лежит на отрезке AB0AB_0. Точки A0A_0 и C0C_0 симметричны точке B0B_0 относительно биссектрис углов CC и AA соответственно. Следовательно, точка EE лежит на отрезке AC0AC_0, а точка FF — на продолжении отрезка CA0CA_0, и EC0=DB0=FA0EC_0 = DB_0 = FA_0.

Обозначим теперь через MM точку пересечения прямых EFEF и A0C0A_0C_0 (она лежит на отрезке EFEF). Отметим на прямой A0C0A_0C_0 точку GG так, чтобы отрезки FGFG и ABAB были параллельны. Тогда треугольники FGA0FGA_0 и BC0A0BC_0A_0 подобны; поскольку BC0=BA0BC_0 = BA_0, получаем FG=FA0=EC0FG = FA_0 = EC_0. Далее, из параллельности имеем FEC0=EFG\angle FEC_0 = \angle EFG и EC0G=FGC0\angle EC_0G = \angle FGC_0. Значит, треугольники EC0MEC_0M и FGMFGM равны по стороне и двум углам, и EM=MFEM = MF.

Figure 1

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.