Problem

Source: St Petersburg 2022 9.3

Tags: geometry



Given is a trapezoid $ABCD$, $AD \parallel BC$. The angle bisectors of the two pairs of opposite angles meet at $X, Y$. Prove that $AXYD$ and $BXYC$ are cyclic.