Problem

Source: 2022 Dutch IMO TST 2.1

Tags: geometry, circumcircle



Consider an acute triangle $ABC$ with $|AB| > |CA| > |BC|$. The vertices $D, E$, and $F$ are the base points of the altitudes from $A, B$, and $C$, respectively. The line through F parallel to $DE$ intersects $BC$ in $M$. The angular bisector of $\angle MF E$ intersects $DE$ in $N$. Prove that $F$ is the circumcentre of $\vartriangle DMN$ if and only if $B$ is the circumcentre of $\vartriangle FMN$.