Problem

Source: Indian IMOTC 2013, Team Selection Test 3, Problem 2

Tags: geometry, circumcircle, trigonometry, Asymptote, geometry proposed



In a triangle $ABC$, let $I$ denote its incenter. Points $D, E, F$ are chosen on the segments $BC, CA, AB$, respectively, such that $BD + BF = AC$ and $CD + CE = AB$. The circumcircles of triangles $AEF, BFD, CDE$ intersect lines $AI, BI, CI$, respectively, at points $K, L, M$ (different from $A, B, C$), respectively. Prove that $K, L, M, I$ are concyclic.