Problem

Source: Turkey TST 2013 - Day 3 - P1

Tags: geometry, circumcircle, geometry proposed



Let $E$ be intersection of the diagonals of convex quadrilateral $ABCD$. It is given that $m(\widehat{EDC}) = m(\widehat{DEC})=m(\widehat{BAD})$. If $F$ is a point on $[BC]$ such that $m(\widehat{BAF}) + m(\widehat{EBF})=m(\widehat{BFE})$, show that $A$, $B$, $F$, $D$ are concyclic.