MathDB
nice geometry

Source: 2021 Korea Winter Program Practice Test

February 8, 2021
geometryperpendicular bisectorcircumcircle

Problem Statement

E,FE,F are points on AB,ACAB,AC that satisfies (B,E,F,C)(B,E,F,C) cyclic. DD is the intersection of BCBC and the perpendicular bisecter of EFEF, and B,CB',C' are the reflections of B,CB,C on ADAD. XX is a point on the circumcircle of BEC\triangle{BEC'} that ABAB is perpendicular to BXBX,and YY is a point on the circumcircle of CFB\triangle{CFB'} that ACAC is perpendicular to CYCY. Show that DX=DYDX=DY.