Problem

Source: ELMO Shortlist 2013: Problem G6, by Victor Wang

Tags: trigonometry, projective geometry, geometry unsolved, geometry



Let $ABCDEF$ be a non-degenerate cyclic hexagon with no two opposite sides parallel, and define $X=AB\cap DE$, $Y=BC\cap EF$, and $Z=CD\cap FA$. Prove that \[\frac{XY}{XZ}=\frac{BE}{AD}\frac{\sin |\angle{B}-\angle{E}|}{\sin |\angle{A}-\angle{D}|}.\]Proposed by Victor Wang