Concyclic points and a bisector
Source: Saint Petersburg MO 2020 Grade 11 Problem 3
May 7, 2020
geometryangle bisectorincenterperpendicular bisectorcircumcircle
Problem Statement
is the angle bisector of , and is its incenter. The perpendicular bisector of segment intersects the circumcircle of at and . Point is on the segment such that .Prove that the four points and are concyclic.