NMC 1995 Problem 1
Let be a diameter of a circle with centre . We choose a point on the circumference of the circle such that and are perpendicular to each other. Let be an arbitrary point on the (smaller) arc and let the lines and meet at . We choose on so that and are perpendicular to each other. Show that .

Figure 7 .
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.