Problem

Source: China TST 2001, problem 1

Tags: geometry, China



$E$ and $F$ are interior points of convex quadrilateral $ABCD$ such that $AE = BE$, $CE = DE$, $\angle AEB = \angle CED$, $AF = DF$, $BF = CF$, $\angle AFD = \angle BFC$. Prove that $\angle AFD + \angle AEB = \pi$.