ISL 2016 G6
Let be a convex quadrilateral with . The internal angle bisectors of and meet at and respectively, and meet each other at point . Let be the midpoint of and let be the circumcircle of triangle . Segments and intersect again at and respectively. Denote by the intersection point of lines and . Prove that .
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.