The incircle of the triangle touches the sides and at points and , respectively, and are the midpoints of and , respectively. Let , .
Given are collinear prove that is the angle bisector of the angle .
Solution
(Solution by V. Vityaz, A. Gaponenko.) Let without loss of generality . Then (see the Fig.) By the Menelaus theorem, we have: for the triangle and the line

for the triangle and the line
for the triangle and the line
Let , , , be the semiperimeter of the triangle . Then (2) and (3) give and , respectively. Substituting these equalities in (1) we get
the last proportion is equivalent to the fact that bisects the angle .
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.