ISL 2021 G5
Let be a cyclic quadrilateral whose sides have pairwise different lengths. Let be the circumcentre of . The internal angle bisectors of and meet at and , respectively. Let be the centre of the circle which passes through and is tangent to at . Similarly, let be the centre of the circle which passes through and is tangent to at . Assume that . Prove that lies on the line .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.