MathDB
F is circumcenter of DMN if B is circumcenter of FMN

Source: 2022 Dutch IMO TST 2.1

December 3, 2022
geometrycircumcircle

Problem Statement

Consider an acute triangle ABCABC with AB>CA>BC|AB| > |CA| > |BC|. The vertices D,ED, E, and FF are the base points of the altitudes from A,BA, B, and CC, respectively. The line through F parallel to DEDE intersects BCBC in MM. The angular bisector of MFE\angle MF E intersects DEDE in NN. Prove that FF is the circumcentre of DMN\vartriangle DMN if and only if BB is the circumcentre of FMN\vartriangle FMN.