JBMO-SL 2011 G1
Let be an isosceles triangle with . On the extension of the side we consider the point such that . The perpendicular bisector of the segment meets the internal and the external bisectors of the angle at the points and , respectively. Prove that the points are concyclic.
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.