Let $ABC$ be an acute, non isosceles triangle with $M, N, P$ are midpoints of $BC, CA, AB$, respectively. Denote $d_1$ as the line passes through $M$ and perpendicular to the angle bisector of $\angle BAC$, similarly define for $d_2, d_3$. Suppose that $d_2 \cap d_3 = D$, $d_3 \cap d_1 = E,$ $d_1 \cap d_2 = F$. Let $I, H$ be the incenter and orthocenter of triangle $ABC$. Prove that the circumcenter of triangle $DEF$ is the midpoint of segment $IH$.
Problem
Source: 2018 Saudi Arabia IMO TST II p1
Tags: geometry, incenter, orthocenter, Circumcenter, midpoint, midpoints