Problem

Source: 2022 Korea Winter Program Practice Test

Tags: geometry, cyclic quadrilateral



Let $ABCD$ be a cyclic quadrilateral inscribed in a circle $\Omega$ such that $AB<CD$. Suppose that $AC$ meets $BD$ at $E$, $AD$ meets $BC$ at $F$, and $\Omega$ meets $(FAE)$, $(FBE)$ at $X$, $Y$, respectively. Prove that if $XY$ is diameter of $\Omega$, then $XY$ is perpendicular to $EF$.