Geo with angle bisector
Source: Czech-Polish-Slovak Match 2022 P5
September 3, 2022
geometryangle bisector
Problem Statement
Let be a triangle with and circumcenter . The angle bisector of meets the side at . The line through perpendicular to meets the segment at . Furthermore, let be the midpoint of segment . Prove that points are concyclic.