JBMO-SL 2005 G1
Let be an isosceles trapezoid with . Let be the point of intersection of the diagonals and and be the symmetric point of with respect to the line . Prove that quadrilateral is cyclic.
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.