MathDB
Property of circumcenter of triangle determined by reflections

Source: KoMaL A. 844

February 11, 2023
geometrycircumcirclegeometric transformationreflectionkomal

Problem Statement

The inscribed circle of triangle ABCABC is tangent to sides BCBC, ACAC and ABAB at points DD, EE and FF, respectively. Let EE' be the reflection of point EE across line DFDF, and FF' be the reflection of point FF across line DEDE. Let line EFEF intersect the circumcircle of triangle AEFAE'F' at points XX and YY. Prove that DX=DYDX=DY.
Proposed by Márton Lovas, Budapest