Problem

Source: 10.1 of XX Geometrical Olympiad in honour of I.F.Sharygin

Tags: geo, geometry



The diagonals of a cyclic quadrilateral $ABCD$ meet at point $P$. The bisector of angle $ABD$ meets $AC$ at point $E$, and the bisector of angle $ACD$ meets $BD$ at point $F$. Prove that the lines $AF$ and $DE$ meet on the median of triangle $APD$.