nice geometry
Source: 2021 Korea Winter Program Practice Test
February 8, 2021
geometryperpendicular bisectorcircumcircle
Problem Statement
are points on that satisfies cyclic. is the intersection of and the perpendicular bisecter of , and are the reflections of on . is a point on the circumcircle of that is perpendicular to ,and is a point on the circumcircle of that is perpendicular to . Show that .