Let $ABCD$ be an isosceles trapezoid with bases $AD> BC$. Let $X$ be the intersection of the bisectors of $\angle BAC$ and $BC$. Let $E$ be the intersection of$ DB$ with the parallel to the bisector of $\angle CBD$ through $X$ and let $F$ be the intersection of $DC$ with the parallel to the bisector of $\angle DCB$ through $X$. Show that quadrilateral $AEFD$ is cyclic.
Problem
Source: Switzerland - 2020 Swiss MO p7
Tags: geometry, trapezoid, angle bisector, cyclic quadrilateral