Problem

Source: 2016 Final Korean Mathematical Olympiad Day 2 Problem 5

Tags: geometry, incenter



An acute triangle $\triangle ABC$ has incenter $I$, and the incircle hits $BC, CA, AB$ at $D, E, F$. Lines $BI, CI, BC, DI$ hits $EF$ at $K, L, M, Q$ and the line connecting the midpoint of segment $CL$ and $M$ hits the line segment $CK$ at $P$. Prove that $$PQ=\frac{AB \cdot KQ}{BI}$$