Question 87
Let $A B C C_{1} B_{1} A_{1}$ be a convex hexagon such that $A B = B C$, and suppose that the line segments $A A_{1}$, $B B_{1}$, and $C C_{1}$ have the same perpendicular bisector. Let the diagonals $A C_{1}$ and $A_{1} C$ meet at $D$, and denote by $\omega$ the circle $A B C$. Let $\omega$ intersect the circle $A_{1} B C_{1}$ again at $E \neq B$. Prove that the lines $B B_{1}$ and $D E$ intersect on $\omega$.