MathDB
Two congruent triangles form a cyclic quad

Source: 2021 Thailand Online MO P7 (Mock TMO contest)

April 6, 2021
geometrycongruent triangles

Problem Statement

Let ABCABC be an acute triangle. Construct a point XX on the different side of CC with respect to the line ABAB and construct a point YY on the different side of BB with respect to the line ACAC such that BX=ACBX=AC, CY=ABCY=AB, and AX=AYAX=AY. Let AA' be the reflection of AA across the perpendicular bisector of BCBC. Suppose that XX and YY lie on different sides of the line AAAA', prove that points AA, AA', XX, and YY lie on a circle.