ISL 2012 G2
Let be a cyclic quadrilateral whose diagonals and meet at . The extensions of the sides and beyond and meet at . Let be the point such that is a parallelogram, and let be the image of under reflection in . Prove that 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.