MathDB
Sharky-devil point with cicumcenter lying on BC

Source: Azerbaijan IZhO TST 2021, P4

August 10, 2023
geometrycircumcirclesharky-deviltangency

Problem Statement

Let ABCABC be a triangle with incircle touching BC,CA,ABBC, CA, AB at D,E,F,D, E, F, respectively. Let OO and MM be its circumcenter and midpoint of BC.BC. Suppose that circumcircles of AEFAEF and ABCABC intersect at XX for the second time. Assume YXY \neq X is on the circumcircle of ABCABC such that OMXYOMXY is cyclic. Prove that circumcenter of DXYDXY lies on BC.BC.
Proposed by tenplusten.