AT-OEMO-REG 2017 Problem 2
Let be a cyclic quadrilateral with perpendicular diagonals and circumcenter . Let be the line obtained by reflection of the diagonal along the angle bisector of . Prove that the point lies on the line .
Proposed by Theresia Eisenkölbl
Dataset text AoPS wiki problems. 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.
Similar problems
These problems have the most words in common with this statement.