Weird cyclic quadrilateral to prove
Source: Bulgarian Spring Tournament 2023 9.2
March 25, 2023
geometry
Problem Statement
Given is triangle with angle bisector and the median meets the circumcircle at . If is the midpoint of arc and is the symmetric point of with respect to the tangent at to , then prove that is cyclic.