BALTIC-WAY 2003 Problem 13
Let be a rectangle and . Let be the midpoint of and an arbitrary inner point of . Let and be the feet of perpendiculars drawn correspondingly from to and from to . 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.