BALTIC-WAY 2016 Problem 20
Let be a cyclic quadrilateral with and not parallel. Let be the midpoint of . Let be a point inside such that . Prove that and the perpendicular bisector of are concurrent.
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.