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.
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.