Problem

Source: Turkish TST 2012 Problem 2

Tags: geometry, trapezoid, circumcircle, geometric transformation, reflection, rhombus, angle bisector



In an acute triangle $ABC,$ let $D$ be a point on the side $BC.$ Let $M_1, M_2, M_3, M_4, M_5$ be the midpoints of the line segments $AD, AB, AC, BD, CD,$ respectively and $O_1, O_2, O_3, O_4$ be the circumcenters of triangles $ABD, ACD, M_1M_2M_4, M_1M_3M_5,$ respectively. If $S$ and $T$ are midpoints of the line segments $AO_1$ and $AO_2,$ respectively, prove that $SO_3O_4T$ is an isosceles trapezoid.