ISL 2017 G5
Let be a convex hexagon such that , and suppose that the line segments , and have the same perpendicular bisector. Let the diagonals and meet at , and denote by the circle . Let intersect the circle again at . Prove that the lines and intersect on . (Ukraine)
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2017 Shortlist booklet, page 10.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).