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 with . The vertices , and are the base points of the altitudes from , and , respectively. The line through F parallel to intersects in . The angular bisector of intersects in . Prove that is the circumcentre of if and only if is the circumcentre of .