$O$ -circumcenter of $ABCD$. $AC$ and $BD$ intersect in $E$, $AD$ and $BC$ in $F$. $X,Y$ - midpoints of $AD$ and $BC$. $O_1$ -circumcenter of $EXY$. Prove that $OF \parallel O_1E$
Source: St Petersburg Olympiad 2009, Grade 11, P5
Tags: geometry, circumcircle
$O$ -circumcenter of $ABCD$. $AC$ and $BD$ intersect in $E$, $AD$ and $BC$ in $F$. $X,Y$ - midpoints of $AD$ and $BC$. $O_1$ -circumcenter of $EXY$. Prove that $OF \parallel O_1E$