IMO ComplexNumberApplication PlaneGeometry

1993

Problem - 2149

Let $ABCD$ be a convex quadrilateral for which $AC = BD$. Equilateral triangles are constructed on the sides of the quadrilateral and pointing outward. Let $O_1, O_2, O_3, O_4$ be the centres of the triangles constructed on $AB, BC, CD,$ and $DA$ respectively. Prove that lines $O_1O_3$ and $O_2O_4$ are perpendicular.