Question 82
In a given trapezium $ABCD$, $AD \parallel BC$. Suppose $E$ is a variable point on $AB$, $O_1$ and $O_2$ are circumcenters of $\triangle AED$ and $\triangle BEC$ respectively. Prove that the length of $O_1O_2$ is a fixed value. (posed by Leng Gangsong)